源文件包含

将其他源文件包含到当前源文件中紧随指令之后的一行。

换行	-	换行字符
h字符序列	-	一个或多个h字符的序列，并且其中以下内容的出现受条件性支持：字符 ' 字符 " 字符 \ 字符序列 // 字符序列 /*
h字符	-	源字符集(C++23 前)翻译字符集(C++23 起) 除了换行符和 > 以外的任何成员
q字符序列	-	一个或多个q字符的序列，并且其中以下内容的出现受条件性支持：字符 ' 字符 \ 字符序列 // 字符序列 /*
q字符	-	源字符集(C++23 前)翻译字符集(C++23 起) 除了换行符和 " 以外的任何成员
记号序列	-	一个或多个预处理记号的序列
字符串字面量	-	一个字符串字面量
h记号序列	-	一个或多个除了 > 以外的预处理记号的序列

[编辑]解释

1) 在一系列地点中搜索由h字符序列唯一识别的标头，并将该指令替换为这个标头的全部内容。由实现定义如何指定这些地点和识别标头。

2) 将该指令替换为由q字符序列识别的源文件的全部内容。所指名的源文件通过由实现定义的方式进行搜索。

如果不支持这种搜索或者搜索失败，该指令按语法 (1) 重新处理，将原指令中包含的序列（包括 > 字符，如果存在）作为语法 (1) 中所需的序列。

3) 该指令中 include 后面的预处理记号会按在正常文本中进行处理（即每个目前定义为宏名的标识符都会被替换为它的预处理记号替换列表）。

如果在所有替换都完成后生成的指令不匹配前面两种语法，那么行为未定义。

将在一对预处理记号 < 和 > 之间或一对 " 字符之前的预处理记号序列合并为单个头名预处理记号的方法由实现定义。

4) 搜索由h字符序列或q字符序列识别的标头或源文件，如同通过将该预处理记号序列作为语法 (3) 中的记号序列的方法进行搜索，但不会实施后续的宏展开。

如果刚才的语法 (3) 指令不满足 #include 指令的语法要求，那么程序非良构。
否则 __has_include 表达式在搜索成功时求值为 1，在搜索失败时求值为 0。

5) 只有在不匹配 (4) 才会选择此形式，此时预处理记号会按在正常文本中进行处理。

如果由标头名（即 <h字符序列> 或 "q字符序列"）标识的标头指明了一个可以导入的标头，那么由实现决定要包含这个标头的 #include 预处理指令是否要被替换为具有以下形式的导入指令：

import标头名;换行

(C++20 起)

__has_include 可以在 #if 和 #elif 的表达式中展开。它被 #ifdef， #ifndef， #elifdef， #elifndef(C++23 起) 和 defined 视为已定义的宏，但不能在其他任何地方使用。

[编辑]注解

语法 (1) 的意图是搜索由实现所掌控的文件。典型实现仅搜索标准包含目录。这些标准包含目录中隐含地包含标准 C++ 库和标准 C 库。用户通常能通过编译器选项来控制标准包含目录。

语法 (2) 的意图是搜索不被实现所掌控的文件。典型实现首先于当前文件所在的目录搜索，然后退回使用语法 (1)。

包含一个文件时，它将经过翻译阶段 1-4 的处理，这可能递归地包含嵌套 #include 指令的展开，直到一个由实现定义的嵌套限制。为避免（可能传递性地）重复包含相同文件，和由文件包含自身造成的无限递归，通常使用头文件防护：整个头文件被包装在下列结构中

#ifndef FOO_H_INCLUDED /* 任何唯一地映射到文件名的名称 */#define FOO_H_INCLUDED// 文件内容在此#endif

许多编译器也会实现有类似效果的非标准语用#pragma once：在已经包含相同文件（文件的身份以操作系统指定的方式确定）的时候禁止处理该文件。

如果h字符序列或q字符序列中包含了类似转义序列的序列，那么根据实现可能会导致错误，被处理为转义序列对应的字符，或者具有完全不同的含义。

结果是 1 的 __has_include 只表明存在有指定名称的头或源文件。它并不意味着包含该头或源文件时不会导致错误，或它会包含任何有意义的内容。例如在同时支持 C++14 和 C++17 模式（并在其 C++14 模式作为一项遵从标准的扩展而提供 __has_include）的 C++ 实现上，__has_include(<optional>) 在 C++14 模式中可以是 1，但实际上 #include <optional> 可能导致错误。

[编辑]示例

运行此代码

#if __has_include(<optional>)#include <optional>#define has_optional 1template<class T>using optional_t =std::optional<T>;#elif __has_include(<experimental/optional>)#include <experimental/optional>#define has_optional -1template<class T>using optional_t =std::experimental::optional<T>;#else#define has_optional 0template<class V>class optional_t { V v{};bool has{};   public: optional_t()=default; optional_t(V&& v): v(v), has{true}{} V value_or(V&& alt)const&{return has ? v : alt;}// etc.};#endif   #include <iostream>   int main(){if(has_optional >0)std::cout<<"<optional> 存在\n";elseif(has_optional <0)std::cout<<"<experimental/optional> 存在\n";elsestd::cout<<"<optional> 不存在\n";   optional_t<int> op;std::cout<<"op = "<< op.value_or(-1)<<'\n'; op =42;std::cout<<"op = "<< op.value_or(-1)<<'\n';}

输出：

<optional> 存在 op = -1 op = 42

[编辑]缺陷报告

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

缺陷报告	应用于	出版时的行为	正确行为
CWG 787	C++98	如果h字符序列或q字符序列中包含了类似转义序列的序列，那么行为未定义	改为受条件性支持

[编辑]参阅

资源包含 (C++26 起)

C++ 标准库头文件列表
源文件包含的 C 文档

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏(C++20)
语言支持库
概念库(C++20)
诊断库
内存管理库
元编程库(C++11)
通用工具库
容器库
迭代器库
范围库(C++20)
算法库
字符串库
文本处理库
数值库
日期和时间库
输入/输出库
文件系统库(C++17)
并发支持库(C++11)
执行控制库(C++26)
技术规范
符号索引
外部库

#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)


`#include <`h字符序列`>`换行	(1)

`#include "`q字符序列`"`换行	(2)

`#include`记号序列换行	(3)

`__has_include("`q字符序列`")` `__has_include(<`h字符序列`>)`	(4)	(C++17 起)

`__has_include(`字符串字面量`)` `__has_include(<`h记号序列`>)`	(5)	(C++17 起)

cppreference.com

名字空间

变换

查看

操作