在reify的宏扩展过程中发生StackOverflow错误

Question

我有一个使用reify的简单测试宏。它会在宏展开过程中导致StackOverflowError。

def test() = macro testimpl
def testimpl(c:Context)():c.Expr[Any] = {
  import c.universe._
  val o = reify { // StackOverflowError here
    object O
    O
  }
  o
}

为什么会发生这种情况？它能以某种方式避免吗？

编辑：M6就是这样。我刚用M7试过，现在它说

实现限制：无法具体化类型对象｛def（）：O.type｝（ClassInfoType）

因此，这回答了为什么的问题，但问题仍然是是否有办法解决这个问题。

Answer 1

目前，具体化器不知道如何具体化引用在被具体化的块中定义的东西的类型。因此出现了错误。

但这与你的例子有什么关系？以下是它的工作原理。

为了具体化代码块，编译器使用def apply[T: AbsTypeTag](mirror: MirrorOf[self.type], treec: TreeCreator): Expr[T]（2.10.0-RC1中的更新AbsTypeTag已重命名为WeakTypeTag）来创建一个具体化表达式的Expr类型的对象。然而，Expr合同中隐含的是，它也捕捉到了reifee的类型，这就产生了问题。

因此，您需要一个变通方法。最简单的方法是将代码段最后一行的O强制转换为可具体化的内容，例如编写O.asInstanceOf[Object]。然后，您可以手动从结果中剥离asInstanceOf部分。

scala> reify { object O; O }
<console>:26: error: implementation restriction: cannot reify type Object{def <init>(): O.type} (ClassInfoType)
              reify { object O; O }
                    ^
scala> reify { object O; O.asInstanceOf[Object] }
res1 @ 2d059fd6: reflect.runtime.universe.Expr[Object] =
Expr[java.lang.Object]({
  object O extends AnyRef {
    def <init>() = {
      super.<init>();
      ()
    }
  };
  O.asInstanceOf[Object]
})

Answer 2

我最近遇到了同样的问题。但是我负担不起强制转换对象类型的费用，因为我在另一个宏中使用了singleton类型来区分（编译时）"变量"。因此，如果您真的需要具体化一个对象，您可以在宏中执行以下操作，以便具体化返回对象而不是单位值。

def mkObject(c: Context) = {
  import c.universe._
  val objectO = reify { object O }
  c.Expr(objectO.tree match {
    case Block(stats, expr) => Block(stats, Ident(newTermName("O")))
  })
}