元组参数声明和赋值奇数

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定义早一些.模式匹配将值分配给新的标识符n和c,这将影子以前的定义为的escope case声明.同样的事情发生在for例子中,这并没有改变n和c先前定义.

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