sizeof() 不由预处理器执行

Question

#if sizeof(int) != 4
/* do something */

在 #if 内使用 sizeof 不起作用，而在 #define 内使用 sizeof 则有效，为什么？

#define size(x) sizeof(x)/sizeof(x[0]) /*works*/

Answer 1

没有什么是邪恶的——一切都可能被滥用，或者在你的情况下被误解。 sizeof 运算符是编译器功能，但编译器功能不可用于预处理器（在编译器介入之前运行），因此不能在 #if 预处理器中使用指令。

但是，当您说：

#define size(x) sizeof(x)/sizeof(x[0])

并使用它时：

size(a)

预处理器执行传递给编译器的文本替换：

sizeof(a)/sizeof(a[0])

Answer 2

C“预处理器”宏仅计算常量和其他宏

简单的答案是预处理器表达式仅对由其他预处理器宏和常量组成的表达式提供有意义的计算。

试试这个，您将不 得到一个错误：

#if sizeof < 2
int f(int x) { return x; }
#endif

如果你生成程序集，你会发现 sizeof < 2 编译该函数，而 sizeof >= 2 则不编译。两者都不返回错误。

这是怎么回事？事实证明，除了预处理器宏本身之外，预处理器（“宏”）表达式中的所有标识符都被替换为 0。因此上面的 #if 等同于：

#if Easter_Bunny < 2

or

#if 0 < 2

这就是为什么你在预处理器表达式中错误地使用 sizeof 运算符时，实际上不会出现任何类型的错误。

碰巧，sizeof 是一个运算符，但它也是一个标识符，并且本身不是宏的标识符在预处理器表达式中都会变成 0。至少在概念上，预处理器在编译器之前运行。它可以将非 C 语法转换为 C 语法，因此在运行时，C 程序甚至还没有被解析。目前还不可能引用实际的 C 对象：它们不存在。

当然，定义的替换文本中的 sizeof 会简单地传递给编译器，作为使用宏的替换文本。

Answer 3

预处理器无法评估 sizeof 运算符的结果。这是在预处理器完成很久之后由编译器计算的。

由于第二个表达式导致编译时计算，因此它有效。第一个是对预处理器的不可能测试。

Answer 4

#define 只是文本替换。 #if 是一个条件预处理器指令，它会计算 sizeof()，但在预处理时，预处理器并不知道 sizeof() 是什么。预处理器在词法分析阶段之前运行。

Answer 5

sizeof 在编译时被替换。
预处理在编译开始之前运行。

Answer 6

编译器不会触及任何一行。相反，预处理器会破坏文件，用宏替换任何 size(x) 实例。编译器确实看到了这些替换。

Answer 7

预处理器不知道 sizeof 运算符，它只是无法理解它。所以#if 不起作用，因为它必须理解它才能工作，因为它是一个有条件的条件预处理器；它需要知道它的评估结果是 true 还是 false。

但是#define不需要理解sizeof，因为#define只是用于文本替换。预处理器在源代码中搜索 size 宏（在 #define 中定义），并将其替换为它定义的内容，即您的情况 sizeof( x)/sizeof(x[0])。

Answer 8

它不起作用的原因是因为在代码到达编译器之前预处理器宏是在一次传递中“评估”的。因此，在 if 预处理器指令中，无法计算 sizeof(int) （实际上是 sizeof(int) != 4），因为这是由编译器而不是预处理器完成的。

不过，define 语句只是进行了文本替换，因此当涉及到编译器时，在任何有“size(x)”的地方，都会有“sizeof(x)/sizeof(x[0])”，然后这在编译阶段进行评估...在代码中具有“size(x)”的每个点

Answer 9

如果您想检查处理器中整数的大小，请在运行预处理器之前使用 make 系统来发现系统上整数的大小，并将其写入头文件，例如 #define SIZEOF_INT 4，包含此头文件并执行 #if SIZEOF_INT == 4

例如，如果您使用 cmake，则可以使用 CMAKE_SIZEOF_INT 变量，该变量的大小为整数你可以放入一个宏。