如何获得AST表示的值的类型？

Question

我正在尝试编写以下内容：

import scala.reflect.runtime.universe._

val value: Tree = /* some AST */
val tpe = typeOf(value)    // This should be the result type of the AST.
                           // This is pseudocode. What should
                           // actually go on this line?
q"""
type U = $tpe
val v: U = $value
"""

我需要捕获tpe AST value表示的value的tpe并将其分配给U 如何做到这一点？

编辑：这里没有给value提供类型注释并通过准引用对其进行匹配的选项。 用例是一个Shapeless 可扩展记录 ，具有复杂的类型，例如String with labelled.KeyTag[1, String] :: Long with labelled.KeyTag[three, Long] :: HNil ，例如val ls = (1 ->> "two") :: ("three" ->> 4L) :: HNil 。 同样， value AST是通过编程生成的，而不是文字。

Answer 1

获取一个ToolBox ，使用它来类型检查value ，并询问带注释的树的类型。

import scala.runtime.reflect.currentMirror
val toolbox = currentMirror.mkToolBox()
val tpe = TypeTree(toolbox.typecheck(value).tpe)

您编写的代码说明您正在运行时执行此操作。 您在注释中陈述的用例使您看起来好像在编译时宏中。 在这种情况下，请在Context使用类似的typecheck方法。 否则将不会进行类型检查； 该value将是来自错误Universe的Tree ，表示由ToolBox的新编译器实例在当前程序（恰好是编译器）的上下文中运行的事实，而Context表示的反射全部与以下内容有关：包含的编译器操纵的代码的将来上下文。

Answer 2

尝试在q"$mods val $tname: $tpt = $expr"使用$tpt

val t: Tree = reify {
  val value: Int = 3
}.tree

val tpe = t match {
  case q"{$mods val $tname: $tpt = $expr; $_}" => tpt
} // Int

https://docs.scala-lang.org/overviews/quasiquotes/syntax-summary.html#definitions

关联问题： 如何使用准引数获取值的类型？