目录
1. 条件编译指令
2. 语法
3. #if #elif #else #endif
注意:预处理阶段不能使用枚举变量,枚举常量
3. #ifndef #define #endif 声明头文件
4. 检测标识符是否被定义为宏名
5. 综合示例
1. 条件编译指令
预处理指令控制预处理器的行为。编译器将源代码生成目标程序时,预处理器在编译前的翻译阶段4执行,预处理的结果会生成单个文件,这个文件会传递给实际的编译器。
条件编译指令用于控制预处理器根据条件判断决定是否编译某段代码。这一行为由 #if、#elif、#ifdef、#ifndef、#elifdef (C++23起) 、#elifndef (C++23起) 、#else、和 #endif 预处理指令控制。
2. 语法
- #if 表达式
- #elif 表达式
- #ifdef 标识符
- #ifndef 标识符
- #elifdef 标识符 (C++23起)
- #elifndef 标识符 (C++23起)
- #else
- #endif
说明
(1)#if 和 #elif 接的表达式中可以含有如 defined 标识符 或 defined(标识符) 的一元运算符,当此标识符已经被定义为宏名时,结果为 1,否则结果为 0。当整个表达式求值为非0时,包含其所控制的代码块,否则跳过该代码块。
#include <iostream>#define DEBUG 0int main() {
#if defined DEBUG // 因为 DEBUG 标识符已被定义为宏名,所以 defined DEBUG 的结果为 1std::cout << "DEBUG 标识符已被定义为宏名" << std::endl;
#endif#if defined(DEBUG) // 因为 DEBUG 标识符已被定义为宏名,所以 defined(DEBUG) 的结果为 1std::cout << "DEBUG 标识符已被定义为宏名" << std::endl;
#endifreturn 0;
}
(2)#if 和 #elif 接的表达式中也可以含有__has_include(C++17 起) 或 __has_cpp_attribute(C++20 起) 表达式。
__has_include 表达式,检测某个头文件或源文件是否存在
__has_cpp_attribute 表达式,检测给定属性记号是否受支持和支持的版本。
#include <iostream>int main() {
#if __has_include("define.h")std::cout << "define.h 存在" << std::endl;
#endif#if __has_include(<string>)std::cout << "string 头文件存在" << std::endl;
#endifreturn 0;
}
(3)在进行所有宏展开和 defined、__has_include(C++17 起) 和 __has_cpp_attribute(C++20 起) 表达式的求值后,任何非布尔字面量(即不是 true 和 false)的标识符都被替换成数字 0(这包含词法上为关键字的标识符,但不包括如 and 之类的代用记号)。
#include <iostream>int main() {
#if std::cout // std::cout 在预处理阶段会被数字 0 替代std::cout << "这句代码不会被编译" << std::endl;
#endifint a = 1;
#if a and ture // 因为变量a是在编译阶段才会被处理,在预处理阶段只是一个非布尔字面量的标识符,会被 0 替代std::endl << "这句代码不会被编译" << std::endl;
#endif#if 0 and falsestd::cout << "这句代码不会被编译" << std::endl;
#elsestd::cout << "这句代码会被编译,也会被执行" << std::endl;
#endifreturn 0;
}
3. #if #elif #else #endif
语法
#if 表达式1// 表达式1为真,该段代码会被编译
#elif 表达式2// 如果表达式1为假,表达式2为真,该段代码会被编译
#else// 表达式1和表达式2都为假,则该段代码会被编译
#endif
示例
#include <iostream>#define platform 1int main() {
#if platform == 0std::cout << "windows" << std::endl;
#elif platform == 1std::cout << "apple" << std::endl;
#elsestd::cout << "android" << std::endl;
#endifreturn 0;
}
注意:预处理阶段不能使用枚举变量,枚举常量
因为在预处理阶段,只要是非布尔字面量的标识符都会被数字 0 代替
以下是错误举例
#include <iostream>enum PLATFORM {WINDOWS, // windowsAPPLE, // 苹果ANDROID // 安卓
};
PLATFORM platform = APPLE;int main() {// 预编译阶段不能使用枚举变量、枚举常量
#if platform == WINDOWS // 在预编译阶段 platform 和 WINDOWS 都是一个非布尔字面量的标识符,// 都会被数字 0 替代,0 == 0 为真,所以这段代码会被编译std::cout << "windows" << std::endl;
#elif platform == APPLEstd::cout << "apple" << std::endl;
#elsestd::cout << "android" << std::endl;
#endifreturn 0;
}
3. #ifndef #define #endif 声明头文件
#ifndef MY_HEADER_H
#define MY_HEADER_H
// 头文件内容
#endif // MY_HEADER_H
4. 检测标识符是否被定义为宏名
(1)#ifdef 标识符,如果标识符已被定义为宏名则为真,否则为假
(2)#ifndef 标识符,如果标识符没有被定义为宏名则为真,否则为假
(3)#elifdef 标识符,如果标识符已被定义为宏名则为真,否则为假
(4)#elifndef 标识符,如果标识符没有被定义为宏名则为真,否则为假
#ifdef 标识符 等价于 #if defined(标识符)
#ifndef 标识符 等价于 #if !defined(标识符)
#elifdef 标识符 等价于 #elif defined(标识符)
#elifndef 标识符 等价于 #elif !defined(标识符)
#include <iostream>#define AAA 1int main() {
#ifdef AAAstd::cout << "AAA" << std::endl;
#endif
#if defined(AAA)std::cout << "AAA" << std::endl;
#endifreturn 0;
}
5. 综合示例
#include <iostream>#define AAA 0
#define TRUE trueint main() {
#if 0std::cout << "这句代码不会被编译,也不会被执行" << std::endl;
#endif#if TRUE // 预处理器会将宏TRUE展开为 true
#ifdef AAAstd::cout << "AAA 宏已被定义" << std::endl;
#elsestd::cout << "AAA 宏没有被定义" << std::endl;
#endif#if !defined(BBB)std::cout << "BBB 宏都没有被定义" << std::endl;
#endif#ifdef AAA and __has_include(<string>)std::cout << "AAA 宏已被定义,并且 string 头文件存在" << std::endl;
#endif
#endifreturn 0;
}