¿Cómo se muestran todos los tipos de un objeto (en Scala)?

Question

Con el método isInstanceOf, se puede verificar el tipo de un objeto. Por ejemplo:

scala> val i: Int = 5 
i: Int = 5 

scala> val a: Any = i 
a: Any = 5 

scala> a.isInstanceOf[Any] 
res0: Boolean = true 

scala> a.isInstanceOf[Int] 
res1: Boolean = true 

scala> a.isInstanceOf[String] 
res2: Boolean = false 

¿Cómo se pueden mostrar todos los tipos de un objeto (si es posible?)?

Answer 1

Usted puede hacer esto con bastante facilidad en 2,10 (M4 o posterior):

import scala.reflect.runtime.universe._ 

def superTypes(t: Type): Set[Type] = 
    (t.parents ++ t.parents.flatMap(superTypes)).toSet 

def allTypes[A](a: A)(implicit tag: TypeTag[A]) = superTypes(tag.tpe) + tag.tpe 

que nos da lo siguiente:

scala> allTypes(1).foreach(println) 
AnyVal 
Any 
NotNull 
Int 

scala> allTypes("1").foreach(println) 
String 
Any 
Object 
Comparable[String] 
CharSequence 
java.io.Serializable 

scala> allTypes(List("1")).foreach(println) 
scala.collection.LinearSeq[String] 
scala.collection.GenSeq[String] 
scala.collection.IterableLike[String,List[String]] 
scala.collection.GenIterable[String] 
scala.collection.GenTraversableLike[String,Iterable[String]] 
... 

Vas a tener un tiempo mucho más difícil tratar de hacer algo como este antes de 2.10.

Answer 2

Aquí hay otra solución, que hace uso del método baseType para reificar el parámetro de tipo.

import scala.reflect.runtime.universe._ 

def typesOf[T : TypeTag](v: T): List[Type] = 
    typeOf[T].baseClasses.map(typeOf[T].baseType) 

Ejemplo:

scala> typesOf("1") foreach println 
String 
CharSequence 
Comparable[String] 
java.io.Serializable 
Object 
Any