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