协变返回类型
2013-11-15 16:53
162 查看
http://zhidao.baidu.com/question/82862478.html
在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,也无法进行协变。
相关文章推荐
- java编程思想--协变返回类型
- Java之协变返回类型理解和简单实例
- c++返回类型协变
- java中的协变返回类型
- 协变返回类型
- 协变返回类型
- c++ 类覆盖方法中的协变返回类型
- [Thinking in Java] - No.6 协变返回类型
- 第八章 多态总结 协变返回类型 向下转型 和运行时类型识别继承中 is-a 和 is-like-a及子类父类的方法调用(ClassCastException)
- [c++ primer plus]虚函数的返回类型协变
- C++必知必会之(31)协变返回类型
- 协变返回类型
- 关于java可变(协变)返回类型的解说之一------------基类与派生类
- 协变返回类型
- 协变返回类型
- 在Scala中,为什么函数的参数类型是逆变的,而函数的返回值协变的
- java 协变返回类型的理解
- Java covariant return type(协变返回类型)
- C++基础::语法特性::函数重写(override)与协变返回类型(covariant return type)
- 协变返回类型