Scala的可变集合上的视图有什么懒惰的？

Question

我认为这个问题本质上是关于可变性背景下的懒惰是什么。

在Scala编程（或文档）中，他们给出了如何在不可变和可变集合上使用视图的示例。在该节中，它们指出

val arr = (0 to 9).toArray
val subarr = arr.view.slice(3, 6)

视图并不复制这些元素，它只是提供对它们的引用。

def negate(xs: collection.mutable.Seq[Int]) = 
  for (i <- 0 until xs.length) xs(i) = - xs(i)

negate(subarr)
arr  // Array(0, 1, 2, -3, -4, -5, 6, 7, 8, 9)

我明白为什么我们会得到那个答案。但是transformer切片有什么懒惰的呢？我把懒惰理解为只在需要时才计算值（就像不可变集合的例子一样）。但是，slice中的值从不计算，它们只是对arr中的值的引用，即使在调用negate之后也是如此。这是我对懒惰的误解吗？还是医生们在以另一种方式使用懒惰？还是别的什么？

Answer 1

下面是这种懒惰行为的一个更好的例子：

val a = Array(1,2,3)
val b = a.map(_ + 5)
val c = a.view.map(_ + 5)
println(b(1)) //prints 7
println(c(1)) // prints 7

a(1) = 5

println(b(1)) // still prints 7, since that array was computed on instantiation
println(c(1)) // now prints 10, since elements of c are lazily evaluated each time.