动态绑定 vs 静态绑定

动态绑定(又名后期绑定)

动态绑定是指编译器在编译阶段不知道要调用哪个方法，直到运行时才能确定。让我们用个例子来解释。譬如我们有一个叫作’SuperClass’的父类，还有一个继承它的子类’SubClass’。现在SuperClass引用也可以赋给SubClass类型的对象。如果SuperClass中有个someMethod()的方法，而子类也重写了这个方法，那么当调用SuperClass引用的这个方法的时候，编译器不知道该调用父类还是子类的方法，因为编译器不知道对象到底是什么类型，只有到运行时才知道这个引用指向什么对象。

1 2 3 4 5 6 7 8

... SuperClass superClass1 = new SuperClass(); SuperClass superClass2 = new SubClass(); ...   superClass1.someMethod(); // SuperClass version is called superClass2.someMethod(); // SubClass version is called ....

我们可以看到虽然对象引用superClass1和superClass2都是SuperClass类型的，但是在运行时它们分别指向SuperClass和SubClass类型的对象。

所以在编译阶段，编译器不清楚调用引用的someMethod()到底是调用子类还是父类的该方法。

所以方法的动态绑定是基于实际的对象类型，而不是它们声明的对象引用类型。

静态绑定(又名前期绑定)

如果编译器可以在编译阶段就完成绑定，就叫作静态绑定或前期绑定。基本上实例方法都在运行时绑定，所有的静态方法都在编译时绑定，所以静态方法是静态绑定的。因为静态方法是属于类的方法，可以通过类名来访问(我们也应该使用类名来访问静态方法，而不是使用对象引用来访问)，所以要访问它们就必须在编译阶段就使用编译类型信息来进行绑定。这也就解释了为什么静态方法实际上不能被重写。

更多阅读：可以重写静态方法吗？

类似的，访问成员变量也是静态绑定的，因为Java不支持(实际上是不鼓励)成员变量的多态行为。下面看个例子：

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20

class SuperClass{ ... public String someVariable = "Some Variable in SuperClass" ; ... }   class SubClass extends SuperClass{ ... public String someVariable = "Some Variable in SubClass" ; ... } ... ...   SuperClass superClass1 = new SuperClass(); SuperClass superClass2 = new SubClass();   System.out.println(superClass1.someVariable); System.out.println(superClass2.someVariable); ...

输出：

1 2	Some Variable in SuperClass Some Variable in SuperClass

我们可以发现成员变量由对象引用声明的类型决定，是由编译器在编译阶段就知道的信息，所以是静态绑定。另外一个静态绑定的例子是私有的方法，因为它们不会被继承，编译器在编译阶段就完成私有方法的绑定了。