（...）*构造中的JAVACC ERROR选择冲突

Question

我是第一次使用javacc。

我不断收到此错误：

Warning: Choice conflict in (...)* construct at line 35, column 43.
     Expansion nested within construct and expansion following construct
     have common prefixes, one of which is: <SPACE>
     Consider using a lookahead of 2 or more for nested expansion.

我调查了一下，发现这是由于解析器不知道哪个选择最合适。

void l_zero() : {} {
 TOKEN1 ( TOKEN2 TOKEN1)*  
}

错误在(在这一行中，请问有人能帮助我正确理解吗？

Answer 1

你有（我认为）

void l_zero() : {} {
    <TOKEN1> ( <SPACE> <TOKEN1> )*  
}

问题在于<SPACE>可以跟随l_zero 。 例如，某处可能有这样的作品

void someNonterminal() : {} {
    l_zero() <SPACE> <YETANOTHERTOKEN>
}

假设l_zero开始时的剩余输入为

<SOMETOKEN> <SPACE> ...

在使用了<SOMETOKEN> ，解析器需要确定是进入循环还是从l_zero返回。 它不能基于下一个令牌来决定。 这就是错误消息告诉您的内容。

---

该怎么办？

是否是l_zero之后的任何空格都不能跟随<TOKEN1> ？ 如果是这样，则解析器可以根据接下来的两个标记来决定是否进入循环。 您可以使用以下任一方法解决冲突：

void l_zero() : {} {
    <TOKEN1> ( LOOKAHEAD(2) <SPACE> <TOKEN1> )*  
}

要么

void l_zero() : {} {
    <TOKEN1> ( LOOKAHEAD(<SPACE> <TOKEN1>) <SPACE> <TOKEN1> )*  
}