18、高级Flex与Bison：错误恢复与纯代码实现

高级Flex与Bison：错误恢复与纯代码实现

1. 错误恢复概述

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

2. Bison错误恢复机制

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

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

以下是一个在SQL解析器中使用错误标记进行重新同步的示例：

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