为什么scala中的每个迭代参数都是val而不是var for for循环

Question

我是Scala初学者并开始经历"Scala编程".我遇到了以下代码.

for (arg <- args)
println(arg)

在书中它说arg是val类型而不是var.为什么会如此.

根据我对每次迭代的理解,arg的值会发生变化,因为每次循环时它都会保持新的值.

以下是我的问题

1. 为什么是arg val而不是var？
2. 根据Scala,如果是val,我们无法更改值(因为它在Scala中是最终的)
3. 它还会为每次迭代创建多个对象以及循环后对象如何被销毁？

我也知道scala中var和val之间的区别.我已经看过这个链接.Scala中var和val定义有什么区别？

Answer 1

在Scala中,一个用于理解是语法糖了foreach,map,flatMap和filter组合子.当你写:

for (arg <- args)

编译器重写为:

args.foreach { }

由于foreach为每个元素引入了一个新值,因此您实际上不会重新分配arg任何内容:

args.foreach { arg => // }

例如,如果我们看一下以下的实现List.foreach:

@inline final override def foreach[U](f: A => U) {
  var these = this
  while (!these.isEmpty) {
    f(these.head)
    these = these.tail
  }
}

您将看到these一个var正在被重新分配为您遍历列表,所以内部斯卡拉集合库保持一个可变的参考名单,但来自外部类型的每个值A暴露给您通过调用者f(these.head)是不变的,所以实际上并不需要重新分配对C语言for循环中的值的引用.