Scala中“T =：= Int = null”是什么意思？

Question

如下面的代碼所示。

class A[T] {
  def add(n: Int)(implicit env: T =:= Int = null): Int = n + 1
}

object A extends App {
  val a = new A[Int]
  a.add(1) // 2
}

我知道T =:= Int意味着T應該是Int類型，但是= null部分是什么意思？

---

注意 ：這個例子由我組成。 如果你不合適的話可以向我展示= null的正確用法，那會更好。

Answer 1

null只是為ev分配一個默認值，就像你對任何其他參數一樣。 這是一個聰明的方法來確定該類型是否實際上是一個Int ：

 def isInt[T](implicit ev: T =:= Int = null): Boolean = env != null

 isInt[Int] // true
 isInt[String] // false

訣竅是當編譯器看到Int ，它將傳遞實際的隱式值，當它找不到時，它只是將其保留為默認值。 因此，通過檢查ev是否為null ，您可以判斷隱含在調用站點是否可用。