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

Question

我有一个抽象的 class A 返回其类型的指针。 然后我有一个派生的 class B，它实现了 class A 中定义的方法。我希望 class B 中定义的方法返回 ZA2F2ED4F8EBC24ABCBDC 指针。 知道怎么做吗？

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）

您可以提供子 class 作为基本 class 的模板参数。

template <typename T>
class A {
    public:
        T* foo() { return new T; }
};
class B: public A<B> {
    // only B* foo() exists
};