c++ - 类中的 static_assert 强制执行内存布局

Question

我正在尝试使用 static_assert 来确保其他程序员避免扩展某个类超出其预期用途，因为它通常用于低级计算，其中假设字节数与下面的静态断言想要检查的一样.

template<typename T, int N>
class MyClass final
{
public:
    // This is the static_assert I need to fix
    static_assert(sizeof(MyClass<T, N>) == sizeof(T) * N, "Wrong size");

    // rest of code goes here... 
};

不幸的是，它不适用于:

    static_assert(std::is_standard_layout<T>::value, "Wrong Size");

因为之后仍然有可能污染类(class)。

我真的很想添加此检查，因为如果有人更改此类，即使其虚拟或添加新成员，则稍后执行代码的结果将是不确定的。

Answer 1

static_assert(sizeof(MyClass<T, N>) == sizeof(T) * N, "Wrong size");

无法在类里面工作，因为 MyClass<T, N>此时还不完整。 您可以移动static_assert进入 ctor/dtor。缺点 - 断言只会在实例化时触发。 例如

template<typename T, int N>
class MyClass final
{
public:
    static_assert(std::is_standard_layout<T>::value, "T has to provide standard layout");

    MyClass()
    {
        static_assert(sizeof(MyClass<T, N>) == sizeof(T) * N, "Wrong size");
        static_assert(std::is_standard_layout<MyClass<T, N>>::value, "MyClass has to provide standard layout");

    }
    T _m[N];
    // rest of code goes here... 
};