C++ 在预处理器 #if 中对 sizeof() 比较抛出编译错误

Question

我有这个编译时没有出现来自 visual studio 的错误“ fatal error C1017:无效整数常量表达式”。我该怎么做？

template <class B>
A *Create()
{
  #if sizeof(B) > sizeof(A)
  #error sizeof(B) > sizeof(A)!
  #endif
  ...
}

Answer 1

预处理器不理解 sizeof()(或数据类型、标识符、模板或类定义，它需要理解所有这些东西才能实现 sizeof)。

您正在寻找的是静态断言(由编译器强制执行，它理解所有这些事情)。我用 Boost.StaticAssert为此:

template <class B>
A *Create()
{
  BOOST_STATIC_ASSERT(sizeof(B) <= sizeof(A));
  ...
}