静态分派，动态分派，多分派，单分派 -------------- visitor模式准备

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

dreamstone 2006-12-20 01:08 发表评论