在野牛（yacc）中以语法打印标记

Question

我在使用 bison 代码中的令牌时遇到问题 我通过以下方式定义了令牌：

#define YYSTYPE struct node*

typedef struct node{
char* token;
node* left;
node* right;
}node; 

我的部分语法是：

%token STRING CHARVAL VOID



s: code
code: rettype name ;
rettype: VOID 
name: STRING|CHARVAL;

是否可以做类似的事情：

rettype: VOID {printf("%s",$1->token);}

或

rettype: VOID {$$ = $1;}

我正在测试的部分代码只是：

void foo

这是我现在的主要问题... 当我尝试这个时，我得到了这个错误：Segmentation fault(core dumped) 我试图在任何地方找到解释或解决方案，但没有找到或没有充分理解它们，有人可以指导我解决这个问题吗？

Answer 1

Bison 依赖于词法分析器正确设置 yylval 全局变量，并将任何标记类型信息作为它提供给 Bison 的标记的一部分。如果你使用 flex，你可能需要/想要类似的东西：

"void"    { yylval.token = "void";
            yylval.left = yylval.right = 0;
            return VOID }
[a-z]*    { yylval.token = strdup(yytext);
            yylval.left = yylval.right = 0;
            return STRING; }

将 yylval 的 每个字段 设置为合理的值很重要，这将在随后对 yylex 的调用中持续存在（因此调用 strdup 而不是直接使用 yytext，因为 yytext 会改变）。