听起来陌生的词语,其实不算陌生。
用一个例子就可以稍稍了解了。
这个是可以编译通过的。
D继承C重写了display()方法,返回的都是void类型。
B继承A,都写了display()方法,但是类型看似乎不一样,一个返回的是类C,一个是继承了类C的类D,这里就是协变返回了。
输出的结果为:
用一个例子就可以稍稍了解了。
public class Demo {
public static void main(String[] args) {
A a = new B();
C c = a.display() ;
c.display() ;
}
}
class A {
public C display() {
System.out.println("this is from A!");
return new C();
}
}
class B extends A {
public D display() {
System.out.println("this is from B!");
return new D() ;
}
}
class C {
public void display() {
System.out.println("this is from C!!!");
}
}
class D extends C {
public void display() {
System.out.println("this is from D!!!");
}
}
这个是可以编译通过的。
D继承C重写了display()方法,返回的都是void类型。
B继承A,都写了display()方法,但是类型看似乎不一样,一个返回的是类C,一个是继承了类C的类D,这里就是协变返回了。
输出的结果为:
this is from B!
this is from D!!!