详细解释JAVA中的静态绑定和动态绑定

总结JAVA的静态绑定和动态绑定

 

对于继承关系复杂的类层次结构，访问对象的实例成员和访问类的静态成员，以及在对象的实例方法或类的静态方法中访问其它静态成员或动态成员时，如果不搞清楚静态绑定和动态绑定的规律，往往容易出现意想不到的结果，导致继承关系的一组类设计失败。

 

以下用三句话总结了动态绑定和静态绑定的规律。

 

      在类的继承体系中，

• 访问静态成员（包括静态方法和静态变量）或实例变量，在调用时具体绑定哪一级的实现，完全取决于调用类的名称，或调用对象的声明类型定义，与实例的具体构造类型无关，即与运行时无关；
• 访问实例方法，在调用时具体绑定哪一级的实现，只取决于对象实例的具体构造类型，与对象的声明类型（引用）无关；进一步，在所有实例方法的调用堆栈中，总是优先寻找对象实例的具体构造类型那一级的实现，因此，可能出现钩子，如 B{void m2(){}} extends A{ void m1(){m2();}   void m2(){}}；A b = new B(); 访问b.m1()，则出现调用堆栈 A.m1()->B.m2()的情况，m1方法不会调用到A的m2方法实现；
• 实例方法中访问其它成员，包括静态变量和实例变量，也都总是优先寻找对象实例的具体构造类型那一级的实现。如B{void m2(){m3();}  static void m3(){}} extends A{ void m1(){ m2();}   void m2(){m3();} static void m3()}；A b = new B(); 访问b.m1()，则出现调用堆栈 A.m1()->B.m2() -> B.m3()的情况；B.m2()不会调用到A定义的m3()静态方法。

上面的话可能有些绕口，以下几个名词。

• 静态成员：包括静态变量和静态方法，由static标识，一般通过类名称调用；在少数人编码不规范的情况下通过对象实例调用，编译器给出警告，但予以通过；
• 实例成员：包括实例变量和实例方法，无static标识，只能由对象实例调用；
• 声明类型：如A a = new AImpl()，A为声明类型；
• 构造类型：如A a = new AImpl()，AImpl为构造类型。