jdk1.5之四 —— Covariant return types

Important things are always tiny, and that's why the word "key" goes popular

——Fantasy Dog

协变式的返回参数？名字翻译起来比较麻烦，还是用例子好解释:

class Base{

    public Base Method(){return this;}

}

class Derived extends Base{

    public Derived Method(){return this;}

}

Overriding 一个函数是要合乎函数签名的，不过返回类型不属于函数签名，即如果有两个函数：

void M() 和 int M()

编译器会报错。

我还真没试过1.5以前的编译器编译上述代码是什么样子，估计也是会报错。

不过从逻辑上看，Derived instanceof Base 是true，编译不通过很是不合适。

1.5改进了这个问题，但是其关键不在于合乎了逻辑，而是避免了必须返回一个Base然后再cast成Derived“安全性”问题。

cast是不安全的，这也是泛型引进的最关键原因。

呵呵，返回参数的一小步，安全性的一大步——这比boxing，for/in之类的噱头有意义多了……