Antlr4部分匹配但不报错

Question

这是我的antlr4语法：

grammar TestExpr;

prog: stat ;

stat: expr
    ;

expr : expr '|' expr #orJoin
     | expr '&' expr  #andJoin
     | '(' expr ')'  #nested
     | KEY '=' value  #kv
     ;
value: KEY | VALUE;

KEY : [a-zA-Z] [a-zA-Z0-9_-]* ;
VALUE: [a-zA-Z0-9] [a-zA-Z0-9._-]* ;
WS : [ \t]+ -> skip ; // toss out whitespace

如果输入“a233=A(”，则只能匹配“a233=A”。我以为它会报错，但没有。

Answer 1

将您的 prog 规则更改为：

prog: stat EOF;

ANTLR 默认情况下将匹配与您的语法匹配的最长有效字符序列。这也意味着当某些东西停止“工作”时，如果到此为止的所有内容都是有效的（即使存在更多输入但使解析处于不完整状态），它将退出解析。

通过添加 EOF 规则，您的“规则”是它必须匹配所有输入（包括 EOF），这样您就不会遇到此问题。因此，最好的做法是使用任何规则来解析所有以 EOF 标记结尾的输入。