C语言中比较两个未定义宏符号触发printf执行的原因是什么？

核心原因 #

你观察到的现象是C预处理器的标准规定行为：

• 当#if指令的表达式中出现未定义为宏的标识符时，这些标识符会被预处理器统一替换为整数常量0
• 你给出的代码中SYMBOL1和SYMBOL2都没有被定义，所以表达式(SYMBOL1==SYMBOL2)实际会被替换为(0 == 0)，判断结果为真，对应的printf语句会被保留参与编译，运行时自然会被执行。

相关测试代码：

#include <stdio.h> 
int main()
{
#if (SYMBOL1==SYMBOL2)
    printf("Hello World");
#endif
    return 0;
}

对应的C标准条文依据 #

C17标准第6.10.1节第4条明确规定了该行为：

在对#if和#elif的常量表达式完成所有宏替换、以及defined一元表达式的处理之后，所有剩余的标识符（包括词法上与C关键字相同的标识符）都会被替换为预处理数字0，之后再进行后续的语义转换计算。

开发建议 #

这类隐式替换很容易导致意料之外的逻辑错误，日常开发中可以做如下规避：

• 如果你要判断宏是否存在，优先使用#ifdef、#ifndef指令，或者defined()操作符，不要直接对未定义的宏做数值比较
• 编译时开启对应告警选项，比如GCC、Clang工具链可以添加-Wundef编译参数，当#if表达式中出现未定义的宏时会主动抛出警告，提前发现问题。

内容的提问来源于stack exchange，提问作者Hob_io