如何手动构造Scala 2.13.3运行时AST以实例化类？

我明白你遇到的困扰了——手动构造带包路径的类实例AST时，编译器始终找不到对应的类型，可reify生成的树却能顺利通过类型检查。核心问题出在你对带层级路径的类型表示方式上，Scala的AST要求这类路径必须用Select节点逐层拆解，而不是直接把完整带点的名称塞进单个Ident里。

问题根源 #

你之前的代码里用Ident(TypeName("my.package.Foo"))，这会让编译器把整个"my.package.Foo"当作单个独立标识符，而非带包路径的类型。编译器会在当前作用域里找名为my.package.Foo的类型，自然找不到，所以抛出"not found: type my.package.Foo"的错误。

正确的手动构造方式 #

要表示my.package.Foo这个类型，你需要用Select节点逐层拆解包路径，最后指向目标类型名。同时，New节点的参数需要用TypeTree包裹这个带路径的类型节点，才能被编译器正确识别为类型引用。以下是修正后的代码：

import scala.reflect.runtime.universe._

val actualTree = Apply(
  Select(
    New(
      TypeTree(
        Select(
          Select(
            Ident(TermName("my")),    // 第一层包名：my
            TermName("package")       // 第二层包名：package
          ),
          TypeName("Foo")             // 目标类的类型名：Foo
        )
      )
    ),
    termNames.CONSTRUCTOR             // 标准构造器标识符
  ),
  List(Literal(Constant(1)))          // 构造器参数：1
)

关键细节说明 #

1. 名称类型的区分：包名属于术语（term）层级，所以每个包段要用TermName；最终的类名是类型（type）层级，要用TypeName，这样编译器才能正确识别路径的语义。
2. TypeTree的作用：New节点需要接收一个表示类型的Tree，TypeTree用来把路径选择的结果包装成合法的类型树，让编译器能识别这是一个类型引用。
3. 构造器的标准引用：用termNames.CONSTRUCTOR是最可靠的方式，这是Scala反射库提供的内置构造器标识符，比手动写TermName("<init>")更规范且不易出错。

实用调试技巧 #

虽然你不能用reify直接生成代码，但可以用它打印正确的AST结构，作为手动构造的参考模板：

val expectedTree = reify { new my.package.Foo(1) }
println(showRaw(expectedTree))

输出的结构会和我们上面手动构造的完全一致，你可以对照着调整自己的AST节点，确保每个部分都符合规范。

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