Lex/Yacc变量哈希值不匹配问题排查求助

以下是针对你遇到的哈希值不一致问题的具体排查方向，结合C语言新手容易踩的坑：

1. 检查yylval的类型定义是否一致 #

Yacc中%union必须明确定义存储哈希值的字段，且Lex中赋值的类型要完全匹配：

• 错误示例：Yacc里定义%union { int num; char* str; }，但哈希值是unsigned int类型，直接存到num会导致符号位截断。
• 正确示例：如果哈希函数返回unsigned long，则%union要对应定义：

  %union {
      unsigned long hash;
      // 其他字段...
  }
  

  同时在%token声明时绑定到该字段：

  %token <hash> IDENTIFIER
  

  Lex中赋值时要明确指定字段：

  [a-zA-Z_][a-zA-Z0-9_]* {
      unsigned long hash = my_hash_function(yytext);
      yylval.hash = hash; // 必须和%union里的字段名一致
      printf("Lex computed hash: %lu\n", hash);
      return IDENTIFIER;
  }
  

2. 验证哈希函数的实现正确性 #

• 确保哈希函数在Lex中计算时，使用的是当前token的完整内容，避免yytext被意外修改（比如哈希函数内部修改了yytext）。
• 检查哈希函数的返回值范围：如果返回值超过yylval对应字段的存储范围，会发生溢出截断。比如用int存储32位无符号哈希值，高位符号位会被解析为负数，导致Yacc中拿到的值和Lex不一致。

3. 确认Yacc规则中$1的引用是否正确 #

在Yacc规则里，确保你引用的$1确实是对应token的哈希值：

assignment: IDENTIFIER '=' expr {
    // 打印$1和Lex的输出对比
    printf("Yacc received hash: %lu\n", $1);
    // 存入结构体列表的操作
    add_variable($1, $3);
};

如果IDENTIFIER没有绑定到%union的hash字段，$1会是默认的token编号（int类型），而非你计算的哈希值，这是新手最容易犯的错误。

4. 排查结构体列表的存储问题 #

• 检查存储变量的结构体中，哈希值的字段类型是否和yylval中的一致。比如结构体用int存储，但哈希值是unsigned long，存入时会发生类型转换导致值改变。
• 确认添加变量到列表时，是直接复制哈希值（数值类型直接赋值即可），而非错误地存储了临时指针。

5. 分步调试定位问题 #

在关键节点打印哈希值，对比确定哪一步出现值的变化：

1. Lex中计算完哈希后立即打印。
2. Yacc中刚拿到$1时立即打印。
3. 存入结构体列表时打印。
4. 后续访问变量时打印要查找的哈希值和列表中存储的哈希值。

内容的提问来源于stack exchange，提问作者Lee