Bison 中 $$ 的类型问题

Question

我遇到了一些类型问题，在野牛中似乎无法解决

我有一个名为 program 的语法规则，我正在尝试使用 $$ = new Node("Program");< /code>

我将类型定义为 %type;程序中，Node 类是在一个单独的头文件中定义的，该头文件包含在定义部分中。

我收到错误错误：'union YYSTYPE'没有名为'Node'的成员，我该如何获取正确的类型？

Answer 1

在 bison 文件中，确保在 %union 中包含 Node 并使用小写的 node 来防止冲突。此外，您还应该使用 < 明确标头包含 bison 中的代码code>%code require

bison 示例（我为此示例添加了命名空间）

%code requires
{
#include "node.h"
}

%union {
    ns::Node *node; //notice lowercase node for the type
}

%type <node> program;

 /* If using a high enough version of bison implement a destructor */
%destructor { delete $; } <node>

%%

program:        /* empty */  { $ = new ns::Node("Program"); };

...

Answer 2

标头必须包含在词法分析器中的 .tab.h 之前

Answer 3

当您使用 %type 定义时，生成的解析器假定 YYSTYPE（保存解析的中间值的类型，例如 $$ 或 $1) 是一个联合，其字段的名称与类型相同。因此它期望 YYSTYPE 联合有一个名为 Node 的字段。

首先，由于 Node 看起来已经是一个类名，因此您应该为您的 bison 类型使用不同的标识符：

%type <node> program

然后，您有两个选择：

a) 使用 %union指定 YYSTYPE 的定义：

%union {
    Node *node;
    //other types
}

b) 将宏 YYSTYPE 定义为 YYSTYPE 的实际类型，通常但不一定是联合：

union yystype {
    Node *node;
    //other types
}
#define YYSTYPE yystype

我个人更喜欢选项 a)。