一，静态分派:
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因为这个顺序更方便一般人理解