java分派
变量被声明时的类型叫做变量的静态类型(Static Type) 又叫明显类型(Apparent Type)。变量所引用的对象的真实类型又叫做变量的实际类型(Actual Type)。
根据对象的类型而对方法进行的选择,就是分派(Dispatch)。根据分派发生的时期,可以将分派分为两种,即分派分静态分派和动态分派。
静态分派(Static Dispatch) 发生在编译时期,分派根据静态类型信息发生。方法重载(Overload)就是静态分派。(所谓的:编译时多态)
动态分派(Dynamic Dispatch) 发生在运行时期,动态分派动态地置换掉某个方法。面向对象的语言利用动态分派来实现方法置换产生的多态性。(所谓的:运行时多态)
方法重载(静态分派)
解析调用时静态过程,编译器即可以确定方法的版本。解析调用类的类型兵没有关系。解析调用主要包括静态方法,私有方法,类初始化方法,父类方法。
解析调用与分派并不是互斥关系。是站在不同的角度的说法。分派是站在根据类型选择方法版本的角度上的说法。静态方法是解析调用,但是静态方法的重载,也可是静态分派。