parsing - javacc 添加操作导致问题

Question

我正在尝试创建一个简单的解析器，但是在尝试考虑第一个元素之前的可选符号时遇到了一些麻烦：

    void expr5() : {}
    {
        [addop()] expr6() (addop() expr6())*
    }

例如 [-] 5 + 3 - 4

这里的问题是第一个可选的 [addop()] 定义为：

    void addop() : {}
    {
        <PLUS> | <MINUS>
    }

我目前遇到选择冲突，建议使用 LOOKAHEAD()，但是 javacc 在使用 LOOKAHEAD() 时没有识别出选择冲突

提前致谢！

Answer 1

我认为需要进一步澄清。我与以下内容没有冲突

void sum() : {}
{
  [ addOp() ]
  term()
  ( addOp()  term() )*
}

void addOp() : {}
{     < PLUS > | < MINUS > }

void term() : {}
{
  element()
  ( ( < MULTIPLY > | < DIVIDE > ) element() )*
}

void element() : {}
{
    < CONSTANT > | "(" sum() ")"
}

Answer 2

您通常希望给予 unary-minus 和 -plus 比它们的二进制对应物更高的优先级。所以，我想你会想要这样的东西：

// ...

void add() : {}
{
  mul() ( <PLUS> mul() | <MINUS> mul() )*
}

void mul() : {}
{
  unary() ( <MULTIPLY> unary() | <DIVIDE> unary() )*
}

void unary() : {}
{
  <PLUS> atom() | <MINUS> atom() | atom()
}

// ...

这不需要任何LOOKAHEAD(...).