Question

This question already has answers here:

Possible Duplicate:
Is there a way to prevent a class from being derived from twice using a static assert and type trait?

我想要防止的是,在D条中产生的基于C的模板不止一个(即从中只应当有一个C的例子)。希望在C或B条中作出可能解决的静态主张。

// My Classes
template <class T>
class A {};

class B {};

template <class T, class S>
class C : public B, public virtual A<T> {};

// Someone elses code using my classes
class D : public C<Type1, Type2>, public C<Type3, Type4>
{
};

Answer 1

目前,不可能在<代码>B或C上发现另一类产品从中继承,因此你可以在此添加一个说法。然而,通过增加“紧急回收”模板参数,你可以说明“编码”C的衍生类别是什么。不幸的是,这确实要求衍生产品类别提出正确的模板论点,而且没有办法加以执行。

然后,你可以确定衍生产品类别是否以不止一种方式继承<代码>B;is/em> 基本类别,但can t将衍生产品位转换为 B*(因为转换模棱两可)。请注意,这并不一定表明多重继承;如果没有公有继承,检验也会失败。

因此,我认为最佳解决办法是:

#include <type_traits> template <class T> class A {}; class B {}; template <class T, class S, class D> class C : public B, public virtual A<T> { public: C() { static_assert( std::is_base_of<C,D>::value && std::is_convertible<D*,B*>::value, "Multiple inheritance of C"); } }; struct Type1 {}; struct Type2 {}; struct Type3 {}; struct Type4 {}; class Good : public C<Type1, Type2, Good> {}; class Evil : public C<Type1, Type2, Evil>, public C<Type3, Type4, Evil> {}; int main() { Good good; Evil evil; // Causes assertion failure }

我不得不在建筑商而不是班级定义中提出这种说法,因为有些类型在上调时不完整。不幸的是,这意味着,只有实际上报的班级才会报告错误。

友情链接