JVM字节码执行引擎（二）——方法调用（解析、动态分派、静态分派）

参考文章：JVM（十四）方法调用

方法调用阶段就是确定被调用方法的版本，即调用哪一个方法。

解析

我们已经知道，class文件中需要调用的方法都是一个符号引用，而在方法调用中的解析阶段，就是要把一部分符号引用转化为直接引用。
能在解析阶段将方法的符号引用转化成直接引用的的方法，必须在方法运行前就确定一个可调用的版本，并且这个版本在运行阶段是不可改变的。
“编译期可知，运行期不可变”，符合这个规则的方法有静态方法和私有方法两大类。前者与所属的类直接关联，后者在外部不可以被访问。这两种方法都适合在解析调用，也就是把这些方法的符号引用转化成直接引用。

与之对应5条调用方法的字节码指令：

• invokestatic:调用静态方法
• invokespecial：调用实例构造器方法，私有方法和父类方法
• invokevirtual：调用所有虚方法
• invokeinterface：调用接口方法，运行时确定一个实现此接口的对象
• invokedynamic:先在运行时动态解析出调用点限定符所引用的的方法，然后再执行此方法

只有用invokestatic和invokespecial指令调用的方法（还有final修饰的方法），都可以在解析阶段确定调用版本，这些方法叫做非虚方法。
剩下三个字节码指令调用的方法叫做虚方法（invokevirtual指令调用的final修饰的方法除外）
解析调用是一个静态过程，编译期间就可以确定，解析阶段将符号引用转化为直接引用。

将代码转换为字节码文件：

可以看到，确实是通过invokestatic命令调用sayhello方法。

分派

1. 静态分派—（重载）

先看一段简单的代码：

输出结果是什么？
我们先来分析一下：
首先引入两个概念：我们把代码中的Human成为变量的静态类型，把Man、Woman称为变量的实际类型。
静态类型和动态类型在程序中都可以发生一些变化，区别是静态类型的变化仅仅在使用时发生，变量本身的静态类型不会改变，并且最终的静态类型是在编译期可知的；而实际类型变化的结果在运行期才可确定，编译器在编译程序的时候不知道一个对象的实际类型是什么。
现在再看代码，对于sd.sayHello(man);直观上看，它似乎传入的是Man类型的参数man，所以应该打印的是man的方法“man is saying hello”，
但是要注意，man 的静态类型仍然是Human，实际类型才是man，所以，在编译阶段，Javac选择了sayHello(Human)作为调用目标。
即最终输出：