#if、#elif、#else 和 #endif 指令详解 (C/C++)

#if、#elif、#else 和 #endif 指令详解 (C/C++)

#if 指令与 #elif、#else 和 #endif 指令一起控制源文件部分的编译。 如果您编写的表达式（在 #if 后）有一个非零值，则在翻译单元中保留紧跟 #if 指令的行组。

语法

conditional :
if-part elif-parts opt else-partopt endif-line

if-part :
if-line text

if-line :
#if  constant-expression

#ifdef  identifier

#ifndef  identifier

elif-parts :
elif-line text

elif-parts elif-line text

elif-line :
#elif  constant-expression

else-part :
else-line text

else-line :
#else

endif-line :
#endif

源文件中的每个 #if 指令必须与表示结束的 #endif 指令匹配。 任意数量的 #elif 指令可以出现在 #if 和 #endif 指令之间，但最多允许一个 #else 指令。 #else 指令（如果有）必须是 #endif 之前的最后一个指令。

#if、#elif、#else 和 #endif 指令可以嵌套在其他 #if 指令的文本部分中。 每个嵌套的 #else、#elif 或 #endif 指令属于最靠近的前面的 #if 指令。

所有条件编译指令（例如，#if 和 #ifdef）都必须与文件末尾前面的表示结束的 #endif 指令匹配；否则，将生成错误消息。 当条件编译指令包含在包含文件中时，这些指令必须满足相同的条件：包含文件的末尾不能有未匹配的条件编译指令。

在 #elif 命令后面的命令行部分中执行宏替换，以便能够在 constant-expression 中使用宏调用。

预处理器选择 text 的给定匹配项之一以进行进一步处理。 text 中指定的块可以是文本的任意序列。 它可占用多个行。 通常，text 是对编译器或预处理器有意义的程序文本。

预处理器处理选定的 text，并将其传递给编译器。 如果 text 包含预处理器指令，则预处理器将执行这些指令。 仅编译预处理器所选的文本块。

预处理器通过计算每个 #if 或 #elif 指令后面的常数表达式来选择单个 text 项，直到找到实际（非零）常量表达式。 它选择所有文本（包括以 # 开头的其他预处理器指令），直到其关联的 #elif、#else 或 #endif。

如果 constant-expression 的所有匹配项都为 false，或者 #elif 指令未出现，则预处理器将选择 #else 子句后面的文本块。 如果 #else 子句被省略，并且 #if 块中的 constant-expression 的所有实例都为 false，则不选择文本块。

constant-expression 是具有下列其他限制的整数常量表达式：

表达式必须具有整型，并且只能包含整数常量、字符常量和 defined 运算符。

表达式不能使用 sizeof 或 type-cast 运算符。

目标环境无法表示整数的所有范围。

转换表示与类型 int（与类型 long 相同）和 unsigned int（与 unsigned long 相同）。

转换器可以将字符常量转换为与目标环境的集不同的代码值集。 若要确定目标环境的属性，请从为目标环境生成的应用程序中的 LIMITS.H 中检查宏的值。

该表达式不得执行任何环境查询，并且必须不受与目标计算机上的实现详细信息的影响。

预处理器运算符 defined 可用于特定常量表达式中，如以下语法所示：

defined( identifier )
defined identifier

如果当前定义了 identifier，则该常量表达式被视为 true（非零）；否则条件为 false (0)。 定义为空文本的标识符被视为已定义。 defined 指令可用于 #if 和 #elif 指令，但在其他位置不可用。


在下面的示例中，#if 和 #endif 指令控制三个函数调用之一的编译：

#if defined(CREDIT)  
    credit();  
#elif defined(DEBIT)  
    debit();  
#else  
    printerror();  
#endif  

如果定义了标识符 CREDIT，则编译对 credit 的函数调用。 如果定义了标识符 DEBIT，则编译对 debit 的函数调用。 如果两个标识符都未定义，则编译对 printerror 的调用。 请注意，CREDIT 和 credit 是 C 和 C++ 中的不同标识符，因为它们的情况不同。

以下示例中的条件编译语句假定一个名为 DLEVEL 的之前定义的符号常量。

#if DLEVEL > 5  
    #define SIGNAL  1  
    #if STACKUSE == 1  
        #define STACK   200  
    #else  
        #define STACK   100  
    #endif  
#else  
    #define SIGNAL  0  
    #if STACKUSE == 1  
        #define STACK   100  
    #else  
        #define STACK   50  
    #endif  
#endif  
#if DLEVEL == 0  
    #define STACK 0  
#elif DLEVEL == 1  
    #define STACK 100  
#elif DLEVEL > 5  
    display( debugptr );  
#else  
    #define STACK 200  
#endif  

第一个 #if 块显示两组嵌套的 #if、#else 和 #endif 指令。 仅当 DLEVEL > 5 为 true 时，才会处理第一组指令。 否则，处理 #else 后面的语句。

第二个示例中的 #elif 和 #else 指令用于根据 DLEVEL 的值做出四种选择之一。 将常量 STACK 设置为 0、100 或 200，具体取决于 DLEVEL 的定义。 如果 DLEVEL 大于 5，则编译

#elif DLEVEL > 5  
display(debugptr);  

该语句，并且不会定义 STACK。

条件编译的常见用途是防止多次包含同一个头文件。 在 C++ 中，通常在头文件中定义类，如下构造可用于防止多个定义：

/*  EXAMPLE.H - Example header file  */  
#if !defined( EXAMPLE_H )  
#define EXAMPLE_H  
  
class Example  
{  
...  
};  
  
#endif // !defined( EXAMPLE_H )  

前面的代码将检查以查看是否定义了符号常量 EXAMPLE_H。 如果是这样，则已包括该文件，并且不需要重新处理该文件。 否则，定义常量 EXAMPLE_H 以将 EXAMPLE.H 标记为已处理