昨天看到一个关于多态性的帖子，参考了回帖者的理解，加入了一些自己的看法，整理出来供大家参考，不一定完全正确，欢迎大家批评指正。
（一）相关类
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
（四）分析
实际上这里涉及方法调用的优先问题。
优先级由高到低依次为：this.show(O)、super.show(O)、this.show((super)O)、 super.show((super)O)。
*
比如④，a2.show(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
