语法分析器是编译器前端的核心
语法分析器的两项主要任务,分别:
- 是根据词法分析器提供的记号流,为语法正确的输入构造分析树(或语法树);
- 检查输入中的语法 / 词法错误,并调用出错处理程序进行相应的处理。
语法错误的处理
源程序中的错误可以分为词法/语法错误、语义错误两类。前者主要形式是命名不合法、关键字书写错误、语法结构有问题(比如缺分号、该配对的东西不配对)等;后者则可分为静态/动态两种,静态例如类型使用错误、参数使用错误等,动态语义错误则是无穷递归这类逻辑性的问题。
语法错误的处理目标
- 不多不漏地报告所有错误出现的准确位置;
- 发现一个错误后能够继续分析,做到一次分析完整个程序,再一次性指出所有错误;
- 尽量小地降低分析速度(分析速度和扫描遍数有关)。
语法错误的基本恢复策略
- 紧急恢复:抛弃掉一些输入,直到遇到同步记号;
- 短语级恢复:对错误进行串替换,纠正错误;
- 出错产生式:用出错产生式捕捉(预测)错误;
- 全局纠正:找到和错误输入序列 x 最相近的序列 y,然后用 y 替换掉 x 。
例如:
x = a+b
y = c+d;
紧急恢复:x = a+b+d; // 丢弃掉 b 后的记号,直到遇到 +
短语级恢复: x = a+b; // 加入分号
在写程序时,要养成减少错误的好习惯:每次用变量、参数时,要在使用之前进行初始化,并在直接使用之前检查一下是否出现值为空等问题,防止出现不可预知的错误