Bison 解析器的高级特性与使用技巧
1. 错误恢复机制
当解析器遇到无法解析的输入标记时,会尝试按照以下步骤进行错误恢复:
1. 调用yyerror("syntax error"),通常用于向用户报告错误。
2. 丢弃所有部分解析的规则,直到回到可以移入特殊错误符号的状态。
3. 从移入错误符号开始,恢复解析过程。
4. 如果在成功移入三个标记之前又出现错误,Bison 不会再报告错误,而是返回步骤 2。
错误恢复的流程可以用以下 mermaid 流程图表示:
graph TD; A[遇到无法解析的标记] --> B[调用 yyerror]; B --> C[丢弃部分解析规则]; C --> D[移入错误符号开始解析]; D --> E{是否又出现错误}; E -- 是 --> F{是否已成功移入三个标记}; F -- 否 --> C; F -- 是 --> G[继续解析]; E -- 否 --> G;2. %destructor 指令
当 Bison 尝试从解析错误中恢复时,会从解析栈中丢弃符号及其值。如果值是指向动态分配内存的指针,或者在丢弃时需要特殊处理,%destructor指令允许你在特定符号或特定类型值的符号被删除时进行控制。它还会在成功解析后处理起始符号的值。