function 声明的生产规则中 yytext 中的意外值

Question

我正在为大学作业编写一个带有 flex 和 bison 的编译器。 我在将 function 标识符添加到我的符号表时遇到问题 - 在评估 function 声明时，我在yytext中得到了我期望标识符的左括号。 在我的 flex 文件中， yylval是一个 union 而vlex是一个struct ：

abc         [A-Za-z_]
alphanum    [A-Za-z_0-9]
id          {abc}+{alphanum}*

...

#define STORE_YYLVAL_NONE\
  do{\
    ... // location control irrelevant to the problem
    yylval.vlex.type = none_t;\
    yylval.vlex.value.sValue = yytext;\
  }while(0)

...

{id} {
  LOG_DEBUG("id: %s\n", yytext);
  STORE_YYLVAL_NONE;
  return TK_IDENTIFIER;
}

[,;:()\[\]\{\}\+\-\*/<>!&=%#\^\.\|\?\$] {
  LOG_DEBUG("special\n");
  STORE_YYLVAL_NONE;
  return *yytext;
}

...

在我的野牛文件中，我有：

new_identifier_with_node: TK_IDENTIFIER {
  hshsym_add_or_exit(&hshsym, yylval.vlex.value.sValue, &(yylval.vlex));
  $$ = ast_node_create(&(yylval.vlex));
};

func: type new_identifier_with_node '(' param_list ')' func_block { ... };

我在hshsym_add_or_exit中也有一个日志，它为我的符号表添加了一个标识符。 解析以下程序时：

int k(int x,int y, int z){}
int f(){
        k(10,20,30);
}

我得到以下调试 output：

yylex: DEBUG! id: k
yylex: DEBUG! special
hshsym_add_or_exit: DEBUG! Declaring: (

也就是说，当评估new_identifier_with_node生产时， yytext的内容是(而不是k ，正如我所期望的那样。代码是否高于原因？我有一些仍未解决的移位/减少冲突，我猜这可能是错误的，但是我不知道在这种特定情况下如何。我相信我错过了一些非常基本的东西，但我看不到什么。在这一点上，该项目相当大（而且可耻地杂乱无章），但我可以提供一个完整且可重复的如果需要，例如。

Answer 1

基本问题是您在new_identifier_with_node生产中使用yylval而不是$1 。 $1是产生式中第一个符号的语义值，在本例中TK_IDENTIFIER 。

在野牛动作中， yylval通常是前瞻令牌的值，它是输入 stream 中的下一个令牌。 这就是为什么它在这种情况下显示为括号。 但是您通常不能指望这一点，因为野牛会在读取前瞻令牌之前执行默认缩减。 一般来说，在野牛动作中使用yylval很少有用，除了错误恢复中的一些应用程序。

即使您修复了该问题，您仍会发现语义值不正确，因为您的 flex 操作将指针转发到内部数据缓冲区，而不是复制令牌字符串。 例如，参见这个问题。