c++ - 如何静态断言多个类的公共(public)属性

Question

假设我有 3 个类(class)。我希望每个类的 sizeof() 完全相同——比如 512 字节。

我怎样才能使用像 BOOST_STATIC_ASSERT 这样的东西来应用到所有这些

1. 我只需要在一个地方使用BOOST_STATIC_ASSERT(DRY 原则)
2. 在编译时计算一次而不是运行时

注意:我们可以使用我们想要的任何 C++ 技术(创建更多类、使用继承等)

我天真的解决方案如下所示:

class A { ...stuff }; BOOST_STATIC_ASSERT( sizeof(A) == 512 );
class B { ...stuff }; BOOST_STATIC_ASSERT( sizeof(B) == 512 );
class C { ...stuff }; BOOST_STATIC_ASSERT( sizeof(C) == 512 );

Answer 1

这似乎适用于 gcc 4.0.1 和 boost 1.39:

template <typename T, size_t S>
struct enforce_size
{
    enforce_size()
    {
        BOOST_STATIC_ASSERT( sizeof( T ) == S );
    }
};

class A: enforce_size<A,512> { /* stuff */ };