深入理解Java的多态特性——JVM之类的解析、分派过程

问题背景介绍

Java中的多态是指，对于某个引用类型的方法调用，实际调用的到底是哪个类中的目标方法，需要在执行的时候才能知道。原因是存在子类重写父类的方法。

而上述这个过程在Java虚拟机-JVM中是如何实现的呢？

其实是在Java虚拟机里，字节码执行的过程中，需要确定调用方法的版本（即调用哪一个方法，但还未涉及方法内部的具体运行过程），在这个过程中，发生了动态分派这么一个操作。

什么是虚拟机执行过程？就是输入字节码二进制流，输出执行结果。
简单来说就是确定调用方法的版本（即调用哪一个方法），暂时还未涉及方法内部的具体运行过程

想要知道动态分派是什么意思，就需要先知道与其对应的静态解析过程。

静态解析

定义：调用方法目标在代码写好、编译器进行编译的那一刻就已经确定下来的话，这类方法调用即为解析，是一个静态过程。

哪些方法调用是静态解析？
——Java中符合解析条件的五种方法（被invokestatic和invokespecial字节码指令调用的4种+被final修饰的1种）：

1. 静态方法；
2. 私有方法；
3. 实例构造器；
4. 父类方法；
5. 被final修饰的方法；

动态分派

动态分派与解析相对应，在代码写好、编译器进行编译的时候还不能确定，直到方法运行时才能决定目标方法，也就是在运行期根据实际类型确定方法的执行版本。

一个对象分静态类型（或称编译类型）和动态类型（运行类型），静态类型看定义对象时“=”号左边，动态类型看“=”号右边。

在选择调用的方法版本的时候，看的是实际类型——运行类型。

Java虚拟机对于动态分派的实现与优化

动态分派的方法版本选择需要运行时在接受者类型的方法元数据中搜索目标方法，比如Invokevirtual指令执行的第一步就是在运行期确定接收者的实际类型，并选择执行的方法版本；

但动态分派是很频繁的操作，频繁地去搜索元数据，会比较费时，如果继承的层次比较深还会更费时。

1.基础优化-虚方法表

虚方法表（vtable）的优化方法即用虚方法表索引来代替元数据查找。
虚方法表中存有各个方法的实际入口地址，若子类没有重写父类的方法，则子父类的同一个方法在虚方法表中的入口地址相同；若子类重写了父类的方法，则子类在虚方法表中的地址会被替换成实际的入口。

但实际上再HotSpot虚拟机的实现中，这种方式已经是最慢的一种分派了，还有优化措施——即时编译的方法内联

2.即时编译-基于CHA的优化

也即借助CHA类型继承关系分析技术进行方法内联

（方法内联是什么？就是把目标方法的代码原封不动地“复制”到发起调用的方法中，避免发生真实的调用）

• 如果CHA查到此方法的目标方法仅一个版本，则进行守护内联（因为是动态链接，仍是激进优化，因此需要“逃生门”）；
• 如果查到目标方法有多个版本，则做最后一次努力——“内存缓存”，记录下上次调用的方法接受者的版本信息，每次调用时比较版本号，若一致则缓存有效；
• 若内存缓存用不上，则退回查虚方法表的形式。