条件包含

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

C++ 语言

一般主题
预处理器 注释	关键词 转义序列
流程控制
条件执行语句
if	switch
重复语句（循环）
for 范围 for(C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
lambda 函数表达式
inline 说明符
动态异常说明(C++17 前*)
noexcept 说明符(C++11)
异常
throw 表达式 try 块	catch 处理块
命名空间
命名空间声明	命名空间别名
类型
基础类型 枚举类型 函数类型	类/结构体类型 联合体类型
说明符
const/volatile decltype(C++11)   auto(C++11)	constexpr(C++11)   consteval(C++20) constinit(C++20)
存储期说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化(C++11) 常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔 - 整数 - 浮点
字符 - 字符串 - nullptr(C++11)
用户定义(C++11)
工具
属性(C++11)
类型
typedef 声明
类型别名声明(C++11)
类型转换
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
类特有的函数性质
虚函数 override 说明符(C++11)   final 说明符(C++11)	explicit(C++11) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数(C++11)	复制赋值 移动赋值(C++11) 析构函数
模板
类模板 函数模板	模板特化 形参包(C++11)
杂项
内联汇编	C++ 的历史

 

预处理器

#if#ifdef#ifndef#else#elif#elifdef#elifndef#endif (C++23)(C++23)

#define#undef#,## 运算符

#include__has_include (C++17)

#error#warning (C++23)

#pragma_Pragma (C++11)

#line

#embed (C++26)

 

预处理器支持有条件地编译源文件的某些部分。这一行为由 #if、#else、#elif、#ifdef、#ifndef、#elifdef、#elifndef(C++23 起) 与 #endif 指令所控制。

语法

#if表达式
#ifdef标识符
#ifndef标识符
#elif表达式
#elifdef标识符		(C++23 起)
#elifndef标识符		(C++23 起)
#else
#endif

解释

条件预处理块由 #if、#ifdef 或 #ifndef 指令开始，然后可选地包含任意多个 #elif、#elifdef 或 #elifndef(C++23 起) 指令，接下来是最多一个可选的 #else 指令，并以 #endif 指令结束。嵌套的条件预处理块会被单独处理。

各个 #if、#ifdef、#ifndef、#elif、#elifdef、#elifndef(C++23 起) 和 #else 指令所控制的代码块在第一个不属于内部嵌套的条件预处理块的 #elif、#elifdef、#elifndef(C++23 起)、#else 或 #endif 指令处结束。

#if、#ifdef 和 #ifndef 指令测试其所指定的条件（见下文），如果条件求值为真，则编译其控制的代码块。此时后续的 #else、#elifdef、#elifndef(C++23 起) 和 #elif 指令将被忽略。否则，如果所指定的条件求值为假，则跳过其所控制的代码块，然后处理后续的 #else、#elifdef、#elifndef(C++23 起) 或 #elif 指令（如果存在）。若后续指令为 #else，则 #else 指令所控制的代码块将会无条件地进行编译。否则，#elif、#elifdef 或 #elifndef(C++23 起) 指令按照与 #if 指令相同的方式执行：即测试条件是否满足，并根据其结果决定编译或跳过其所控制的代码块，并在后一种情况下继续处理后续的 #elif、#elifdef、#elifndef(C++23 起) 和 #else 指令。条件预处理块以 #endif 指令结束。

条件的求值

#if, #elif

表达式 可以包含形如“defined标识符”或“defined (标识符)”的一元运算符。当此标识符 已经被定义为宏名时结果是 1，否则结果是 ​0​。

表达式 也可以包含以下表达式： __has_include 表达式，检测某个标头或源文件存在。 __has_cpp_attribute 表达式，检测给定属性记号是否受支持和支持的版本。 (C++20 起) __has_embed 表达式，检测是否可以嵌入某个资源。 (C++26 起) 以上标识符在这种语境中被当做如同是已定义的宏名。

(C++17 起)

在进行所有宏展开和对 defined 以及上述表达式的求值后，任何非布尔字面量的标识符都被替换成数字 ​0​（这包含词法上为关键字的标识符，但不包括如 and 之类的代用记号）。

然后，表达式被当作整数常量表达式进行求值。

当表达式 求值为非零值时，包含其所控制的代码块，否则跳过该代码块。

注：解决 CWG 问题 1955 前，“#if cond1 ... #elif cond2”和“#if cond1 ... #else”后面跟着“#if cond2”是不同的，因为当 cond1 为真时第二个 #if 将被跳过，且 cond2 并不需要是良构的，而 #elif 中的 cond2 则必须是合法的表达式。 CWG 1955 开始，引领跳过的代码块的 #elif 也被跳过。

组合指令

检查标识符是否被定义为宏名。

“#ifdef标识符”与“#if defined标识符”实质上等价。

“#ifndef标识符”与“#if !defined标识符”实质上等价。

“#elifdef 标识符”与“#elif defined 标识符”实质上等价。 “#elifndef 标识符”与“#elif !defined 标识符”实质上等价。

(C++23 起)

注解

#elifdef 与 #elifndef 指令在 C++23 标准化，不过鼓励实现将它们作为遵从的扩展向后移植到旧语言模式。

示例

运行此代码

#define ABCD 2#include <iostream>   int main(){   #ifdef ABCDstd::cout<<"1: yes\n";#elsestd::cout<<"1: no\n";#endif   #ifndef ABCDstd::cout<<"2: no1\n";#elif ABCD == 2std::cout<<"2: yes\n";#elsestd::cout<<"2: no2\n";#endif   #if !defined(DCBA) && (ABCD < 2*4-3)std::cout<<"3: yes\n";#endif     // 注意若编译器不支持 C++23 的 #elifdef/#elifndef 指令则会选择“不期待”块（见后述）。#ifdef CPUstd::cout<<"4: no1\n";#elifdef GPUstd::cout<<"4: no2\n";#elifndef RAMstd::cout<<"4: yes\n";// 期待的块#elsestd::cout<<"4: no!\n";// 由于跳过未知的指令不期待地选择此块// 并直接从 "#ifdef CPU" “跳”到此 "#else" 块#endif   // 为修复此问题，我们可以条件性地仅若支持 C++23 指令 #elifdef/#elifndef// 才定义 ELIFDEF_SUPPORTED 宏。#if 0#elifndef UNDEFINED_MACRO#define ELIFDEF_SUPPORTED#else#endif   #ifdef ELIFDEF_SUPPORTED#ifdef CPUstd::cout<<"4: no1\n";#elifdef GPUstd::cout<<"4: no2\n";#elifndef RAMstd::cout<<"4: yes\n";// 期待的块#elsestd::cout<<"4: no3\n";#endif#else // 不支持 #elifdef 时使用累赘的旧 “#elif defined”#ifdef CPUstd::cout<<"4: no1\n";#elif defined GPUstd::cout<<"4: no2\n";#elif !defined RAMstd::cout<<"4: yes\n";// 期待的块#elsestd::cout<<"4: no3\n";#endif#endif}

可能的输出：

1: yes 2: yes 3: yes 4: no! 4: yes

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
CWG 1955	C++14	要求失败的 #elif 中的表达式合法	跳过失败的 #elif

参阅

条件包含的 C 文档