实现定义行为控制
来自cppreference.com
< c | preprocessor
由 #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
之一。
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
,不考虑中间溢出的可能性。换言之,程序员保证传递给这些函数的值范围是受限的。默认值为
+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 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 可以指定结构体的对齐,然而它不能使结构体过对齐。
本节未完成 原因:解释此语用在数据成员的效果还有使用它们的优势与劣势。参考源: |
本节未完成 原因:暂无示例 |
引用
- C17 标准(ISO/IEC 9899:2018):
- 6.10.9 Pragma operator (p: 129)
- C11 标准(ISO/IEC 9899:2011):
- 6.10.9 Pragma operator (p: 178)
- C99 标准(ISO/IEC 9899:1999):
- 6.10.6 Pragma directive (p: 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