編程實現重載

『壹』 重載的編程語言中的重載

編程中重載的定義:函數名相同,函數的參數列表不同(包括參數個數和參數類型)，至於返回類型可同可不同。
重載是可使函數、運算符等處理不同類型數據或接受不同個數的參數的一種方法，關於重載一詞在詞義上有兩種不同的說法： 重載是一種多態（如C++,java），有四種形式的多態：
1.虛函數多態
2模板多態
3重載
4轉換
所謂的動態和靜態區分是另一種基於綁定時間的多態分類，嚴格來說，重載是編譯時多態，即靜態多態，根據不同類型函數編譯時會產生不同的名字如int_foo和char_foo等等，以此來區別調用。故重載仍符合多態定義——通過單一標識支持不同特定行為的能力，只是重載屬於靜態多態，而不是通過繼承和虛函數實現的動態多態。 重載（overloaded）和多態無關，真正和多態相關的是覆蓋(inheritance)。
當派生類重新定義了基類的虛擬方法後，基類根據賦給它的不同的派生類引用，動態地調用屬於派生類的對應方法，這樣的方法調用在編譯期間是無法確定的。因此，這樣的方法地址是在運行期綁定的（動態綁定）。
重載只是一種語言特性，是一種語法規則，與多態無關，與面向對象也無關。
不過針對所謂的第二種重載，有一個專門的名詞--重寫或重定義。重載與重寫的區別就在於是否覆蓋，重寫一般多發生在不同的類且存在繼承關系之間，而重載多是在一個類里或者一塊代碼段里。
特點：
由於重載可以在同一個類中定義功能類似的函數，這給程序員管理類的相似函數提供了極大的方便。例如，在一個定義圓的類中，需要設定圓心和半徑來確定一個圓對象，程序員不需要設定setRadius(float r)和SetPoint(float x,float y)兩個不同名函數，而只需要設定一個CSetCicle函數名就夠了。在這個簡單的例子中重載並沒有明顯的優勢，可是當一個類中相似功能函數有幾十、上百個的時候，重載的優勢就顯現出來了，這時程序員不需要去記這么繁多的函數名，可以把更多的精力放在程序本身上。重載的方法只屬於子類。
函數：
1.函數名必須相同，返回值可以相同，也可以不同，但是特徵標必須不同。是函數名來確定函數的不同，是特徵標是函數可以重載。編譯器首先選在函數名，然後再根據特徵標在眾多重載的函數中找到合適的。
2.匹配函數時，編譯器將不區分類型引用和類型本身，也不區分const和非const變數。（小註：因為這些在定義和聲明時可能不同，但是在調用時都是一樣的，編譯器將無法區分）。但是值得注意的是，形參與const形參的等價性僅適於非引用形參。有const引用形參的函數與有非const引用形參的函數是不同的。類似的，如果函數帶有指向const類型的指針形參，則與帶有指向相同類型的非const對象的指針形參的函數不相同。
3.名稱修飾(name decoration)。編譯器將根據原型中指定的形參對每個函數名進行加密。
重定義：
被重載的函數有不同版本，這些函數地位是一樣的，可以根據特徵標的不同選擇不同的函數。被重定義的函數也有不同的版本，但是你不能隨意選擇，你只能選擇最新的版本，被重定義多發生在類之間的繼承里。
4.函數會有那麼多版本，那麼編譯將選哪一個呢。當然，理想情況是，實參與形參的數據類型完全匹配，但是當不完全匹配時會怎樣呢？這就要牽扯到c++里復雜的類型轉換了。
在重載及函數模板重載里，編譯器選擇函數，要經過以下三步，這個過程稱為重載解析。
第一步：創建候選函數列表，其中包含有與被調函數名稱相同的函數與模板函數。
第二步：使用候選函數列表創建可行函數列表。這些都是參數數目正確的函數。
第三步：確定是否有最佳可行的函數。如果有，則使用。
確定最佳函數，只考慮其特徵標，而不考慮返回類型（也無從考慮，但是要是硬想辦法的話，也有，不過沒有必要為了不必要的性能而浪費資源）。確定最佳函數，匹配特徵標要依次經過以下判斷：（1）完全匹配（常規函數優於模板；允許無關緊要的轉換）（2）提升匹配（如char和short自動轉換為int）（3）標准轉換（int轉換為char，long轉換為double）（4）用戶自定義的轉換（如類聲明中定義的轉換函數）。
完全允許無關緊要的轉換，這些轉換包括引用，指針與實體之間，數組與指針之間，函數與函數指針之間，const與非const等等。
其次還要注意匹配的優先順序。1，指向非const數據的指針和引用優先於const的指針和引用參數匹配（這種優先順序只有當指針或引用出現時產生）。2，非模板函數，優於模板函數，顯示具體化的模板將優於隱式具體化的模板，總之較具體的優先（注意，具體並不是由於顯隱決定的，術語「最具體」是指編譯器推斷使用哪種類型時執行的轉換最少）。 通常,派生類繼承基類的方法,因此,在調用對象繼承方法的時候,調用和執行的是基類的實現.但是,有時需要對派生類中的繼承方法有不同的實現.
例如,假設動物類存在跑的方法,從中派生出馬和狗,馬和狗的跑得形態是各不相同的,因此同樣方法需要兩種不同的實現,這就需要重新編寫基類中的方法.
重寫基類方法就是修改它的實現或者說在派生類中重新編寫 //java代碼//方法重寫publicclassFather{publicvoidovel(inti){/*dosomething...*/}publicStringovef(){/*dosomething...*/return***;}}publicclassSonextendsFather{publicvoidovel(inti){/*doothersomething...*/}publicStringovef(){/*doothersomething...*/returnXXX;}}

『貳』 <JS篇> 實現函數重載和多態

在JavaScript中，傳統面向對象語言中支持的函數重載概念並不直接存在。在作用域內定義多個同名函數，根據傳入參數的數量或類型選擇調用特定實現的情況難以實現。然而，開發者可以通過巧妙的編程技巧實現類似效果。
實現函數重載的一種方法是基於參數個數。利用`arguments`對象檢測傳入參數的數量，並在函數內部根據不同數量的參數執行相應的邏輯。
另一種方法是基於參數類型。在函數內部檢查傳入參數的具體類型，然後執行相應的邏輯，以此模擬函數重載。
JavaScript中實現多態的方式主要依賴於原型鏈、構造函數繼承機制以及「鴨子類型」。
通過原型鏈和構造函數的繼承機制，可以實現方法的重寫（Override），使得子類可以覆蓋或擴展父類的行為，從而達到多態的效果。
另外，JavaScript的「鴨子類型」（ck typing）提供了一種動態多態的方式。在鴨子類型系統中，一個對象是否可以使用某種方法，不取決於其類型，而是取決於它是否具有該方法。這使得一個介面可以被不同類的對象實現，這些對象在運行時以不同的方式表現其行為，實現了多態。
例如，`canSwim`函數不關心對象的具體類型，只要它具有`swim`方法，就會調用該方法，體現了多態行為。