先下结论:静态分派是根据方法参数的静态类型(外观类型)在编译期决定方法的特征签名;动态分派是
根据方法接受者的实际类型在运行时决定具体调用哪个方法。
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)。