jvm--重载重写原理

一个重载的栗子：
class Parent ...
class Child extends Parent ...
class Overload{
public static void overload(Parent p) ...
public static void overload(Child c) ...
public static void main() {
Parent p = new Child();
Overload.overload(p);
}
}
这个是调用的是：overload(Parent p)方法。虽然p的实际引用类型是Child；
这要提到两个重要的概念：
上段栗子中，对于对象p来说，Parent称为其 静态类型或者外观类型，Child是其实际类型。对象本身的静态类型是不会变的，但是实际类型是可以变化的，要在实际执行代码中才能确定。


那么依赖静态类型来定义方法执行版本的分派动作称为静态分派。典型应用就是重载。
同理依赖实际类型来定义方法执行版本的分派动作称为动态分派。典型应用就是重写。


其实重写的原理也是继承多态的原理。


一个多态+重写（覆盖）的栗子：
class Parent --> print方法
class Child extends Parent --> print方法
Parent p = new Child(); p.print();
将子类赋值给父类p，p只能调用Parent中的方法，但是print方法被重写了，print的实现还是Child中的实现。


以上两个类，加载到jvm中，类信息会被保存在方法区。
像开头那样，用一个基类的引用指向子类对象，这个引用绑定的类仍然是子类，只不过它能访问的方法表与一般子类对象不同，方法表会限定这个类访问的方法范围为引用类定义的范围内。


Class编译过程中不包含连接步骤，一切的方法调用在Class文件中存储的都是符号引用，而方法的实际调用需要到类加载期间，甚至运行期间才能确定。
1、在类加载的解析期间会将其中一部分符号引用转化为直接引用。包括私有方法以及静态方法，这两种方法都不会通过继承或者重写的方式被覆盖。譬如：
invokestatic和invokespecial，能被这两个指令调用的方法都可以在类加载解析阶段确定调用版本，如：静态方法，私有方法，类构造器，父类方法，这些方法会在编译器将符号引用解析为直接引用。这些方法称为非虚方法。另外final修饰的方法虽然是被invokevirtual调用，也是非虚方法。
2、上面栗子中，方法调用时使用invokevirtual 调用的是Parent的print的方法，却是Child的实现。invokevirtual会做如下事情：先找到实际类型，在实际类型中寻找相符的方法，若没找到，则按照继承关系从下到上寻找相符合的方法，若都没找到抛出异常。