2

我的问题是我生成的类的成员没有被识别为已实现。这是为 Scala 2.10/2.11/2.12 构建的，默认为 2.11。使用宏天堂 2.10。

这样做的目的是将某些特征标记为可冻结，并为每个可冻结的方法生成一个实现类，这些方法将在访问数据时调用scala.util.Try其方法。get所有不可冻结的方法都用throw new IllegalStateException. 并且创建了一个自定义freeze方法，该方法创建了一个Frozen类的实例，该实例使用 trait 定义的方法填充了所需的数据。

我已经设置了一个注释宏以放置在特征上并生成一个带有内部类的伴随对象Frozen，如下所示：

{
  abstract trait JavaInfo extends scala.AnyRef {
    @new CanFreeze() def isJavaInfo: Boolean;
    @new CannotFreeze() def toJavaInfo: AnyRef
  };
  object JavaInfo extends scala.AnyRef {
    def <init>() = {
      super.<init>();
      ()
    };
    class Frozen extends JavaInfo with java.io.Serializable {
      <paramaccessor> private val $isJavaInfo: scala.util.Try[Boolean] = _;
      def <init>($isJavaInfo: scala.util.Try[Boolean]) = {
        super.<init>();
        ()
      };
      override def isJavaInfo: Boolean = this.$isJavaInfo.get;
      override def toJavaInfo: AnyRef = throw new IllegalStateException("Method not frozen!")
    };
    def freeze(valueToFreeze: JavaInfo): Frozen = new Frozen(scala.util.Try.apply(valueToFreeze.isJavaInfo))
  };
  ()
}

当我尝试在 trait 上运行宏时发生以下错误JavaInfo：

[error] /Users/senk/projects/scala-debugger/scala-debugger-api/src/main/scala/org/scaladebugger/api/profiles/traits/info/JavaInfo.scala:9: class Frozen needs to be abstract, since:
[error] it has 2 unimplemented members.
[error] /** As seen from class Frozen, the missing signatures are as follows.
[error]  *  For convenience, these are usable as stub implementations.
[error]  */
[error]   override def isJavaInfo: Boolean = ???
[error]   override def toJavaInfo: AnyRef = ???
[error] @Freezable trait JavaInfo {
[error]  ^
[error] one error found

特质本身如下：

import org.scaladebugger.macros.freeze.{CanFreeze, CannotFreeze, Freezable}

@Freezable trait JavaInfo {
  @CanFreeze def isJavaInfo: Boolean
  @CannotFreeze def toJavaInfo: AnyRef
}

Frozen即使我在我正在构建的树中看到实现，也会收到错误，表明该类没有实现任何内容。

有问题的代码在这里：https ://github.com/chipsenkbeil/scala-debugger/blob/AddFreezableMacroSupport/scala-debugger-macros/src/main/scala/org/scaladebugger/macros/freeze/FreezableMacro.scala

您可以通过检查该分支并运行来测试失败sbt scalaDebuggerApi/compile，这将为 Scala 2.11 编译宏项目，然后是 API 本身。

4

1 回答 1

0

弄清楚了。我正在创建方法并实现它们的主体，但重用每个方法的旧修饰符并添加Flag.OVERRIDE: FlagSet. 原来未实现的方法Flag.DEFERRED上有 a ，所以我制作了 a Modifiers(OVERRIDE | DEFERRED)，考虑到它有一个主体，这没有意义。似乎具有修饰符 ofDEFERRED将导致编译器在检查方法时忽略主体，即使主体将显示在字节码本身中。

于 2017-08-16T02:54:21.320 回答