多重虚拟继承

Question

我知道有很多关于 MI 的问题，但是，似乎没有人回答我的问题。我有以下最小示例：

#include <iostream>

struct Base{
    virtual void foo() = 0;
};
struct A : public virtual Base{
    void foo(){
        std::cout << "A::foo()" << std::endl;
    }
    void foo( int a){
        std::cout << "A::foo(int a)" << std::endl;
    }
};
struct B : public virtual Base{
    virtual void foo( int a ) = 0;
};
struct C : public B,public A{
    using A::foo;
};

int main( int argc, char* argv[]){
    C c;
    c.foo();
    c.foo( 1 );
}

其中 Base 和 B 完全是虚拟类，A 提供所有实现。但是，代码没有编译，而是给了我以下错误消息

mh.cpp: In function ‘int main(int, char**)’:
mh.cpp:22:11: error: cannot declare variable ‘c’ to be of abstract type ‘C’
     C c;
       ^
mh.cpp:17:12: note:   because the following virtual functions are pure within ‘C’:
 struct C : public B,public A{
        ^
mh.cpp:15:22: note:     virtual void B::foo(int)
     virtual void foo( int a ) = 0;

我想要的行为可以通过扩展类C来实现

struct C : public B,public A{
    using A::foo;
    void foo( int a ){
        A::foo( a );
    }
};

但是，我不希望添加这种多余的方法。有什么方法可以达到这个效果吗？

Answer 1

A::foo(int) 不能覆盖 B::foo(int)，除非 A 派生自 B。

因此，如果您不想在 C 中创建转发覆盖，您的替代方案是：

1. 将foo(int) 纯虚拟重载移动到Base
2. 使A 派生自B
3. 重构您的界面，让您一开始就不需要菱形虚拟继承

Answer 2

不，如果你从一个纯虚类继承并且你想使用这个派生类（声明那个类型的对象，而不是一个指针），你必须实现它所有的纯虚方法。 以同样的方式，您可以提出以下问题：

class A
{
public:
    virtual void foo()=0;
    virtual void hello()=0;
}

class B: public A
{
public:
    void myFoo();
    void hello() { std::cout << "Hello!"; }
}

在class B，我不想用A::foo()，只用B::myFoo()怎么办？

在这种情况下，您要么需要为纯虚函数提供一些虚拟实现，要么再次检查您的设计......也许您不应该从 A 继承。

你的情况也类似。可能你的class C 不应该继承自class B。

Answer 3

• 只需如下替换您的单行即可。
• 仅从 A 派生 C。

• 你的代码

  struct C : public B,public A{
  using A::foo;
  };
  

• 用下面的代码替换上面的代码，

  struct C : public A{
  using A::foo;
  };