我不是一个 C 程序员，但我假设 C 宏几乎是一种查找和替换功能，预处理器获取宏定义并将其放在它看到宏名称的任何位置。
这是 Dragon Book 的动态范围规则示例以及它们如何应用于宏：
#define a (x + 1)
int x = 2;
void b () { int x = 1; printf("%d\n", a); }
void c () { printf("%d\n", a); }
void main () { b(); c(); }
他们还讨论了动态范围规则如何应用于宏 a 中的名称 x。我假设它基本上会用(x + 1) 替换a，然后编译程序，因此范围规则与您编写(x + 1) 而不是a 完全相同（这将是静态的范围规则）。
谁能澄清一下？
编辑：参考书是编译器：原理、技术和工具第二版。引用的示例来自第 31-32 页。
【问题讨论】：
您对#define 行为的理解是正确的。
我认为这本书所说的“动态范围”是指名称 x 是根据调用宏的环境而不是定义它的环境来解析的。因此，如果您在#define 之前设置了一个全局变量 x=3，这与 #define 中 x 的值无关 - 无论您在哪里使用宏，它都会使用 x 的值 - 如果还有其他一些本地使用宏的函数中的变量 x，则将使用本地值。
这与词法范围（C 语言和几乎所有现代语言中实际使用的）形成对比，其中名称指的是其本地词法环境。例如，如果您将示例中的#define 替换为简单语句a = x+1，那么函数中a 的值将比代码中a = x+1 出现处的x 值大一。如果在您使用值 a 的位置碰巧存在其他名为 x 的局部变量，则无关紧要。类似地，如果您定义了一个函数int f() { return x + 1; }，x 将引用全局变量 x，而不是其他一些名为 x 的局部变量，该变量恰好存在于调用 f() 的位置。如果这看起来非常明显，那是因为，正如我所说，几乎所有语言都使用词法作用域（尽管 Perl，例如，也允许使用 local 函数的动态作用域）。
请参阅http://en.wikipedia.org/wiki/Scope_(computer_science)#Lexical_scoping_and_dynamic_scoping 了解更多有关该概念的说明。
【讨论】：
您的理解是正确的：找出标识符a 的所有用法，并将a 替换为(x + 1)。这正是预处理器所做的。
关于类对象宏（如a），我们可以讨论的唯一“范围”是宏本身的范围：宏的范围来自行在其上定义它（使用#define 指令）直到它未定义的行（使用#undef 指令）或直到翻译单元的末尾（.cpp 及其包含的所有标题），如果它从未未定义。
【讨论】：
他们的观点是 a 所指的 x 在 b() 中是局部的，但在 c() 中是全局的——它是动态范围的。 #define 可以解释为“在评估 a 时使用动态范围解析 x”。
【讨论】：