实现定义的行为控制

 

C

编译器支持

语言

头文件

类型支持

程序工具

变参函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

C 语言

基本概念

关键词

预处理器

语句

表达式

初始化

声明

函数

杂项

C 的历史

技术规范

 

预处理器

#if#ifdef#ifndef#else#elif#elifdef#elifndef#endif (C23)(C23)

#define#undef#,## 运算符

#include__has_include (C23)

#error#warning (C23)

#pragma_Pragma (C99)

#line

#embed__has_embed (C23)(C23)

 

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

语法

#pragma pragma_params	(1)
_Pragma ( string-literal )	(2)	(C99 起)

1) 以实现定义的方式行为（除非 pragma_params 是下面所示的标准 pragma 之一）。

2) 从 string-literal 中移除编码前缀（如果有）、外部引号以及前导/尾随空白，将每个 \" 替换为 "，将每个 \\ 替换为 \，然后将结果标记化（如在翻译阶段 3中），然后使用结果，就像输入到(1)中的#pragma一样。

解释

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

标准 pragma

以下三个 pragma 由语言标准定义：

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

其中 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 的编译器可能会提供等效的编译时选项，例如 gcc 的 -fcx-limited-range 和 -ffp-contract。

非标准 pragma

#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 是一个小的 2 的幂，并指定新的对齐字节数。

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

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

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

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

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

#pragma pack 可以减少结构体的对齐方式，但不能使结构体过度对齐。

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

参考

• C17 标准 (ISO/IEC 9899:2018)

• 6.10.6 Pragma 指令 (p: 127)

• 6.10.9 Pragma 运算符 (p: 129)

• C11 标准 (ISO/IEC 9899:2011)

• 6.10.6 Pragma 指令 (p: 174)

• 6.10.9 Pragma 运算符 (p: 178)

• C99 标准 (ISO/IEC 9899:1999)

• 6.10.6 Pragma 指令 (p: 159)

• 6.10.9 Pragma 运算符 (p: 161-162)

• C89/C90 标准 (ISO/IEC 9899:1990)

• 3.8.6 Pragma 指令

另请参阅

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

外部链接

1.	Visual Studio 2019 中的 C++ pragma
2.	GCC 支持的 Pragma
3.	IBM AIX XL C 16.1 中的单个 pragma 描述和标准 pragma
4.	Sun Studio 11 C++ 用户指南中的附录 B. Pragma
5.	Intel C++ 编译器 pragma
6.	HP aCC 编译器 pragma