Covariant Returen Types(协变返回类型)

【Covariant Returen Types(协变返回类型)】的更多相关文章

Covariant Returen Types(协变返回类型)

基类virtual func返回类型为某个类(class Super)的ptr或ref,子类重写的virtual func返回类型可改为该类子类(class Sub : public Super)的ptr或ref. class Base { public: virtual Base* clone() const { return new Base(*this); } virtual ~Base() {} }; class Derived : public Base { public: virtu…

c++ 类覆盖方法中的协变返回类型

c++ 类覆盖方法中的协变返回类型在C++中,只要原来的返回类型是指向类的指针或引用,新的返回类型是指向派生类的指针或引用,覆盖的方法就可以改变返回类型.这样的类型称为协变返回类型(Covariant returns type). 协变(covariant),如果它保持了子类型序关系≦.该序关系是:子类型≦基类型.逆变(contravariant),如果它逆转了子类型序关系. 参数逆变:正是因为需要符合里氏替换法则,方法中的参数类型声明时必须符合逆变(或不变),以让子类方法可以接收更大的范围的…

协变返回类型---《C++必知必会》条款 31

一般来说,一个重写的函数与被它重写的函数具有相同的返回类型. 然而,这个规则对于“协变返回类型(covariant return type)“的情形来说有所放松.也就是说,如果B是一个类类型,并且一个基类虚函数返回B*,那么一个重写的派生类函数可以返回D*,其中的D共有派生于B(即D是一个(is a )B).如果基类虚函数返回B&,那么一个重写的派生类函数可以返回一个 D& . 第一个例子代码:(C++Builder6.0,Qt5.6通过) (visual C++ 6.0 不通过) cl…

Java协变返回类型

今天看到句话:“支持重写方法时返回协变类型”. 那么什么事协变类型?在网上找了找资料,大体上明白了. Java 5.0添加了对协变返回类型的支持,即子类覆盖(即重写)基类方法时,返回的类型可以是基类方法返回类型的子类.协变返回类型允许返回更为具体的类型.示例程序如下: 代码如下: import java.io.ByteArrayInputStream; import java.io.InputStream; class Base { //子类Derive将重写此方法,将返回类型设置为InputS…

理解Java中的协变返回类型

在面向对象程序设计中,协变返回类型指的是子类中的成员函数的返回值类型不必严格等同于父类中被重写的成员函数的返回值类型,而可以是更 "狭窄" 的类型. Java 5.0添加了对协变返回类型的支持,即子类覆盖(即重写)基类方法时,返回的类型可以是基类方法返回类型的子类.协变返回类型允许返回更为具体的类型. 示例程序如下: import java.io.ByteArrayInputStream; import java.io.InputStream; class Base { //子…

Java 协变返回类型

协变返回类型表示在导出类的被覆盖方法可以返回基类方法的返回类型的某种导出类型 //: polymorphism/covarianreturn.java package object; class Grain{ public String toString() { return "Grain";//返回 } } class Wheat extends Grain{ public String toString() { return "Wheat"; //返回 } }…

iOS 用instancetype代替id作返回类型有什么好处？

2014-07-07更新:苹果在iOS 8中全面使用instancetype代替id Steven Fisher:只要一个类返回自身的实例,用instancetype就有好处. @interface Foo:NSObject - (id)initWithBar:(NSInteger)bar; // initializer + (id)fooWithBar:(NSInteger)bar; // convenience constructor @end 对于简易构造函数(convenience co…