a)C11 static_assert

b)BOOST_STATIC_ASSERT升压

我更喜欢第一个.

编辑：

预处理器不是真正的语言的一部分,因为名称说它预处理一个文件,它没有语言的知识,所以它不知道sizeof.

你可以使用一些模板来做一些编译时代码生成,例如：

template <typename T,bool x = sizeof(T) == 4>
class X;

template <typename T>
class X<T,true> {
  T v;
  const char* msg() const {
    return "My size is 4";
  }
}

template <typename T>
class X<T,false> {
  T v;
  const char* msg() const {
    return "My size is NOT 4";
  }
}

X<int> a;
X<short> b;