针对于方法调用的动态分配过程,虚拟机会在类的方法区建立一个虚方法表的数据结构(virtual method table ,vtable)
针对于invokeinterface指令来说,虚拟机会建立一个叫作接口方法表的数据结构(interface method table,itable)
1、方法的静态分派
package com.bytecode;
/**
* @author dc
* @date 2020/6/26 - 15:30
*/
/**
* 方法的静态分派:
*
* Grandpa g1 = new Father();
*
* 以上代码,g1的静态类型是Grandpa,而g1的实际类型(真正指向的类型)是Father。
*
* 我们可以得出这样一个结论:变量的静态类型是不会发生变化的,而变量的实际类型则是可以发生
* 变化的(多态的一种体现),实际类型是在运行其才能确定的。
*/
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) {
MyTest5 myTest5 = new MyTest5();
Grandpa g1 = new Father();
Grandpa g2 = new Son();
myTest5.test(g1);
myTest5.test(g2);
}
}
class Grandpa {
}
class Father extends Grandpa {
}
class Son extends Father {
}
2、方法的动态分派
package com.bytecode;
/**
* @author dc
* @date 2020/6/26 - 16:00
*/
/**
* 方法的动态分派:
*
* 方法的动态分派涉及到一个重要概念:方法接收者
*
* invokevirtual字节码指令的多态查找流程
*
* 比较方法重载与方法重写,我们可以得到这样的结论:
* 方法重载是静态的,是编译期行为;方法重写是动态的,是运行期行为。
*/
public class MyTest6 {
public static void main(String[] args) {
Fruit apple = new Apple();
Fruit orange = new Orange();
apple.test();
//System.out.println("---------------------------------------");
orange.test();
//System.out.println("---------------------------------------");
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");
}
}