c++ - 防止两个类从具有相同模板参数的基类继承

Question

我有一个假设是基类的类:

template<int ID>
class BaseClass { ... };

如果两个类尝试使用相同的 ID 值从该基类继承，我该如何使编译时错误出现。也就是说 - 这段代码应该可以工作:

class A : BaseClass<1> { ... }
class B : BaseClass<2> { ... }

但是这段代码可能会导致错误:

class A : BaseClass<1> { ... }
class B : BaseClass<1> { ... }

如何才能做到这一点？BOOST_STATIC_ASSERT 有帮助吗？

Answer 1

我认为这是不可能的。

如果可能，那么我们也可以让编译器为以下代码生成错误，这在概念上等同于您的代码。

struct Base {};
struct OtherBase {};

struct A : Base {}; //Base is used here!
struct B : Base {}; // error - used base class. please use some other base!
struct C : OtherBase {}; // ok - unused based!