获取多个成员的类型

Question

我正在使用 Yacc/Flex 编写一个程序，并且使用以下代码（不完全相同，因为我混合了其他文件中的代码）：

DataType datat;
%union {  
    int integer;  
    char *string;  
    DataType type;  
}

Integer { yylval.type = INTEGER; return INT; }
%type <type> INT
data : INTNUM { yylval.type = INTEGER; }

然后，如果我编写如下内容：

foo : data { bar(yylval.type); }

bar正确获取数据类型INTEGER，但如果我有这个：

foo : data data { ??? }

如何分别获取第一个和第二个成员的yylval.type？

多谢！

Answer 1

我不完全理解你的问题，但在 lex/yacc （或 flex/bison）中，你必须使用以下约定：

• 使用 $1 引用第一个项目的 yylval
• 使用 $2 引用第二个项目的 yylval
• 的 yylval

使用 $$ 来引用结果（目标）项目 如果您要编写一个简单的整数计算器，定义总和的规则将写成这样：

Sum : Term '+' Term
   {
   $.Value = $1.Value + $3.Value
   }

希望这会有所帮助。

Answer 2

yylval.type 将返回最后扫描的令牌的类型，这可能是简化为数据的整数，但也可能是其后面的令牌。您永远不应该直接在 yacc/bison 文件中访问 yylval，因为它不可靠。

相反，您应该使用 $1、$2 等来访问 Patrick 指出的项目的 YYSTYPE 信息。要使其适用于非终端，您需要在 yacc/bison 文件中为它们使用 %type 声明，并且这些非终端的规则需要设置 $$，例如：

%type <type> data

%%

data : INTNUM { $ = INTEGER; }

foo : data { bar($1); }

foo : data data { bar($1, $2); }