語境困惑

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