欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页

【转】Java协变返回类型

程序员文章站 2022-05-23 18:51:23
...

 

 

 

转自:http://justdoit2000.iteye.com/blog/763199

 

 


    最近看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);
    }
} 
 


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

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