教妹学Java(三十二)：了解 Java 中的返回类型协变

三妹开学了，学的计算机软件编程。她学校离我家很近，坐公交车也就 10 站路的距离， 每逢周末她都会来找我，让我辅导她学习 Java。作为一名拥有十余年编程经验的程序员，再加上父母给我们的这份血缘关系，我觉得义不容辞。

“二哥，今天我们要学习的内容是‘返回类型协变（covariant return type）’，对吧？”看来三妹已经提前预习了我上次留给她的作业。

“是的，三妹。Java 1.5 之前，无法通过更改方法的返回类型来重写任何方法。 ”我面带着朴实无华的微笑回答着她，“但是从 Java 1.5 之后，如果方法的返回类型不是基本数据类型，子类就可以通过更改返回类型来达到方法重写的目的。”

----正儿八经的分割线，正文开始------------

来看下面这个例子。

/**
 * @author 微信搜「沉默王二」，回复关键字 PDF
 */
class A{
    A get(){return this;}
}
public class B extends A{
    @Override
    B get() {
        return this;
    }
    void out() {
        System.out.println("返回类型协变");
    }
    public static void main(String[] args) {
        new B().get().out();
    }
}

程序输出结果如下所示：

返回类型协变

通过上面的例子可以看得到，A 类的 get() 返回类型是 A，B 类的 get() 方法返回类型是 B，B 类继承了 B 类，也就是说 get() 方法通过返回类型协变达到了方法重写的目的。

在学习方法重载（overloading）的时候，我们知道，不能通过更改方法的返回类型来完成方法重载，但 Java 却允许通过更改方法的返回类型来完成方法重写（overriding）。

“三妹，关于 Java 中的返回类型协变，我们暂且先学到这里吧。”我揉一揉犯困的双眼，疲惫地给三妹说。

“好的，二哥，我这就去练习去。”三妹似乎意犹未尽，这种学习状态真令我感到开心。