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

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

编译和工作:

使用 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)

这个抛出这个异常:

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

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

(斯卡拉版本 2.11.5)

最佳答案

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

1) 您可能会发现 genericBuilder/Range 的 NumericRange (与 Inclusive 相同)是:

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

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



你只是不能逐步构造包含范围，因为它不再是一个范围(但仍然是一个 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)

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

2)它不适用于 Range.Inclusive 因为它是一种多态类型(通用)。而常规 IndexedSeq[Int] (非通用)显式扩展 CC 。查看 shuffle 签名:

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

高阶类型 NumericRange.Inclusive 在这里变成了 NumericRange.Inclusive ，因为它是 Range.Inclusive 继承的最大参数化类型。在 IndexedSeq 的情况下，这是一个 Range.Inclusive (因为较小的 Range.Inclusive 不是通用的)。所以 ojit_code 很幸运不受 (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)

关于scala - 无法基于类型为 ...Inclusive[Long] 的具有 Long 类型元素的元素构造 ...Inclusive[Long] 类型的集合，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/28815324/