Java那点儿事2——协变式返回值

协变式返回值 没听说过吧！这又是Java5中新增的功能。其实协变式返回值很容易，并没有你想的那么复杂，3分钟绝对能搞清楚
下面的例子

class Base{

	public Base method(){
		return new Base();
	}
}

public class Extended extends Base{

	public Extended method(){
		return new Extended();
	}
}

请注意，在java1.4版本此段代码不会编译通过
会提示： sttempting to use incompatible return type
说明一下，类Extended继承Base类并且重写了超类的method方法，注意一下返回值。
根据重写的原则
重写方法参数应与超类相同
重写方法返回值应与超类相同
重写方法不能抛出在超类声明的更加宽泛的检验异常
重写方法不能使用比超类更广泛的访问限定符
......
显然违反了第2条，是不合理的，不过呢这样写一点错也没有，因为Extended也是Base(Extended IS-A Base原则)所以在向上的继承树转换时会隐式完成。
只要新的返回值类型是被重写的超类方法所声明的返回值的子类，就允许更改返回值类型，这样的返回值就称为协变式返回值啦！