集合如何对元素类型使用隐式转换？

Question

在处理这个问题时，我遇到了以下问题。考虑两个方法定义：

def foo[T <: Ordered[T]](s : Seq[T]) = s.sorted

def foo[T <% Ordered[T]](s : Seq[T]) = s.sorted

第一个可以编译，第二个则不能。编译器不知道它可以使用断言的隐式转换来获取Ordering。如果我们提供一点帮助，它就会起作用：

def foo[T <% Ordered[T]](s : Seq[T]) = s.sortWith(_<=_)

在编译匿名函数时，编译器应用隐式转换来查找方法<=，一切都很好。

我没有另一个例子，但可以想象类似的问题会发生在集合上的其他函数中，这些函数要求元素具有某些属性，如果这些属性只能通过转换来断言的话。

编译器受到这种限制是否有特殊原因？没有通用的方法来解决此类问题吗？ （这里看起来很简单。）是否有解决方法，例如另一个将 Key[T] 上的属性转换为 T 的隐式转换？

（请注意，如果 T 的具体值最终具有该属性，则最后一个想法可能会出现问题；然后我们会遇到不明确的情况）。

Answer 1

scala> implicit def ordering[T <% Ordered[T]] = new Ordering[T]{def compare(x: T, y: T) = x compare y}
ordering: [T](implicit evidence$1: (T) => Ordered[T])java.lang.Object with Ordering[T]

scala> def foo[T <% Ordered[T]](s : Seq[T]) = s.sorted
foo: [T](s: Seq[T])(implicit evidence$1: (T) => Ordered[T])Seq[T]

Answer 2

% scala29
Welcome to Scala version 2.9.0.r24168-b20110202012927 (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_22).
Type in expressions to have them evaluated.
Type :help for more information.

scala> def foo[T <% Ordered[T]](s : Seq[T]) = s.sorted
foo: [T](s: Seq[T])(implicit evidence$1: (T) => Ordered[T])Seq[T]

scala>

顺便说一句，“这似乎很容易”，但事实并非如此。像这样的隐含者喜欢分歧，而且他们非常坚定。