Java虚拟机执行引擎多态的实现

在java中多态的表现为：重写（override）和重载（overload）

重载（overload 就是在同一个类中写多个方法名相同的方法）是java的静态分派：
Java方法重载是根据传入参数的数量和参数类型，由于传入的参数类型和数量已已知的并且用传入的静态类型而不是实际类型作为参数来判定依据。而静态类型在编译器是已知的，那么在编译期，javac编译器就会根据静态类型来判断使用哪个重载版本的方法，并将方法写入字节码中。

重写（override子类继承父类的方法，并覆盖了父类的方法）是java动态分派：
1.java动态分派是根据虚拟机栈的栈帧的操作数栈来确定了实际类型，类型记作C
2.根据C的实际类型，在C类中匹配与返回类型，简单名称都符合的方法，再进行权限验证，如果相同，则返回方法的引用，并查找结束；如果不通过，则返回java.lang.IllegalAccessError异常；
3.如果查找未结束，则从子类到父类由下往上依次匹配第2部的搜索过程；
4.如果未查找到目标结果，则返回java.lang.abstractMethodError异常；