为什么宏名称没有涂成蓝色？

Question

假设我有以下两个宏定义：

#define foo(X) 1 bar
#define bar(X) 2 foo

为什么foo(X)(Y)(Z) 会扩展为1 2 1 bar？

根据 C99 标准 6.10.3.4 重新扫描和进一步替换

如果在此扫描期间找到要替换的宏的名称 替换列表（不包括源文件的其余部分 预处理令牌），它不会被替换。此外，如果任何嵌套 替换遇到被替换的宏的名称，它不是 更换。这些不可替换的宏名称预处理标记不是 更长的时间可用于进一步更换，即使它们稍后再更换 在该宏名称预处理标记的上下文中（重新）检查 否则会被替换。

所以这些标记的翻译方式似乎是以下序列

foo(X)(Y)(Z)
1 bar(Y)(Z)
1 2 foo(Z)
1 2 1 bar

显然foo 的第二个宏调用没有被涂成蓝色。我有点不确定为什么会这样。它不是由调用bar 引起的替换的一部分吗？这将使它成为第一次调用foo 的替换的嵌套替换。

我只能争辩说，这些扩展的工作方式是导致foo 和bar 的宏调用的标记部分位于嵌套替换中，即宏的名称在其中，部分在外部替换，即括号部分在替换之外。

也许我完全误解了嵌套替换的含义。

谁能帮我解释一下。

Answer 1

这里有 2 个替换阶段。首先发生在参数替换期间，它与文件的其余部分隔离发生：

6.10.3.1 参数替换

1. 在确定调用类函数宏的参数后，参数 发生替换。替换列表中的参数，除非 前面有 # 或 ## 预处理标记或后跟 ## 预处理令牌（见下文），由相应的替换 在其中包含的所有宏都已展开之后的参数。 之前 被替换，每个参数的预处理标记完全是 宏被替换，好像它们形成了预处理文件的其余部分； 没有其他可用的预处理令牌。

第二阶段，重新扫描，发生在宏和它的参数被扩展之后：

6.10.3.4 重新扫描和进一步替换

1. 替换列表中的所有参数都被替换后并且#和##处理已经 发生时，所有地标预处理标记都将被删除。然后， 重新扫描生成的预处理标记序列，以及 源文件的所有后续预处理标记，用于更多宏 要替换的名称。

您所指的段落仅适用于第一阶段，参数替换：

1. 如果找到被替换的宏的名称 在替换列表的扫描期间（不包括其余的 源文件的预处理标记），它不会被替换。 ...

由于您的宏 foo 和 bar 不使用它们的参数，您只能看到重新扫描阶段的效果。