编译并运作：

Question

我不确定为什么会发生以下情况。

编译并运作：

Int s未转换为List

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

转换为Long后加List

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

不编译

Long s 没有转换为List

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

这个抛出了这个例外：

Error: Cannot construct a collection of type 
scala.collection.immutable.NumericRange.Inclusive[Long] with elements of type 
Long based on a collection of type 
scala.collection.immutable.NumericRange.Inclusive[Long].
  Random.shuffle(xs)
                ^

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

（scala版本2.11.5）

Answer 1

这是因为CanBuildFrom（1）和类型推断机制（2）。

1）您可能会发现genericBuilder / Range的{{1}}（NumericRange相同）是：

Inclusive

因此只有genericBuilder[B]: Builder[B, IndexedSeq[B]]，它使用此构建器。原因很简单，您可以在构建器的描述中找到它：

通过使用+ =向构建器添加元素，然后将结果转换为所需的集合类型，构建器允许逐个构建集合。

你不能逐步构建包容范围，因为它不再是一个范围（但仍然是CanBuildFrom[Range, B, IndexedSeq]）;但是，您可以使用IndexedSeq进行此类构造。

只是为了证明Seq和IndexedSeq

之间的区别

Inclusive

这意味着你无法建立＆＃34;任何范围，无论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)（Int）还是Range（Long），您都应该始终将Numeric作为构建器的IndexedSeq参数传递。但是，当您将To函数传递给IndexedSeq时，系统会自动为Int（Range）指定shuffle。

2）它不适用于NumericRange.Inclusive[T]因为它是多态类型（通用）。虽然，常规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)

无法构造类型的集合...包含[Long]类型为Long的元素基于类型的集合...包含[Long]

编译并运作：

不编译

1 个答案: