什么時候應該在Scala的通用類中使用類型綁定？

Question

我有一個像這樣的通用類，並且我只想在T為Int時調用函數“ one”。

class A[T] {
    def one[T <: Int] = 1
}
val a = new A[String]
a.one

但這會編譯。

我發現我可以這樣做：

class A[T] {
    def one(implicit ev: T <:< Int) = 1
}
val a = new A[String]
a.one
<console>:14: error: Cannot prove that String <:< Int.

為什么？

Answer 1

在第一種情況下，您有兩個不同且不相關的 T參數：一個在類上，另一個在方法上。 因此，當您呼叫a.one ， one人的T為Int 。

在第二種情況下， one沒有自己的T參數，所以在T <:< Int你有A的T 。 當您調用a.one ， A的T是不滿足界限的String 。