jvm中的动态分派

动态分派与复写密不可分,因为java中存在向上转型,这样就涉及到方法的调用问题。先看一下示例代码

package com.dy.xidian;

class Test1 {

    public void say() {
        System.out.println("Test1");
    }
}
public class Test extends Test1 {

    public static void main(String[] args) {
        Test1 t = new Test();
        t.say();
    }

    public void say() {
        System.out.println("Test");
    }
}

代码中创建了一个Test()对象,然后将其向上转型为Test1类型,然后调用say()方法。那么问题来了,调用的say()是父类的方法还是子类的方法。先看一下字节码文件

在字节码文件中,我们可以观察到在main()方法中创建了Test文件,然后调用构造器(<init>)方法,紧接着调用Test1.say()方法。那么最后应该输出的是Test1,但是运行上面的代码会发现输出的是Test。出现这种原因和invokevirtual指令有关。

invokevirtual指令执行过程

  • 找到操作数栈顶的第一个元素所指向的对象的实际类型,记作C
  • 如果C中有对应的方法则直接返回该方法的直接引用(即C实现了改方法),否则按照继承关系从下往上依次对C的各个父类进行查找,如果没有查找到则抛出异常

所以上面代码中t是静态类型,编译时就可以确认,为Test1。而其对应的对象是实际类型,为Test。所以按照上面的步骤最后的结果输出的应该是Test。

 

posted @ 2016-09-28 14:34  被罚站的树  阅读(330)  评论(0编辑  收藏  举报