初识Java虚拟机（10）动态分派的实现

    上一节已经介绍了分派过程，是虚拟机概念模型的基本介绍。对于虚拟机实际是如何做到的，在这节进行解释。

    由于动态分派是非常频繁的操作，而且动态分派的方法版本选择过程需要运行时在类的方法元数据中搜索合适的目标方法，因此在虚拟机的实际实现中，最常用的“稳定优化”手段就是在类方法区中建立一个虚方法表。虚方法表中存放着各个方法的实际入口地址，如果某个方法在子类中没有重写，那么子类的虚方法表里面的地址入口和父类相同方法的地址入口是一致的，都指向父类的实现入口。如果子类重写了这个方法，子类方法表中的地址将会替代为指向子类实现版本的入口地址。例如：没有重写的equals()方法就会指向Object数据类型，然后虚拟机再查找Object中的虚方法表即可。

    为了程序实现上的方便，具有相同签名的方法，在父类、子类的虚方法表中都应当具有一样的索引序号，这样当类型转变时，仅需要变更查找表就能找到入口地址。

    此外，虚拟机除了使用方法表外，在条件允许的情况下，还会使用“内联缓存（Inline Cache）”和基于“类型继承关系分析（Class Hierarchy Analysis,CHA）”技术的守护内联两种非稳定的“激进优化”手段来获得更高的性能。