深入思考：JVM是如何进行方法调用的

导读

1. JVM里面是如何进行方法调用的？

2. 什么是静态分派？什么是动态分派？

3. 怎么保证动态分派的执行效率？

4. 重写和重载的执行原理？

我们知道方法调用会产生栈帧，存在虚拟机栈中，那么究竟JVM是如何进行方法调用的呢？

1、JVM调用指令与非虚方法

首先我们介绍一下JVM中5条方法调用的字节码指令，按类别分为非虚方法调用，虚方法调用：

非虚方法：在类加载的解析阶段就确定了唯一的调用版本，主要包括静态方法，私有方法，实例构造器和父类方法。

我们在一篇图文彻底弄懂Class文件是如何被加载进JVM的 #1.2.3、解析阶段这篇文章里面提到，我们会在解析阶段把符号引用替换为直接引用，但这里并不是转换所有的符号引用，而是静态方法，私有方法，实例构造器和父类方法。

其他的虚方法调用，是在运行期再确定下来的，我们称为分派调用。

2、分派调用

2.1、静态分派

假设有如下类结构：

我们执行：

1
2
3

Human man = new Man();
StaticDispatch sd = new StaticDispatch();
sd.sayHello(man);

发现最终执行的是 sayHello(Human) 方法，而不是 sayHello(Man) 方法。

上面的Human称为静态类型，静态类型在编译期可知；

Man称为变量的实际类型，实际类型在运行期才可以确定。

如下图，在编译期就根据静态类型确定了符号引用，实际执行的时候，会把符号引用转化为直接引用，调用 sayHello(Human) 方法：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

public static void main(java.lang.String[]);
descriptor: ([Ljava/lang/String;)V
flags: ACC_PUBLIC, ACC_STATIC
Code:
stack=2, locals=3, args_size=1
0: new #7 // class com/itzhai/jvm/executeengine/分派/StaticDispatch$Man
3: dup
4: invokespecial #8 // Method com/itzhai/jvm/executeengine/分派/StaticDispatch$Man."<init>":()V
7: astore_1
8: new #9 // class com/itzhai/jvm/executeengine/分派/StaticDispatch
11: dup
12: invokespecial #10 // Method "<init>":()V
15: astore_2
16: aload_2
17: aload_1
18: invokevirtual #11 // Method sayHello:(Lcom/itzhai/jvm/executeengine/分派/StaticDispatch$Human;)V
21: return
...

其中16~18表示把本地变量表中的Man实例引用和StaticDispatch实例引用加载到操作数栈中，然后执行 sayHello 方法。虽然这里是Man实例的引用，但是在编译期就已经确定了要执行 sayHello 的 StaticDispatch$Human 版本的方法。

静态分配：这种依赖 静态类型 来定位方法执行版本的分派动作成为静态分派。最常见的使用场景是方法重载。

思考

以下代码执行结果是什么，把sayHello的char方法注释掉呢，执行结果是什么：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

public class StaticDispatch2 {

public void sayHello(char arg) {
System.out.println("char");
}

public void sayHello(int arg) {
System.out.println("int");
}

public static void main(String[] args) {
StaticDispatch2 sd = new StaticDispatch2();
sd.sayHello('a');
}

}