协变返回类型Covariant

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

代码

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());
    }

}

 

 因为String继承自Object,所以可以使用协变返回类型Covariant.

 

代码

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

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

    //但这么写的话编译错误
    @Override 

     public Integer OverrideredFunction(){
        return new Integer(10);
    }
}

 

以上示例:Integer并不继承自String所以编译出错.

另外，实践表明，就算返回的两个类继承自同一个interface，也无法进行协变。