Me preguntaba, ¿por qué AnyVal no se puede usar en un cheque de isInstanceOf? ¿Cuál es la razón detrás de este comportamiento?¿Por qué AnyVal no se puede utilizar en un cheque de instancia de verificación?
scala> val c = 't'
c: Char = t
scala> c.isInstanceOf[AnyVal]
<console>:12: error: type AnyVal cannot be used in a type pattern or isInstanceO
f test
c.isInstanceOf[AnyVal]
AnyVal ya no existe en tiempo de ejecución. Solo en tiempo de compilación. En otras palabras, es solo un "truco" de compilación considerar las primitivas JVM como objetos de primera clase.
Sin embargo, el método isInstanceOf se ejecuta en tiempo de ejecución, por lo que no puede funcionar. De ahí el error del compilador.
No estoy seguro de si esto es feo o agradable. –
Bueno, 'isInstanceOf' se considera feo en Scala ;-) Debe confiar en el sistema de tipos para obtener ese tipo de información en tiempo de compilación. – paradigmatic
Probablemente estoy siendo muy grueso, pero no entiendo la lógica de esta respuesta. En general, no se permiten los métodos booleanos solo porque la respuesta siempre es "falsa". Y '1.isInstanceOf [Int]' funciona bien ... Y las respuestas al "duplicado" vinculado muestran que dicho método es posible en tiempo de ejecución. –
Relacionados: http://stackoverflow.com/questions/10416658 –
Supongo que esto también está relacionado http://www.scala-lang.org/node/3271 –
posible duplicado de [Cómo probar un valor en ¿ser AnyVal?] (http://stackoverflow.com/questions/10416658/how-to-test-a-value-on-being-anyval) –