如何实现Antlr4解析器，解决==在分割线与运算符间的歧义？

问题背景 #

在解析类Java风格的语法时，==存在歧义：它既要作为相等运算符，又要作为分割线标识。分割线规则明确：

• 仅当==出现在去空格后的行首时，才视为分割线
• 分割线首尾==之间可包含任意非换行字符（包括多个=）
• 代码中间的==是普通相等运算符

当前实现因词法前瞻问题，暂时限制分割线内容只能是单个词，需要彻底消除二者的歧义。

解决方案 #

1. 词法分析器（Lexer）调整

核心逻辑是让行首分割线的规则优先匹配，具体调整如下：

• 定义DIVIDER词法规则，匹配带前置空白的行首==开头、行尾==结束的整行内容：

  DIVIDER: (WS*) '==' (~[\r\n])* '==' (WS*);
  

  注：WS为已定义的空白字符规则，~[\r\n]匹配任意非换行字符，确保分割线不跨多行。
• 将DIVIDER规则放在EQUAL（即==运算符）规则之前——ANTLR词法分析器会优先匹配先定义的规则，这样行首的==会被识别为分割线，代码中间的==则正常匹配为运算符。

2. 语法分析器（Parser）调整

• 在语法规则中添加DIVIDER作为顶层或语句级别的合法元素，例如：

  program: (statement | DIVIDER)*;
  statement: // 原有语句规则...
  

• 取消对分割线内容为单个词的限制，词法层面已能正确识别任意内容的分割线。

效果验证 #

• 运算符场景：if (user.score == 100) 中的==会被正确识别为相等运算符
• 分割线场景： === 模块加载完成 ===（前置空白后行首为==）会被识别为分割线

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