概念

Scala语言中,采用特质trait(特征)来代替接口的概念,也就是说,多个类具有相同的特征(特征)时,就可以将这个特质(特征)独立出来,采用关键字trait声明。
Scala中的trait中即可以有抽象属性和方法,也可以有具体的属性和方法,一个类可以混入(mixin)多个特质。
Scala引入trait特征,第一可以替代Java的接口,第二个也是对单继承机制的一种补充。

被trait修饰的类在编译后就变成interface修饰的类了

  1. 抽象类中有的东西, trait都可以有.
    抽象类是类, 所以只能单继承
    trait 可以多继承
  2. 当类继承类和trail, 对前面用extends, 后面的统一用with(混入),因为extends只能用一个,如果声明两个就会报错.

声明特质

  1. trait 特质名 {
  2. trait主体
  3. }
trait PersonTrait {

    // 声明属性
    var name:String = _

    // 声明方法
    def eat():Unit={

    }

    // 抽象属性
    var age:Int

    // 抽象方法
    def say():Unit
}

通过查看字节码,可以看到特质=抽象类+接口

特质基本语法

一个类具有某种特质(特征),就意味着这个类满足了这个特质(特征)的所有要素,所以在使用时,也采用了extends关键字,如果有多个特质或存在父类,那么需要采用with关键字连接。

1)基本语法:
没有父类:class 类名 extends 特质1 with 特质2 with 特质3 …
有父类:class 类名 extends 父类 with 特质1 with 特质2 with 特质3…
2)说明
(1)类和特质的关系:使用继承的关系。
(2)当一个类去继承特质时,第一个连接词是extends,后面是with。
(3)如果一个类在同时继承特质和父类时,应当把父类写在extends后。

案例

(1)特质可以同时拥有抽象方法和具体方法
(2)一个类可以混入(mixin)多个特质
(3)所有的Java接口都可以当做Scala特质使用
(4)动态混入:可灵活的扩展类的功能
(4.1)动态混入:创建对象时混入trait,而无需使类混入该trait
(4.2)如果混入的trait中有未实现的方法,则需要实现

trait PersonTrait {

    //(1)特质可以同时拥有抽象方法和具体方法
    // 声明属性
    var name: String = _

    // 抽象属性
    var age: Int

    // 声明方法
    def eat(): Unit = {
        println("eat")
    }

    // 抽象方法
    def say(): Unit
}

trait SexTrait {
    var sex: String
}

//(2)一个类可以实现/继承多个特质
//(3)所有的Java接口都可以当做Scala特质使用
class Teacher extends PersonTrait with java.io.Serializable {

    override def say(): Unit = {
        println("say")
    }

    override var age: Int = _
}


object TestTrait {

    def main(args: Array[String]): Unit = {

        val teacher = new Teacher

        teacher.say()
        teacher.eat()

        //(4)动态混入:可灵活的扩展类的功能
        val t2 = new Teacher with SexTrait {
            override var sex: String = "男"
        }

        //调用混入trait的属性
        println(t2.sex)
    }
}

特质叠加

由于一个类可以混入(mixin)多个trait,且trait中可以有具体的属性和方法,若混入的特质中具有相同的方法(方法名,参数列表,返回值均相同),必然会出现继承冲突问题。冲突分为以下两种:
第一种,一个类(Sub)混入的两个trait(TraitA,TraitB)中具有相同的具体方法,且两个trait之间没有任何关系,解决这类冲突问题,直接在类(Sub)中重写冲突方法。

image.png


第二种,一个类(Sub)混入的两个trait(TraitA,TraitB)中具有相同的具体方法,且两个trait继承自相同的trait(TraitC),及所谓的“钻石问题”,解决这类冲突问题,Scala采用了特质叠加的策略。

image.png

所谓的特质叠加,就是将混入的多个trait中的冲突方法叠加起来,案例如下,

trait Ball {
def describe(): String = {
“ball”
}
}

trait Color extends Ball {
override def describe(): String = {
“blue-“ + super.describe()
}
}

trait Category extends Ball {
override def describe(): String = {
“foot-“ + super.describe()
}
}

class MyBall extends Category with Color {
override def describe(): String = {
“my ball is a “ + super.describe()
}
}

object TestTrait {
def main(args: Array[String]): Unit = {
println(new MyBall().describe())
}
}

结果如下:
image.png

特质叠加执行顺序

思考:上述案例中的super.describe()调用的是父trait中的方法吗?
当一个类混入多个特质的时候,scala会对所有的特质及其父特质按照一定的顺序进行排序,而此案例中的super.describe()调用的实际上是排好序后的下一个特质中的describe()方法。,排序规则如下:

image.png

(1)案例中的super,不是表示其父特质对象,而是表示上述叠加顺序中的下一个特质,即,**MyClass中的super指代Color,Color中的super指代Category,Category中的super指代Ball。**<br />(2)如果想要调用某个指定的混入特质中的方法,可以增加约束:super[],例如super[Category].describe()。

特质中构造器的调用顺序

父类第一个初始化构造器,然后先混入的先初始化构造器,后混入的后初始化构造器.

构造执行顺序:

  1. 父类
  2. 第一个混入的
  3. 第二个混入的
  4. 子类

特质自身类型

1)说明
自身类型可实现依赖注入的功能。
2)案例实操
class User(val name: String, val age: Int)

trait Dao {
def insert(user: User) = {
println(“insert into database :” + user.name)
}
}

trait APP {
_: Dao =>

def login(user: User): Unit = {
println(“login :” + user.name)
insert(user)
}
}

object MyApp extends APP with Dao {
def main(args: Array[String]): Unit = {
login(new User(“bobo”, 11))
}
}

特质和抽象类的区别

1.优先使用特质。一个类扩展多个特质是很方便的,但却只能扩展一个抽象类。
2.如果你需要构造函数参数,使用抽象类。因为抽象类可以定义带参数的构造函数,而特质不行(有无参构造)。