8

我正在研究 DSL，但在将方法用作链中的中缀运算符时遇到了问题。我将尝试用一些代码来解释它。我有一个特征Term和案例类Literal并Variable扩展它。我想使用一些运算符构造一个术语实例列表。

case class Expr(val terms: List[Term]) {
 def +(v: String) = Expr(Literal(v) :: terms)
 def -->(func: List[String] => List[String]) = terms match {
  case Literal(v) :: ts => Expr(Variable(v, func) :: ts)
  case _ => throw new Exception("Can only apply function on literal")
 }
}

object foo {
 def bar(name: String) = Expr(Literal(name) :: Nil)
}

// some functions
val one = ... 
val all = ...

// works
foo bar "x"        
// res1: Expr = Expr(List(Literal(x)))

// works not
foo bar "x" --> all
// error: value --> is not a member of java.lang.String

// works
(foo bar "x") --> all 
// res1: Expr = Expr(List(Variable(x,<function1>)))

我希望这相当于foo.bar("x").-->(all)但解释器似乎将其视为foo.bar("x".-->(all)).

4

1 回答 1

16

您可以在此处找到运算符优先级：

Scala中的运算符优先级

-与字母相比，根据第一个答案具有更高的优先级。所以编译器将表达式分组如下：

foo bar ("x" --> all)

如果您将替换-->为较低优先级的内容（例如字母），那么它应该编译。例如：

foo bar "x" to all

您也可以选择更高优先级的运算符而不是bar. 类似的东西~~>会这样做，因为它~是特殊字符并且它具有最高优先级：

foo ~~> "x" --> all
于 2011-05-05T21:21:14.103 回答