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

转自：http://shinestudio.iteye.com/blog/767447

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

下面的例子 

Java代码  

1. class Base{  
2.   
3.     public Base method(){  
4.         return new Base();  
5.     }  
6. }  
7.   
8. public class Extended extends Base{  
9.       
10.     public Extended method(){  
11.         return new Extended();  
12.     }  
13. }  

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