本文详解 antlr4 语法中因词法规则顺序不当引发的“missing keyword”错误（如 missing 'check' at 'check'），重点讲解关键字优先级、词法匹配规则及安全复用方案。
本文详解 antlr4 语法中因词法规则顺序不当引发的“missing keyword”错误（如 missing 'check' at 'check'），重点讲解关键字优先级、词法匹配规则及安全复用方案。
在 ANTLR4 中，词法分析器（Lexer）严格遵循规则定义顺序优先匹配原则：当多个词法规则均可匹配同一输入文本时，ANTLR 总是选择最先定义且最长匹配的规则。这一机制虽高效，却极易引发看似诡异的解析失败——例如你遇到的报错：
line 8:95 missing 'check' at 'check'
该错误并非语法结构错误，而是词法层面的“失配”：解析器期望在此处看到 TRIGGER_TYPE_CHECK 类型的 token，但实际输入 "check" 被 Lexer 错误识别为其他类型（如通用标识符 ID），导致后续 parser 规则无法按预期匹配。
? 根本原因：词法规则顺序冲突
典型错误模式如下（parser.g4 或 lexer.g4 片段）：
// ❌ 危险写法：ID 在前，覆盖所有关键字 ID : [a-zA-Z]+; TRIGGER_TYPE_CHECK : 'check'; TRIGGER_TYPE_BEFORE : 'before'; TRIGGER_TYPE_AFTER : 'after';
此时，输入 "check" 会被 ID 规则率先捕获（因其定义在前，且 'check' 完全符合 [a-zA-Z]+），TRIGGER_TYPE_CHECK 永远无法生效。Parser 在 trigger_type 规则中期待 TRIGGER_TYPE_CHECK token，却只收到 ID，于是报出 missing 'check' —— 实际含义是：“本应出现 TRIGGER_TYPE_CHECK token 的位置，却出现了 ID”。
✅ 正确做法：关键字前置 + 显式优先级
将所有关键字词法规则置于通用标识符规则之前：
// ✅ 推荐写法：关键字优先，确保语义准确 TRIGGER_TYPE_CHECK : 'check'; TRIGGER_TYPE_BEFORE : 'before'; TRIGGER_TYPE_AFTER : 'after'; TRIGGER_ : 'trigger'; // 通用标识符放最后 ID : [a-zA-Z][a-zA-Z0-9_]*; WS : [ \t\r\n]+ -> skip;
ANTLR 将严格按此顺序尝试匹配："check" 首先匹配 TRIGGER_TYPE_CHECK，成功生成对应 token；仅当输入不匹配任何关键字时，才交由 ID 处理。这是构建健壮语法的基础实践。
⚠️ 进阶需求：允许关键字作为普通标识符（如变量名）
若业务场景需支持 "check" 既可作关键字（如 trigger check），也可作普通变量名（如 var check = 1;），不可简单保留 ID 在前，而应通过 Parser 层抽象统一入口：
// ✅ 关键字复用方案：Parser 级别聚合
id
: ID
| TRIGGER_TYPE_CHECK
| TRIGGER_TYPE_BEFORE
| TRIGGER_TYPE_AFTER
;
// 在 parser 规则中使用 id 替代 ID
trigger
: TRIGGER_ id
;
// 其他需要灵活标识符的规则也使用 id
assignment
: id '=' expr ';'
;对应词法规则仍保持关键字前置：
TRIGGER_TYPE_CHECK : 'check'; TRIGGER_TYPE_BEFORE : 'before'; TRIGGER_TYPE_AFTER : 'after'; TRIGGER_ : 'trigger'; ID : [a-zA-Z][a-zA-Z0-9_]*; WS : [ \t\r\n]+ -> skip;
这样，"check" 在 trigger 上下文中被解析为 TRIGGER_TYPE_CHECK，在 assignment 中则作为 ID 参与 id 选择，语义清晰且无歧义。
? 关键注意事项
- 永远不要将 ID 放在任何关键字规则之前——这是 90% missing keyword 错误的根源；
- 关键字规则建议使用全小写字符串字面量（如 'check'），避免大小写敏感问题；
- 若存在大小写混合关键字（如 'Trigger'），需同步调整 ID 规则或使用 caseInsensitive 模式（ANTLR 4.10+）；
- 使用 ANTLR Preview 或 IDE 插件实时查看 token 流，快速验证词法划分是否符合预期。
遵循以上原则，即可彻底规避 missing 'xxx' at 'xxx' 类错误，构建出语义明确、可维护性强的 ANTLR4 语法定义。
