6.10.1 条件包含
约束
1、控制条件包含的表达式应该是一个整数常量表达式，除了：标识符（包括那些词法上与关键字相同的）被解析为以下所描述的；［注：因为控制常量表达式在翻译阶段4期间被计算，所以所有标识符要么是宏名，要么不是宏名——它们不会是关键字、枚举常量等等。］并且它可以包含单目操作符表达式形式
defined identifier
或
defined ( identifier )
上述形式将被计算为1，如果标识符当前被定义为一个宏名（即，如果它已被预定义，或者如果如果它已经属于一个#define预处理指示符，而没有一个干涉的#undef指示符带有相同所属标识符），如果标识符当前没有被定义为一个宏名，那么被计算为0。
2、在所有宏替换已经发生之后，每个仍然保留的预处理符记（在将变为控制表达式的预处理器符记列表中）应该是一个符记在词法上的形式（6.4）。
语义
3、以下形式的预处理指示符
# if constant-expression new-line groupopt
# elif constant-expression new-line groupopt
检查控制常量表达式是否计算为非零。
4、在计算之前，将变为控制常量表达式的预处理符记列表中的宏调用被替换（除了那些用defined单目操作符修饰的宏名），正如以正常文本的形式。如果符记defined以此替换过程作为一个结果生成，或是使用defined单目操作符并不匹配在宏替换之前的两个指定形式的其中之一，那么行为是未定义的。在所有宏扩展进行替换之后，以及defined单目操符已被执行，所有剩余的标识符（包括那些词法上与关键字相同的）用预处理数字0代替，然后每个预处理符记被转换为一个符记。结果符记由控制常量表达式构成，控制常量表达式根据6.6的规则进行计算。出于此符记转换和计算的目的，所有带符号整数类型以及所有无符号整数类型行为就好比它们具有分别与定义在头文件<stdint.h>中的intmax_t和uintmax_t相同的表达。［注：从而，比如在一个实现上，INT_MAX是0x7FFF，而UINT_MAX是0xFFFF，那么常量0x8000是带符号的并且在一个#if表达式内是个正数，即使它在翻译阶段7中将可能是一个无符号数。］这包括了解析字符常量，它可能涉及将转义序列转换为执行字符集成员。当一个相同字符常量在一个表达式中发生时，这些字符常量的数值是否匹配所获得的值（而不是在#if或#elif指示符内的）是实现定义的。［注：从而，在#if指示符以及if语句后面的常量表达式不能保证在以下两个上下文中计算到相同的值：
#if 'z' - 'a' == 25 if ('z' - 'a' == 25)
］
同时，一个单字符的字符常量是否可以具有一个负数值也是由实现定义的。
5、以下形式的预处理指示符
# ifdef identifier new-line groupopt
# ifndef identifier new-line groupopt
检查该标识符当前是否被定义为一个宏名。它们的条件分别等价于#if defined identifier 和 #if !defined identifier。
6、每个指示符的条件按次序检查。如果它被计算为假（零），那么它所控制的组被跳过：指示符仅通过判定指示符的名字按次序处理，以保持对嵌套条件层级的追踪；剩下的指示符预处理被忽略，正如组内的其它预处理符记一样。只有第一个控制条件的组计算为真（非零）的组被处理。如果这些条件都不为真，并且有一个#else指示符，那么所有组一直到#endif都被跳过。［注：正如语法所指示的，一个预处理符记在终结换行符之前不应该跟在#else或#endif指示符的后面。］