Scala 宏注释 : c. 注释类型的 TypeCheck 导致 StackOverflowError

Question

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

Answer 1

这似乎与 Can't access Parent's Members while dealing with Macro Annotations 中开始的讨论有关。 (另请参阅我在那边的回答中更详细阐述的链接)。

如果可能的话，我想避免宏看到半扩展或半填充类型的情况，以减少混淆的可能性。上个月我一直在考虑避免这种情况的方法，但是出现了一些更高优先级的干扰，所以我还没有走多远。

我正在考虑的两个可能的想法是:1)提出一个符号来指定宏注释的效果，这样我们就不必扩展宏来知道哪些类和成员组成了我们的程序(如果可行的话，然后宏引擎可以首先预先计算成员列表，然后才启动宏扩展)，2)找出指定宏如何依赖程序元素的机制，以便正确排序扩展。就在昨天，我还了解了 Backstage Java 和 David Herman 在类型化卫生宏方面的工作——这也应该是相关的。你如何看待这些思想方向？

与此同时，当我试图找出解决依赖问题的原则性解决方案时，我也有兴趣通过提供一种立即有用的解决方法或天堂补丁来解除您的用例。您能否详细说明您的项目，以便我们提出解决方案？