如何在C++中用Bison重新解析字符串？二次解析内容丢失排查

核心问题根源 #

• 扫描器全局状态未彻底重置：就算调用了yylex_destroy和yy_delete_buffer，如果自己定义的全局变量（比如行号计数器、解析状态标记）没手动清零，第二次解析时会带着上次的状态运行，直接导致换行符识别错误、部分词语匹配失败。
• 换行符处理规则依赖残留状态：如果.l文件里处理换行符的逻辑（比如统计行号）用了全局变量，二次解析前没重置这个变量，会触发错误的分支逻辑，比如换行符被当成普通字符跳过。
• Bison解析器残留中间状态：要是解析器用全局变量存储符号表、临时解析结果，循环解析时这些内容没清空，后续解析会匹配错误的规则，导致部分词语无法识别。
• 缓冲区清理不彻底：用yy_scan_string加载字符串后，没正确释放缓冲区就开始下一次解析，会读到上次残留的旧数据，造成内容丢失。

具体修复操作 #

• 手动重置所有全局状态：
  每次解析前，把自己定义的全局变量（行号、符号表、临时缓存）全部初始化，别指望Flex/Bison自动清理。调用yylex_destroy()后，必须重新用yylex_init()初始化扫描器，不能复用旧实例。
• 修正换行符的Flex规则：
  确保换行符处理不依赖未初始化的变量，比如规则写：

  \n    { yylineno++; return NEWLINE; }
  

  每次解析前手动把yylineno设为1，避免行号异常搞乱逻辑。
• 规范缓冲区管理：
  每次用yy_scan_string加载字符串后，解析完成必须调用yy_delete_buffer(YY_CURRENT_BUFFER)释放缓冲区，再调用yyrestart(yyin)重置输入。多次解析不同字符串时，每次都要重新创建缓冲区并销毁。
• 用结构体封装解析上下文：
  别用全局变量存解析状态，把所有需要的状态（符号表、行号、临时数据）放进一个结构体里，每次解析新建一个结构体实例，解析完销毁，彻底隔离不同解析过程的状态。

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