Question

我想知道为什么List(3,2,1).toIndexedSeq.sortBy(x=>x)不起作用：

scala> List(3,2,1).toIndexedSeq.sortBy(x=>x) // Wrong
<console>:8: error: missing parameter type
              List(3,2,1).toIndexedSeq.sortBy(x=>x)
                                              ^
<console>:8: error: diverging implicit expansion for type scala.math.Ordering[B]
starting with method Tuple9 in object Ordering
              List(3,2,1).toIndexedSeq.sortBy(x=>x)
                                             ^

scala> Vector(3,2,1).sortBy(x=>x) // OK
res: scala.collection.immutable.Vector[Int] = Vector(1, 2, 3)

scala> Vector(3,2,1).asInstanceOf[IndexedSeq[Int]].sortBy(x=>x) // OK
res: IndexedSeq[Int] = Vector(1, 2, 3)

scala> List(3,2,1).toIndexedSeq.sortBy((x:Int)=>x) // OK
res: scala.collection.immutable.IndexedSeq[Int] = Vector(1, 2, 3)

Answer 1

如果您查看toIndexedSeq上List的类型签名，您会看到它需要一个类型参数B，它可以是A的任何超类型：< / p>

def toIndexedSeq [B >: A] : IndexedSeq[B]

如果省略该类型参数，那么编译器基本上必须猜测你的意思，尽可能采用最具体的类型。您可能意味着List(3,2,1).toIndexedSeq[Any]，因为没有Ordering[Any]，所以当然无法对其进行排序。似乎编译器不会播放“猜测类型参数”，直到检查整个表达式的正确输入（也许有人知道编译器内部的东西可以扩展这个）。

要使其工作，您可以a）自己提供所需的类型参数，即

List(3,2,1).toIndexedSeq[Int].sortBy(x=>x)

或b）将表达式分成两部分，以便在调用sortBy之前必须推断出type参数：

val lst = List(3,2,1).toIndexedSeq; lst.sortBy(x=>x)

修改

这可能是因为sortBy采用Function1参数。 sortBy的签名是

def sortBy [B] (f: (A) => B)(implicit ord: Ordering[B]): IndexedSeq[A]

而sorted（你应该使用它！）适用于List(3,2,1).toIndexedSeq.sorted

def sorted [B >: A] (implicit ord: Ordering[B]): IndexedSeq[A]

我不确定为什么Function1导致了这个问题而且我要睡觉所以不能再考虑它了......

scala - 使用“sortBy”时混淆“发散隐式扩展”错误

1 个答案: