C语言宏替换列表末尾类函数宏的展开机制是怎样的？

C语言预处理器宏展开核心规则与问题解释 #

核心规则梳理 #

你遇到的矛盾本质上是对宏展开三个优先级不同的规则的理解偏差：

6.10.3 第10条：类函数宏名后接(预处理标记时，后续预处理标记构成宏调用的参数列表，列表由匹配的)预处理标记终止，中间的嵌套括号会被正确计数。

• 参数列表扫描优先规则：上述标准条款没有设置前置条件，只要识别到类函数宏名+(的组合，必须先完成参数列表的扫描计数，找不到匹配)直接报错，优先级高于宏禁用检查。
• 宏禁用（蓝色绘制）规则：根据6.10.3.4第2条，宏展开过程中当前正在展开的宏名会被加入禁用集合，在本次展开的整个生命周期内不会被再次展开，避免递归展开。
• 未指明行为边界：标准附录J.1明确，宏展开结果末尾的宏名与源文件后续的(组成的调用是否属于当前展开上下文，属于未指明行为，主流编译器（GCC、Clang、TCC等）均将其纳入当前展开上下文，继承禁用集合。

递归终止示例解释 #

#define A() B
#define B() A
A()()()()()

主流编译器的展开流程：

1. 识别A()为合法无参调用，将A加入禁用集合，展开得到标记序列B。
2. 重扫描阶段将B与后续的()()()()合并，识别到B()为合法调用，将B加入禁用集合，展开得到标记序列A。
3. 再次重扫描时，A已经在禁用集合中，不会被展开，展开终止，最终结果符合非嵌套处理逻辑。

参数未终止报错示例解释 #

#define A() B(
#define B() A(
A()))))

你预期的非嵌套逻辑忽略了参数列表扫描的优先性，实际流程：

1. 识别A()为合法调用，将A加入禁用集合，展开得到标记B(。
2. 重扫描阶段将B(与后续的))))合并，首先识别到类函数宏B后紧跟(，触发参数列表扫描：找到第一个匹配的)完成B()调用识别。
3. 展开B()得到标记A(，将B加入禁用集合。
4. 再次重扫描时识别到类函数宏A后紧跟(，再次触发参数列表扫描，若此时没有足够的匹配右括号则直接抛出「参数列表未终止」错误，哪怕后续A会被判定为禁用也不影响报错逻辑。
   你观察到的增加右括号即可消除错误的现象，正是参数列表扫描优先规则的直接体现。

参数替换规则的适用边界 #

你提到的6.10.3.1p1条款仅适用于宏参数的预处理阶段：宏的参数在代入替换列表前，会被当作独立的预处理单元完全展开，不受当前宏上下文的影响，也不会与其他标记合并。该规则和重扫描阶段的逻辑完全独立，互不干扰，可解释如下示例的表现：

#define STR(x) #x
#define f(x) x
#define F(x) STR(x(23))
F(f) // 展开结果为 "f(23)"

此处参数f在代入前不会被展开，因为STR的参数前接#，按规则不需要展开参数，所以最终得到字符串字面量"f(23)"。

完整宏展开流程总结 #

标准定义的宏展开可按如下固定顺序执行：

1. 调用识别：扫描到类函数宏名后接(标记时，先扫描参数列表，计数嵌套括号直到找到匹配的)，找不到则直接报错。
2. 参数处理：每个参数作为独立单元完全展开，再代入替换列表，完成#、##操作。
3. 禁用标记：将当前宏名加入禁用集合，本次展开周期内不会被再次替换。
4. 重扫描：将替换后的标记序列与后续未处理标记合并，重新扫描可替换的宏，重复上述步骤直到无宏可展开。

内容的提问来源于stack exchange，提问作者camel-cdr