Scala rep()和结合性

Question

我想用scala StdTokenParsers来表达这个语法：

expr -> expr ("+"|"-") ~ muldivexpr | muldivexpr

"+“和"-”是左关联的。

语法是左递归的，所以它导致了无限的递归。我可以重写以删除左递归，但它将更改为右关联性。

现在，我计划使用scala rep()将其重写为：

expr -> rep(muldivexpr ("+"|"-")) ~ muldivexpr

但是rep()会改变关联性吗？rep()在这种情况下是如何工作的？

我问这个问题是因为我必须在将来输出AST。

Answer 1

您最有可能要找的是：

chainl1[T](p: => Parser[T], q: => Parser[(T, T) => T]): Parser[T]

一般的想法是p是一个操作数，而q是一个分隔符，产生一个可以组合两个操作数的函数，例如

chainl1(muldivexpr,
  "+" ^^^ { (l: Expr, r: Expr) => Addition(l, r)    }
| "-" ^^^ { (l: Expr, r: Expr) => Subtraction(l, r) }
)