关于java的静态分派和动态分派

先下结论：静态分派是根据方法参数的静态类型（外观类型）在编译期决定方法的特征签名；动态分派是

根据方法接受者的实际类型在运行时决定具体调用哪个方法。

public static Father{}
public static Son extends Father{}
Father a=new Son();
Employee b=new Manager();
a.methodTest(b);//这里会产生一个invokevirtual字节码指令，参数为常量池中指向的A::methodTest(Employee)的符号引用

 上边代码在编译期会根据b的静态类型（外观类型即Employee而不是Manager）去调用a的签名（描述符）为methodTest(Empolyee)的方法，但是在编译期仍然不知道作为方法接受者的a实际类型是什么。只有到了运行时根据a的实际类型决定到底调用哪个类的描述符为methodTest(Empolyee)的方法。所以动态分派实际对应的是java语法中的重写（override），而静态分派实际对应的是java语法中的重载（overload）。