无法基于...Inclusive[Long] 类型的集合构造具有 Long 类型元素的 ...Inclusive[Long] 类型的集合

Question

我不确定我是否理解为什么会发生以下情况。

编译并运行：

有 Ints 而没有转换为 List

import scala.util.Random
val xs = 1 to 10
Random.shuffle(xs)

转换为List

后用Long秒

import scala.util.Random
val xs = 1L to 10L
Random.shuffle(xs.toList) //<-- I had to materialize it to a list

不编译

With Longs without 转换为 List

val xs = 1L to 10L
Random.shuffle(xs)

这个抛出异常：

错误：无法构造类型的集合
scala.collection.immutable.NumericRange.Inclusive[Long] 元素类型
Long 基于类型的集合
scala.collection.immutable.NumericRange.Inclusive[长]。
  Random.shuffle(xs)
                ^

我很好奇为什么？那是因为缺少 CanBuildFrom 或类似的东西吗？有没有一个很好的理由？

（scala 版本 2.11.5）

Answer 1

这是因为 CanBuildFrom(1) 和类型推断机制 (2)。

1) 您可能会发现 Range/NumericRange 的 genericBuilder（Inclusive 也一样）是：

 genericBuilder[B]: Builder[B, IndexedSeq[B]]

所以只有 CanBuildFrom[Range, B, IndexedSeq] 使用了这个生成器。原因很简单，你可以在builder的描述中找到：

A builder lets one construct a collection incrementally, by adding elements to the builder with += and then converting to the required collection type with result.

你不能逐步构造包含范围，因为它不再是一个范围（但仍然是一个 IndexedSeq）；但是，您可以使用 Seq 进行此类构造。

只是为了演示IndexedSeq和Inclusive

之间的区别

scala> (1 to 5)
res14: scala.collection.immutable.Range.Inclusive = Range(1, 2, 3, 4, 5)

scala> (1 to 5) ++ (7 to 10) //builder used here
res15: scala.collection.immutable.IndexedSeq[Int] = Vector(1, 2, 3, 4, 5, 7, 8, 9, 10)

这意味着您不能 "build" 任何范围，无论 Int (Range) 还是 Long (Numeric)，您应该始终将 IndexedSeq 作为构建器的 To 参数传递。但是，当您将 IndexedSeq 传递给 shuffle 函数时，会自动为 Int (Range) 指定。

2) 它不适用于 NumericRange.Inclusive[T] because it's a polymorphic type (generic). While, regular Range.Inclusive（非通用）显式扩展 IndexedSeq[Int]。查看随机签名：

shuffle[T, CC[X] <: TraversableOnce[X]](xs: CC[T])(implicit bf: CanBuildFrom[CC[T], T, CC[T]]): CC[T]

高阶类型 CC 在这里变为 NumericRange.Inclusive 因为它是 NumericRange.Inclusive 继承的最大参数化类型。在 Range.Inclusive 的情况下，这是一个 IndexedSeq（因为较小的 Range.Inclusive 不是通用的）。所以 Range.Inclusive 很幸运没有受到 (1) 的影响。

最后，这将起作用：

scala> Random.shuffle[Long, IndexedSeq](xs)
res8: IndexedSeq[Long] = Vector(9, 3, 8, 6, 7, 2, 5, 4, 10, 1)

scala> Random.shuffle(xs: IndexedSeq[Long])
res11: IndexedSeq[Long] = Vector(6, 9, 7, 3, 1, 8, 5, 10, 4, 2)

无法基于...Inclusive[Long] 类型的集合构造具有 Long 类型元素的 ...Inclusive[Long] 类型的集合

Cannot construct a collection of type ...Inclusive[Long] with elements of type Long based on a collection of type ...Inclusive[Long]

scala

typechecking

scala-collections

编译并运行：

不编译