协变返回类型

　　在Java1.4及以前，子类方法如果要覆盖超类的某个方法，必须具有完全相同的方法签名，包括返回值也必须完全一样。Java5.0放宽了这一限制，只要子类方法与超类方法具有相同的方法签名，或者子类方法的返回值是超类方法的子类型，就可以覆盖。
【注意】："协变返回(covariant return)"，仅在subclass（子类）的返回类型是superclass（父类）返回类型的extension（继承）时才被容许。

具体代码：

 1 //协变返回类型,Thinking in Java p164
 2 public class CovarianReturn {
 3 
 4     /**
 5      * @param args
 6      */
 7     public static void main(String[] args) {
 8         Mill m=new Mill();
 9         Grain g=m.process();
10         System.out.println(g);
11         m=new WheatMill();
12         g=m.process();
13         System.out.println(g);
14     }
15 
16 }
17 class Grain{
18     public String toString(){
19         return "Grain";
20     }
21 }
22 class Wheat extends Grain{
23     public String toString(){
24         return "wheat";
25     }
26 }
27 class Mill{
28     Grain process(){
29         return new Grain();
30     }
31 }
32 class WheatMill extends Mill{
33     Wheat process(){
34         return new Wheat();
35     }
36 }

Java SE5与Java较早的版本之间的主要差异就是较早的版本将强制proces()的覆盖版本必须返回Grain,而不能返回Wheat,尽管Wheat是从Grain导出来的，因而也应该是一种合法的返回类型。协变返回类型允许返回更具体的Wheat类型。