Antlr4扩展Open Cypher语法时Digit规则无法识别数字的问题排查

结合你描述的现象（单独前缀解析正常，组合后报错），问题基本出在规则组合时的上下文冲突、词法优先级歧义上，以下是具体排查方向和解决方法：

1. 检查Digit规则的上下文与类型冲突 #

Open Cypher原语法中，Digit大概率是词法规则（大写开头，比如Digit : [0-9];），而原语法中可能还有基于Digit的复合词法规则（比如IntegerLiteral : Digit+;）。当你在ttQL前缀中复用Digit+时，词法分析器可能会把连续数字识别成IntegerLiteral而非单个Digit的组合，导致你的ttQL规则匹配失败。

• 排查动作：用VSCode的Antlr4扩展测试带前缀的查询词法结果，比如输入ttQL123，看token是拆成'ttQL' + Digit+还是'ttQL' + IntegerLiteral。
• 解决方法：修改ttQL规则，直接复用原语法中的数字复合规则，比如：

  ttQL_Query : 'ttQL' IntegerLiteral oC_Cypher;
  

  或者定义一个专属的语法规则来匹配前缀数字（避免词法冲突）：

  ttQL_Number : Digit+; // 语法规则，小写开头
  ttQL_Query : 'ttQL' ttQL_Number oC_Cypher;
  

2. 确保前缀与oC_Cypher之间有明确分隔 #

如果你的ttQL规则没有强制前缀与oC_Cypher之间的空白分隔，Antlr解析器可能会把前缀的末尾数字和oC_Cypher的起始内容当成连续输入，触发歧义匹配。比如输入ttQL1MATCH (n)，解析器会错误地认为MATCH应该是Digit的一部分。

• 排查动作：检查你的ttQL规则是否包含空白定义，比如原语法中的WS : [ \t\r\n]+ -> skip;是否生效，规则中是否明确要求空白：

  // 错误示例：无明确分隔
  ttQL_Query : 'ttQL' Digit+ oC_Cypher;
  

• 解决方法：在规则中强制加入空白分隔：

  ttQL_Query : 'ttQL' Digit+ WS oC_Cypher;
  

  或者确保原语法的空白规则会自动跳过前缀与oC_Cypher之间的空格，同时测试时输入带空格的前缀（比如ttQL 123 MATCH ...）验证是否正常。

3. 调整规则优先级与起始规则 #

如果你的ttQL规则与原oC_Cypher的起始规则并列，Antlr的自顶向下解析可能会优先尝试匹配oC_Cypher规则，导致前缀部分被错误解析。

• 排查动作：检查你的语法起始规则，是否将ttQL_Query设为优先匹配的选项：

  // 错误示例：oC_Cypher在前，会优先匹配普通Cypher
  start : oC_Cypher | ttQL_Query;
  

• 解决方法：调整起始规则的顺序，让ttQL前缀的查询优先匹配：

  start : ttQL_Query | oC_Cypher;
  

4. 排查规则递归与歧义 #

如果ttQL规则与原oC_Cypher规则存在递归引用，或者两者的匹配路径有重叠，会导致解析器回溯时触发错误的期望提示。

• 排查动作：用Antlr的可视化工具（执行antlr4 -gui YourGrammar.g4生成语法图）查看ttQL_Query和oC_Cypher的规则结构，确认两者的匹配路径没有交叉。
• 解决方法：给ttQL规则添加明确的边界约束，比如确保前缀只能出现在查询的最开头，避免与oC_Cypher内部的规则混淆。

快速排查步骤 #

1. 用VSCode Antlr4扩展测试最简带前缀查询（比如ttQL1 MATCH (n)），查看词法分析结果和解析树。
2. 对比单独测试前缀（ttQL1）和组合查询的token差异，定位哪个token匹配错误。
3. 检查原Cypher语法中与数字相关的词法规则，确认是否与你的ttQL规则冲突。

内容的提问来源于stack exchange，提问作者L.Rex