Yacc-“错误”是什么意思？

Question

令牌“错误”是什么意思？ 没有错误怎么检测错误;

Answer 1

匹配error伪终端后，野牛解析器将继续以正常方式进行解析，只是它会丢弃“无法处理”的令牌。

如果遇到紧接在error令牌之后的令牌，则可以移动该令牌，这意味着它将停止丢弃令牌。

但是，这不是解析器可以处理令牌的唯一方法。 它也可以通过减少处理它。

此处，“处理”一词的含义有些松散，因为归约操作实际上并不接受超前标记。 尽管如此，减少错误产生就足够了。

在这种情况下，必须注意不要调用yyerrok 。 如果使用yyerrok取消了错误处理，并且无法转移超前标记，则错误处理程序将重新进入，并且有可能陷入无限循环。

例如，

commands: %empty | commands command

command : exp ';'   { printf("Value is %d\n", $1); }
        | error ';' { printf("Bad expression\n"); yyerrok; }
        | error     { printf("Missing semicolon\n"); }

第一个command产生会导致打印出正确表达式的结果。 第二种用法处理的语法错误仍然是分号。 它可以取消错误处理，因为; 已经转移，因此可以重新开始错误处理。

第三生产处理缺少一个分号。 在这里，我们无法调用yyerrok因为前瞻令牌可能是非法令牌，例如！。 。 如果我们调用yyerrok ，将清除错误状态，并使用与超前标记相同的感叹号立即重新输入错误处理，从而导致无限循环。 但是如果没有yyerrok ，则解析器仍处于错误处理模式，并且将丢弃有问题的令牌。

注：以上是为了帮助回答什么将是一个效果的问题， error的生产一无所有以下的error标记。 它无意回答任何未被问到的问题，例如“我怎么做X ？”。 （对于X的各种值）。 提供的示例有点虚构。 原始字符使用换行符作为表达式终止符，并且没有必要包括第二个错误处理产生的字符，因为除了EOF以外，根本不可能省略终止换行符。

Answer 2

一种常见的混淆来源- error令牌用于错误恢复 ，而不是错误检测 。 语法错误由解析器检测并自动报告。 您可以检测到操作中的其他错误，并使用YYERROR宏将其告知野牛。

从概念上讲， error令牌替换了零个或多个输入令牌的序列，试图将无效的输入流转换为有效的输入流。 当发生错误时，野牛生成的解析器将进入错误恢复模式，丢弃令牌并声明状态，直到到达可以伪造error令牌的位置为止。 然后，它会移动错误令牌并尝试从那里继续。