野牛总是打印“语法错误”

Question

好的。 所以我受命在我的编译器类中制作一个玩具编译器，因此我选择了Bison和Flex。 我已经掌握了有关Bison的大多数基础知识，并且在某种程度上知道LR，LALR和SLR解析器是如何工作的。 但是，这更多是一个技术问题。 在我的语法中，我已经开始添加带有error标记的错误产生。 现在我的问题是，每次Bison使用带有error的规则时，它都会使用yyerror打印syntax error 。 我不希望这样，因为我希望显示更好的消息。 一个例子：

我有以下规则来检测不匹配的花括号（请记住，大写字母是终端，小写字母是非终端）：

program_start: 
PROGRAM IDENTIFIER '{' translation_unit '}'
| error '}'                                   {yyerror("Mismatched }");}
;

因此，如果我使用类似的示例：

program p { 

}
}

然后显然有一个不平衡的支架。 但是，这输出：

LINE: 26 AT }
ERROR: syntax error
LINE: 26 AT }
ERROR: Mismatched }

与我的yyerror函数

void yyerror(const char* error_str) {
    fprintf(stderr, "LINE: %d AT %c\nERROR: %s\n",yylineno, yytext[0], error_str);
}

所以我的问题确实是我不希望Bison打印“语法错误”，而只是打印我传递给yyerror的错误消息。 我在Lex＆Yacc的书中四处张望（我知道那是不一样的），并在Google上搜索了无济于事的东西。

Answer 1

yacc / bison中的error产生是为了从语法错误中恢复 ，而不是检测到它们。 因此，您的规则program_start: error '}'基本上是说“当program_start存在语法错误时，请将所有内容丢弃到下一个'}'标记中以从中恢复”。 如果您给它一个类似program p { ..something with a syntax error.. } ，即使没有不平衡的花括号，您的规则也可以用来从该错误中恢复。

考虑到这一点，野牛在做什么就很有意义-它检测到语法错误，调用yyerror以输出一条消息，然后尝试恢复，寻找可以应用的错误规则。

如果要更改/禁止错误消息，则应使用yyerror ，而不要在错误恢复规则中进行。