深入理解java多态性

贴子中部分源代码摘自csdn的一篇帖子， 参考了他们的理解，说说自己的一些见解：

//源代码：

class A {
         public String show(D obj){
                return ("A and D");
         }
         public String show(A obj){
                return ("A and A");
         }
         public String show(C obj){
               return ("A and C");
         }
}
class B extends A{
         public String show(B obj){
                return ("B and B");
         }
         public String show(A obj){
                return ("B and A");
         }
         public String show(C obj){
                return ("B and C");
  }
}
class C extends B{}
class D extends B{}
class Test{     
   public static void main(String[] args){
      A a1 = new A();
      A a2 = new B();
      B b = new B();
      C c = new C();
      D d = new D();
      System.out.println(a1.show(b));     // 1
      System.out.println(a1.show(c));     // 2
      System.out.println(a1.show(d));    // 3
      System.out.println(a2.show(b));    // 4
      System.out.println(a2.show(c));     // 5
      System.out.println(a2.show(d));    // 6
      System.out.println(b.show(b));      // 7
      System.out.println(b.show(c));      // 8
      System.out.println(b.show(d));      // 9
    } 
} 

 

执行结果为：

1   A and  A

2   A and  C

3   A and  D

4   B and  A

5   B and  C

6   A and  D

7   B and  B

8   B and  C

9   A and  D

 

背景知识：运行时多态性是面向对象程序设计代码重用的一个最强大机制，动态性的概念也可以被说成“一个接口，多个方法”。Java实现运行时多态性的基础是动态方法调度，它是一种在运行时而不是在编译期调用重载方法的机制。

        方法的重写Overriding和重载Overloading是Java多态性的不同表现。重写Overriding是父类与子类之间多态性的一种表现，重载Overloading是一个类中多态性的一种表现。如果在子类中定义某方法与其父类有相同的名称和参数，我们说该方法被重写(Overriding)。子类的对象使用这个方法时，将调用子类中的定义，对它而言，父类中的定义如同被“屏蔽”了。如果在一个类中定义了多个同名的方法，它们或有不同的参数个数或有不同的参数类型，则称为方法的重载(Overloading)。Overloaded的方法是可以改变返回值的类型。方法的重写Overriding和重载Overloading是Java多态性的不同表现。重写Overriding是父类与子类之间多态性的一种表现，重载Overloading是一个类中多态性的一种表现。如果在子类中定义某方法与其父类有相同的名称和参数，我们说该方法被重写 (Overriding)。子类的对象使用这个方法时，将调用子类中的定义，对它而言，父类中的定义如同被“屏蔽”了。如果在一个类中定义了多个同名的方法，它们或有不同的参数个数或有不同的参数类型，则称为方法的重载(Overloading)。Overloaded的方法是可以改变返回值的类型。

        当超类对象引用变量引用子类对象时，被引用对象的类型而不是引用变量的类型决定了调用谁的成员方法，但是这个被调用的方法必须是在超类中定义过的，也就是说被子类覆盖的方法。 （但是如果强制把超类转换成子类的话，就可以调用子类中新添加而超类没有的方法了。）

 

分析：主要知识点：方法调用的优先问题 ，优先级由高到低依次为：this.show(obj)、super.show(obj)、this.show((super)obj)、super.show((super)obj)，如果弄懂了这个优先级调用问题，那么上面的结果都很好解释了。

比如对于第一个结果，由于A类中没有 show(B obj)方法，且它没有父类，故它会调用第三个优先级，即调用方法show(A obj)，很容易得出上面的结果。

又如第四个，a2.show(b)，a2是一个引用变量，类型为A，则this为a2，b是B的一个实例，于是它到类A里面找show(B obj)方法，没有找到，于是到A的super(超类)找，而A没有超类，因此转到第三优先级this.show((super)obj)，this仍然是a2，这里obj为B，(super)obj即(super)B即A，因此它到类A里面找show(A obj)的方法，类A有这个方法，但是由于a2引用的是类B的一个对象，B覆盖了A的show(A obj)方法，因此最终锁定到类B的show(A obj)，输出为"B and A”。（此解释引自网友，个人认为解释得很清楚）。

     其实对于所有其它的结果，都很容易应用上面所说的优先级调用得出结果，它是解决关于此类多态问题的关键。而我们平时分析的时候却很少考虑到它，或者根本就不知道，课堂上老师也没提到过，所以分析这类问题时往往感觉比较麻烦。