相关疑难解决方法(0)

我有点被以下(宏注释)情况阻止.假设我有一个被调用的注释@factory,它旨在为apply相应的伴随对象中的带注释的特征生成一个方法.例如,鉴于trait A:

@factory
trait A {
  val a1: Int
}

要生成的预期代码如下:

object A extends Factory[A] {
  def apply(_a1: Int) = new A {
    val a1 = _a1
  }
}

现在假设我们有一个特征B,它继承自A:

@factory
trait B extends A {
  val b1: String
}

这应该产生:

object B extends Factory[B] {
  def apply(_a1: Int, _b1: String) = new B {
    val a1 = _a1
    val b1 = _b1
  }
}

在后一种情况下,我需要知道存在哪些属性A, …

我有一个宏注释，旨在应用于类定义。它的目的是一个几乎但不完全序列化的工具。它检查类的构造函数参数，然后在伴随对象上创建一个工厂方法，该方法反过来为参数提供值。它需要知道参数的类型才能做到这一点，所以我一直在对它们调用 Context.typeCheck。

当被注解的类的构造函数接受一个与自身类型相同的参数时，或者在其他类似的情况下（例如，如果类型 A 和类型 B 都被注解，并且 A 具有 B 的参数，并且 B 具有参数），则会出现问题A. 应用于形式参数的类型参数也算）。这些情况中的任何一种都会导致注释被递归调用，直到发生 StackOverflowError。

我尝试使用“withMacrosDisabled=true”作为 c.typeCheck 的参数，虽然这解决了问题，但它引入了一个不同的问题。如果之前没有看到被检查的类型，那么编译器会记住它的定义，并且它的宏根本不会被调用。这对于自引用情况来说不是问题，但在相互引用情况下确实会发生。

所以我被困住了。有解决方法吗？我可以用 c.openMacros 解决这个问题吗？

另一个选项（如果可用）是我并不严格需要类型的完整定义，我可以只使用它的完全限定名称（scala.xml.NodeSeq 而不是 NodeSeq）。我在 AST 中获得了 TypeName，但这些很少是完全限定的，而且我不知道如何在不进行完整类型检查的情况下获得完全限定的名称。

作为一个附带问题，“withMacrosDisabled”有什么用？如果使用它永远阻止所有宏扩展在传递的树中找到的类型，而不仅仅是当前的 c.typeCheck，那似乎太大了。即使这实际上是您想要的，您也不能真正使用它，因为宏评估将取决于类型在其自己的源中遇到的顺序。

编辑：考虑一下，我认为编译器应该确保每个宏只扩展一次。在循环的情况下，就像在我的例子中一样，至少一个涉及的宏仍然会看到一个未完全处理的类，这在这种情况下似乎是不可避免的，因为它实际上是循环依赖。我想，结果 Type 上的标志表明宏处理不是最终的将是处理它的最佳方法，但这可能无法在 Paradise 中完成。