Question

我可以按如下方式分配一个元组：

var (min, max) = (1, 2)

但我不能重新分配，如下所示

(min, max) = (1, 3) //compiler error: ';' expected but '=' found

相反，我似乎必须这样做：

min = 1
max = 3

为什么后者有效，而前者没有？

Answer 1

嗯，因为我的确是这样说的。

这是元组赋值，是模式匹配的一个例子。模式匹配发生在我记得的三个地方：

var PATTERN = ... // or val

for (PATTERN <- ...) ...

case PATTERN => ...

所有这些案例都有效：

val l = List((1,'a'), (2,'b'), (3,'c'))
var (n, c) = l(0)
for ((n, c) <- l) println(n+": "+c)
l(1) match {
  case (n, c) => println(n+": "+c)
}

现在，采用最后一个示例，使用case的示例。请注意，该示例中的n和c 不相同的n和c更早定义。模式匹配将为 new 标识符n和c分配值，这将隐藏case语句的escope的先前定义。同样的事情发生在for示例上，该示例未更改先前定义的n和c。

现在，您想要发生的是覆盖以前的值，而不是为新标识符分配新值。这不是模式匹配的工作方式，这意味着实现它会产生一个全新的规则。由于Scala轻轻地刺激了人们的不变性，我认为他们没有为了解决这个问题而制定新的规则并不合理。