如何在 C++ 中使用 override 关键字进行多泛型继承？

Question

我有一个通用的 IDetachable 接口，它提供了一种方法：

template<class T>
class IDetachable {
public:
  virtual T detached() const = 0;
};

我有这些示例类：

class A: public IDetachable<A> {
  virtual A detached() const override {
    // some implementation which returns a detached A object
  }
};

继承B时出现问题：

class B: public A, public IDetachable<B> {
  virtual B detached() const override {
    // some implementation which returns a detached B object
  }
};

clang++ 告诉我：

error: virtual function 'detached' has a different return type ('B')
  than the function it overrides (which has return type 'A')

在我看来，编译器自动为 override 关键字选择了第一个父级。有没有机会告诉编译器我打算用 override 关键字继承哪个父方法？

Answer 1

您只想要返回类型协方差吗？它仅适用于指针和引用：

template<class T>
class IDetachable {
public:
    virtual T* detached() const = 0;
};


class A: public IDetachable<A> {
    virtual A* detached() const override {
        // some implementation which returns a detached A object
    }
};

class B: public A, public IDetachable<B> {
    virtual B* detached() const override {
        // some implementation which returns a detached B object
    }
};

int main() {
    IDetachable<A> *da = new A;
    A *a = da->detached();
    IDetachable<B> *db = new B;
    B *b = db->detached();
}

Answer 2

你可以传递一个虚拟的 T 来分离：

template<class T>
class IDetachable {
public:
  virtual T detached(T*dummy) const = 0;
};

您忽略该参数，但现在您可以专注于它。

Answer 3

问题不在于如何覆盖其中一个，而是您不能拥有两个具有相同签名和不同返回类型的函数。

考虑：

template<class T, class U>
class IDetachable {
public:
    virtual ~IDetachable() {}
    virtual T detached() const = 0;
    virtual U detached() const = 0; // whoopse problem
};

不管你如何最终得到两个相同签名的函数返回不同的类型，它总是非法的。

@AdrianMay 提供了一个可行的答案。他更改了函数的签名。