在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) 

您可以也把它包在一个表达式，当然，但有没有必要，如果你只是想要的类型。

Answer 2

我想通了，我希望这样可以节省别人的麻烦

import reflect.macros.Context 
import language.experimental.macros 

def impl(c: Context) = { 
    val tree = c.parse("1+1") 
    val expr = c.Expr[Any](c.typeCheck(tree)) 
    println(expr.staticType) 
    println(expr.actualType) 
    c.literalUnit 
} 

def mac = macro impl 

通过包装成Expr的你要查询的实际类型的能力。任何地方都可以提供合法的上限。如果没有这种感染类型将是Expr [Nothing]，那么您将遇到麻烦。问题是要包装从c.typeCheck返回的树，否则Type只是null。

方法mac只是返回（）它打印出Any上限和Int(2)-实际的类型。