C预处理器-28(#ifdef、#if)

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 成功,受控文本将被包含;否则,它将被跳过。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值