Java 方法调用与虚方法

1、静态绑定与动态绑定

绑定是一个字段、方法或者类在符号引用被替换为直接引用的过程，这仅仅发生一次。方法调用与方法体的关联也是绑定。在JVM中，将符号引用转换为调用方法的直接引用与方法的绑定机制相关。有两种类型的绑定：静态绑定在编译时发生，动态绑定在运行时发生。

（1）静态绑定

当一个字节码文件被装载进JVM内部时，如果被调用的目标方法在编译期可知，且运行期保持不变时。这种情况下将调用方法的符号引用转换为直接引用的过程称之为静态绑定。

1）private：不能被继承，则不能通过子类对象调用，而只能通过类本身的对象进行调用，所以可以说private方法和方法所属的类绑定；
2）final：final 方法虽然可以被继承，但是不能被重写（覆盖），虽然子类对象可以调用，但是调用的都是父类中的final方法（因此可以看出当类中的方法声明为final的时候，一是为了防止方法被覆盖，二是为了有效关闭java的动态绑定）；
3）static：static 方法可以被子类继承，但是不能被子类重写（覆盖），但是可以被子类隐藏。（这里意思是说如果父类里有一个static方法，它的子类里如果没有对应的方法，那么当子类对象调用这个方法时就会使用父类中的方法。而如果子类中定义了相同的方法，则会调用子类的中定义的方法。唯一的不同就是，当子类对象上转型为父类对象时，不论子类中有没有定义这个静态方法，该对象都会使用父类中的静态方法。因此这里说静态方法可以被隐藏而不能被覆盖。这与子类隐藏父类中的成员变量是一样的。隐藏和覆盖的区别在于，子类对象转换成父类对象后，能够访问父类被隐藏的变量和方法，而不能访问父类被覆盖的方法）。

（2）动态绑定

如果被调用的方法在编译期无法被确定下来，也就是说，只能够在程序运行期将调用方法的符号引用转换为直接引用，由于这种引用转换过程具备动态性，因此也就被称之为动态链接。

方法覆盖是动态绑定的一个完美示例，因为覆盖父类和子类具有相同的方法，在这种情况下，对象的类型确定要执行的方法。对象的类型在运行时确定，因此称为动态绑定。

动态绑定方法调用过程

1）编译器查看对象的声明类型和方法名
假设调用 x.f(param)，且隐式参数 x 声明为 C 类的对象。需要注意的是：可能存在多个名字为 f，但是参数类型不一样的方法。例如，可能存在方法 f(int) 和 f(String)。编译器将一一列举所有 C 类中名为f的方法和其超类（父类）中访问属性为 public 且名为f的方法（超类的私有方法不可访问）。至此编译器已获得所有可能被调用的候选的方法。
2）编译器查看调用方法提供的参数类型
如果在所有名为f的方法中存在一个与提供的参数类型完全匹配，那就选择这个方法。这个过程被称为重载解析（由于允许类型转换，所以这个过程可能很复杂）。如果编译器没有找到与参数类型匹配的方法，或者经过类型转换后有多个方法与之匹配，就会报告一个错误。至此，编译器已获得需要调用的方法名字和参数类型。
采用动态绑定调用方法时，虚拟机一定调用与 x 所引用对象的实际类型最合适的那个类的方法。

2、虚方法与虚方法表

（1）虚方法与非虚方法

非虚方法:如果方法在编译期就确定了具体的调用版本，这个版本在运行时是不可变的。这样的方法称为非虚方法。静态方法、私有方法、final方法、实例构造器、父类方法都是非虚方法。
其他方法称为虚方法。
子类对象的多态性的使用前提：①类的继承关系、②方法的重写

（2）虚方法表

在面向对象的编程中，会很频繁的使用到动态绑定，如果在每次动态绑定的过程中都要重新在类的方法元数据中搜索合适的目标的话就可能影响到执行效率。因此，为了提高性能，JVM 采用在类的方法区建立一个虚方法表(virtual method table)(非虚方法不会出现在表中)来实现。使用索引表来代替查找。
每个类中都有一个虚方法表，表中存放着各个方法的实际入口。
虚方法表会在类加载的链接阶段被创建并开始初始化，类的变量初始值准备完成之后，JVM 会把该类的方法表也初始化完毕。

父类的方法指向父类，子类重写的方法指向子类，动态绑定可以理解为在运行时确定对象的引用类型，从而确定了虚方法表。

（3）方法调用指令