条件包含

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

C++ 语言

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

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔 - 整数 - 浮点
字符 - 字符串 - nullptr (C++11)
用户定义 (C++11)
工具
属性 (C++11)
类型
typedef 声明
类型别名声明 (C++11)
类型转换
隐式转换 - 显式转换
static_cast - dynamic_cast
const_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#endif

#define#undef#,## operators

#include__has_include(C++17)

#error

#pragma_Pragma(C++11)

#line

 

预处理器支持有条件地编译源文件的某些部分。这一行为由 #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 (标识符)”的一元运算符。当此 标识符 已经被定义为宏名，或者此 标识符 为 __has_include (C++17 起)时结果为 1，否则结果为 ​0​。

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

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

预处理器语境中， __has_cpp_attribute 表达式检测给定属性记号是否受支持及其受支持版本。见属性测试。

(C++20 起)

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

组合指令

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

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

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

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

(C++23 起)

示例

运行此代码

#define ABCD 2
#include <iostream>
 
int main()
{
 
#ifdef ABCD
    std::cout << "1: yes\n";
#else
    std::cout << "1: no\n";
#endif
 
#ifndef ABCD
    std::cout << "2: no1\n";
#elif ABCD == 2
    std::cout << "2: yes\n";
#else
    std::cout << "2: no2\n";
#endif
 
#if !defined(DCBA) && (ABCD < 2*4-3)
    std::cout << "3: yes\n";
#endif
}

输出：

1: yes
2: yes
3: yes

缺陷报告

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

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