解析器生成器中的错误报告和恢复

Question

我认为解析器生成器是您的编程工具包中的一个非常好的工具，所以在玩了一些之后，我编写了自己的工具，只是为了更好地理解事情，结果比我预期的要好，所以我坚持使用它.

最近困扰我的一件事是错误报告和恢复。我做的不是很好。我知道一种方法是令牌同步，但线索似乎停在那里。除了滚动您自己的递归下降解析器并包含各种启发式方法之外，还有哪些通用方法可以在解析器生成器中处理错误报告和错误恢复？

Answer 1

使用自上而下的 PEG，您可以自动或手动实现“剪切”功能，这样您就可以在尽可能接近源头的地方报告错误。请参阅Grako 和引用的article by Kota Mizushima。在输入中看到某些标记后，“cut”会使替代方案无效，因此解析器可以知道如何及早失败。

一般来说，我不喜欢错误恢复，因为在第一个错误之后报告的错误往往是令人讨厌的，正如 Turbo Pascal 曾经证明的那样。

恢复的一般策略是对输入序列执行重写、插入或删除，以便解析器可以继续。有关仅基于删除的简单恢复策略（跳过输入直到出现预期标记），请参阅Wirth's A+D=P 的第 5.9 节。