在 C++ 中继承两兄弟的最佳风格是什么？

Question

我需要实现几个模块，如下所示，

#include <stdio.h>
class Base{
protected:
    int data;
};
class ModeA : public Base{};
class ModeB : public Base{};
class ModeHybrid: public ModeA, public ModeB{
public:
    void func(){printf("%d\n", this->data);}
};

int main(){
    ModeHybrid mh;
    mh.func();
}

在哪里，

• 有一个类“基础”
• 两个模块“ModeA”和“ModeB”继承自“Base”
• 混合模块“ModeHybrid”继承自“ModeA”和“ModeB”

但是，成员变量 'data' 将被复制，因为 'ModeHybrid' 继承自 'ModeA' 和 'ModeB'。

有什么办法可以避免这种情况吗？

Answer 1

至少有三种方法可以解决这个问题。

第一个是virtual继承，它有开销。在其中，您只有一个Base.

class ModeA : public virtual Base{};
class ModeB : public virtual Base{};

这确实意味着您实例化的最派生类必须构造Base。

另一种方法是基于模板的，您可以在其中传递希望父级派生的类。

class Base{
protected:
    int data;
};
template<class B=Base>
class ModeA : public B{};
template<class B=Base>
class ModeB : public B{};
class ModeHybrid:
  public ModeA<ModeB<Base>>
{
public:
    void func(){printf("%d\n", this->data);}
};

另一种方法是将数据填充到其他地方，并Base使用getData()方法创建抽象接口。

class Base{
protected:
    int readData() const = 0;
    int& writeData() = 0;
};
class ModeA : public Base{};
class ModeB : public Base{};
class ModeHybrid:
  public ModeA, public ModeB
{
public:
    void func(){printf("%d\n", this->readData());}
};
template<class X>
struct ImplementBase:X {
  int data;
  int readData() const final { return data; }
  int& writeData() final { return data; }
};

ImplementBase<ModeHybrid> hybrid;

这个版本Base的层次结构中有两个类，但我们并不关心。数据存在于ImplementBase.