如何使用宏中计算的类型 Scala, 在句子中 reify?
我合作了 Scala Macros 我在宏中有以下代码：
你可以看到，我设法得到了
. 这表示对象中的特定字段的类型。 一旦我得到它，我想创建一个新对象
在 reify.
- 它是一个带有抽象参数的抽象类。 这个抽象参数是相等的
. 我要这个
这是我之前发现的类型。
运行此处显示的代码返回me
. 有没有办法武力
在句子里面工作 reify?
val fieldMemberType = fieldMember.typeSignatureIn/objectType/ match {
case NullaryMethodType/tpe/ => tpe
case _ => doesntCompile/s"$propertyName isn't a field, it must be another thing"/
}
reify{
new TypeBuilder// {
type fieldType = fieldMemberType.type
}
}你可以看到，我设法得到了
c.universe.Type fieldMemberType
. 这表示对象中的特定字段的类型。 一旦我得到它，我想创建一个新对象
TypeBuilder
在 reify.
TypeBuilder
- 它是一个带有抽象参数的抽象类。 这个抽象参数是相等的
fieldType
. 我要这个
fieldType
这是我之前发现的类型。
运行此处显示的代码返回me
fieldMemberType not found
. 有没有办法武力
fieldMemberType
在句子里面工作 reify?
没有找到相关结果
已邀请:
2 个回复
喜特乐
赞同来自:
, 事实上，当宏观扩展时，它将被祈祷，并且
那里没有意义。
在某些情况下，您可以使用
, 要拖动您在宏扩展期间所拥有的表达式，请进入您加权的代码。 例如，如果我们尝试创建此功能的实例：
trait Foo { def i: Int }在宏观扩展期间有此变量：
我们可以写下列：
reify { new Foo { def i = c.literal/myInt/.splice } }在这里它不起作用，因此您将不得不忘记大幅
和写 AST 从手。 不幸的是，你会发现它发生了很多事情。 我的标准方法是推出一个新的方法 REPL 并介绍这样的东西：
这将备用几行。 AST, 然后，您可以将其切入宏定义作为起点。 然后你 fiddle 和他一起，更换这样的东西：
有了这个：
和
从
, 等等。 我想要方法
适用于类型 AST 更准确地对应创建它们所需的代码，但您将快速理解您需要更改的内容。 你将结束这样的东西：
在哪里
- 这是您为您的匿名类提前创建的类型的名称，
- 这是一种方便的方法，我用来让这种事情变得不那么恶心 /你可以在最后找到他的定义。
https://gist.github.com/4249936
/.
现在，如果我们在类似的东西中遵守这种表达 , 我们可以写下列：
所以它有效。 我们拍了
/从这里到达哪个
键入b型参数
, 但它将与任何旧的方式工作
/ 并用它来确定我们标志类型的成员
.
涵秋
赞同来自:
这里的建议是确定接受要在正文中使用的类型类型类型的函数 reify, 附有上下文 WeakTypeTag. 然后你打电话给这个功能，明确传递 WeakTypeTags, 由于该方法，您可以从Universe类型构建 context WeakTypeTag.
所以在你的情况下，它将提供以下内容。
val fieldMemberType: Type = fieldMember.typeSignatureIn/objectType/ match {
case NullaryMethodType/tpe/ => tpe
case _ => doesntCompile/s"$propertyName isn't a field, it must be another thing"/
}
def genRes[T: WeakTypeTag] = reify{
new TypeBuilder// {
type fieldType = T
}
}
genRes/c.WeakTypeTag/fieldMemberType//