c++中的多重继承与虚函数

Question

我有这个代码：

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

class B: public A
{
public:
    virtual void FB()=0;
};

class Imp_A: public A
{
public:
   void FA()
   {
      // implement FA
   }
};

class Imp_B :public Imp_A, public B
{
   public:
       void FB()
       {
           // implement FB by calling FA()
           FA();
           // do some more work here.
        }
};

在 Imp_B 类中，我不想实现 FA，因为它已经在该类所基于的 Imp_A 中实现了。

但是当我尝试编译我的代码时，我得到了 Imp_B 是虚拟的并且不能被实例化的错误。

当我尝试在 FB 中调用 FA 时，我收到错误提示 FA 不明确。

我该如何解决这个问题？

请注意 Imp_A 是基于 A 并实现它，Imp_B 是基于 Imp_A 和 B 的想法是它使用 imp_A 的 A 实现并且只实现 B。

Answer 1

class B: public A
{
public:
    virtual FB()=0;
}

您忘记将其显式声明为void，因此声明如下：

virtual int FB()=0;

您在Imp_B 中声明：

void FB();

这当然行不通。你没有覆盖那里的任何东西。

Answer 2

这看起来像经典的“钻石继承问题”，您在基类中定义了一个虚拟方法，该方法由两个或多个其他类继承，用作多重继承的源。

无论如何 - 虚拟继承是您问题的答案

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

class B: virtual public A
{
public:
    virtual void FB()=0; //probably a pure virtual function as well!?
}

class Imp_A: virtual public A
{
public:
   void FA()
   {
      // implement FA
   }
}

class Imp_B :public Imp_A, public B //since you call FA() you need it's implementation from Imp_A
{
   public:
       void FB()
       {
           // implement FB by calling FA()
           FA();
           // do some more work here.
        }
}

这里的问题是 Imp_b 最终得到来自两个 A 类定义的 FA 定义；使用虚拟继承有助于解决这个问题。

Answer 3

你的继承shema或多或少：

   Imp_B
   /   \
Imp_A   B
  |     |
  A     A

这意味着您从 A 的两个不同实现继承。所以 Imp_A::FA 确实定义了但 B::A 没有定义，所以类 Imp_B 仍然是抽象的。它还解释了FA 不明确的错误，因为它可能是Imp_A::FA 或B::A。

解决方法：

• 您可以删除继承class B: public A。这样A 和FA 将只存在于一个分支中，所有分支都将被定义

• 您可以将基类A 设为虚拟，这意味着Imp_B 中只存在一个实例：

  class B: virtual public A
  ...
  class Imp_A: virtual public A
  ...