如果我想更改函数的返回类型，是否必须覆盖基类中的每个函数？
我有一个抽象类 A ，它返回其类型的指针。然后我有一个派生类 B，它实现了类 A 中定义的方法。我希望类 B 中定义的方法返回类 B 的指针。知道怎么做吗？
class A {
public:
virtual A* foo() {}
}
class B: public A {}
B *x = new B();
x->foo(); // This should return B*
我是否需要覆盖 B 中的 foo 才能返回 B*？有什么更好的方法吗？
回答
我可以想到两种方法来实现这一目标：
1.覆盖（需要foo是虚拟的）
这只能在返回类型是协变的情况下完成，但如果 B 继承自 A，则 B 对 A 是协变的。
class A {
public:
virtual A* foo() { return new A; }
};
class B: public A {
public:
B* foo() override { return new B; }
};
2.奇怪的重复模板模式（CRTP）
您可以提供子类作为基类的模板参数。
template <typename T>
class A {
public:
T* foo() { return new T; }
};
class B: public A<B> {
// only B* foo() exists
};