多态的底层原因

目录

静态分派

动态分派

动态分配的实现

---

多态的底层就是分派，分派分为静态分派(重载)与动态分派(重写)。

静态分派

发生在编译时期，因此静态分派的动作实际上不是由虚拟机来执行的，只能通过语言上的规则去理解和推断哪个是更加合适的版本，自动转型： char->int->long->float->double的顺序转型时进行匹配，但不会匹配到byte和short类型的转型时不安全的。如果经过基本类型的顺序还未找到那么就会发生一次自动装箱，去寻找自己的装箱类，如果找不到了装箱类，但是找到了装箱类实现的接口类型也可以，如果出现两个优先级一样就会报错，拒绝编译。越接近上层的优先级越低。

动态分派

• 实际类型变化的结果在运行期才确定，编译器在编译程序的时候并不知道一个对象的实际类型是什么。

• 找到操作数栈顶的第一个元素所指向的对象的实际类型，记做C。
• 如果在类型C中找到与常量中的描述符和简单名称都相符的想法，则进行访问校验，如果通过则返回这个方法的直接引用，查找过程结束；如果不通过，则返回异常。
• 否则，按照继承关系从下往上一次对C的各个父类进行第2步的搜索和验证过程。
• 如果始终没有找到合适的方法，则抛出异常。

Java是一种静态多分派，动态单分派的语言。静态多分派，选择目标方法的依据有两点：一个是静态类型，一个是方法参数。动态单分派则是唯一影响虚拟机选择的性因素只有此方法的接受者的实际类型是什么作为选择依据。

动态分配的实现

因为动态分派是非常频繁的动作，而且动态分派的方法版本选择过程中需要运行时在类的方法元数据中搜索合适的目标方法，因此在虚拟机的实际实现中基于性能的考虑，大部分都不会真正的进行如此频繁的搜索，最常用的手段就是可以给宝宝过一遍 类在方法区中建立一个虚方法表，使用虚方法表索引来代表元数据查找以提高功能。

虚方法表中存放着各个方法的实际入口地址，如果某个方法在子类中没有被重写，那么子类的虚方法表里面的地址入口和父类相同方法的地址入口都是一致的，都指向父类的实现入口。如果子类重写了这个方法，子类方法表中的地址会替换为指向子类实现版本2的入口地址。

 

 

参考书本

深入理解Java虚拟机