金刚石 inheritance 带模板底座 class：底座<derived></derived>

Question

从模板化基础 class 继承时，我遇到了菱形问题，模板化基础 class 作为模板参数。

通常这个问题可以通过虚拟 inheritance 解决，如下所示：

class Base0
{
protected:
    int var = 0;
};

class Base1 : public virtual Base0
{
};

class Base2 : public virtual Base0
{

};

class Derived :
    public Base1,
    public Base2
{
public:
    void f()
    {
        var = 1; // OK single var
    }
};

但是我有这种情况：

template<typename DERIVED_CLASS>
class TemplatedBase0
{
protected:
    int var = 0;
};

class Base1 : public virtual TemplatedBase0<Base1>
{
};

class Base2 : public virtual TemplatedBase0<Base2>
{

};

class Derived :
    public Base1,
    public Base2
{
public:
    void f()
    {
        var = 1; // ERROR: var is ambigous
    }
};

我知道在上述情况下，模板化的基础 class 是不一样的，即。 涉及 2 个完全未实现的基类，它看起来像虚拟 inheritance dosnt 工作。

所以我的问题是，有什么办法可以使这项工作？ 我应该在这里采取什么设计/方法？

我需要有基础 class 作为模板，它采用派生的 class 类型。 但是如何使钻石 inheritance 成为可能？

Answer 1

您的代码中没有菱形。 您的Derived有两个不同的var 。 根据您要编写的内容：

Base1::var = 1;
Base2::var = 1;

但是如何使钻石 inheritance 成为可能？

目前尚不清楚您为什么想要钻石。 如果您的目标是在Derived中只有一个var ，则需要不同的设计。

Answer 2

如果只想有一个int var; 在Derived中，您需要将其移动到非模板基础 class：

class GenericTemplatedBase0
{
  protected:
    int var = 0;
};

template<typename DERIVED_CLASS>
class TemplatedBase0 : virtual public GenericTemplatedBase0
{
    // ...
};

class Base1 : public TemplatedBase0<Base1>
{
};

class Base2 : public TemplatedBase0<Base2>
{
};

class Derived : public Base1, public Base2
{
  public:
    void f()
    {
        var = 1;
    }
};