Was bedeutet "T =: = Int = null" in Scala?

Question

Wie im folgenden Code.

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 
} 

Ich weiß, dass T =:= Int bedeutet TInt vom Typ sein sollte, aber was bedeutet = null Teil bedeuten?

---

Hinweis: Das Beispiel ist von mir aus. Es wäre besser, wenn Sie mir eine ordnungsgemäße Verwendung von zeigen könnten, wenn es nicht angemessen ist.

Answer 1

null ordnet dem ev nur einen Standardwert zu, genau wie bei jedem anderen Parameter. Es ist ein kluger Weg, um herauszufinden, ob der Typ tatsächlich ein Int ist:

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

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

Der Trick besteht darin, dass, wenn Compiler die Int sieht, ist es in dem aktuellen impliziten Wert übergeben wird, und wenn es nicht finden kann, Eins, es wird es als Standard verlassen. Wenn Sie also überprüfen, ob evnull ist, können Sie feststellen, ob das Implizit an der Call-Site verfügbar war.