Implementation defined behavior control

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

语法

说明

Pragma 指令用于控制编译器与具体实现相关的行为，例如禁用编译器警告或更改对齐要求。任何无法识别的 pragma 都会被忽略。

非标准杂注

ISO C++ 语言标准并不要求编译器支持任何 pragma 指令。然而，多种实现确实支持若干非标准 pragma：

#pragma STDC

ISO C语言标准要求C编译器必须支持以下三种编译指示，部分C++编译器厂商在其C++前端中不同程度地支持这些指示：

其中 arg 可以是 ON 、 OFF 或 DEFAULT 。

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

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

#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

该系列杂注控制后续定义的类和联合成员的最大对齐方式。

其中 arg 是2的小次幂，用于指定以字节为单位的新对齐方式。

#pragma pack 可能会降低类的对齐要求，但无法使类产生过度对齐。

另请参阅针对 GCC 与 MSVC 的具体实现细节。

参考文献

参见

外部链接