Question

当我编写一些Scala代码时，在尝试编译代码时出现了一条奇怪的错误消息。我将代码分解为一个更简单的代码（从语义的角度来看根本没有任何意义，但仍然显示错误）。

scala> :paste
// Entering paste mode (ctrl-D to finish)

import scala.collection.mutable.ListBuffer

val map = scala.collection.mutable.Map[Int, ListBuffer[Int]]()
for (i <- 1 to 2) {
  map.get(0) match {
    case None => map += (1 -> ListBuffer[Int](1))
    case Some(l: ListBuffer[Int]) => l += i
  }
}

// Exiting paste mode, now interpreting.

<console>:12: error: type arguments [Any] do not conform to trait Cloneable's t
pe parameter bounds [+A <: AnyRef]
              for (i <- 1 to 2) {
                          ^

在for循环结束时添加额外的行时，代码可以工作：

scala> :paste
// Entering paste mode (ctrl-D to finish)

import scala.collection.mutable.ListBuffer

val map = scala.collection.mutable.Map[Int, ListBuffer[Int]]()
for (i <- 1 to 2) {
  map.get(0) match {
    case None => map += (1 -> ListBuffer[Int](1))
    case Some(l: ListBuffer[Int]) => l += i
  }
  1   // <- With this line it works
}

// Exiting paste mode, now interpreting.

warning: there were 1 unchecked warnings; re-run with -unchecked for details
import scala.collection.mutable.ListBuffer
map: scala.collection.mutable.Map[Int,scala.collection.mutable.ListBuffer[Int]]
= Map(1 -> ListBuffer(1))

我猜，它与match-case-statement的返回值有关。但我不是Scala专家，足以弄清楚这个错误信息背后的原因以及我做错了什么。我希望，更聪明的人可以在这里提供帮助。

错误消息背后的原因是什么？ match-case-statement有什么问题？

更新：使用Scala 2.9.2进行测试

Answer 1

您看到this bug正在行动中。它已在2.10中修复，并且在this answer中有一个简单的解决方法 - 只需在某处添加类型注释：

for (i <- 1 to 2) {
  map.get(0) match {
    case None => map += (1 -> ListBuffer[Int](1))
    case Some(l: ListBuffer[Int]) => (l += i): Unit
  }
}

编译for循环时出现奇怪的错误

1 个答案: