C++宏替换重扫规则疑问：同名宏展开行为为何不同？

核心差异源于C预处理器的宏标记作用范围和宏调用的结构特性，结合两条关键规则就能理清逻辑：

先明确预处理器的核心规则 #

1. 标记机制：宏开始展开时会被标记为「正在展开」，在**当前宏的完整展开过程（参数替换+宏体替换+替换文本重扫）**中，该标记的宏不会被重复展开；当前宏展开完成后，标记立即解除。
2. 宏调用识别：只有标识符后紧跟(且参数数量匹配宏定义时，才会被识别为宏调用；单独的标识符不会触发展开。

场景一：交叉引用宏（foo & bar）的展开逻辑 #

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

调用foo(X)(Y)(Z)的展开步骤：

1. 识别foo(X)为宏调用，标记foo为正在展开；
2. 替换宏体得到1 bar，此时foo的展开过程完成，标记解除；
3. 重扫文本1 bar(Y)(Z)：bar(Y)是合法宏调用（bar后紧跟(，参数匹配），且bar未被标记，触发展开；
4. 标记bar，替换宏体得到2 foo，bar展开完成，标记解除；
5. 重扫文本2 foo(Z)：foo(Z)是合法宏调用，foo未被标记，触发展开得到1 bar；
6. 重扫1 bar：bar后无(，不构成宏调用，最终结果为1 2 1 bar。

这里的关键是：foo的标记在自身展开完成后就解除了，后续bar和foo的展开都是独立的新宏调用，不受之前标记限制。

场景二：自引用宏（t）的展开逻辑 #

#define t(a) a

案例1：t(t)(1) → t(1) #

展开步骤：

1. 识别t(t)为宏调用，标记t为正在展开；
2. 参数替换得到替换文本t；
3. 重扫替换文本t：此时t处于「正在展开」的标记状态，不会触发宏展开；
4. t(t)展开完成，标记解除，文本变为t(1)；
5. 按照标准规则：替换文本生成的标识符如果在当前宏的重扫阶段未被替换（因标记限制），后续不会被预处理器重新扫描处理，因此t(1)不会继续展开。

案例2：k(t)(k)(1) → 1 #

展开步骤：

1. 识别k(t)为宏调用，标记k为正在展开；
2. 参数替换得到t，重扫t：t未被标记，仅保留为标识符；
3. k标记解除，文本变为t(k)(1)；
4. 识别t(k)为宏调用，标记t为正在展开；
5. 参数替换得到k，重扫k：k未被标记，仅保留为标识符；
6. t标记解除，文本变为k(1)；
7. 识别k(1)为宏调用，替换得到1，最终结果为1。

这里的差异是：k(t)生成的t不是k自身的名字，后续扫描时会被识别为新的宏调用，进而继续展开。

案例3：t(t)(t)(t)(1) → t(t)(t)(1) #

每次仅处理最左边的t(t)：展开时替换文本t因标记限制无法被展开，后续的t(...)不会被预处理器主动重新扫描，因此每次减少一个t，最终得到t(t)(t)(1)。

本质差异总结 #

• 交叉宏场景：宏替换文本生成的是其他宏的标识符，后续构成合法宏调用时，原宏的标记已解除，新宏可正常展开；
• 自引用宏场景：宏替换文本生成的是自身标识符，重扫阶段因标记限制无法展开，且该标识符后续即使构成合法宏调用，也不会被预处理器再次处理——这是标准对替换文本生成的未替换标识符的特殊限制。

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