¿Cómo puedo obtener el objeto real al que hace referencia la reflexión de Scala 2.10?

Question

por favor considere este código:

object ResponseType extends Enumeration { 
    val Listing, Album = Value 
} 

puedo conseguir el Symbol en referencia a este objeto así:

import reflect.runtime.universe._ 
val s = typeOf[ResponseType.Value].asInstanceOf[TypeRef].pre.typeSymbol 

Ahora, teniendo este símbolo, ¿cómo puedo obtener el ResponseType objeto real?

Answer 1

scala> val moduleClass = typeOf[ResponseType.Value].asInstanceOf[TypeRef].pre.typeSymbol 
moduleClass: reflect.runtime.universe.Symbol = object ResponseType 

scala> val module = moduleClass.owner.typeSignature.member(moduleClass.name.toTermName) 
module: reflect.runtime.universe.Symbol = object ResponseType 

scala> reflect.runtime.currentMirror.reflectModule(module.asModule).instance 
res9: Any = ResponseType 

Ahora, alguna explicación está en orden, ya que esto es todo un detalle oscuro aplicación que hemos (todavía!) Han podido abstracto sobre la API pública.

Por cada object Scala crea una clase subyacente que representa su firma, internamente llamada módulo clase. Por ejemplo, si compila object C, el compilador generará C$.class. Esa es exactamente la clase de módulo.

Tenga en cuenta que las clases de módulo son diferentes de las clases complementarias. Digamos, para case class C, el compilador generará tres símbolos: type C, term C y (otro) type C, donde el primer type C representa la clase C (que contiene copia autogenerada, productPrefix, productArity, etc.) y el segundo type C representa una firma del objeto C (que contiene fábrica autogenerada, extractor, etc.). No habrá ningún conflicto de nombres, porque la clase de módulo no se agrega directamente a la tabla de símbolos y solo está disponible a través del <module>.moduleClass.

---

Así que lo que realmente recibe de su typeOf[ResponseType.Value].asInstanceOf[TypeRef].pre.typeSymbol encantamiento es un símbolo que representa una clase de módulo. No hay función en la API que lo lleve a un símbolo de módulo de una clase de módulo. Internamente en el compilador seguramente hay uno, pero decidimos no exponer este detalle de implementación, porque muy bien podría cambiar pronto.

Para acceder a un módulo fuente, debe ir al owner, eche un vistazo a la lista de sus miembros y busque un objeto que tenga el mismo nombre que la clase de módulo. Eso es exactamente lo que hace moduleClass.owner.typeSignature.member(moduleClass.name.toTermName). Una advertencia menor es que si en el mismo ámbito tiene un método con el mismo nombre, entonces member devolverá un símbolo sobrecargado, y tendrá que hacer algo como .member(...).suchThat(_.isModule).

Después de eso, es un pedazo de pastel.

---

Editar. En realidad, estamos pensando en introducir ClassSymbol.module que devolvería el símbolo del módulo fuente para una clase de módulo y NoSymbol en caso contrario. Es muy probable que esto termine en RC1. Sigue las notas de la versión.