双分派 和 访问者模式详解

 

为什么 网上的人都说 java 只支持 单分派不支持双分派？
这段代码摘子某书[code=Java]

public class Dispatch{

static class QQ{}
static class _360{}

public static class Father{

public void hardChoice(QQ arg){
System.out.println("father chooes qq");}

public void hardChoice(_360 arg){
System.out.println("father chooes 360");}
}

public static class Son extends Father{

public void hardChoice(QQ arg){

System.out.println("son chooes qq");
}

public void hardChoice(_360 arg){
System.out.println("son chooes 360");

}
}

public static void main(String [] args){
Father father=new Father();
Father son=new Son();
father.hardChoice(new _360());
son.hardChoice(new QQ());
}

}

结果是
father chooes 360
son chooes qq
[/code]
先说下概念  静态分派
比如 Human man=new Man（）;
Human  是静态类型 ， Man 称为变量的实际类型  ，静态类型和实际类型在程序中都可以变化，区别是静态类型的变化仅仅在使用时发生，变量本身的静态类型不会变化，并且最终的静态类型在编译时刻可知，而实际类型的变化在运行时刻菜可知。

虚拟机重载的时候通过静态类型判断选择哪个重载版本，对于所有依赖静态类型来定位方法执行版本的动作称作静态分派。

静态方法在类加载的时刻就被解析，所以静态方法也是可以拥有多个重载版本的，选择版本的过程通过静态分派完成。

 

我们上面的例子里面 选择目标方法有两点  ：静态类型是 Father 还是 Son 方法参数是 360 还是 QQ ,这次选择产物是两条
invokespecial 指令，这两条指令分别为常量池中指像 Father.hardChoice(360),Father.hardChoice(QQ)方法的符号引用，
因为此次选择是依据两个宗量 ，所以 可以证明 java 是静态多分派的。

在运行阶段的选择过程，是动态分派的过程，此时不会关心传入的参数类型，因为都不会对方法选择进行影响，唯一可以影响的也就是 接受者的实际类型 也就是 Father 还是 Son ，因为只有一个宗量作为选择一句，所以java 的动态分派是单分派的。