实现定义的行为控制

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

通用主题
预处理器 注释	关键词 转义序列
流程控制
条件执行语句
if	switch
迭代语句（循环）
for range-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)

 

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

语法

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

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

2) 从 string-literal 中移除 L 前缀（如果有）、外层引号以及开头/结尾的空白字符，将每个 \" 替换为 "，将每个 \\ 替换为 \，然后对结果进行词法分析（如 翻译阶段 3），然后将结果用作 (1) 中 #pragma 的输入。

解释

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

非标准 pragmas

ISO C++ 语言标准不要求编译器支持任何 pragmas。然而，多个实现支持一些非标准 pragmas

#pragma STDC

ISO C 语言标准要求 C 编译器支持以下三个 pragmas，一些 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。

如果上述三个 pragmas 中的任何一个出现在所有外部声明之外或复合语句内所有显式声明和语句之前的任何上下文中，则程序的行为是未定义的。

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

#pragma once

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

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

#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 使在多个文件中错误地使用相同宏名称成为不可能。另一方面，由于 #pragma once 是根据文件系统级别的身份排除文件的，因此如果头文件在项目中存在于多个位置，则无法防止多次包含。

#pragma pack

这一系列 pragmas 控制后续定义的类和联合成员的最大对齐方式。

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

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

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

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

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

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

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

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

另请参阅 GCC 和 MSVC 的具体细节。

参考文献

• C++23 标准 (ISO/IEC 14882:2024)

• 15.9 Pragma 指令 [cpp.pragma]

• C++20 标准 (ISO/IEC 14882:2020)

• 15.9 Pragma 指令 [cpp.pragma]

• C++17 标准 (ISO/IEC 14882:2017)

• 19.6 Pragma 指令 [cpp.pragma]

• C++14 标准 (ISO/IEC 14882:2014)

• 16.6 Pragma 指令 [cpp.pragma]

• C++11 标准 (ISO/IEC 14882:2011)

• 16.6 Pragma 指令 [cpp.pragma]

• C++98 标准 (ISO/IEC 14882:1998)

• 16.6 Pragma 指令 [cpp.pragma]

另请参阅

C 文档 关于 实现定义的行为控制

外部链接

1.	Visual Studio 中的 C++ pragmas
2.	GCC 接受的 Pragmas
3.	各个 pragma 描述 和 IBM AIX XL C 16.1 中的标准 pragmas
4.	附录 B. Pragmas 在 Sun Studio 11 C++ 用户指南中
5.	Intel C++ 编译器 pragmas
6.	HP aCC A.06.25 的发布节点（包括 pragmas）