Java中的分派

首先需要理解一下靜態型別和動態型別。找了很多資料，沒有在java的書中找到關於這兩種型別的具體定義，但是在C++的書中找到了下面的定義，這可能就是java被稱為是 C++- 的原因之一吧。：）

靜態型別與動態型別

• 靜態型別：不需要考慮表示式執行期的語義，僅從表示式的字面的形式就能夠決定的型別，在編譯期確定的變數型別，並且在執行期不會改變。
• 動態型別：由一個左值表示式指出的左值的動態型別，是其所引用的物件的最狹義型別，在執行期決定具體的變數型別，可以在執行期改變。即：基類引用所引用的物件的實際型別。

左值和右值

按字面意思，通俗地說。以賦值符號 = 為界，= 左邊的就是左值，= 右邊就是右值。
比如：(1) int b = 3;(2) int a =b;第(2)行程式碼，a為左值，b為右值。
-
更深一層，可以將 L-value 的 L, 理解成 Location，表示定位，地址。將R-value 的 R 理解成Read，表示讀取資料。現在的計算機資料放在記憶體。記憶體有兩個很基本的屬性：記憶體地址和記憶體裡面放的資料。想象完全一樣的箱子。每個箱子有個編號，用來區分到底是哪個箱子，箱子裡面可以放東西。記憶體地址相當於箱子的編號，記憶體的資料，相當於箱子裡面放的東西。
-
變數名編譯之後，會對映成記憶體地址。看看a = b的含義。其實就是 將 “b地址記憶體裡面的資料”，放到”a地址記憶體”中。
——百度百科

靜態分派和動態分派

靜態分派：

• 依賴靜態型別 確定方法執行版本的分派。[ 判斷引數是什麼型別]
• 編譯期發生。

動態分派：

• 依賴實際型別 確定方法執行版本的分派。[ 判斷實際物件是什麼型別]
• 向上轉型後呼叫子類重寫的方法。
• 執行期（根據實際型別）決定。

靜態分派示例：

/**
 * Create by zhaihongwei on 2018/4/8
 */
public class StaticDispatch {

    public void sayHello(People people) {
        System.out.println("你好，我是人！"
 
);
    }

    public void sayHello(China china) {
        System.out.println("你好，我是中國人！");
    }

    public void sayHello(American american) {
        System.out.println("你好，我是美國人！");
    }
}

/**
 * Create by zhaihongwei on 2018/4/8
 */
public class People {

}

/**
 * Create by zhaihongwei on 2018/4/8
 */
public
 
 class China extends People {

}

/**
 * Create by zhaihongwei on 2018/4/8
 */
public class American extends People{

}

測試類：

/**
 * Create by zhaihongwei on 2018/4/8
 */
public class Test {

    public static void main(String[] args) {
        StaticDispatch dispatch = new StaticDispatch();

        People people = new People();
        People china = new China();
        People american = new American();

        dispatch.sayHello(people);
        dispatch.sayHello(china);
        dispatch.sayHello(american); 
    }
}

測試結果：

你好，我是人！
你好，我是人！
你好，我是人！

動態分派示例：

/**
 * Create by zhaihongwei on 2018/4/8
 */
public class People {

    public void sayHello() {
        System.out.println("你好，我是人！");
    }
}

/**
 * Create by zhaihongwei on 2018/4/8
 */
public class China extends People {

    @Override
    public void sayHello() {
        System.out.println("你好，我是中國人！");
    }
}

/**
 * Create by zhaihongwei on 2018/4/8
 */
public class American extends People{

    @Override
    public void sayHello() {
        System.out.println("你好，我是美國人！");
    }
}

測試類：

/**
 * Create by zhaihongwei on 2018/4/8
 */
public class Test {

    public static void main(String[] args) {

        People people = new People();
        People china = new China();
        People american = new American();

        people.sayHello();
        china.sayHello();
        american.sayHello();
    }
}

測試結果：

你好，我是人！
你好，我是中國人！
你好，我是美國人！

結論：

從上面的例子看出，變數的動態型別（實際型別）是在執行期確定的，過載方法是根據引數靜態型別選擇對應方法，重寫方法的呼叫是根據動態型別來呼叫的。即：JAVA中過載為靜態風派，重寫為動態分派。