scala Map filterKeys：无法将投影分配给地图引用

Question

以下代码：

var m: Map[String, Int] = Map("A" -> 1, "BB" -> 2, "CCC" -> 3)

m = m filterKeys { s => s.length < 3 }

无法编译。 我收到以下错误：

错误：类型不匹配
发现：collection.this.Map.Projection[scala.this.Predef.String,scala.this.Int]
必需：collection.this.Map[scala.this.Predef.String,scala.this.Int]
m = m 过滤键 { s => s.长度< 3 }

根据 scaladoc Projection[A,B] 扩展了特征 Map[A,B+]。 也就是说，投影就是地图。

我认为这可能与逆变类型 B 有关，但如果我使用 Any 而不是 Int，它仍然无法编译。 我缺少什么？ 解决方案是这样做：

var m: Map[String, Int] = Map("A" -> 1, "BB" -> 2, "CCC" -> 3)

m = Map(m filterKeys { s => s.length < 3 } toSeq : _ *) 

但这对我来说似乎不优雅。

Answer 1

好的 - 这已经在 scala 控制台的帮助下弄清楚了：

scala> var m = Map("A" -> 1, "BB" -> 2, "CCC" -> 3)
m: scala.collection.immutable.Map[java.lang.String,Int] = Map(A -> 1, BB -> 2, CCC -> 3)

所以类型推断将 m 的类型推断为不可变映射。 以下代码将编译正常：

var m: collection.Map[String, Int] = Map("A" -> 1, "BB" -> 2, "CCC" -> 3)
m = m filterKeys { s => s.length < 3 }

但是，这没有太大帮助，因为无法以返回 collection.Map 的方式添加地图。 我认为他们应该重写从 Iterable 继承的 ++ 方法，并将 Map 作为返回类型。

有人可以对此发表评论吗？ collection.Map 有什么用？

Answer 2

我很好奇为什么你希望 m 是 var 而不是 val - 如果你不尝试将 Map 重新分配给自身，事情似乎工作正常，如 repl 所示，这更符合 scala 哲学在可能的情况下更喜欢不变性：

scala> val m = Map("A" -> 1, "BB" -> 2, "CCC" -> 3) 
m: scala.collection.immutable.Map[java.lang.String,Int] = Map((A,1), (BB,2), (CCC,3))

scala> val n = m filterKeys { s => s.length < 3 }
n: scala.collection.immutable.Map[java.lang.String,Int] = Map((A,1), (BB,2))

我发现这个问题有点老了，鉴于集合类的主要重构，您在 Scala 2.8 中看到的行为可能有所不同。

Answer 3

使用

m.view.filterKeys(x=>x.length <3).toMap