GCC预处理器宏参数预扫描执行流程规则咨询

问题背景 #

• 查阅GCC C预处理器参数预扫描官方文档可知核心规则：Macro arguments are completely macro-expanded before they are substituted into a macro body（宏参数在替换进入宏体前会完成完全宏展开）
• 为验证规则编写的测试代码如下：

#define foo a,b
#define bar(x) lose(x)
#define lose(x) (1 + (x))

int main()
{
    int a = 5;
    int b = 10;
    int c = bar(foo);
}

• 使用-E参数运行预处理器时，实际得到的报错如下：

prog.c: In function 'main':
prog.c:11:20: error: macro "lose" passed 2 arguments, but takes just 1
   11 |     int c = bar(foo);

• 基于对规则的错误解读得到的预期报错：认为预扫描阶段bar(foo)会先展开为bar(a,b)，因此应当抛出宏bar参数数量不匹配的错误：

prog.c: In function 'main':
prog.c:11:20: error: macro "bar" passed 2 arguments, but takes just 1
   11 |     int c = bar(foo);

• 核心诉求：梳理该场景下预处理器的完整执行流程，明确参数预扫描的正确规则。

预处理器完整执行流程 #

• 第一步：识别宏调用，基于原始文本完成参数收集与数量校验
  预处理器扫描到bar(foo)时，首先识别到bar是一个接收1个参数的函数式宏。此时参数拆分、数量校验完全基于括号内的原始token序列执行，不会提前展开参数中包含的宏：传入的参数是单个tokenfoo，参数数量和bar的形参要求完全匹配，不会触发bar的参数数量错误。

  关键规则：参数预扫描的展开动作，发生在「确认被调用宏参数数量匹配、完成形参实参绑定」之后，而非参数校验之前。

• 第二步：对绑定完成的实参执行完全宏展开（禁用同名宏递归展开）
  确认bar的调用合法后，预处理器才会对绑定的实参执行完全展开：实参foo是已定义的宏，展开后得到token序列a,b。
• 第三步：将展开后的实参替换到宏体，完成当前宏的替换
  把展开后的实参a,b代入bar的宏体lose(x)中，替换后得到新的token序列：lose(a,b)。
• 第四步：对替换结果执行二次宏扫描
  单轮宏替换完成后，预处理器会对替换生成的新token序列重新扫描，识别新的宏调用。此时扫描到lose是接收1个参数的函数式宏，但调用时传入了a、b两个参数，因此触发最终看到的参数数量不匹配错误。

常见规则误区澄清 #

• 错误认知：识别到宏调用后，会先把括号内的所有内容完全展开，再去匹配宏的参数数量、做参数校验。
• 正确逻辑：
  • 函数式宏的参数拆分、数量校验，永远基于传入时的原始token序列执行，不会先展开参数再统计参数个数。
  • 参数的完全展开动作，只有在参数数量校验通过、形参实参绑定完成后才会执行。
  • 宏替换完成后生成的新文本，会被重新扫描以识别新的宏调用，新宏调用的参数校验会在这一阶段执行。

内容的提问来源于stack exchange，提问作者user3104363