13、Bison 解析器的高级特性与使用技巧

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 指令允许你在特定符号或特定类型值的符号被删除时进行控制。它还会在成功解析后处理起始符号的值。

3. 继承属性（$0）