访问者模式用到了一种双分派的技术——静态分派和动态分派

扩展

访问者模式用到了一种双分派的技术。

1，分派：

变量被声明时的类型叫做变量的静态类型，有些人又把静态类型叫做明显类型；

而变量所引用的对象的真实类型又叫做变量的实际类型。

比如 Map map = new HashMap() ，map变量的静态类型是 Map ，实际类型是 HashMap 。

 

根据对象的类型而对方法进行的选择，就是分派(Dispatch)，分派(Dispatch)又分为两种，

即静态分派和动态分派。

静态分派(Static Dispatch) 发生在编译时期，分派根据静态类型信息发生。静态分派对于我们来说并不陌生，方法重载就是静态分派。

动态分派(Dynamic Dispatch) 发生在运行时期，动态分派动态地置换掉某个方法。Java通过方法的重写支持动态分派。

2，动态分派：

通过方法的重写支持动态分派

public class Animal {public void execute() {System.out.println("Animal");} } ​ public class Dog extends Animal {@Overridepublic void execute() {System.out.println("dog");} } ​ public class Cat extends Animal {@Overridepublic void execute() {System.out.println("cat");} } ​ public class Client {public static void main(String[] args) {Animal a = new Dog();a.execute();Animal a1 = new Cat();a1.execute();} }

上面代码的结果大家应该直接可以说出来，这不就是多态吗！

运行执行的是子类中的方法。

Java编译器在编译时期并不总是知道哪些代码会被执行，因为编译器仅仅知道对象的静态类型，而不知道对象的真实类型；

而方法的调用则是根据对象的真实类型，而不是静态类型。

---

---

静态分派：

通过方法重载支持静态分派

public class Animal { } ​ public class Dog extends Animal { } ​ public class Cat extends Animal { } ​ public class Execute {public void execute(Animal a) {System.out.println("Animal");} ​public void execute(Dog d) {System.out.println("dog");} ​public void execute(Cat c) {System.out.println("cat");} } ​ public class Client {public static void main(String[] args) {Animal a = new Animal();Animal a1 = new Dog();Animal a2 = new Cat(); ​Execute exe = new Execute();exe.execute(a);exe.execute(a1);exe.execute(a2);} }

这个结果可能出乎一些人的意料了，为什么呢？

重载方法的分派是根据静态类型进行的，这个分派过程在编译时期就完成了。

---

---

4，双分派：

所谓双分派技术就是在选择一个方法的时候，不仅仅要根据消息接收者（receiver）的运行时区别，还要根据参数的运行时区别。

public class Animal {public void accept(Execute exe) {exe.execute(this);} } ​ public class Dog extends Animal {public void accept(Execute exe) {exe.execute(this);} } ​ public class Cat extends Animal {public void accept(Execute exe) {exe.execute(this);} } ​ public class Execute {public void execute(Animal a) {System.out.println("animal");} ​public void execute(Dog d) {System.out.println("dog");} ​public void execute(Cat c) {System.out.println("cat");} } ​ public class Client {public static void main(String[] args) {Animal a = new Animal();Animal d = new Dog();Animal c = new Cat(); ​Execute exe = new Execute();a.accept(exe);d.accept(exe);c.accept(exe);} }

在上面代码中，客户端将Execute对象做为参数传递给Animal类型的变量调用的方法，这里完成第一次分派，这里是方法重写，所以是动态分派，也就是执行实际类型中的方法，

同时也将自己this作为参数传递进去，这里就完成了第二次分派，这里的Execute类中有多个重载的方法，而传递进行的是this，就是具体的实际类型的对象。

说到这里，我们已经明白双分派是怎么回事了，但是它有什么效果呢？就是可以实现方法的动态绑定，我们可以对上面的程序进行修改。

运行结果如下：

双分派实现动态绑定的本质，就是在重载方法委派的前面加上了继承体系中覆盖的环节，由于覆盖是动态的，所以重载就是动态的了。

 

总结

以上是生活随笔为你收集整理的访问者模式用到了一种双分派的技术——静态分派和动态分派的全部内容，希望文章能够帮你解决所遇到的问题。

如果觉得生活随笔网站内容还不错，欢迎将生活随笔推荐给好友。