为何使用yyclearin不触发Bison的%destructor？内存泄漏问题咨询

我完全能理解你遇到的这个头疼问题——明明配置了%destructor处理内存释放，结果因为yyclearin的使用还是出现了泄漏，尤其是前瞻令牌的内存没被清理的情况。咱们先把你的场景理清楚，再拆解核心原因和解决方案：

你的问题场景回顾 #

• 第一行输入正常匹配规则：字符串被动作代码手动释放，内存无泄漏；
• 第二行输入触发错误：错误规则捕获到错误后，用yyclearin清除了作为前瞻读取的字符串令牌，但这块内存没有被释放，导致泄漏。

核心原因：为什么yyclearin不会触发%destructor？ #

这里的关键是要搞清楚Bison中%destructor的作用范围和触发时机：

• %destructor的设计目标是清理语法分析栈上的符号——当栈中的符号因为归约失败、错误恢复被弹出栈时，Bison会自动调用对应的%destructor来释放资源。
• 而yyclearin操作的是前瞻令牌（lookahead token），这个令牌并不在语法分析栈上，而是存在Bison的全局状态（比如yychar和yylval）里。所以调用yyclearin时，Bison只会清除这个令牌的“标记”，不会主动触发%destructor来清理它占用的内存。

简单说：栈上的符号归%destructor管，前瞻令牌不在栈上，自然不会被自动处理。

解决方案：手动清理前瞻令牌的内存 #

针对你的场景，有几种可靠的解决方式：

1. 调用yydelete宏手动释放（推荐） #

如果你已经定义了%destructor，Bison会自动生成一个yydelete宏，它可以根据令牌类型调用对应的析构逻辑。在调用yyclearin之前，先执行：

yydelete(yychar, yylval);
yyclearin;

这样就能在清除前瞻令牌前，先释放它占用的内存。

2. 手动调用自定义的释放函数 #

如果你没有依赖%destructor生成的逻辑，也可以直接调用你自己写的内存释放函数，比如你在第一行手动释放时用的函数：

if (yychar == YOUR_STRING_TOKEN) {
  free(yylval.string); // 假设你的字符串存在yylval.string里
}
yyclearin;

这种方式需要你明确判断前瞻令牌的类型，针对性释放。

3. 调整错误恢复逻辑，避免手动清理的遗漏 #

另外，你可以考虑在错误恢复规则中结合yyerrok使用，让Bison重新同步到正常分析状态，同时确保所有不需要的令牌都被正确清理。比如错误规则可以写成：

error:
  /* 处理错误提示 */
  {
    yydelete(yychar, yylval);
    yyclearin;
    yyerrok;
  }

额外提醒：尽量让Bison自动管理栈上符号的释放 #

你提到第一行是手动释放字符串，其实如果把字符串的释放交给%destructor处理，能减少手动释放的遗漏风险。比如定义：

%destructor { free($$); } STRING_TOKEN

这样当栈上的STRING_TOKEN被弹出时，Bison会自动调用free释放内存，不需要你在动作里手动处理。

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