`
dreamstone
  • 浏览: 283640 次
  • 来自: ...
文章分类
社区版块
存档分类

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

分享到:
评论

相关推荐

Global site tag (gtag.js) - Google Analytics