4.2.1 #ifdef
最简单的条件编译形式如下:
#ifdef MACRO
受控文本
#endif /* MACRO */
这个块被称为条件组。只有当 MACRO
已定义时,预处理器输出中才会包含“受控文本”。如果 MACRO
已定义,则称该条件成功;如果没有定义,则称其失败。
条件内部的受控文本可以包含预处理指令。这些指令仅在条件成功时执行。您可以在其他条件组内部嵌套条件组,但它们必须完全嵌套。换句话说,#endif
总是与最近的 #ifdef
(或 #ifndef
,或 #if
)匹配。此外,不能在一个文件中开始一个条件组而在另一个文件中结束它。
即使条件失败,其中的受控文本仍会经过初始转换和标记化。因此,它在词法上必须是有效的 C 语言代码。通常唯一需要注意的是,在失败的条件组中的所有注释和字符串字面量仍然需要正确结束。
#endif
后面的注释不是必需的,但如果受控文本较多,这是一个好的实践,因为它帮助人们将 #endif
与相应的 #ifdef
匹配起来。旧程序有时会在 #endif
后直接写 MACRO
而不将其放在注释中。根据 C 标准,这是无效代码。CPP(C 预处理器)会在这种情况下发出警告,但它不会影响 #endif
与哪个 #ifndef
匹配。
有时候,您希望在宏未定义时使用某些代码。通过编写 #ifndef
而不是 #ifdef
可以实现这一点。#ifndef
的一种常见用途是在头文件首次被包含时只包含一次代码。参见“仅包含一次的头文件”。
由于多种原因,宏定义在不同编译之间可能会有所不同。以下是一些示例:
- 每种机器上都预定义了一些宏(参见特定于系统的预定义宏)。这允许您为特定机器提供特别调优的代码。
- 系统头文件定义了更多与其实现的功能相关的宏。您可以使用条件测试这些宏,以避免在未实现某个系统功能的机器上使用该功能。
- 在编译程序时,可以通过
-D
和-U
命令行选项定义或取消定义宏。您可以通过选择一个宏名称来指定所需的程序,并编写条件来测试该宏是否以及如何定义,然后通过命令行选项控制宏的状态,可能在 Makefile 中设置。参见调用。 - 您的程序可能有一个特殊的头文件(通常称为
config.h
),该文件在程序编译时进行调整。它可以基于系统的特性及程序所需的能力定义或不定义宏。此调整可以通过诸如 autoconf 这样的工具自动化完成,或者手动完成。
4.2.2 #if
#if
指令允许您测试一个算术表达式的值,而不仅仅是检查某个宏的存在。其语法如下:
#if expression
受控文本 (controlled text)
#endif /* expression */
expression
是一个整数类型的 C 表达式,但受到严格的限制。它可以包含以下内容:
- 整型常量。
- 字符常量,它们的解释方式与普通代码中相同。
- 算术运算符,包括加法、减法、乘法、除法、位运算、移位、比较和逻辑运算(
&&
和||
)。后两者遵循标准 C 的短路规则。 - 宏。表达式中的所有宏都会在实际计算表达式的值之前被展开。
defined
操作符的使用,它允许您在#if
中间检查宏是否已定义。- 未定义为宏的标识符,这些标识符都被视为数字零。这允许您编写
#if MACRO
而非#ifdef MACRO
,如果您知道当MACRO
定义时其值一定不为零。未带函数调用括号的函数式宏也会被视为零。
在某些情况下,这种简写方式可能并不理想。-Wundef
选项会让 GCC 在遇到 #if
中的非宏标识符时发出警告。
预处理器对语言中的类型一无所知。因此,sizeof
操作符在 #if
中不会被识别,enum
常量也不会被识别。它们会被当作未定义的宏标识符,并替换为零。对于 sizeof
来说,这可能会导致表达式无效。
预处理器会计算 expression
的值。所有的计算都以编译器支持的最宽整数类型进行;在 GCC 支持的大多数机器上,这是 64 位。这与编译器用于计算常量表达式值的规则不同,在某些情况下可能会导致不同的结果。如果计算结果为非零,则 #if
成功,受控文本将被包含;否则,它将被跳过。