编译器设计:"未声明变量"是语法错误还是语义错误？

Question

在类型检查期间或正在解析输入时是否会产生这种类型的错误？应该在什么类型下解决错误？

Answer 1

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