多重继承中同名方法就出现了竞争关系,需要明确到底是继承的哪个方法。
方法调用阶段确定被调用方法的版本。所有方法调用中的目标方法在Class文件中都是一个常量池中的符号引用。要调用方法首先要知道其直接引用(方法入口地址)。
一、先谈解析
将符号引用转化为直接引用(方法在实际运行时内存布局中的入口地址),有一部分是在类加载的解析阶段,这种解析成立的前提是:该方法“编译期可知,运行期不可变”,主要包括静态方法(与类型直接关联)、私有方法(外部不可访问),其他还有实例构造器方法、父类方法和被final修饰的方法。此类方法各自的特点决定了他们都不可能是通过继承或者别的方式(实现)重写其它版本。
静态方法通过invokestatic
字节码指令调用
私有方法、实例构造器方法、父类方法使用invokespecial
指令调用
被final修饰的方法使用invokevirtual
指令调用
二、再谈分派
1、分派会做什么
分派分为静态和动态,又分为单分派和多分派
静态分派
例如重载
Human man = new Man();
上面代码中的Human是静态类型,Man是实际类型。
虚拟机(准确的说是编译器)在重载时通过参数的静态类型而不是实际类型作为选择方法版本的判定依据。而静态类型是编译器可知的,因此在编译阶段,javac编译器会根据参数的静态类型决定使用哪个重载版本,并把这个版本