语境困惑

Question

当我声明class Pair[T : Ordering] ，它要求存在Ordering[T]的隐式值。 在下面的示例中，我试图找出Ordering[Int]的隐含值来自何处。

它看起来像scala.math.Ordering.Int这里应该是隐含值，但是它还没有被导入，所以从哪里得到隐含值？

class Pair[T : Ordering](val first: T, val second: T) {
    def smaller(implicit ord: Ordering[T]) = 
        if(ord.compare(first, second) < 0) first else second
}

object Run extends App {
    val p = new Pair[Int](2, 3)
}   

Answer 1

从语言规范 ：

类型T的隐式作用域包含与隐式参数类型相关联的所有类的伴随模块（第5.4节）。

下一季度的页面定义了与此处相关的内容 ，但唯一对您的问题重要的部分是Ordering与Ordering[Int]相关联，因此编译器会查找Ordering 的伴随对象 ，当然，还有Int

Answer 2

我想这是因为Int隐含地使用Ordered trait来丰富：

http://docs.scala-lang.org/sips/pending/implicit-classes.html