ANTLR4解析器开发问题：变量名与欧拉常数'e'识别冲突

我正在用ANTLR4为公司开发的应用编写一门简单语言的解析器，目前已实现算术运算、逻辑运算及条件分支功能。但处理变量时遇到问题：该语言定义了'e'等数学常数，解析器会将变量中的字母'e'识别为常数，而非变量的一部分。

测试语法 #

为复现问题，我编写了以下小型测试语法，其中euler和letter解析器规则用于清晰展示语法树：

grammar Test; 
r: str '\r\n' EOF;
str: euler | (letter)* ;
euler: EULER;
letter: LETTER;
EULER: 'e';
LETTER: [a-zA-Z];

测试结果 #

使用该语法对不同字符串的识别情况如下：

• 输入"e"：被识别为euler规则
• 输入"test"：其中的'e'被识别为euler，而非letter的一部分
• 输入"qsdf"：正常识别为一串letter
• 输入"eee"：被拆分为多个euler规则

尝试过的解决方法及疑问 #

• 调整解析器规则顺序：无论怎么调整，输出结果都一致
• 交换词法规则顺序：能正确识别"test"，但单个"e"会被识别为letter规则，不符合数学常数的定义需求
• 尝试将EULER定义为EULER: ~[a-zA-Z] 'e' ~[a-zA-Z]：无法正确识别var a=e这类场景
• 词法分析器中还有ELSE: 'else'规则，它能正确识别关键字且与EULER规则无冲突——这是因为ANTLR会匹配最长可能的输入，但为什么不能像识别"qsdf"那样，把"test"识别成(r (str (letter t) (letter e) (letter s) (letter t)) \r\n <EOF>)呢？

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