如何解决“实施限制:特征...访问受保护的方法......在具体的特征方法中”。

时间:2013-07-09 19:56:57

标签: scala compiler-errors mixins protected traits

我正在使用的Java库类声明

protected getPage(): Page { ... }

现在我想帮助Scala mixin添加我经常使用的功能。我不想扩展类,因为Java类有不同的子类我想在不同的地方扩展。问题是,如果我在mixin getPage()中使用trait,我会收到此错误:

  

实现限制:trait MyMixin访问具体特征方法中的受保护方法getPage

是否有解决方案如何使其工作,而不影响我的子类?为什么会出现这种限制?


到目前为止,我想出了一个解决办法:我将特征中的方法覆盖为

override def getPage(): Page = super.getPage();

这似乎有效,但我并不完全满意。幸运的是,我不需要在我的子类中覆盖getPage(),但如果我需要,我会得到两个相同方法的覆盖,这种解决方法将不起作用。

1 个答案:

答案 0 :(得分:9)

问题是即使特性扩展了Java类,实现实际上并不是扩展Java类的东西。考虑

class A { def f = "foo" }
trait T extends A { def g = f + "bar" }
class B extends T { def h = g + "baz" }

B的实际字节码中,我们看到了

public java.lang.String g();
  Code:
   0:   aload_0
   1:   invokestatic    #17; //Method T$class.g:(LT;)Ljava/lang/String;
   4:   areturn

这意味着它只是转发到名为T$class的东西,结果是

public abstract class T$class extends java.lang.Object{
public static java.lang.String g(T);
  Code:
  ...

因此,代码的主体根本不会从A的子类调用。

现在,使用Scala没有问题,因为它只是从字节码中省略了protected标志。但是Java强制只有子类可以调用受保护的方法。

因此你有问题和信息。

您无法轻易解决此问题,但错误消息表明可能是最佳选择:

public class JavaProtected {
  protected int getInt() { return 5; }
}

scala> trait T extends JavaProtected { def i = getInt }
<console>:8: error: Implementation restriction: trait T accesses
      protected method getInt inside a concrete trait method.
  Add an accessor in a class extending class JavaProtected as a workaround.

注意最后一行。

class WithAccessor extends JavaProtected { protected def myAccessor = getInt }
trait T extends WithAccessor { def i = myAccessor }

作品。