“val”或“var”，可变还是不可变？

Question

我可以定义一个不可变的变量（通过 var）：这

var x = scala.collection.immutable.Set("aaaaaa","bbbbbb")
println(x.isInstanceOf[scala.collection.immutable.Set[String]])
x += "cccc"
println(x.isInstanceOf[scala.collection.immutable.Set[String]])

会导致：

true
true

+= 方法不是 scala.collection.immutable.Set< 的成员/code>，那么发生了什么？

Answer 1

编译器会查找 x.+= ...，如果找不到，则会尝试将语句转换为 x = x + ... （只有当 x 是 var 或 x 脱糖到对某些 update 方法的调用时才会成功）。由于 immutable.Set 实现了 + 运算符，并且 x 是 var，因此成功。

Answer 2

原来的不可变集仍然没有改变。

继续Ken的回答，+创建了一个新集合，附加新项目，并返回新集合，保持原始集合对象不变。所以你可以说 var y = x; y += "cccc" 并且您将拥有 2 个集合而不是 1 个：

var x = scala.collection.immutable.Set("aaaaaa","bbbbbb")
println(x.isInstanceOf[scala.collection.immutable.Set[String]])
var y = x
y += "cccc"
println(x)
println(y)
println(x.isInstanceOf[scala.collection.immutable.Set[String]])
println(y.isInstanceOf[scala.collection.immutable.Set[String]])

获取：

> true
> Set(aaaaaa, bbbbbb)
> Set(aaaaaa, bbbbbb, cccc)
> true
> true

您会看到数据结构本身仍然是不可变的，但因为您声明了 var，所以赋值是可变的。因此，如果返回的话，它可以重新指向一个新对象。如果您更改为将 x 声明为 val，则无法将其重新分配给新地址。

如果您使用了 mutable 集，则 x 和 y 将指向同一个对象，因为 + 调用会追加现有的集合而不是返回一个新的集合（可变...）：

var x = scala.collection.mutable.Set("aaaaaa","bbbbbb")
println(x.isInstanceOf[scala.collection.immutable.Set[String]])
var y = x
y += "cccc"
println(x)
println(y)

获取：

> Set("aaaaaa","bbbbbb","cccc")
> Set("aaaaaa","bbbbbb","cccc")

瞧。