实现定义的行为控制

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名需求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (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 块	处理程序
命名空间
命名空间声明	命名空间别名
类型
基本类型 枚举类型 函数类型	类/结构体类型 联合类型
说明符
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

 

实现定义的行为由 #pragma 指令控制。

语法

#pragma pragma-params	(1)
_Pragma( string-literal )	(2)	(自 C++11 起)

1) 以实现定义的方式运行。

2) 从 string-literal 中移除 L 前缀（如果有）、外部引号和前导/尾随空格，用 " 替换每个 \"，用 \\ 替换每个 \\，然后对结果进行标记化（如 翻译阶段 3 所述），然后使用结果，就好像它是 (1) 中 #pragma 的输入一样。

解释

Pragma 指令控制编译器的实现特定行为，例如禁用编译器警告或更改对齐要求。任何未识别的预处理指令都会被忽略。

非标准预处理指令

ISO C++ 语言标准不要求编译器支持任何预处理指令。但是，多个实现支持一些非标准预处理指令。

#pragma STDC

ISO C 语言标准要求 C 编译器支持以下三个预处理指令，并且一些 C++ 编译器供应商在其 C++ 前端以不同程度地支持这些预处理指令。

#pragma STDC FENV_ACCESS arg	(1)
#pragma STDC FP_CONTRACT arg	(2)
#pragma STDC CX_LIMITED_RANGE arg	(3)

其中 arg 为 ON、OFF 或 DEFAULT。

1) 如果设置为 ON，则通知编译器程序将访问或修改 浮点环境，这意味着可能会破坏标志测试和模式更改的优化（例如全局公共子表达式消除、代码移动和常量折叠）是禁止的。默认值为实现定义的，通常为 OFF。

2) 允许压缩浮点表达式，即省略在精确计算表达式时观察到的舍入误差和浮点异常的优化。例如，允许用单个融合乘加 CPU 指令实现 (x * y) + z。默认值为实现定义的，通常为 ON。

3) 通知编译器复数的乘法、除法和绝对值可以使用简化的数学公式 (x+iy)×(u+iv) = (xu-yv)+i(yu+xv)，(x+iy)/(u+iv) = [(xu+yv)+i(yu-xv)]/(u2
+v2
) 和 |x+iy| = √x2
+y2
，即使可能发生中间溢出。换句话说，程序员保证传递给这些函数的值范围有限。默认值为 OFF。

如果以上三个编译指示符出现在除外部声明之外的任何上下文或复合语句中的所有显式声明和语句之前，程序的行为是未定义的。

注意：不支持这些编译指示符的编译器可能会提供等效的编译时选项，例如 gcc 的 -fcx-limited-range 和 -ffp-contract。

#pragma once

#pragma once 是一个非标准编译指示符，它被 绝大多数现代编译器 支持。如果它出现在头文件中，则表示它只会被解析一次，即使它在同一个源文件中被多次包含（直接或间接）。

防止同一个头文件被多次包含的标准方法是使用 包含守卫

#ifndef LIBRARY_FILENAME_H
#define LIBRARY_FILENAME_H
// contents of the header
#endif /* LIBRARY_FILENAME_H */

这样，除了在任何翻译单元中第一次包含头文件以外，其他所有包含都被排除在编译之外。所有现代编译器都会记录头文件使用包含守卫的事实，并且只要守卫仍然定义（例如，见 gcc），就不会再次解析文件。

使用 #pragma once，相同头文件将显示为

#pragma once
// contents of the header

与头文件守卫不同，这个编译指示符可以防止在多个文件中错误地使用相同的宏名。另一方面，由于使用 #pragma once 文件是根据它们的文件系统级标识被排除的，因此如果一个头文件在项目中的多个位置存在，它不能防止多次包含该头文件。

#pragma pack

这一系列编译指示符控制随后定义的类和联合成员的最大对齐方式。

#pragma pack(arg)	(1)
#pragma pack()	(2)
#pragma pack(push)	(3)
#pragma pack(push, arg)	(4)
#pragma pack(pop)	(5)

其中 arg 是一个小的 2 的幂，并指定新的对齐方式（以字节为单位）。

1) 将当前对齐方式设置为值 arg。

2) 将当前对齐方式设置为默认值（由命令行选项指定）。

3) 将当前对齐方式的值压入内部堆栈。

4) 将当前对齐方式的值压入内部堆栈，然后将当前对齐方式设置为值 arg。

5) 从内部堆栈中弹出顶端条目，然后将（恢复）当前对齐方式设置为该值。

#pragma pack 可以减少类的对齐方式，但是它不能使类过度对齐。

另请参见有关 GCC 和 MSVC 的具体细节。

参考资料

• C++23 标准（ISO/IEC 14882:2024）

• 15.9 编译指示符 [cpp.pragma]

• C++20 标准（ISO/IEC 14882:2020）

• 15.9 编译指示符 [cpp.pragma]

• C++17 标准（ISO/IEC 14882:2017）

• 19.6 编译指示符 [cpp.pragma]

• C++14 标准（ISO/IEC 14882:2014）

• 16.6 编译指示符 [cpp.pragma]

• C++11 标准（ISO/IEC 14882:2011）

• 16.6 编译指示符 [cpp.pragma]

• C++98 标准（ISO/IEC 14882:1998）

• 16.6 编译指示符 [cpp.pragma]

另请参见

C 文档 针对 实现定义的行为控制

外部链接

1.	Visual Studio 中的 C++ 编译指示符
2.	GCC 接受的编译指示符
3.	单个编译指示符描述 和 标准编译指示符 在 IBM AIX XL C 16.1 中
4.	附录 B. 编译指示符 在 Sun Studio 11 C++ 用户指南中
5.	英特尔 C++ 编译器编译指示符
6.	发布节点（包括编译指示符） 针对 HP aCC A.06.25