scala collection.Map 无法添加到

Question

为什么我无法添加到 scala.collection.Map？ 如果没有这个功能，这个trait似乎毫无用处。

难道他们不能重写 Iterable 中的 ++ 方法并将返回类型减少为 Map 吗？

PS我并不是说它应该是可变的，只是它应该能够返回一个带有添加的映射（或多个映射）的新Map，与immutable.Map。

Answer 1

我将在下面留下原始答案，尽管它非常不正确，因为我没有正确理解这个问题。

Scala 目前的集合库几乎强制执行可变/不可变的不同添加方法，可能是希望在源代码中明确正在使用什么类型的集合。 如前所述，这在 2.8 中进行了修订，并且该前提将消失。

既然如此，抽象类不提供您正在考虑的方法，因为它们可能存在用于不可变但不用于可变，反之亦然。 或者它们可能具有相同的名称，但实现不同。

因此，不可能在基类中提供它们。

但是，此外，请注意，这样，如果您收到 scala.collection.map，您不能在收到不可变数据时将其视为可变数据，从而搞砸了，反之亦然。

现在，错误的答案。 :)

你可以（不，你不能——下面的代码使用 scala.collection.imutable.Map）。

scala> val x = Map(1 -> 'a', 2 -> 'b')
x: scala.collection.immutable.Map[Int,Char] = Map(1 -> a, 2 -> b)

scala> x ++ Map(3 -> 'c')
res5: scala.collection.immutable.Map[Int,Char] = Map(1 -> a, 2 -> b, 3 -> c)

scala> var y = x
y: scala.collection.immutable.Map[Int,Char] = Map(1 -> a, 2 -> b)

scala> y += (3 -> 'c')

scala> y
res7: scala.collection.immutable.Map[Int,Char] = Map(1 -> a, 2 -> b, 3 -> c)

scala> x + (3 -> 'c')
res8: scala.collection.immutable.Map[Int,Char] = Map(1 -> a, 2 -> b, 3 -> c)

Answer 2

Scala 集合库目前存在相当大的缺陷。 2.8（预计将在一个月左右发布）有一个完全修改的集合库，我相信它具有您正在寻找的行为。

Answer 3

我的猜测是：
如果您有一些集合并需要为其他人提供只读 Map 外观，则此特征适合该工作。 如果您在那里添加附加内容，那么它就不是正交设计，因为那时需要只读地图界面。 另一方面，如果需要通用接口中的 ++ 操作，则它不适用于可变和不可变实现。 例如，如果可变集合在添加时返回 self，那么仅通过查看接口就不会明显看出发生了什么。