Scala中的不可变列表

Question

我只是想弄清楚像List这样的不可变事物是如何工作的，以及如何向其中添加事物？

我很抱歉提出这样愚蠢的问题，但是为什么在打印时我的列表总是空白？

var end = false
val list = List()
while (!end) {
  val input = scala.io.StdIn.readLine("input:")
  if (input == "stop" ) end = true
  else input :: list
}

println(list)

}

很抱歉给您带来不便和这个愚蠢的问题！

Answer 1

我只是想弄清楚像List这样的不可变事物是如何工作的，以及如何向其中添加事物？

你不能 毕竟，这就是不可变的含义。 如果您不是拉丁裔，那么inmutable的英文翻译是不会改变的 。 现在应该很清楚，为什么你不能改变的东西是不可改变的 。

我很抱歉提出这样愚蠢的问题，但是为什么在打印时我的列表总是空白？

您创建一个空列表，并且永远不会更改它（因为无论如何都无法更改）。 因此，它当然是空的。

但是，您可以做的是创建一个新列表，该列表几乎与旧列表完全相同，只是在前面添加了新项。 那就是你在这里做什么：

input :: list

但是，您不会在任何地方分配此新列表，也不会返回它，而完全忽略了它。

如果您想以任何方式实际使用列表，则需要以某种方式记住它。 最明显的解决方案是将其分配给变量：

var end = false
var list: List[String] = List() // note: `var` instead of `val`
while (!end) {
  val input = scala.io.StdIn.readLine("input:")
  if (input == "stop" ) end = true
  else list = input :: list // note: assign to `list`
}
println(list)

但是，这不是很惯用。 毕竟，我们现在已经获得了一个不可变的列表，并将其分配给一个可变变量……IOW，我们刚刚移动了可变性。

相反，我们可以使用递归解决方案：

def buildListFromInput(list: List[String] = List()): List[String] = {
  val input = scala.io.StdIn.readLine("input:")
  if (input == "stop") list else buildListFromInput(input :: list)
}

println(buildListFromInput())

该解决方案不仅是递归的，而且递归调用也位于尾部位置 （IOW，该方法是tail-recursive ），这意味着它与while循环一样有效（实际上，它将被编译为while循环或更准确地说，进入GOTO ）。 Scala语言规范保证所有的Scala实现都必须消除直接的尾递归。

Answer 2

原因

println(list)

只打印出一个空列表是因为

input :: list

实际上并没有改变列表本身。 在这种情况下，很简单，就是临时创建一个列表，该列表在最前面包含输入。

尝试

println(input :: list) 

要么

val newList = input :: list
println(newList)

你会明白我的意思的。

Answer 3

在scala中，List是不可变的。

然后，如何将项目添加到列表中？

当您添加项目以列出新List新的List实例将以该项目为标头，而其尾部现在包含前一个列表。

如果内部有名为“ intList ”的“ 1,2,3”列表，则表示为

List（3，List（2，List（1，Nil）））

如果您向此intList添加元素4

清单（4，intList）

让我们称之为newList

注意 intList仍包含List(3, List(2, List(1, Nil) ) ) 。

如果要让intList引用newList则必须执行

intList = intList.add(4)

我该如何修正我的代码

将列表从val更改为var 。 然后您可以将结果列表分配给list变量

list = input :: list

来源 ：关于Scala的在线课程，称为Scala中的函数式编程原理

Answer 4

尝试以更实用的方式重写代码。 不可变数据结构上的每个操作都会返回具有更改的新实例。 因此::操作符创建了新列表，并在前面input内容。 您可能要尝试将此代码重写为尾部递归函数，如下所示。

@tailrec
def scanInput(continue: Boolean,acc: List[String]): List[String] = {
  val input = scala.io.StdIn.readLine("input:")
  if(!continue) acc
  else scanInput(input != "stop", input :: acc)
}

上面的代码没有任何突变状态，它更适合Scala功能样式。

Answer 5

感谢您的帮助，非常感谢大家的帮助！ 我应该仔细研究一下递归，因为它在Scala中似乎非常重要！ 但是通过您的帮助，我对它的工作方式有了更好的了解！

我只是想弄清楚您的解决方案是如何工作的，并创建了自己的解决方案：

val list = List()

def scanInput(acc: List[String]): List[String] = {
val input = scala.io.StdIn.readLine("input:")
input match {
case "stop" => acc
case _ => scanInput(input :: acc)
 }
}

println(scanInput(list))