Java的“過載機制”為開發者提供了便利的同時也規定了一系列的規範和限制，本文就是為了深入理解在“過載”表像之後隱藏的物理本質

*宣告，本文的所有程式碼均在Java語言環境下測試

什麼是方法過載：過載的概念

在搞明白“過載”之前要先弄清楚另一個概念“方法簽名”
方法簽名 = 方法名 + 引數列表 （方法簽名不包括返回值）
我們用方法簽名區分不同的方法，而所謂“過載”，指的就是“兩個方法間的方法簽名中方法名相同而引數列表不同的情況”，比如：

void sum(int a, int b){
    System.out.println("a + b = "+(a+b));
}
 

void sum(double a, double b){
    System.out.println("a + b = "+(a+b));
}

呼叫時如果傳入的引數是sum(1, 2)，就呼叫上面的方法；如果傳入的引數是sum(1.1, 2.2)，就呼叫下面的方法；如果傳入的引數是sum(1, 3.14)，還是呼叫下面的方法，因為要有一個信念就是編譯器總是有能力找出“最適合的對應呼叫方法”，這裡“最適合”指的是“最匹配”、“精確度最高”，值得注意的是第三個呼叫的第一個引數在編譯時先要被轉換為1.0，然後才能呼叫下面的方法(但是如果有方法三sum(int a, double b)那麼就呼叫方法三)

方法過載，對於像Java、C、C++這樣的靜態語言來說其作用就是“最大限度的增強程式碼複用性，減少程式設計師的體力勞動”（為什麼我不說Python這樣的動態型別語言？因為人家的型別是不確定的呀！好吧扯遠了……）

任何方法都可以“過載”的，包括“建構函式（構造方法）”

繼承來的方法也可以過載嗎：當然可以

對照著我們的定義再看一遍，“方法名相同而引數列表不同……”，再把繼承即概念摳出來，“……子類會繼承父類的的所有方法(父類物件作為子類物件的核心)”——這也就意味著，我們的子類方法可以過載繼承得來的方法

這裡最容易混淆的兩個概念就是“過載繼承來的方法”和“覆寫繼承來的方法”

public class Father{
    ...
 

    public void func(int a, int b){
        System.out.println("a + b = "+(a+b));
    }
    ...
}

public class Son extends Father{
    ...
    public void func(double a, double b){ //這叫“過載”
        System.out.println("a + b = "+(a+b));
    } //“過載”並不關心方法體或返回值是否相同
    publcic void func(int a, int b){ //這叫“覆寫”
        System.out.println("a - b "+(a-b));
    } //“覆寫”只能改變方法的主體部分，而返回值和方法簽名必須和父類一致
    ...

竊以為這一個例子就夠了，保證以後不會出錯就行

當過載遇到範型

背景知識：“範型”是JDK1.5引入的一個很棒的特性
在有範型之前是這樣的：

ArrayList al = new ArrayList();
al.add("Hello");
al.add(1.5);
String element1 = (String)al.get(0); /*得到的是Object型別
int element2=(Integer)al.get(1);     必須強制型別轉換*/

自從有了範型之後：

ArrayList<String> al = new ArrayList<>();
al.add("Hello");
al.add("1.5"); //1.5的話編譯器報錯！
String element1 = al.get(0);
String element2 = al.get(1);

範型的引入，實際上是在編譯期增加了一次額外的型別檢查以防止體制外的型別的介入，保證了型別安全

關於範型只要注意一下幾點就可以無敵了：
1. 範型分為範型類和範型方法，確定範型種類的是所謂的“型別引數”
2. 範型的“型別引數”中只可以傳遞指向實際物件的變數，不允許填入字面量
3. 範型的工作原理是“型別擦除”後再“型別填充”
4. 範型的存活只限於“編譯期”
5. Java不支援“範型陣列”
其中第三、四點，具體來說：“Java語言的泛型基本上完全是在編譯器中實現的，由編譯器執行型別檢測和型別推斷，然後生成普通的非泛型的位元組碼；JVM是完全意識不到範型的存在的，這稱為型別擦除；編譯器使用泛型型別資訊保證型別安全，然後在生成位元組碼之前將其清除”

好啦！背景知識介紹完了，下面進入正題——當過載遇到範型，會碰撞出怎樣的火花？話不多少，直接上程式碼：

public static<N extends Number> double sum(N a, N b){
    double sum = a.doubleValue() + b.doubleValue();
    return sum;
}

範型原來還可以這麼玩——只用一個方法就表示若干個本來需要過載的方法

然，正如古訓說的：“世間萬物都有兩面性”——範型也不是個例外：

public void func(List<String> ls){
    ...
}
public void func(List<Integer> ls){
    ...
}

這會讓編譯器報錯：
Method test(List<String>) has the same erasure test(List<E>) as another method in type TR

這時候除非改變方法的返回值：

public String func(List<String> ls){
    ...
}
public int func(List<Integer> ls){
    ...
}

這樣就可以通過編譯了(但是這不可是一般意義上的“過載”啊)

為什麼“範型引數”不可以作為過載的判據？為什麼返回值在有範型的方法中卻可以像“方法簽名”一樣用來區分兩個不同的方法？這涉及到簡單的編譯原理——
Java函式的方法簽名包括方法名稱、引數型別以及引數順序；但在位元組碼中，特徵簽名還包括了方法的返回值以及受查異常表，這就是為什麼在class檔案中，其他都相同僅僅返回值不同的兩個方法能共存的原因（不懂請回頭看那個小結範型的第4條機下面的註解）

結論：1. 使用範型可以代替多個方法的過載；2. 過載同樣不關心範型的型別引數，因為在編譯期被型別擦出根本看不出來；3. 有範型參與的方法可以用返回值來區分，類似於方法簽名
(請將這三點作為補充，加到之前關於範型小結的那部分