协变返回类型

听起来陌生的词语，其实不算陌生。
用一个例子就可以稍稍了解了。

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!!!