协变返回类型Covariant
在Java1.4及以前,子类方法如果要覆盖超类的某个方法,必须具有完全相同的方法签名,包括返回值也必须完全一样。
Java5.0放宽了这一限制,只要子类方法与超类方法具有相同的方法签名,或者子类方法的返回值是超类方法的子类型,就可以覆盖。
注意:"协变返回(covariant return)",仅在subclass(子类)的返回类型是superclass(父类)返回类型的extension(继承)时才被容许。
代码
代码
Java5.0放宽了这一限制,只要子类方法与超类方法具有相同的方法签名,或者子类方法的返回值是超类方法的子类型,就可以覆盖。
注意:"协变返回(covariant return)",仅在subclass(子类)的返回类型是superclass(父类)返回类型的extension(继承)时才被容许。
![](https://images.cnblogs.com/OutliningIndicators/ExpandedBlockStart.gif)
package com.jhniit.demo;
public class Base {
public Object redFunction(){
return new Object();
}
}
package com.jhniit.demo;
public class Inherit extends Base {
@Override
public String redFunction() {
return "Nice";
}
}
package com.jhniit.demo;
public class Test1 {
public static void main(String[] args) {
Base obj=new Inherit();
System.out.println(obj.redFunction());
}
}
public class Base {
public Object redFunction(){
return new Object();
}
}
package com.jhniit.demo;
public class Inherit extends Base {
@Override
public String redFunction() {
return "Nice";
}
}
package com.jhniit.demo;
public class Test1 {
public static void main(String[] args) {
Base obj=new Inherit();
System.out.println(obj.redFunction());
}
}
因为String继承自Object,所以可以使用协变返回类型Covariant.
![](https://images.cnblogs.com/OutliningIndicators/ExpandedBlockStart.gif)
public class Base{
public String redFunction(){
return "NO!";
}
}
public class Inherit extends Base{
//String和Integer虽然都是Object的子类
//但这么写的话编译错误
@Override
public String redFunction(){
return "NO!";
}
}
public class Inherit extends Base{
//String和Integer虽然都是Object的子类
//但这么写的话编译错误
@Override
public Integer OverrideredFunction(){
return new Integer(10);
}
}
return new Integer(10);
}
}
以上示例:Integer并不继承自String所以编译出错.
另外,实践表明,就算返回的两个类继承自同一个interface,也无法进行协变。