¿por qué no null.asInstanceOf [Int] lanza una NullPointerException?

Question

Desde Int "no se ajusta a" AnyRef, no estoy seguro de por qué no lanza una NullPointerException acuerdo con Scala Reference en la Sección 6.3:

asInstanceOf [T] devuelve el objeto de “nulo” en sí mismo si T se ajusta a scala.AnyRef, y lanza una NullPointerException lo contrario

y tampoco lo hace null.asInstanceOf[Double], null.asInstanceOf[Boolean], null.asInstanceOf[Char].

PS: Mi biblioteca Scala es la versión 2.9.0.1 y el sistema operativo Windows XP

Answer 1

En Scala Null es un tipo que tiene un único valor null. Como null es un valor y cada valor en Scala es un objeto, puede invocar métodos en él.

Answer 2

De hecho, es un poco sorprendente dada la sección 6.3 de language spec como se indica en el boleto por huynhjl.

El comportamiento (null.asInstanceOf[Int] le da 0) por el contrario es algo consistente con la siguiente observación:

new Array[AnyRef](3) // -> Array(null, null, null) 
new Array[Int ](3) // -> Array(0, 0, 0) 

y como tal puede ser útil en una clase genérica cuando se quiere tener 'un valor' para el tipo X, incluso si no tiene un valor particular disponible. Como en la segunda observación:

class X[A] { 
    var value: A = _ 
} 

new X[Int].value // -> 0 (even if X is not specialized in A, hmmm....)