Java covariant return type(协变返回类型)

参考：https://blogs.oracle.com/sundararajan/covariant-return-types-in-java

在java1.5开始支持协变量。在1.5前当我们override(重写)一个父类的方法时，方法名，参数类型和返回类型应该是相同的。重写方法在参数类型和返回类型方面被认为是不变的。如果你改变参数类型，意味着你不是真正的重写一个方法，而是overload（重载）它。同样的改变返回类型也一样。

在1.5开始，子类的方法返回类型R2可以和父类返回类型R1不同，但是R2必须是R1的子类型。子类可以返回类型可能是一个超类返回类型的子类型。这样我们就称这个方法有协变返回类型。

public Father get(){...}
public Son get{...}

我们称get方法有协变返回类型。