如果我想更改函数的返回类型，是否必须覆盖基类中的每个函数？ 1.覆盖要求 foo 是虚拟的2. Curiously Recurring Template Pattern (CRTP)

编程问答 2022-05-27

问题描述

我有一个抽象类 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. Curiously Recurring Template Pattern (CRTP)

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

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