深刻理解Java多态性

看过一些关于Java多态性的文章，参考了不少人的理解，加入了一些本身的见解，整理出来供你们参考，不必定彻底正确，欢迎你们批评指正。

（一）相关类

 class A ...{  
         public String show(D obj)...{  
                return ("A and D");  
         }   
         public String show(A obj)...{  
                return ("A and A");  
         }   
}   
class B extends A...{  
         public String show(B obj)...{  
                return ("B and B");  
         }  
         public String show(A obj)...{  
                return ("B and A");  
         }   
}  
class C extends B...{}   
class D extends B...{}

（二）问题：如下输出结果是什么？

 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));   ①  
        System.out.println(a1.show(c));   ②  
        System.out.println(a1.show(d));   ③  
        System.out.println(a2.show(b));   ④  
        System.out.println(a2.show(c));   ⑤  
        System.out.println(a2.show(d));   ⑥  
        System.out.println(b.show(b));    ⑦  
        System.out.println(b.show(c));    ⑧  
        System.out.println(b.show(d));    ⑨

（三）答案

①   A and A

②   A and A

③   A and D

④   B and A

⑤   B and A

⑥   A and D

⑦   B and B

⑧   B and B

⑨   A and D

（四）分析

①②③比较好理解，通常不会出错。④⑤就有点糊涂了，为何输出的不是"B and B”呢？！！先来回顾一下多态性。

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

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

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

好了，先温习到这里，言归正传！实际上这里涉及方法调用的优先问题 ，优先级由高到低依次为：this.show(O)、super.show(O)、this.show((super)O)、super.show((super)O)。让咱们来看看它是怎么工做的。

好比④，a2.show(b)，a2是一个引用变量，类型为A，则this为a2，b是B的一个实例，因而它到类A里面找show(B obj)方法，没有找到，因而到A的super(超类)找，而A没有超类，所以转到第三优先级this.show((super)O)，this仍然是a2，这里O为B，(super)O即(super)B即A，所以它到类A里面找show(A obj)的方法，类A有这个方法，可是因为a2引用的是类B的一个对象，B覆盖了A的show(A obj)方法，所以最终锁定到类B的show(A obj)，输出为"B and A”。

再好比⑧，b.show(c)，b是一个引用变量，类型为B，则this为b，c是C的一个实例，因而它到类B找show(C obj)方法，没有找到，转而到B的超类A里面找，A里面也没有，所以也转到第三优先级this.show((super)O)，this为b，O为C，(super)O即(super)C即B，所以它到B里面找show(B obj)方法，找到了，因为b引用的是类B的一个对象，所以直接锁定到类B的show(B obj)，输出为"B and B”。

按照上面的方法，能够正确获得其余的结果。

问题还要继续，如今咱们再来看上面的分析过程是怎么体现出蓝色字体那句话的内涵的。它说：当超类对象引用变量引用子类对象时，被引用对象的类型而不是引用变量的类型决定了调用谁的成员方法，可是这个被调用的方法必须是在超类中定义过的，也就是说被子类覆盖的方法。仍是拿a2.show(b)来讲吧。

a2是一个引用变量，类型为A，它引用的是B的一个对象，所以这句话的意思是由B来决定调用的是哪一个方法。所以应该调用B的show(B obj)从而输出"B and B”才对。可是为何跟前面的分析获得的结果不相符呢？！问题在于咱们不要忽略了蓝色字体的后半部分，那里特别指明：这个被调用的方法必须是在超类中定义过的，也就是被子类覆盖的方法。B里面的show(B obj)在超类A中有定义吗？没有！那就更谈不上被覆盖了。实际上这句话隐藏了一条信息：它仍然是按照方法调用的优先级来肯定的。它在类A中找到了show(A obj)，若是子类B没有覆盖show(A obj)方法，那么它就调用A的show(A obj)（因为B继承A，虽然没有覆盖这个方法，但从超类A那里继承了这个方法，从某种意义上说，仍是由B肯定调用的方法，只是方法是在A中实现而已）；如今子类B覆盖了show(A obj)，所以它最终锁定到B的show(A obj)。这就是那句话的意义所在，到这里，咱们能够清晰的理解Java的多态性了。