探索Scala（2）-- Traits

最新推荐文章于 2021-11-30 20:31:49 发布

zxh0

最新推荐文章于 2021-11-30 20:31:49 发布

阅读量2.3k

点赞数 1

分类专栏： Scala 文章标签： Scala

本文链接：https://blog.csdn.net/zxhoo/article/details/40378191

版权

Scala 专栏收录该内容

7 篇文章 0 订阅

订阅专栏

本文记录我对Scala语言Traits的一些理解。

trait >= interface

Scala语言没有接口（Interface）的概念，取而代之的，是功能更加强大的Trait。因此，interface在Scala语言里并不是关键字，我们可以自由的使用它，如下面这段代码所示：

但是要注意，上面的代码虽然是合法的Scala代码，能编译出ScalaObject.class。但是如果想在Java里正常使用这个class的话，就会遇到问题。

没有具体方法的Trait会被编译成接口

如果一个Trait没有定义任何有具体实现的方法，那么它和接口是等价的。换句话说，如果一个Trait的所有方法（如果有的话）全都是抽象的，那么Scala会把它编译成Java接口。比如下面这个没有任何方法的TraitA：

会被编译成TraitA.class，分析class文件可以知道，它其实等价于下面的Marker接口：

public interface TraitA {

}

再比如下面这个有两个抽象方法的 TraitB：

会被编译为：

public interface TraitB {
    public int m1();
    public int m2(int arg);
}

有具体方法的Trait会被编译成两个class文件

以下面这个TraitC为例：

编译之后得到两个class文件：TraitC.class和TraitC$class.class。分析class文件可以知道，TraitC.class实际上是一个接口，如下所示：

public interface TraitC {
    public int m3(int arg);
}

方法实现在TraitC$class.class里，如下所示：

public abstract class TraitC$class {
    public static int m3(TraitC t, int arg) {
        return 1;
    }
    public static void $init$() {
        //return;
    }
}

由此可知：

Trait会被编译为等价的接口
如果Trait有具体方法，则这些方法会被复制到相应的$class类里，并且有下面两处变动：
1. 方法变为static
2. Trait实例被插入到参数列表的最开始

字段（Fields）

如果Trait定义了字段呢？比如下面这个TraitD：

编译之后，仍然会得到两个class文件，如下所示：

public interface TraitD {
    public int f1();
    public void f1_$eq(int i);
}
public abstract class TraitD$class {
    public static void $init$(TraitD t) {
        t.f1_$eq(1);
    }
}

由此可知：

Trait仍然被编译成了等价的接口，但var字段被替换成了一对儿getter/setter方法。需要注意的是，这对getter/setter方法并没有按照JavaBean风格来命名
相应的$class类里只有一个$init$方法

Mix in Traits

下面通过一个类来观察一下mix in上面提到的Traits之后，会发生什么：

下面是反编译之后的MyClass（Java）代码：

public class MixedIn implements TraitA, TraitB, TraitC, TraitD {

    private int f1;
    
    public MixedIn() {
        TraitC$class.$init$(this);
        TraitD$class.$init$(this);
    }

    public int f1() {
        return this.f1;
    }
    public void f1_$eq(int val) {
        this.f1 = val;
    }

    public int m1() {
        return 0;
    }
    public int m2(int arg) {
        return arg;
    }

    public int m3(int arg) {
        return TraitC$class.m3(this, arg);
    }

}

分析如下：