本文介绍如何在 yacc 中实现支持三种上下文模式（语句模式、表格标题模式、表格行模式）的解析器，通过词法分析器动态注入伪终结符（如 table_heading、table_body），使语法层清晰分离各模式逻辑，避免复杂状态管理。
本文介绍如何在 yacc 中实现支持三种上下文模式（语句模式、表格标题模式、表格行模式）的解析器，通过词法分析器动态注入伪终结符（如 table_heading、table_body），使语法层清晰分离各模式逻辑，避免复杂状态管理。
在传统 Yacc/Bison 解析器中，语法定义是静态的，无法直接表达“根据输入内容动态切换解析模式”的需求。但实际文本格式（如 Markdown 风格表格、配置文件分段）常需上下文感知——例如以 ---- 分隔符触发模式跃迁。Yacc 本身不支持多语法切换，也不内置运行时语法重载机制，因此必须借助词法分析器（Lex/Flex）与语法层的协同设计来达成目标。
核心思路是：将模式切换逻辑下沉至词法分析器，由其识别分隔符并返回特定伪终结符（pseudo-token），再让 Yacc 语法规则基于这些伪符号组织不同模式的归约路径。这既符合 Yacc 的单语法模型约束，又保持了语义清晰性与可维护性。
以下是一个典型实现结构：
-
词法分析器（.l 文件）负责状态跟踪与伪符号生成：
维护一个内部状态变量（如 mode = MODE_STATEMENT），初始为 MODE_STATEMENT；每读取一行后判断：- 若为纯 - 行且当前处于 MODE_STATEMENT → 返回 TABLE_HEADING，切换至 MODE_TABLE_HEADING；
- 若为纯 - 行且当前处于 MODE_TABLE_HEADING → 返回 TABLE_BODY，切换至 MODE_TABLE_BODY；
- 若为纯 - 行且当前处于 MODE_TABLE_BODY → 返回 STATEMENT，切回 MODE_STATEMENT；
- 其他行按当前模式返回对应内容 token（如 TEXT, IDENT, NUMBER 等）。
语法文件（.y 文件）定义模式驱动的产生式：
利用上述伪终结符作为规则首符号，明确划分各模式的语法结构：
%token TABLE_HEADING TABLE_BODY STATEMENT TEXT
%%
input
: /* empty */
| input line
;
line
: TABLE_HEADING table_heading_line
{ printf("Entered table heading mode\n"); }
| TABLE_BODY table_body_line
{ printf("Entered table body mode\n"); }
| STATEMENT statement_line
{ printf("Returned to statement mode\n"); }
;
table_heading_line
: TEXT { /* process heading cell */ }
| table_heading_line ',' TEXT { /* handle comma-separated headings */ }
;
table_body_line
: TEXT { /* process data cell */ }
| table_body_line ',' TEXT { /* handle row cells */ }
;
statement_line
: TEXT { /* parse generic statement */ }
| statement_line ';' TEXT { /* e.g., semicolon-separated statements */ }
;
⚠️ 关键注意事项：
- 伪终结符（如 TABLE_HEADING）必须在 %token 中显式声明，否则 Yacc 将报错；
- 词法分析器中 yytext 和行号（yylineno）仍可用于错误定位，建议在 yyerror() 中结合当前模式输出更精准提示；
- 模式切换逻辑应严格匹配分隔符语义（如 ---- 必须独占一行、不含空格），否则易引发状态错乱；
- 若需嵌套或更复杂状态（如子表格），可扩展为栈式状态管理，但需谨慎避免歧义。
该方案本质是将“上下文敏感”问题转化为“词法层状态机 + 语法层模式路由”，规避了 Yacc 不支持多语法的限制，同时避免了危险的全局变量滥用或 yylval 非法篡改等反模式。它结构清晰、易于测试（可单独验证 lexer 状态跳转），是处理分段式文本格式的经典实践。
