c - C 预处理器进行了多少次传递？

Question

C 预处理器对代码进行了多少次传递？

我在 gcc 4.7.2 上测试了以下代码

#define a 5
#define b a
#define c b
#define d c
#define e d
#define f e
#define g f
#define h g
#define j h
#define k j
#define l k
#define m l

int main(void) {return d;}

没有错误：

$ gcc -E 1.c
# 1 "1.c"
# 1 "<command-line>"
# 1 "1.c"
# 14 "1.c"
int main(void) {return 5;}

这是标准行为吗？

Answer 1

C 预处理器继续运行，直到没有更多可扩展的内容。这不是通行证的问题。这是一个完整性问题。

它确实避免了宏的递归扩展。宏一旦展开一次，就不会在替换文本中重新展开。

---

标准关于宏扩展限制的唯一说明是在 §5.2.4.1 翻译限制中，它说：

实现应能够翻译和执行至少一个程序，该程序包含以下每个限制的至少一个实例：^18）

...

• 在一个预处理翻译单元中同时定义 4095 个宏标识符

¹⁸⁾实施应尽可能避免施加固定的翻译限制。

因此，预处理器必须能够处理至少 4095 个宏，并且如果除了其中一个宏之外的所有宏都按顺序扩展为另一个宏，就像在您的示例中一样，则结果必须是正确的。