如果 GCC 错误 _Pragma 出现在中间预处理步骤中，它会触发吗？

Question

如果使用 gcc -E 进行预处理，以下代码会产生来自 _Pragma("GCC error") 的一些错误：

_Pragma("GCC error \"ERROR\"") // error

#define MACRO_ERROR _Pragma("GCC error \"MACRO_ERROR\"")
MACRO_ERROR // error

#define VOID(arg)
VOID(_Pragma("GCC error \"VOID_ERROR\"")) // no error

#define MACRO_VOID_ERROR VOID(_Pragma("GCC error \"MACRO_VOID_ERROR\""))
MACRO_VOID_ERROR // no error

#define FORWARD(macro, arg) macro(arg)
FORWARD(VOID, _Pragma("GCC error \"FORWARD_VOID_ERROR\"")) // error

#define MACRO_FORWARD_VOID_ERROR FORWARD(VOID, _Pragma("GCC error \"MACRO_FORWARD_VOID_ERROR\""))
MACRO_FORWARD_VOID_ERROR // error

FORWARD(VOID, _Pragma("GCC error \"FORWARD_VOID_ERROR\"")) 和 MACRO_FORWARD_VOID_ERROR 会产生错误，尽管 pragma 运算符在最终扩展（为空）中是 not。

这是预期的行为吗？

相比之下，VOID(_Pragma("GCC error \"VOID_ERROR\"")) 和 MACRO_VOID_ERROR 不会产生错误。好像这是因为 pragma operator 是 "preprocessed away quick enough" with these.

这背后的规则是什么？

以前，我假设 pragma 运算符如果仅出现在中间扩展步骤中则没有效果。显然这是错误的，至少对于我的 gcc version 5.4.0 20160609 (Ubuntu 5.4.0-6ubuntu1~16.04.4).

gcc -E 的输出（删除空行）：

# 1 "<stdin>"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 1 "<command-line>" 2
# 1 "<stdin>"
# 1 "<stdin>"
<stdin>:1:11: error: ERROR
# 1 "<stdin>"
# 4 "<stdin>"
<stdin>:4:11: error: MACRO_ERROR
# 4 "<stdin>"
# 13 "<stdin>"
<stdin>:13:11: error: FORWARD_VOID_ERROR
# 13 "<stdin>"
# 16 "<stdin>"
<stdin>:16:11: error: MACRO_FORWARD_VOID_ERROR
# 16 "<stdin>"

Answer 1

这实际上是预期的（或者至少是我所预期的），尽管它不直观，因为您将表达式级别的副作用混合到一种最初设计为完全无副作用的语言中，并且部分懒惰。

参考C标准而不是GCC的文档，我们可以在6.10.3.1中找到以下内容：

A parameter in the replacement list, unless preceded by a # or ## preprocessing token or followed by a ## preprocessing token (see below), is replaced by the corresponding argument after all macros contained therein have been expanded. Before being substituted, each argument’s preprocessing tokens are completely macro replaced as if they formed the rest of the preprocessing file; no other preprocessing tokens are available.

此处措辞不明确的关键部分是，标准仅说明参数在被替换之前被扩展 ("as if it formed the rest of the file") 。它没有明确指出，如果一个论点根本不会被替换，就需要对其进行扩展，并且由于该段的第一部分清楚地表明，如何处理一个论点取决于它实际所处的上下文由宏使用，这是一个合理的优化（对于处理像 Boost 这样的复杂元编程库也是非常必要的）。

"As if they formed the rest of the file" 是为什么 _Pragma 运算符的执行应该在替换为参数之前发生的关键：5.1.1.2 列出 _Pragma 执行属于同一阶段作为宏替换，所以如果替换应用于给定的标记序列，当参数被替换时，它肯定是这样，所以应该 _Pragma 执行。

所以 _Pragma 在 FORWARD 的情况下应该运行完全不足为奇，因为它需要在 [= 之前的两个步骤进行评估并应用其效果18=] 宏在重新扫描期间被拾取以进行扩展。在直接调用 VOID 的情况下是否应该应用它可能是模棱两可的，但是由于标准明确地让宏根据参数的使用方式决定如何处理参数，所以应该是允许一个完全 un 的参数根本不会被评估，即使这没有直接指定。

如果 GCC 错误 _Pragma 出现在中间预处理步骤中，它会触发吗？

GCC error _Pragma fires if it appears in an intermediate preprocessing step?

c

gcc

c-preprocessor

pragma