我正在使用 Lex/Bison 创建一个简单的脚本语言，它可以翻译成 C。一个反编译器。
我知道 Bison 可以验证语法，但是范围界定呢？它可以验证之前声明的正在使用的标识符吗？是否必须手动完成？如果是，在哪一步？
例如这是语法正确的。 但不应该编译，因为消息在错误的范围内。此外，message2 从未被声明过。
String s1
if (s1=='knock on door')
String message1='Hello';
print message1;
print message2;
【问题讨论】：
标签： compiler-construction bison yacc lex parser-generator
解析器（无论如何生成）通常无法检查范围规则。
一般来说，要进行范围检查，通常您必须构建整个 AST，然后验证标识符是否具有良好的范围。对于在变量使用之前引入了范围的静态范围的语言，您可能只能在规则中执行此操作。对于具有命名空间的语言，命名空间声明可能出现在任何地方，如果不收集该命名空间以及整个程序，您就无法做到这一点。 （命名空间声明甚至可能与 use 不在同一个文件中；现在您解析了一个完全不同的文件）。
因此，通常的作用域检查方式是在解析之后，遍历程序树。通常，如果您要执行解析之外的任何操作，则无论如何都需要树和完整的符号表，所以这并不是什么大问题。
一些早期的编译器没有将整个树保存在内存中的奢侈。它们要么在使用前具有带有范围声明的语言，要么在多次传递中实现。
【讨论】：
找到答案。实际上还有第三个阶段，称为语义分析。步骤：
语义分析分析步骤 2 中创建的解析树。
【讨论】：
Bison 不处理标识符范围和查找。该功能由您在规则操作中提供。
【讨论】：
在获得 AST（抽象语法树）后，在 Bison 中处理它的一种方法是，
pop_scope() 和push_scope() 切换到新范围时，都会切换到范围的新兄弟节点死范围信息仍然保存。if 语句），使用 Bison midrule action feature 在“入口令牌”处调用 push_scope()（if 语句，{块开始等）。并在主操作体中调用pop_scope()。具体来说，用您的语言，您的原始规则可能如下所示：
selection-statement: _IF '(' expression ')' statement {
/* main action */
}
通过midrule action，你可以为_IF插入一个action，然后直接在Bison的对应位置pop、push scopes，就变成了：
selection-statement: _IF { push_scope(); } '(' expression ')' statement {
/* main action */
pop_scope();
}
因此，在您的示例中，在定义符号 message1 时，当 Bison 减少此规则时，在解析器遇到 _IF 标记的位置已经调用了 push_scope()。然后，当您尝试在其范围之外读取 message1 时，您的符号表接口应该返回一些错误，并且您应该能够使用 yyerror() 向 Bison 抛出错误消息。
附：当您插入中规动作时，您应该移动表达式的参考编号（例如，$0、$1）。对于具有中间规则动作的复杂规则，这很快就会变得非常混乱且难以阅读。一个有用的技巧是使用 Bison named references 来避免错误地使用错误的参考名称。
【讨论】：