实现定义行为控制

 

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

 

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

语法

#pragma 语用形参	(1)
_Pragma ( 字符串字面量 )	(2)	(C99 起)

1) 以实现定义方式行动（除非 语用形参 是后述的标准 pragma 之一）。

2) 移除 字符串字面量 的编码前缀（若存在）、外层引号，及开头/尾随空白符，将每个 \" 以 " ，每个 \\ 以 \ 替换，然后记号化结果（如翻译阶段 3 中），再如同在 (1) 中输出到 #pragma 一般使用结果。

解释

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

标准 pragma

语言标准定义下列三个 pragma ：

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

其中 实参 是 ON 、 OFF 和 DEFAULT 之一。

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

2) 允许缩略浮点表达式，即忽略舍入错误和浮点异常的优化，被观察成表达式以如同书写方式准确求值。例如，允许 (x*y) + z 的实现使用单条融合乘加CPU指令。默认值为实现定义，通常是 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 是受到绝大多数现代编译器支持的非标准语用。当某个头文件中包含它时，指示编译器只对其分析一次，即使它在同一源文件中（直接或间接）被包含了多次也是如此。

阻止同一头文件的多次包含的标准方式是使用包含防护：

#ifndef LIBRARY_FILENAME_H
#define LIBRARY_FILENAME_H
// 头文件的内容
#endif /* LIBRARY_FILENAME_H */

从而在任何翻译单元中，该头文件除首次以外被包含时都被排除出编译。所有现代编译器都记录头文件使用了包含防护的事实，只要该防护仍有定义，再遇到该头文件时就不再分析它。（例子见 gcc ）

使用 #pragma once 时，同一个头文件可以变为

#pragma once
// 头文件的内容

不同于头文件防护，这条 pragma 使得，不会错误地在多个文件中使用相同的宏名。另一方面，因为带 #pragma once 的文件是基于其文件系统层次的身份所排除的，所以若头文件在项目中多处出现，则不可避免地再次包含它。

#pragma pack

此 pragma 族控制后继定义的结构体和联合体的最大对齐。

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

其中 arg 实参是小的 2 的幂，指定以字节计的新对齐。

1) 设置当前对齐为值 实参 。

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

3) 推入当前对齐的值到内部栈。

4) 推入当前对齐的值到内部栈然后设置当前对齐为值 实参 。

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

#pragma pack 可以指定结构体的对齐，然而它不能使结构体过对齐。

参阅 GCC 与 MSVC 的特定细节。

引用

• C17 标准（ISO/IEC 9899:2018）：

• 6.10.9 Pragma operator （第 129 页）

• C11 标准（ISO/IEC 9899:2011）：

• 6.10.9 Pragma operator （第 178 页）

• C99 标准（ISO/IEC 9899:1999）：

• 6.10.6 Pragma directive （第 159 页）

• C89/C90 标准（ISO/IEC 9899:1990）：

• 3.8.6 Pragma directive

外部链接

• Visual Studio 2019 的 C++ pragma
• GCC 接受的 Pragma
• IBM AIX XL C 16.1 的单独 pragma 描述及标准 pragma
• Sun Studio 11 C++ 用户手册的 Appendix B. Pragmas
• Intel C++ compiler pragmas
• HP aCC compiler pragmas