用于SortedMap的黄玉类

Question

我相信scalaz对于Map和SortedMap都有单类实例。

但这不起作用

scala> import scalaz._, Scalaz._
import scalaz._
import Scalaz._

scala> Map(1 -> 1) |+| Map(1 -> 1)
res0: scala.collection.immutable.Map[Int,Int] = Map(1 -> 2)

scala> import scala.collection.SortedMap
import scala.collection.SortedMap

scala> SortedMap(1 -> 1) |+| SortedMap(1 -> 1)
<console>:19: error: value |+| is not a member of scala.collection.SortedMap[Int,Int]
       SortedMap(1 -> 1) |+| SortedMap(1 -> 1)
                         ^

Answer 1

Scalaz只提供不可变的数据结构实例。

您应该添加import scalaz.std.sortedMap._并使用scala.collection.SortedMap的scala.collection.immutable.SortedMap instaead。

Welcome to Scala 2.13.1 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_201).
Type in expressions for evaluation. Or try :help.

scala> scalaz.BuildInfo
res0: scalaz.BuildInfo.type = version: 7.2.30, scalaVersion: 2.13.1

scala> import scalaz.std.sortedMap._
import scalaz.std.sortedMap._

scala> import scalaz._, Scalaz._
import scalaz._
import Scalaz._

scala> scala.collection.SortedMap(1 -> 2) |+| scala.collection.SortedMap(1 -> 3)
                                          ^
       error: value |+| is not a member of scala.collection.SortedMap[Int,Int]
       did you mean ++:?

scala> scala.collection.immutable.SortedMap(1 -> 2) |+| scala.collection.immutable.SortedMap(1 -> 3)
res2: scala.collection.immutable.SortedMap[Int,Int] = TreeMap(1 -> 5)

Answer 2

如果第二个参数是SortedMap (像scala集合一样)，Scalaz将使用SortedMap，但是这是实现细节，您不应该依赖它。

//If you only care about `Map` inteface then treat `SortedMap` as normal `Map`: 
val res = Map(1 -> 1) |+| SortedMap(1 -> 1)
println(res.getClass.getName) // scala.collection.immutable.TreeMap

//If you really need to have access to SortedMap api then you can cast to it:
val res2 = res.asInstanceOf[SortedMap[Int, Int]]

编辑的--这是实现细节，您应该知道这一点！对于这个问题，应该有更好的答案，使用现有的sortedMap实现！

我没时间调查更多..。索里。

• 以下是SortedMap的一些实现，但不知道如何使用它们:(https://github.com/scalaz/scalaz/blob/7e64f43872fc944b54a63e4262acaea2248f50c8/core/src/main/scala/scalaz/std/SortedMap.scala
• 这是旧的实现。我很难找到目前的，但假设是相似的。https://scalaz.github.io/scalaz/scalaz-2.9.1-6.0.4/doc.sxr/scalaz/Semigroup.scala.html#114426

关键在于这里，我们使用to实例作为结果的构建器。

//from implementation of |+|
from.foldLeft(to) { case (to, (k, v)) => to + ... }

：不要将这个答案标记为有效答案:它不是。也许您不应该依赖于实现细节。不过，这是有可能的，这个答案可能对某人有帮助。