一，靜態分派:
1，定義：發生在編譯時期，分派根據靜態類型信息發生，重載就是靜態分派
2，什么是靜態類型：變量被聲明時的類型是靜態類型
什么是動態類型：變量所引用的對象的真實類型
3，有兩個類,BlackCat ,WhiteCat都繼承自Cat
如下調用
class Cat
{}
class WhiteCat extends Cat{}
class BlackCat extends Cat{}
public class Person {
public void feed(Cat cat){
System.out.println("feed cat");
}
public void feed(WhiteCat cat){
System.out.println("feed WhiteCat");
}
public void feed(BlackCat cat){
System.out.println("feed BlackCat");
}
public static void main(String[] args) {
Cat wc = new WhiteCat();
Cat bc = new BlackCat();
Person p = new Person();
p.feed(wc);
p.feed(bc);
}
}
運行結果是:
feed cat
feed cat
這樣的結果是因為重載是靜態分派，在編譯器執行的，取決于變量的聲明類型，因為wc ,bc都是Cat所以調用的都是feed(Cat cat)的函數.
二，動態分派
1，定義：發生在運行期，動態分派，動態的置換掉某個方法。
還是上邊類似的例子：
class Cat{
public void eat(){
System.out.println("cat eat");
}
}
public class BlackCat extends Cat{
public void eat(){
System.out.println("black cat eat");
}
public static void main(String[] args){
Cat cat = new BlackCat();
cat.eat();
}
}
這個時候的結果是:
black cat eat
這樣的結果是因為在執行期發生了向下轉型，就是動態分派了。
三，單分派：
1，定義：根據一個宗量的類型進行方法的選擇
四,多分派：
1，定義：根據多于一個宗量的類型對方法的選擇
2，說明：多分派其實是一系列的單分派組成的，區別的地方就是這些但分派不能分割。
3,C++ ,Java都是動態單分派，靜態多分派語言
多分派的語言有：CLOS Cecil
最后的部分：
看完本文，如果你對visitor模式有更多的興趣，想了解更多請看如下幾篇文章。
1,靜態分派，動態分派，多分派，單分派 -------------- visitor模式準備(本文）
2,訪問差異類型的集合類 ------------------------ visitor模式入門
3,visitor模式理論及學術概念-------------－----- visitor模式進一步
4，重載overloading和覆寫overriding哪個更早執行-- visitor幫助篇
雖然排列順序是1,2,3,4但是我個人建議的學習方式是2,1,3,4因為這個順序更方便一般人理解