1

这是我精简的 ANTLR4 语法（注意我使用常量 false 来替换返回 false 的方法）：

grammar AnnotProcessor;
    cppCompilationUnit:  content+ EOF;

    content: anything  
           | {false}? .; 

    anything: ANY_CHAR;

    ANY_CHAR: [_a-zA-Z0-9];

我的测试文件只包含 1 个单词“hello”，测试结果如下：

D:\work\antlr4\work>java org.antlr.v4.runtime.misc.TestRig AnnotProcessor cppCompilationUnit -tree in.cpp
line 1:5 no viable alternative at input '<EOF>'
(cppCompilationUnit (content (anything h)) (content (anything e)) (content (anything l)) (content (anything l)) (content (anything o)))

D:\work\antlr4\work>java org.antlr.v4.runtime.misc.TestRig AnnotProcessor cppCompilationUnit -tokens in.cpp
[@0,0:0='h',<1>,1:0]
[@1,1:1='e',<1>,1:1]
[@2,2:2='l',<1>,1:2]
[@3,3:3='l',<1>,1:3]
[@4,4:4='o',<1>,1:4]
[@5,5:4='<EOF>',<-1>,1:5]
line 1:5 no viable alternative at input '<EOF>'

为什么当我添加一个语义谓词（虽然这里是一个虚拟的）作为替代时，它一直说“输入 '< EOF >' 的第 1:5 行没有可行的替代方案”？如果我删除带有错误语义谓词的替代项，则错误会按预期消失。

PS：我正在使用 antlr-4.0-complete.jar

4

1 回答 1

1

是的，这是一个错误。在 ANTLR 4 中，在语法中任何地方引入以 [almost] 开头的替代项{false}?不应影响任何 [valid] 输入的解析结果。

你能在这里报告这个问题吗：
https ://github.com/antlr/antlr4/issues

编辑：这是问题 #218，现已修复
https://github.com/antlr/antlr4/issues/218

PS：您在规则中使用非贪婪运算符+?要么是不必要的，要么是不正确的cppCompilationUnit。如果您打算至少需要一个content元素，您可以简单地使用+. 但是，我认为您要写的是零个或多个content元素：(content+)?，可以简化为content*.

于 2013-04-12T17:00:44.357 回答