ANSI C 表达式的条件编译和编译时求值

Question

我想做以下事情，但编译器不喜欢它：

unsigned short foo = 1;
// do something with foo
#if sizeof(short) * CHAR_BIT > 16
   foo &= 0xffff;
#endif

我知道这个表达式总是可以在编译时完全求值，但也许它只在预处理器之后才求值？这在 ANSI C 中可能吗？还是我只需在运行时进行检查？

Answer 1

您不能在预处理器表达式中使用 sizeof。您可能想做这样的事情：

#include <limits.h>

#if SHRT_MAX > 32767
    /* do soemthing */
#endif

Answer 2

如果您的目标是在数据类型大小错误时停止编译，则以下技术很有用：

struct _check_type_sizes
{
  int int_is_4_bytes[(sizeof(int) == 4) ? 1 : -1];
  int short_is_2_bytes[(sizeof(short) == 2) ? 1 : -1];
};

（sizeof() 函数在此由编译器而不是预处理器解释。）

此方法的主要缺点是编译器错误不是很明显。确保您写下非常清晰的评论。