论“如果trait有方法实现，那么Java类就不能实现这个trait”这句话是错的

发表于 Disqus： 本文字数： 1.5k 阅读时长 ≈ 1 分钟

最近还是在看郑大翻译的《Scala程序设计》，其中第十一章还有一句话：

如果trait有方法实现，那么Java类就不能实现这个trait

口说还是无凭，还是拍照为证：

我感觉这句话是错的，下面寻根究底地探索一下。

trait这个语言特性前面的博文讲过。

一个含有方法实现的trait会被编译成一个interface，还有一个含有实现的静态方法。

所有extends或者是with这个trait的Scala类，实际上都是implements了这个interface，在具体实现中调用了静态方法。

快速的简单回忆一下：

1
2
3
4
5
trait HappyThoughts {
  def whatAreYouThinking(): Unit = {
    println(" food :D ")
  }
}

定义一个含有方法实现的trait。

1
2
3
class Animal

class Dog extends Animal with HappyThoughts

然后让Dog去with这个trait。

之后就可以这样调用：

1
new Dog().whatAreYouThinking()

这样就能打印出food :D了。虽然Dog本身是空的，但是因为with了一个trait，它也拥有了一些行为。

再来看看反编译出的代码：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
public interface HappyThoughts
{
  public abstract void whatAreYouThinking();
}

public abstract class HappyThoughts$class
{
  public static void whatAreYouThinking(HappyThoughts $this)
  {
    Predef..MODULE$.println(" food :D ");
  }

  public static void $init$(HappyThoughts $this)
  {
  }
}

HappyThoughts就是上面这样的，一个interface，还有一个含有实现的静态方法。

Dog则是这样的：

1
2
3
4
5
6
7
8
9
10
11
12
public class Dog extends Animal implements HappyThoughts
{
  public void whatAreYouThinking()
  {
    HappyThoughts.class.whatAreYouThinking(this);
  }

  public Dog()
  {
  	HappyThoughts.class.$init$(this);
  }
}

它implements了HappyThoughts，其实现则依赖于上面提到的静态方法。

Ok，足够清晰了。

这么一个trait，当真在Java中不可以利用吗？

写点代码试试看：

1
2
3
4
5
6
public class DogJ implements HappyThoughts {
    @Override
    public void whatAreYouThinking() {
        HappyThoughts$class.whatAreYouThinking(this);
    }
}

基本照抄上面反编译的代码。这段Java代码是可以编译的，而且也可以运行，运行结果也是打印出了food :D。

这次，我就不去探寻旧版本的Scala是如何处理trait的了。我们只要知道当前版本（比如我用的2.10.4）的Scala中定义的含有方法实现的trait，拿到Java中依然是可用的就行了。虽说用起来有一点蹩脚，但终归是可用的。