parsing - 编译器设计: Is "variable not declared" a syntactic error or semantic error?

Question

这种类型的错误是在类型检查或解析输入时产生的吗？应在什么类型下解决错误？

Answer 1

在我看来，这是一个语义错误，因为即使您使用的是之前未绑定(bind)的标识符，您的语言也可以很好地解析 - 即语法分析仅检查程序的格式良好性。语义分析实际上检查你的程序是否具有有效的含义——例如绑定(bind)、范围或打字。正如 @pst 所说，您可以在解析期间进行范围检查，但这是一个实现细节。据我所知，旧的编译器曾经这样做是为了节省一些时间和空间，但我认为，如果您没有一些硬性能/内存限制，那么今天这种方法是有问题的。