C++多重继承/虚拟继承

Question

对于一个项目，我想从库接口中隐藏一些实现细节。我想出处理这种“高效”（在编码和维护方面）的唯一方法是基于相同抽象基础的抽象和具体基类的多重继承。所以，是的，我最终得到了一个扩展的菱形结构。

我通常会尽可能避免多重继承，因为它很复杂，所以我在使用它方面不是很有经验，所以我不确定我提出的设计是否有一些我不知道的陷阱' t 监督。

基本上我需要提供多个“工具”。这些“工具”当然有一些我想使用接口 ABC 隐藏的实现细节，例如：

类 Tool1Impl : public ITool1;

类 Tool2Impl : public ITool2;

当然，这些工具有很多共同点。

所以我想要一个通用的基类，但是实现细节又应该通过接口隐藏。

我想出了以下（钻石）方案：

            ITool                                           
          /   |   \               
        /     |     \
      /       |       \
ITool1  ToolImplBase   ITool2  ... IToolN
  \       /      \      /
   \     /        \    /
    \   /          \  /
   ToolImpl1      ToolImpl2    ... IToolImplN

ToolImplBase 实现了 ITool 的纯虚拟功能。 ToolImpl1 实现了在 ITool1 中声明的纯虚拟功能。

实现大纲如下：

class ITool {
public:
  virtual int common_foo(int a) = 0;
};

class ITool1 : public virtual ITool {
public:
  virtual int specific_foo(int b) = 0;
};

class ITool2 : public virtual ITool {
public:
  virtual int specific_bar(int c) = 0;
};

class ToolImplBase : public virtual ITool {
public:
  virtual int common_foo(int a) override;
protected:
  int _some_common_data;
};

class ToolImpl1 : public ToolImplBase, public virtual ITool1 {
public:
  virtual int specific_foo(int b) override;
private:
  int _some_specific_data;
};

class ToolImpl2 : public ToolImplBase, public virtual ITool2 {
public:
  virtual int specific_bar(int c) override;
private:
  int _some_specific_data;
};

它似乎做我想做的事，但我不确定这是否有任何潜在的陷阱或明显的问题。我也不确定继承方案中的“虚拟”是否正确（不是虚拟方法，而是“：公共虚拟”）。 一个问题是，MSVC（由于一些外部依赖，我现在坚持使用 2010）给我一个编译器警告 C4250：

warning C4250: 'ToolImpl1': inherits'ToolImplBase::ToolImplBase::common_foo' via dominance

我可以忽略它吗？我什至不确定我为什么会得到这个，因为“common_foo”的非主导方式是纯虚拟的，所以实际上没有有效的“非主导”实现。

感谢您的任何意见（“从不使用 M.I.”除外，我已经尽可能避免使用它）。

Answer 1

这里有一些关于警告的解释：What does C4250 VC++ warning mean?

我认为您的代码没有问题，因为您将 ITool1 设计为接口。

如果您在ITool1 中实现common_foo 函数，则在创建ToolImpl1 时，您将不知道common_foo 的哪个实现将起作用。

你会小心这个问题，但其他任何人都可以在IToolX 实现中合法地实现common_foo 函数而不会引发错误。

我最后的评论是：为什么你需要你的ITool1 派生自ITool？ ToolImpl1 已经派生自 ToolImplBase，因此您的实际实现类将始终派生自 ITool。

我会改变IToolX界面如下

class IToolX{
    public:
    virtual int specific_foo(int b) = 0;
};