方法重载与invokevirtual字节码指令的关系

Posted on 2019-06-29 21:07 work hard work smart 阅读(908) 评论(1) 编辑收藏举报

1、方法重载

创建MyTest5类

public class MyTest5 {
 
    public void test(Grandpa grandpa){
        System.out.println("grandpa");
    }
 
    public void test(Father father){
        System.out.println("father");
    }
    public void test(Son son){
        System.out.println("son");
    }
 
 
    public static void main(String[] args) {
        Grandpa g1 = new Father();
        Grandpa g2 = new Son();
 
        MyTest5 myTest5 = new MyTest5();
 
        myTest5.test(g1);
        myTest5.test(g2);
    }
}
 
 
 
class Grandpa{
 
}
 
class Father extends Grandpa{
 
}
 
class Son extends Father{
 
}

　　输出结果如下：

2、方法的静态分派
Grandpa g1 = new Father();
以上代码，g1的静态类型是Grandpa，而g1的实际类型（真正的指向的类型）是Father
我们可以得出这样一个结论：变量的静态类型是不会发生变化的，而实际类型则可以发生变化的（多态的一种体现），实际类型是在运行期方可确定。

方法重载，是一种静态的行为，编译期就可以完全确定。

所以MyTest5最终的输出结果两个都是grandpa

使用jclasslib，调用两个test方法，使用的都是invokevirtual指令

3、方法的动态分派机制

创建MyTest6.java类

package com.example.jvm.bytecode;
 
public class MyTest6 {
 
    public static void main(String[] args) {
        Fruit apple = new Apple();
        Fruit orange = new Orange();
 
        apple.test();
        orange.test();
 
        apple = new Orange();
        apple.test();
    }
 
}
class Fruit{
    public  void test(){
        System.out.println("Fruit");
    }
}
 
class Apple extends Fruit{
 
    @Override
    public void test() {
        System.out.println("Apple");
    }
}
 
class  Orange extends Fruit{
    @Override
    public void test() {
        System.out.println("orange");
    }
}

　　输出结果如下：

Apple
orange
orange

使用jclasslib查看字节码

可以看到apple.test() 对应的指令为 invokevirtual #6 <com/example/jvm/bytecode/Fruit.test> 在编译的时候使用的类型为Fruit，并不知道真正的类型为Apple

方法的动态分派
方法的动态分派涉及到一个重要概念：方法接收者。
invokevirtual字节码指令的多态查找流程（执行期）
1、找到操作数栈顶的第一个元素，它所指向对象的实际类型
2、在实际对象中找对应的方法（test()方法），检查访问类型是否可以访问，找到了就调用。如果没找到，继续往上找。

比较方法重载（overload）与方法重写（overwrite),我们可以得到这样的结论
方法重载是静态的，是编译器行为；方法重写是动态的，是运行期行为。