Java中多态的相关知识

例子：

public class A {
    public String show(D obj) {
        return ("A and D");
    }

    public String show(A obj) {
        return ("A and A");
    } 

}

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

public class C extends B{

}

public class D extends B{

}

public 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("1--" + a1.show(b));
        System.out.println("2--" + a1.show(c));
        System.out.println("3--" + a1.show(d));
        System.out.println("4--" + a2.show(b));
        System.out.println("5--" + a2.show(c));
        System.out.println("6--" + a2.show(d));
        System.out.println("7--" + b.show(b));
        System.out.println("8--" + b.show(c));
        System.out.println("9--" + b.show(d));      
    }
}

运行结果为：

1--A and A
2--A and A
3--A and D
4--B and A
5--B and A
6--A and D
7--B and B
8--B and B
9--A and D

在这里看结果一、二、3还好理解，从4开始就开始糊涂了，对于4来讲为何输出不是“B and B”呢？

      首先咱们先看一句话：当超类对象引用变量引用子类对象时，被引用对象的类型而不是引用变量的类型决定了调用谁的成员方法，可是这个被调用的方法必须是在超类中定义过的，也就是说被子类覆盖的方法。这句话对多态进行了一个归纳。其实在继承链中对象方法的调用存在一个优先级：this.show(O)、super.show(O)、this.show((super)O)、super.show((super)O)。

      分析：

     从上面的程序中咱们能够看出A、B、C、D存在以下关系。

首先咱们分析5，a2.show(c)，a2是A类型的引用变量，因此this就表明了A，a2.show(c),它在A类中找发现没有找到，因而到A的超类中找(super)，因为A没有超类（Object除外），因此跳到第三级，也就是this.show((super)O)，C的超类有B、A，因此(super)O为B、A，this一样是A，这里在A中找到了show(A obj)，同时因为a2是B类的一个引用且B类重写了show(A obj)，所以最终会调用子类B类的show(A obj)方法，结果也就是B and A。

      按照一样的方法我也能够确认其余的答案。

      方法已经找到了可是咱们这里仍是存在一点疑问，咱们仍是来看这句话：当超类对象引用变量引用子类对象时，被引用对象的类型而不是引用变量的类型决定了调用谁的成员方法，可是这个被调用的方法必须是在超类中定义过的，也就是说被子类覆盖的方法。这咱们用一个例子来讲明这句话所表明的含义：a2.show(b)；

      这里a2是引用变量，为A类型，它引用的是B对象，所以按照上面那句话的意思是说有B来决定调用谁的方法,因此a2.show(b)应该要调用B中的show(B obj)，产生的结果应该是“B and B”，可是为何会与前面的运行结果产生差别呢？这里咱们忽略了后面那句话“可是这儿被调用的方法必须是在超类中定义过的”，那么show(B obj)在A类中存在吗？根本就不存在！因此这句话在这里不适用？那么难道是这句话错误了？非也！其实这句话还隐含这这句话：它仍然要按照继承链中调用方法的优先级来确认。因此它才会在A类中找到show(A obj)，同时因为B重写了该方法因此才会调用B类中的方法，不然就会调用A类中的方法。

      因此多态机制遵循的原则归纳为：当超类对象引用变量引用子类对象时，被引用对象的类型而不是引用变量的类型决定了调用谁的成员方法，可是这个被调用的方法必须是在超类中定义过的，也就是说被子类覆盖的方法，可是它仍然要根据继承链中方法调用的优先级来确认方法，该优先级为：this.show(O)、super.show(O)、this.show((super)O)、super.show((super)O)。