scala - 在scala宏中推断树的类型

Question

在宏中，如何要求编译器推断出构造的树的类型？
我只找到Context.typeCheck，但这仅检查类型，但不返回结果。

Answer 1

如果已经对树进行了类型检查，则可以使用其tpe方法:

scala> def impl(c: Context) = c.literal(c.typeCheck(c parse "1+1").tpe.toString)
impl: (c: scala.reflect.macros.Context)c.Expr[String]

scala> def mac = macro impl
mac: String

scala> println(mac)
Int(2)

当然，您也可以将其包装在一个表达式中，但是如果您只想使用该类型，则无需这样做。