在泛型方法中返回原始集合类型

Question

假设我们想要创建一个类似minBy 的函数，它返回集合中所有同等极简主义的元素：

def multiMinBy[A, B: Ordering](xs: Traversable[A])(f: A => B) = {
  val minVal = f(xs minBy f)
  xs filter (f(_) == minVal)
}

scala> multiMinBy(List("zza","zzza","zzb","zzzb"))(_.last)
res33: Traversable[java.lang.String] = List(zza, zzza)

到目前为止，一切都很好，除了我们有一个Traversable 而不是我们最初的List。

所以我尝试将签名更改为

def multiMinBy[A, B: Ordering, C <: Traversable[A]](xs: C)(f: A => B)

希望我能收到C 而不是Traversable[A]。但是，我没有得到任何回报：

scala> multiMinBy(List("zza","zzza","zzb","zzzb"))(_.last)

<console>:9: error: inferred type arguments [Nothing,Nothing,List[java.lang.String]] 
do not conform to method multiMinBy's type parameter bounds [A,B,C <: Traversable[A]]

我认为这是因为C 出现在A 被推断之前的参数中？所以我颠倒了参数的顺序，并添加了一个演员：

def multiMinBy[A, B: Ordering, C <: Traversable[A]](f: A => B)(xs: C) = {
  val minVal = f(xs minBy f)
  (xs filter (f(_) == minVal)).asInstanceOf[C]
}

这行得通，但我们必须这样称呼它：

multiMinBy((x: String) => x.last)(List("zza","zzza","zzb","zzzb"))

有没有办法在保留原始语法的同时恢复正确的集合类型？

Answer 1

我认为 Miles Sabin 的解决方案太复杂了。 Scala 的集合已经有了使其工作所需的机制，只需进行很小的更改：

import scala.collection.TraversableLike
def multiMinBy[A, B: Ordering, C <: Traversable[A]]
              (xs: C with TraversableLike[A, C])
              (f: A => B): C = {
  val minVal = f(xs minBy f)
  xs filter (f(_) == minVal)
}

Answer 2

用CanBuildFrom怎么样？

import scala.collection.immutable._
import scala.collection.generic._

def multiMinBy[A, B, From[X] <: Traversable[X], To](xs: From[A])(f: A => B)
  (implicit ord: Ordering[B], bf: CanBuildFrom[From[_], A, To])  = {
  val minVal = f(xs minBy f)
  val b = bf()
  b ++= (xs filter (f(_) == minVal))
  b.result
} 



scala> multiMinBy(List("zza","zzza","zzb","zzzb"))(_.last)
res1: List[java.lang.String] = List(zza, zzza)

Answer 3

您的问题是，当被视为GenTraversable[A] 上的方法时（我将在此答案中使用它而不是Traversable[A]）filter 方法的结果类型并不比GenTraversable[A] 更精确。不幸的是，在编写的 multiMinBy 方法的主体中，这就是你所知道的关于 xs 的全部内容。

要获得您所追求的结果，您必须使multiMinBy 的签名更加精确。在保持容器类型相对开放的同时执行此操作的一种方法是使用如下结构类型，

type HomFilter[CC[X] <: GenTraversable[X], A] = 
  CC[A] { def filter(p : A => Boolean) : CC[A] }

def multiMinBy[CC[X] <: GenTraversable[X], A, B: Ordering]
  (xs: HomFilter[CC, A])(f: A => B) : CC[A] = {
    val minVal = f(xs minBy f)
    xs filter (f(_) == minVal)
  }

结构类型HomFilter 允许我们断言multiMinBy 的参数必须具有具有所需结果类型的filter 方法。

REPL 会话示例，

scala> val mmb = multiMinBy(List("zza","zzza","zzb","zzzb"))(_.last)
mmb: List[String] = List(zza, zzza)

请记住，这是一个比容器只是 Traversable 更严格的要求：允许 GenTraversable 的子类型以这种方式定义不规则的 filter 方法。上面的签名将静态地阻止此类类型的值被传递给multiMinBy ...大概这就是您所追求的行为。