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

在找不到/指定对象成员类型的情况下，我找不到如何递归访问对象成员的方法。就我而言，问题仅限于我要访问的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的lazy val的更好方法是什么？我只在ModuleSymbol中看到这样的检查:isVal和isLazy对我来说有点奇怪。

最佳答案

这对我有用:

  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方法。