一,静态分派:
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因为这个顺序更方便一般人理解
# re: 静态分派,动态分派,多分派,单分派 -------------- visitor模式准备 2006-12-20 13:59
单分派:定义:根据一个宗量的类型进行方法的选择
多分派:定义:根据多于一个宗量的类型对方法的选择
宗量???
对应的英文翻译是什么? 回复 更多评论
# re: 静态分派,动态分派,多分派,单分派 -------------- visitor模式准备 2006-12-20 15:16
宗量大概的意思是方法的参数或方法的调用者
具体的英文确切翻译不太清楚,下班后找找看
这一词的来源是<<Java与模式>>一书,有些其它的讲模式的书也使用过。 回复 更多评论
# re: 静态分派,动态分派,多分派,单分派 -------------- visitor模式准备[未登录] 2007-01-17 17:38
楼主,要把概念分清楚,否则会误导很人,本来是做好事成了误人子第;
多分派与多重分派是不一样的概念,多分派是根据多与一个宗量的类型对方法进行选择,而多重分派是一系列单分派组成的分派过程,可以分解成多个单分派的,而多分派是不能分解成多个单分派的. 回复 更多评论
# re: 静态分派,动态分派,多分派,单分派 -------------- visitor模式准备[未登录]2007-01-19 09:51
1,根据多于一个宗量的类型对方法的选择
说明:多分派其实是一系列的单分派组成的,区别的地方就是这些单分派不能分割。
2,多分派与多重分派是不一样的概念,多分派是根据多与一个宗量的类型对方法进行选择,而多重分派是一系列单分派组成的分派过程,可以分解成多个单分派的,而多分派是不能分解成多个单分派的
1是我写的,2是你写的,没看到有什么区别,
都是根据多于一个宗量的类型对方法的选择
都是多分派是不能分解成多个单分派的
你强调多重分派的概念,在我看来那是多次单分派,所以我并没有提出多重分派的概念。
谢谢你的热心纠正错误,不过麻烦把错误明确对比出来。
回复 更多评论