如何在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
  }
};

叮当++告诉我：

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 U>
class IDetachable {
public:
    virtual ~IDetachable() {}
    virtual T detached() const = 0;
    virtual U detached() const = 0; // whoopse problem
};

两个相同的签名函数如何返回不同的类型并不重要——这总是非法的。

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

Answer 2

您可以传递一个伪T来分离：

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

你忽略了这个参数，但现在你可以专门研究它了。

Answer 3

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

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