什么是发散隐式展开误差？

Question

在尝试找到另一个问题的解决方案时（ [1]）我遇到了一个发散的隐式扩展错误。我正在寻找关于这意味着什么的解释

这是用例：

scala> implicit def ordering[T](implicit conv: T => Ordered[T], res: Ordering[Ordered[T]]) = Ordering.by(conv)
ordering: [T](implicit conv: (T) => Ordered[T],implicit res: Ordering[Ordered[T]])scala.math.Ordering[T]

scala> def foo[T <% Ordered[T]](s : Seq[T]) = s.sorted
<console>:6: error: diverging implicit expansion for type Ordering[T]
starting with method ordering in object $iw
       def foo[T <% Ordered[T]](s : Seq[T]) = s.sorted
                                                ^

Answer 1

如果您在 scala 中运行此命令并传递 -Xlog-implicits 参数，您将获得更多信息：

scala.this.Prefed.conforms 不是 (T) => 的有效隐式值订购[T]因为：

类型不匹配：

发现：<:<[T,T]

必需：(T) =>已订购[T]

scala.this.predef.conforms 不是 (Ordered[T]) => 的有效隐式值订购[订购[T]]因为：

类型不匹配：

发现：<：<[已排序[T]，已排序[T]]

必需：（已订购[T]）=>已订购[已订购[T]]

math.this.Ordering.ordered 不是 Ordering[T] 的有效隐式值，因为：

类型参数 [T] 不符合 ordered 方法的类型参数边界 [A <: scala.math.Ordered[A]]

这主要是猜测，但似乎有一定道理。我将尝试进一步调查：

这似乎表明这里正在考虑三个隐式含义。最终，sorted 的签名要求它找到 Ordering[T] 类型的内容。所以它试图构造你的隐式函数ordering。首先，它尝试通过查找类型 (T) => 的隐式来填充 conv。 Ordered[T]，它在 Predef 中搜索 - 这看起来像是找错了树。然后它试图找到一个隐式的 (Ordered[T]) =>; Ordered[Ordered[T]] 在同一位置，因为 by 采用 Ordering[S] 类型的隐式参数，其中 S 凭借 conv 是 Ordered[T]。所以它无法构造ordering。

然后它尝试在 math.Ordering 中使用 ordering，但这也不合适。然而，我认为这就是给出有点令人困惑的“分歧隐含”信息的原因。问题不在于它们存在分歧，而在于范围内没有合适的路径，而是因为有两条路可走，这一事实令人困惑。如果尝试在没有隐式有序函数的情况下定义 def foo[T <% Ordered[T]](s : Seq[T]) = s.sorted ，那么它会失败，只显示一条不错的消息说找不到合适的隐式。