静态分派:
静态分派是面向静态方法的,所谓静态方法就是用static修饰的类方法和所有声明为final和private的实例方法。从修饰符可以看出,静态方法时不可以被覆盖的,也就是说不可以重写,所以就不存在子类覆写的多态性。于是,静态类型的方法调用入口只能是一个,在编译的过程中,Java虚拟机执行哪一个方法在编译时就已经确定了,并且运行期不会变化。
对于两个静态类型相同,但是实际类型不同的变量,虚拟机在重载时时通过参数的静态类型而不是实际类型来作为判定依据的,静态类型是编译期可知的,因此,在编译器,Java虚拟机(严格的说是Java编译器)会根据参数的静态类型决定使用哪个重载版本。
详细解释请参考深入理解Java虚拟机第二版P247(静态分派)章节。
所有依赖于静态类型来定位方法执行版本的分派动作都称之为静态分派。静态分派的典型应用就是方法重载。静态分派发生在编译阶段,因此确定静态分派的动作实际上不是由Java虚拟机来完成的,而是Java编译器来完成的。
动态分派:
运行期根据实际类型确定方法执行版本的分派过程称为动态分派。