scala - 文脈に縛られた混乱

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) で構成されます。

ページの次の 4 分の 1 では、ここでの関連付けの意味が定義されていますが、質問にとって重要なのはOrderingと関連付けられている部分のみOrdering[Int]であるため、コンパイラはコンパニオン オブジェクトで を検索しOrdering、確かに がありIntます。

Answer 2

Int が暗黙的に Ordered トレイトで強化されているためだと思います。

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