Question

在不知道/不指定对象成员类型的情况下，我找不到如何递归访问对象成员的方法。就我而言，问题仅限于我要访问的lazy val和object个成员。可以使用lazy vals将对象嵌套到任何深度。例如：

object TestShallow {
  lazy val value1 = 1
}

object TestDeep {
  lazy val value1 = 1

  object NestedObj {
    lazy val value2 = 2
  }
}

这是我到目前为止所拥有的：

import scala.reflect.ClassTag
import scala.reflect.runtime.universe._

  def evalMemberValues[A: TypeTag](topLevelObj: A)(implicit c: ClassTag[A]): Unit = {
    val mirror = runtimeMirror(getClass.getClassLoader)

    def loop[B: TypeTag](obj: B)(implicit c: ClassTag[B]): Unit = {
      println(s"INSPECTING: $obj: ${typeOf[B]}")
      val members = typeOf[B].decls.filter(_.isPublic)
      members.foreach { m =>
        if(m.isTerm && m.isModule) {
          println(s"MODULE: $m")
          // THE PROBLEM IS HERE !!!:
          val inst = mirror.reflectModule(m.asModule).instance // type is Any
          loop(inst)
        }
        else if(m.isTerm && ! m.isConstructor && m.isMethod && m.typeSignature.paramLists.isEmpty && ! m.typeSignature.takesTypeArgs) {
          val im = mirror.reflect(obj)
          val value = im.reflectMethod(m.asMethod)()
          println(s"VAL/DEF: $m = $value")
        }
        else {
          println(s"OTHERS: $m")
        }
      }
    }

    loop(topLevelObj)
  }

它对于一级声明很有效：

scala> evalMemberValues(TestShallow)
INSPECTING: $line7.$read$$iw$$iw$$iw$$iw$TestShallow$@1669f4e5: TestShallow.type
OTHERS: constructor TestShallow
VAL/DEF: lazy value value1 = 1

但是，它无法正确递归：

scala> evalMemberValues(TestDeep)
INSPECTING: $line11.$read$$iw$$iw$$iw$$iw$TestDeep$@3c2f310c: TestDeep.type
OTHERS: constructor TestDeep
VAL/DEF: lazy value value1 = 1
MODULE: object NestedObj
INSPECTING: $line11.$read$$iw$$iw$$iw$$iw$TestDeep$NestedObj$@4f1f2f84: Any
OTHERS: method ==
OTHERS: method !=
OTHERS: method equals
OTHERS: method hashCode
OTHERS: method toString
OTHERS: method getClass
OTHERS: method isInstanceOf
OTHERS: method asInstanceOf
OTHERS: method ##

如您所见，问题在于此行：

val inst = mirror.reflectModule(m.asModule).instance

因为它给了我一个Any类型的实例，所以信息丢失了。理想情况下，我将获得一个实例，其中包含与TypeTag相对应的适当类型的ClassTag和m的详细信息。我没有找到如何从Symbol中获得m的信息，我想编译器不会生成该信息。我也看不到如何使用instanceOf[_]进行投射。也许我可以通过其他方式获得声明/成员？我发现的所有示例都不会动态获取实例类型，也不会递归获取该实例的下一级声明。

此外，还有什么更好的方法来检查Symbol或val的{{1}}？我只在lazy val：ModuleSymbol，isVal中看到这种检查，这对我来说很奇怪。

Answer 1

这对我有用：

  import scala.reflect.runtime.universe._

  def evalMemberValues[A](topLevelObj: A)(implicit c: TypeTag[A]): Unit = {

    val mirror = runtimeMirror(getClass.getClassLoader)

    def loop(obj: Any, tp: Type): Unit = {
      println(s"INSPECTING: $tp:")
      val objMirror = mirror.reflect(obj)
      val members = tp.decls.filter(_.isPublic)
      members.foreach { m =>
        if (m.isTerm && m.isModule) {
          println(s"MODULE: $m")
          loop(mirror.reflectModule(m.asModule).instance, m.info)
        }
        else if (m.isTerm && !m.isConstructor && m.isMethod && m.typeSignature.paramLists.isEmpty && !m.typeSignature.takesTypeArgs) {
          val value = objMirror.reflectMethod(m.asMethod)()
          println(s"VAL/DEF: $m = $value")
        }
        else {
          println(s"OTHERS: $m")

        }
      }
    }

    loop(topLevelObj, c.tpe)
  }

一些解释：

我使用的是隐式TypeTag而不是ClassTag，因为TypeTag带有方便的tpe属性，该属性包含有关检查类型的完整信息。我将此Type属性传递给loop方法。

如何使用Scala反射递归访问对象的所有公共成员？

1 个答案: