有没有办法防止使用静态断言和类型特征两次派生类？

Question

我意识到这是一个人为的示例，但我想要进行编译检查以防止这种情况......

class A {};
class B : public A {};
class C : public A {};

class D : public B, public C
{
    BOOST_STATIC_ASSERT((is_base_of_once<A,D>::value))
};

Answer 1

以下应该有效：

BOOST_STATIC_ASSERT(((A*)(D*)0 == 0)) 

如果 A 存在两次，这应该会引发歧义错误，否则测试将始终成功（因为它比较两个空指针）。

Answer 2

当我尝试派生一个类两次时，它甚至无法编译。 （重复碱基类型）

Answer 3

如果您真的愿意，您可以测试两个基类：

class A {};
class B : public A {};
class C : public A {};

class D : public B, public C
{
    static_assert(!(is_base_of<A,B>::value && is_base_of<A,C>::value),
                   "Invalid inheritance!");
};

否则您可以使这些类从 A 继承，这样派生类中仍然只有一个它的实例：

class A {};
class B : public virtual A {};
class C : public virtual A {};

class D : public B, public C
{
    // only one A here
};