命名空间
变体
操作

实现定义行为控制

来自 cppreference.cn
 
C++
 
C++ 语言
通用主题
流程控制
条件执行语句
if
迭代语句（循环）
for
范围 for (C++11)
跳转语句
函数
函数声明
Lambda 函数表达式
inline 说明符
动态异常规范 (在 C++11 中弃用*)
noexcept 说明符 (C++11)
异常
命名空间
类型
说明符
const/volatile
decltype (C++11)
auto (C++11)
constexpr (C++11)
consteval (C++20)
constinit (C++20)
存储期说明符
初始化
 
预处理器
 

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

目录

[编辑] 语法

#pragma pragma-params (1)
_Pragma( string-literal ) (2) (自 C++11 起)
1) 行为由实现定义。
2) 从 string-literal 中移除 L 前缀（如果有）、外层引号以及前导/尾随空格，将每个 \" 替换为 "，并将每个 \\ 替换为 \，然后对结果进行标记化处理（如 翻译阶段 3 中所述），然后将结果用作 (1) 中 #pragma 的输入。

[编辑] 解释

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

[编辑] 非标准 pragma

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

[编辑] #pragma STDC

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

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

注意：不支持这些 pragma 的编译器可能会提供等效的编译时选项，例如 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

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

#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 的具体详细信息。

本节尚不完整
原因：解释这些 pragma 对数据成员的影响，以及使用它们的优缺点。 参考来源
本节尚不完整
原因：没有示例

[编辑] 参考

  • 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++ pragma
2.  GCC 接受的 Pragmas
3.  各个 pragma 描述 和 IBM AIX XL C 16.1 中的标准 pragma
4.  附录 B. Pragmas 在 Sun Studio 11 C++ 用户指南中
5.  Intel C++ 编译器 pragmas
6.  HP aCC A.06.25 的发布节点（包括 pragmas）
取自“https://cppreference.cn/mwiki/index.php?title=cpp/preprocessor/impl&oldid=178556”