使用ANTLR4开发Java计算器执行s 4报错：no viable alternative at input 's4'

你遇到的no viable alternative at input 's4'错误，核心原因有两个：词法规则的优先级问题，以及部分规则定义的局限性，下面我来一步步帮你修正：

1. 核心问题分析 #

词法规则顺序错误 #

你的词法规则中，ID : [a-z]+ ;定义在SQRT: 's';之前，而ANTLR的词法分析遵循「最长匹配+先定义优先」的原则。当输入s时，ID规则（匹配小写字母）和SQRT规则都能匹配，但因为ID先定义，所以s会被识别为ID token，而非SQRT，导致sqrt_op规则永远无法被触发。

NUM规则仅支持单个数字 #

NUM : [0-9];只能匹配单个数字（比如4），如果输入多位数（比如10）也会报错，需要改成匹配一个或多个数字。

起始规则的递归定义有歧义 #

原r规则的递归写法r : r SEMI r EOF | r SEMI | plus_op | minus_op | sqrt_op;容易导致语法歧义，建议拆分更清晰的结构。

2. 修正后的完整语法 #

grammar Hello;

// 起始规则：允许多个表达式，以分号分隔，可选EOF
r : (expr SEMI)* expr EOF? ;

// 表达式统一入口
expr : plus_op 
     | minus_op 
     | sqrt_op 
     | term
     ;

// 基础项：数字或变量
term : NUM | ID ;

// 加法规则
plus_op : term ADD term ;

// 减法规则
minus_op : term MINUS term ;

// 平方根规则
sqrt_op : SQRT term ;

// 词法规则：注意顺序，特定符号优先于通用ID
SQRT: 's';
ADD : '+';
MINUS : '-';
SEMI: ';';
ID : [a-z]+ ; // 匹配小写字母变量
NUM : [0-9]+ ; // 匹配一个或多个数字
WS : [ \t\n]+ -> skip ; // 跳过空格、制表符、换行

3. 关键修改说明 #

• 调整词法规则顺序：把SQRT等特定符号规则放在ID前面，确保单个s会被识别为SQRT token，而不是ID。
• 扩展NUM规则：将[0-9]改为[0-9]+，支持多位数输入。
• 重构语法结构：拆分出expr和term规则，让语法层次更清晰，避免递归歧义，同时允许单独输入数字或变量。
• 优化起始规则：(expr SEMI)* expr EOF?支持多个表达式用分号分隔，也允许单个表达式结尾。

现在你再测试s 4，应该就能正常识别平方根操作了。

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