有没有办法防止类从两次派生使用静态断言和类型trait？ [英] Is there a way to prevent a class from being derived from twice using a static assert and type trait?

问题描述

我意识到这是一个假设的例子，但我想要一个编译检查，以防止这个...

I realize this is a contrived example, but I want a compile check to prevent this...

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))
};

推荐答案

以下应适用：

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

如果A存在两次，这应该引起歧义错误，否则测试总是成功的（因为它比较两个空指针）。

If A exists twice, this should rise an ambiguity error, while otherwise the test will always succeed (because it compares two null pointers).

这篇关于有没有办法防止类从两次派生使用静态断言和类型trait？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！