协变返回类型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，也无法进行协变。

转载于:https://www.cnblogs.com/jhxk/articles/1934904.html