ANTLR 4语法疑问：为何词法分析器TOKEN(NAME)无法匹配INPUT_NAME？

以下是几种最常见的原因和对应的解决思路：

• 词法规则优先级冲突
  ANTLR 4的词法分析器遵循「先定义的规则优先级更高」的原则。如果NAME的规则定义在INPUT_NAME之前，且INPUT_NAME的匹配文本完全符合NAME的规则（比如INPUT_NAME是固定标识符input，而NAME匹配所有字母组合），那么词法分析器会优先将文本识别为NAME，导致INPUT_NAME永远不会被触发。解决方法是把INPUT_NAME的词法规则移到NAME规则的前面。

• 规则类型错误
  确认INPUT_NAME是词法规则（必须大写开头，如INPUT_NAME）还是语法规则（小写开头，如inputName）。如果INPUT_NAME是语法规则，它应该是由词法Token组合的规则（比如inputName : NAME;），此时词法输出的NAME可以正常匹配；但如果误将需要作为词法Token的INPUT_NAME定义成小写语法规则，就会出现匹配失败的问题。

• 匹配范围完全重叠
  若NAME的规则覆盖了INPUT_NAME的所有可能匹配文本，比如：

  NAME: [a-zA-Z_]+;
  INPUT_NAME: 'input';
  

  这种情况下，"input"会被NAME优先匹配，必须调整规则定义顺序，或者修改NAME的规则排除INPUT_NAME的匹配（比如使用否定谓词）。

• Token被过滤或隐藏
  检查是否为INPUT_NAME或其匹配文本设置了-> skip、-> channel(HIDDEN)之类的指令，导致对应的Token被过滤，无法传递给语法分析器匹配。

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