Scala反射能否获取类/对象中的类型别名并实现按名实例化？

针对你遇到的场景——要通过字符串"Foo.MyString"实例化对应类型的实例，核心是用Scala反射API解析模块（比如object Foo）的类型成员，找到类型别名后定位到它指向的实际类型，最后完成实例化。下面一步步拆解实现方法：

核心思路 #

Scala的类型别名是模块（对象/包对象）的类型成员，你需要：

1. 通过模块名称获取对应的模块符号（ModuleSymbol）
2. 提取模块的类型签名，遍历并筛选出其中的类型别名符号（TypeAliasSymbol）
3. 获取类型别名指向的实际类型，再针对实际类型完成实例化

具体代码实现 #

先看一个完整的示例，对应你给出的object Foo { type MyString = String }场景：

import scala.reflect.runtime.universe._

// 定义包含类型别名的对象
object Foo { type MyString = String }

object TypeAliasReflectionDemo extends App {
  // 获取运行时反射镜像
  val mirror = runtimeMirror(getClass.getClassLoader)

  // --------------------------
  // 第一步：获取目标模块的符号
  // --------------------------
  // 针对普通对象，直接传入对象的全限定名（如果是包对象，比如com.example的包对象，名称是"com.example.package"）
  val moduleFullName = "Foo"
  val moduleSymbol = mirror.staticModule(moduleFullName)

  // --------------------------
  // 第二步：筛选模块中的类型别名
  // --------------------------
  // 获取模块的类型签名，包含所有成员（方法、字段、类型别名等）
  val moduleType = moduleSymbol.typeSignature
  // 筛选出所有类型别名
  val allTypeAliases = moduleType.decls.filter(_.isTypeAlias)
  println("对象中定义的所有类型别名：")
  allTypeAliases.foreach(alias => println(s"- ${alias.name}: 实际类型为 ${alias.info}"))

  // 根据名称查找特定类型别名
  val targetAliasName = TermName("MyString")
  val targetAliasSymbol = moduleType.decls
    .find(_.name == targetAliasName)
    .filter(_.isTypeAlias)
    .getOrElse(throw new NoSuchElementException(s"未找到类型别名 $targetAliasName"))
    .asType

  // --------------------------
  // 第三步：实例化实际类型
  // --------------------------
  val actualType = targetAliasSymbol.info
  // 根据实际类型创建实例（这里以String为例，你可以根据实际类型调整逻辑）
  val instance = actualType match {
    case t if t =:= typeOf[String] =>
      "这是MyString类型的实例" // String直接字面量创建，复杂类型可以用反射newInstance
    case t if t <:< typeOf[AnyRef] =>
      // 通用反射创建实例（假设目标类型有无参构造）
      mirror.runtimeClass(t).getDeclaredConstructor().newInstance()
    case _ =>
      throw new IllegalArgumentException(s"无法实例化类型 ${actualType}")
  }

  println(s"\n实例化结果：$instance，实际类型：${instance.getClass.getName}")
}

关键细节说明 #

• 包对象的处理：如果你的类型别名定义在包对象中，比如package object bar { type MyType = Int }，那么模块的全限定名是bar.package，用mirror.staticModule("bar.package")即可获取包对象的模块符号。
• 避免Java反射的局限：你之前尝试用module.instance.getClass转Java反射，这确实看不到Scala的类型别名——因为类型别名是Scala编译期的概念，Java字节码中不会保留这个信息，必须用Scala原生的反射API来处理。
• 类型别名的本质：类型别名只是实际类型的"别名"，所以你最终实例化的是它指向的实际类型，而不是别名本身。

可能的扩展场景 #

如果你的类型别名指向参数化类型（比如type MyList = List[String]），处理逻辑类似：获取实际类型后，再通过反射创建对应的参数化实例即可。

内容的提问来源于stack exchange，提问作者Dave DeCaprio