在scala宏中推断一种树的类型

发布时间：2020-12-16 18:20:14 所属栏目：安全来源：网络整理

导读：在宏内部,我如何要求编译器推断构造树的类型？我只找到Context.typeCheck,但它只检查类型但不返回结果. 解决方法如果您已对树进行了类型检查,则可以使用其tpe方法： scala def impl(c: Context) = c.literal(c.typeCheck(c parse "1+1").tpe.toString)impl

在宏内部,我如何要求编译器推断构造树的类型？
我只找到Context.typeCheck,但它只检查类型但不返回结果.

解决方法

如果您已对树进行了类型检查,则可以使用其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)

当然,你也可以将它包装在一个表达式中,但是如果你只是想要这个类型就没有必要.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!