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 ，您可以判断隐含在调用站点是否可用。