18、高级解析器的错误恢复与纯代码实现

高级解析器的错误恢复与纯代码实现

1. 解析器错误恢复概述

在不同的环境中，解析器的错误恢复需求有所不同。在某些环境下，如果能轻松纠正错误并重新运行解析器，错误恢复可能并非必要。但在编译器等环境中，从错误中恢复以继续解析并查找更多错误是可行的，这能在解析阶段结束时停止编译器。这种技术通过缩短编辑 - 编译 - 测试周期，提高程序员的生产力，因为在每个周期迭代中可以修复多个错误。

2. Bison 错误恢复机制

Bison 提供了一些错误恢复的方法，主要通过使用特殊的错误标记（error token）来实现。错误标记用于在语法中找到一个同步点，从该点开始可能继续进行处理，但这并不一定能成功。有时恢复尝试可能无法消除足够的错误状态以继续，从而导致错误消息级联。解析器要么找到可以继续处理的点，要么整个解析过程将中止。

当 Bison 解析器报告语法错误后，它会从解析栈中丢弃符号，直到找到一个可以移入错误标记的状态。然后，它会读取并丢弃输入标记，直到找到一个在语法中可以跟随错误标记的标记，这个过程称为重新同步。之后，解析器会进入恢复状态继续解析，在此状态下不会报告后续的解析错误。一旦成功移入三个标记，解析器就会认为恢复完成，离开恢复状态并恢复正常解析。

以下是在 SQL 解析器中实现错误恢复的示例规则：

stmt_list: error ';' error in the first statement | stmt_list error ';' error in a subsequent statement ;