野牛文件结尾

Question

如果我忘记在任何文件的末尾放置一个空行，我的程序就会出现语法错误。问题是我的语法期望用换行符来结束当前行。由于换行符不存在，野牛会生成语法错误，因为它没有完成规则。

我该如何解决这个问题？我尝试让 <> 返回 MY_EOF 但是当我这样做时 lex 崩溃了，可怕的死亡。我猜想它的默认 EOF 中有我没有调用的代码。我不知道它们可能有什么功能。使用 EOF 创建错误使用符号 EOF，但未定义为令牌且没有规则

Answer 1

您可以使用 flex EOF 规则将换行符附加到输入：

<<EOF>> { static int once = 0; return once++ ? 0 : '\n' }

Answer 2

在您的 lex 文件中

#define yyterminate() return token::END

在您的 yacc 文件中

%token END 0 "end of file"

Answer 3

事实上，要捕获 lex|flex 中的文件结尾，您可以使用 yywrap() 函数，如果到达输入文件结尾，则词法分析器将调用该函数。

lex 和 flex 都可以使用此解决方案。yywrap() 的回调指示 EOF，因此您可以重新实现此函数并在最后注入您需要执行的工作您的输入流。

Answer 4

以前的作品对我来说很好。

如果您使用 C Bizon （不是 C++），只需使用 END 作为 token::END 并在 yacc 文件 %token END

之后还有另一个问题，如果宏返回不是 YY_NULL，它永远不会终止（无限循环）

可以这样解决：

bool term = false;
#define yyterminate() return (term = !term)?END : YY_NULL

Answer 5

另一种方法是重组语法，使其末尾不需要换行符。只要您的语言允许空行（通常是这种情况），您就可以使用换行符作为行分隔符而不是行终止符来编写语法。

input: line | input '\n' line ;
line: /* empty */
    | ... various other rules ...

现在，如果您输入末尾确实有换行符，这会被视为换行符后面的空行，这可能没问题。