class Shape {
public:
virtual double area() const = 0;
};
class Circle : public Shape {
public:
float area() const; // error! different return type
};
int
main() {
}
在继承关系中，子类覆盖父类的虚函数的时候，必须连返回值类型也完全相同。所以上面这个程序编译是编不过的：
main.cpp:9: error: conflicting return type specified for `virtual float Circle::area() const'
main.cpp:5: error: overriding `virtual double Shape::area() const'
但是这个限制在所谓的“Covariant return type”的情况下可以被放松。如果基类的一个虚函数返回值类型是B*，那么其派生类中覆盖这个函数的时候，返回值类型可以是D*，其中D是任何以public方式继承自B的派生类（也就是说D is-a B）。如果基类的虚函数返回B&，派生类覆盖这个函数的时候也可以返回D&。
例如这段程序编译就没有问题：
class Shape {
public:
// virtual double area() const = 0;
virtual Shape* clone() const = 0;
};
class Circle : public Shape {
public:
// float area() const; // error! different return type
virtual Circle* clone() const;
};
int
main() {
}
当程序通过指向基类（接口）的指针操纵不同的派生类（实体类）的对象时，派生类方法返回的D*/D&类型的值，可以被自动转换为B*/B&类型。
=================
看下面的例子。要点：返回值（A*，B*）涉及到的类，和虚函数所在的类（C和D），可以分属于两个完全不同的继承体系。
class A { };
class B: public A { };
class C {
public:
virtual A* getA() const = 0;
};
class D: public C {
public:
B* getA() const;
};
这段程序编译没有错误。
顺便说一下，在Java语言里，Covariant return type从JDK5.0之后才被允许，更老的版本上是不允许的。
阅读(2375) | 评论(0) | 转发(0) |
