协变返回类型 java_协变返回类型

在Java1.4及以前，子类方法如果要覆盖超类的某个方法，必须具有完全相同的方法签名，包括返回值也必须完全一样。Java5.0放宽了这一限制，只要子类方法与超类方法具有相同的方法签名，或者子类方法的返回值是超类方法的子类型，就可以覆盖。

【注意】："协变返回(covariant return)"，仅在subclass(子类)的返回类型是superclass(父类)返回类型的extension(继承)时才被容许。

具体代码：

//协变返回类型,Thinking in Java p164

public class CovarianReturn {

/**

* @param args

*/

public static void main(String[] args) {

Mill m=new Mill();

Grain g=m.process();

System.out.println(g);

m=new WheatMill();

g=m.process();

System.out.println(g);

}

}

class Grain{

public String toString(){

return "Grain";

}

}

class Wheat extends Grain{

public String toString(){

return "wheat";

}

}

class Mill{

Grain process(){

return new Grain();

}

}

class WheatMill extends Mill{

Wheat process(){

return new Wheat();

}

}

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