谁能详细的解释一下“协变返回类型”的具体意思？

来源：百度知道 编辑：UC知道 时间：2024/05/14 17:20:51
如题，谢谢各位了先
看JAVA编程思想上讲的不是很详细，仅仅用了半页纸
但是我很好奇，想了解一下

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

举例：

=====================================

class Base{
public Object OverrideredFunction(){
return new Object();
}
}
class Inherit extends Base{

//String死Object的子类，所以可以这么写
@Override public String OverrideredFunction(){
return "Nice!";
}
}

=====================================

class Base{
public String OverrideredFunction(){
return "NO!";
}
}
class Inherit extends Base{

//String和Integer虽然都是Object的子类

//但这么写的话编译错误
@Override public Integer OverrideredFunction(){
return new Integer(10);
}
}
<