代码:
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));//(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)
打印结果:
A and A //(1)
A and A //(2)
A and D //(3)
B and A //(4)
B and A //(5)
A and D //(6)
B and B //(7)
B and B //(8)
A and D //(9)
分析:
实际上这里涉及方法调用的优先问题 ,优先级由高到低依次为:
this.show(O)、
super.show(O)、
this.show((super)O)、
super.show((super)O)。
让我们来看看它是怎么工作的。
比如(4),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”。
再比如(8),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”。