如果我想更改函数的返回类型，是否必须覆盖基类中的每个函数？

Question

我有一个抽象类 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*？有什么更好的方法吗？

Answer 1

我可以想到两种方法来实现这一目标：

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
};