问让Bison接受另一个EOF令牌

EN

通常，您不会在词法分析器中包含显式EOF规则，这不是因为它没有用途，而是因为缺省值正是您想要做的。(它的目的是表示输入是完整的；否则，解析器将接受某些无效程序的有效前缀。)

不幸的是，C++接口可能会破坏默认EOF操作的简单方便性，即返回0(或NULL)。根据您的问题描述，我假设您已经要求bison使用完全符号生成一个解析器。在这种情况下，您不能简单地从yylex返回0，因为解析器需要一个完整的符号，这是一个比int更复杂的类型(虽然报告EOF的令牌通常没有语义值，但是如果您使用的是本地语言，它确实有一个位置)。对于其他令牌类型，bison将自动生成一个函数，该函数生成一个令牌，名为make_FOO_TOKEN，您将在扫描仪操作中为FOO_TOKEN调用该函数。

虽然C bison解析器确实自动定义文件令牌的结尾(称为END)，但C++接口似乎没有。因此，您需要在野牛输入文件中的%token声明中手动定义它：

%token END 0 "end of file"

(它定义了整数值为0的令牌类型END和人类可读的标签"end of file“)。0是强制性的。)

完成此操作后，可以在flex输入文件中添加显式EOF规则：

<<EOF>> return make_END();

如果您使用的是位置，您还必须给make_END一个位置参数。

以下是防止编译器错误的另一种方法-- could not convert 0 from int to ...symbol_type --将yyterminate宏的重新定义放在您重新定义YY_DECL的位置下面

// change curLocation to the name of the location object used in yylex
// qualify symbol_type with the bison namespace used
#define yyterminate() return symbol_type(YY_NULL, curLocation)

当启用bison位置(例如使用%define locations )时，编译器错误会出现--这使得bison将一个location参数添加到其symbol_type构造函数中，因此构造函数没有位置。

symbol_type(int tok)

变成这样的地点

symbol_type(int tok, location_type l)

呈现不再可能将int转换为symbol_type，这是在不启用野牛位置时，flex中yyterminate的默认定义能够完成的任务。

#define yyterminate() return YY_NULL

有了这个解决方法，就不需要在flex中处理EOF了--如果不需要，就没有必要在野牛中使用多余的END令牌。