Scala 中的方法执行难题

Question

首先我声明一个类：

class Op(var x : Int) {
  def +++(op: Op) = {
    println(this.x + " +++ " + op.x)
    this.x += op.x
    this
  } 
  def ***(op: Op) = {
    println(this.x + " *** " + op.x)
    this.x *= op.x
    this
  }
}

现在我在 REPL 中执行表达式：

op1 +++ op2 +++ op3 *** op4

它输出

但为什么不方法***先执行？ ***的优先级不是比+++高吗？那么 Java 和 C 又如何呢？和Scala中的一样吗？

Answer 1

op1 +++ op2 +++ op3 *** op4

相当于

((op1 +++ op2) +++ (op3 *** op4))

因为方法调用是左关联的。因此，第一个 (op1 +++ op2) 被求值，因为它是第二个 +++ 的第一个操作数。然后计算第二个操作数 (op3 *** op4)。最后，评估最外面的运算符。

对于 C 或 Java 中的 op1 + op2 + op3 * op4 也是如此。

Answer 2

简单规则

有两条规则决定 op1 +++ op2 +++ op3 *** op4 表达式求值的顺序：

首先，因为以 * 开头的运算符优先于以 + 开头的运算符，所以表达式转换为：

op1 +++ op2 +++ (op3 *** op4)

其次，由于有多个并排出现的相同优先级的运算符 (op1 +++ op2 +++ ...)，它们从左到右分组：

(op1 +++ op2) +++ (op3 *** op4)

示例

考虑以下表达式：

op1 +++ op2 +++ op3 +++ op4 *** op5

遵循相同的两个简单的规则将被评估为：

((op1 +++ op2) +++ op3) +++ (op4 *** op5)

另一个例子

或者让我们应用与 op1 +++ op2 +++ op3 +++ op4 *** op5 *** op6 相同的两个规则：

以 * 开头的运算符优先于以 + 开头的运算符：

op1 +++ op2 +++ op3 +++ (op4 *** op5 *** op6)

然后将运算符分组从左到右相同的优先级：

((op1 +++ op2) +++ op3) +++ ((op4 *** op5) *** op6)

可变对象：注意事项

只要 +++ 和 *** 方法没有任何副作用，分组就具有完美的数学意义。考虑一下：

op1 +++ op2 +++ op1 *** op2

直观上，表达式应该返回一个包含 5 的对象。但是，由于 +++ 和 *** 方法在原始代码示例中产生了不幸的副作用（两者都会修改对象中存储的值）表达式将导致对象持有 12 而不是预期的 5。

这就是为什么在构造此类表达式时最好完全依赖不可变对象：

case class Op ( x: Int) {
  def +++(that: Op) = {
    println(this.x + " +++ " + that.x)
    Op(this.x+that.x)
  } 
  def ***(that: Op) = {
    println(this.x + " *** " + that.x)
    Op(this.x * that.x)
  }  
}

Op(1) +++ Op (2)+++正如预期的那样，Op(1) *** Op(2) 表达式将产生 Op(5)。