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

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

1. 错误恢复

当解析器接收到无法解析的输入标记时，会尝试按以下步骤从错误中恢复：
1. 调用yyerror(“syntax error”)，通常会将错误报告给用户。
2. 丢弃任何部分解析的规则，直到返回到可以移入特殊错误符号的状态。
3. 从移入一个错误符号开始，恢复解析。
4. 如果在成功移入三个标记之前又发生了错误，Bison不会报告另一个错误，而是返回到步骤2。

2. %destructor指令

当Bison尝试从解析错误中恢复时，它会从解析栈中丢弃符号及其值。如果该值是指向动态分配内存的指针，或者在丢弃时需要特殊处理，%destructor指令允许你在特定符号或具有特定类型值的符号被删除时进行控制。它还会在成功解析后处理起始符号的值。

3. 继承属性（$0）

Bison符号值可以充当继承属性或综合属性。通常的综合属性从标记值开始，标记值是解析树的叶子节点。每次规约规则时，信息在概念上会沿着解析树向上移动，每个动作会根据规则右侧符号的值合成其结果符号（$$）的值。

有时需要将信息从解析树的根节点传递到叶子节点。例如：

declaration: class type namelist ; class: GLOBAL { $$ = 1; } | LOCAL { $$ = 2; } ; type: REAL { $$ = 1; }