哪些表达式可在编译时求值？#if条件编译表达式合规性咨询

一、#if后能使用的常量表达式类型 #

• 编译器预定义宏：比如__LINE__（当前行号）、__FILE__（当前文件名）这类内置宏，编译时就能确定具体值
• 自定义宏常量：用#define定义的数值类常量，比如#define LIMIT 20，LIMIT就是合法的
• 字面常量与基础表达式：直接写的数字、字符，或者用它们组成的算术/逻辑表达式，比如15-3、'z' > 'a'
• 宏定义检查表达式：defined(宏名)，专门用来判断某个宏是否被定义，这是#if场景下特有的合法写法
• 组合表达式：把上面几种元素组合起来的表达式，只要整个式子能在编译阶段完全算出结果就行，比如LIMIT + 5 < 30 || defined(DEBUG)

二、你给出的代码合规性分析 #

先看这段代码：

#if x>0 || defined(ABC) && defined(BCD)

重点说x>0部分：

• 如果x是用#define定义的数值常量（比如#define x 5），那x>0就是合法的常量表达式，编译时能直接得出布尔结果
• 如果x没被定义，编译器会自动把它当作0处理，此时x>0等价于0>0，编译器不会报错，但逻辑可能和你的预期不符
• 如果x是普通的代码变量（不是通过#define定义的宏），那这部分完全不合规——因为变量的值要到程序运行时才确定，不符合#if要求的编译期求值规则

再看整个表达式的逻辑：defined(ABC) && defined(BCD)是完全合法的，defined()是#if支持的标准写法。运算符优先级上&&高于||，所以实际逻辑是x>0 || (defined(ABC) && defined(BCD))，只要x是合法的宏常量，整个表达式就是合规的。

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