学步园

代码:

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

打印:

A and A // (1)<br /> A and A // (2)<br /> A and D // (3)<br /> B and A // (4)<br /> B and A // (5)<br /> A and D // (6)<br /> B and B // (7)<br /> B and B // (8)<br /> 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".

按照上面的方法, 可以正确得到其他的结果.

问题还要继续, 现在我们再来看上面的分析过程是怎么体现出蓝色字体那句话的内涵的. 它说: 当超类对象引用变量引用子类对象时, 被引用对象的类型而不是引用变量的类型决定了调用谁的成员方法, 但是这个被调用的方法必须是在超类中定义过的, 也就是说被子类覆盖的方法. 还是拿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). 这就是那句话的意义所在.