Java的静态绑定和动态绑定

在Java方法调用的过程中，JVM是如何知道调用的是哪个类的方法源代码呢？这就涉及到程序绑定这个概念。
Java分为静态绑定和动态绑定

静态绑定

如果是private方法、static方法、final方法或者构造器，那么编译器将可以准确地知道应该调用哪个方法，在编译阶段就能够确定调用哪个方法的方式，我们称为静态绑定（ static binding)。

动态绑定

对象方法的执行过程如下：

1. 编译器查看对象的声明类型和方法名。假设调用x.f(param)，且隐式参数x声明为C类的对象。需要注意的是:有可能存在多个名字为f，但参数类型不一样的方法。例如，可能存在方法 f(int)和方法 f(String)。编译器将会一一列举所有C类中名为f的方法和其超类中访问属性为public且名为f的方法（超类的私有方法不可访问)。至此,编译器已获得所有可能被调用的候选方法。
2. 接下来，编译器将查看调用方法时提供的参数类型。如果在所有名为f的方法中存在一个与提供的参数类型完全匹配，就选择这个方法。这个过程被称为重载解析（overloadingresolution)。例如，对于调用x.f(“Hello”)来说，编译器将会挑选 f(String)，而不是 f(int)。由于允许类型转换(int可以转换成double,Manager可以转换成Employee，等等)，所以这个过程可能很复杂。如果编译器没有找到与参数类型匹配的方法，或者发现经过类型转换后有多个方法与之匹配，就会报告一个错误。至此、编译器已获得需要调用的方法名字和参数类型。
3. 如果是 private方法,static方法、final方法(有关final 修饰符的含义将在下一节讲述)或者构造器，则是静态绑定（ static binding)。与此对应的是，调用的方法依赖于隐式参数的实际类型,并且在运行时实现动态绑定。在我们列举的示例中，编译器采用动态绑定的方式生成一条调用f (String)的指令。
4. 当程序运行,并且采用动态绑定调用方法时，虚拟机一定调用与x所引用对象的实际类型最合适的那个类的方法。假设x的实际类型是D,它是C类的子类。如果D类定义了方法 f(String)，就直接调用它;否则,将在D类的超类中寻找f(String)，以此类推。

每次调用方法都要进行搜索，时间开销相当大。因此，虚拟机预先为每个类创建了一个方法表（ method table)，其中列出了所有方法的签名和实际调用的方法。这样一来、在真正调用方法的时候，虚拟机仅查找这个表就行了。在前面的例子中，虚拟机搜索D类的方法表，以便寻找与调用f(Sting)相匹配的方法。这个方法既有可能是D.f(String)，也有可能是X.f(String)，这里的X是D的超类。这里需要提醒一点，如果调用super.f(param)，编译器将对隐式参数超类的方法表进行搜索。

动态绑定有一个非常重要的特性:无需对现存的代码进行修改，就可以对程序进行扩展。