自身類型可以在不使用繼承情況下，使得一個類擁有另一個類的成員，如下為自身類型的定義格式 ```scala class ClassName { // 這個表達式就是自身類型 // this關鍵字可以替換成任何非關鍵字標識符，如self、myThis都可以 // T 可以是任何類，class、abstract class、trait等都可以 this T:=> } ``` 自身類型在`class`和`trait`中的含義不同。 <br/> **1. `trait`自身類型** ```scala class ClassA { def print = println("TraitA") } trait TraitB{ // 1. 自身類型使得TraitB擁有了ClassA的非private成員 // 2. 必須是ClassA的子類才有資格混入TraitB this:ClassA=> this.print // 調用ClassA的print方法 } // ClassC是ClassA的子類所以可以混入TraitB class ClassC extends ClassA with TraitB // ClassD不是ClassA的子類所以不能繼承，或混入TraitB，這里編譯時報錯 class ClassD extends TraitB ``` <br/> **2. `class`自身類型** 在類中的自身類型使得類抽象化，該類在實例化時必須混入指定的特質，這也叫動態混入特質。 ```scala trait TraitA trait TraitB extends TraitA trait traitC extends TraitA trait TraitD class ClassE { // 自身類型使得ClassE擁有TraitA非private成員 // 當 new ClassE時必須混入TraitA或TraitA的子特質 // TraitA不能包含抽象成員 self: TraitA=> } object App { def main(args:Array[String]): Unit = { // 必須混入TraitA或它的子特質，這里編譯報錯 val classE1 = new ClassE // 編譯通過 val classE2 = new ClassE with TraitB // 由于TraitD不是TraitA的子特質，所以這里編譯報錯 val classE3 = new ClassE with TraitD } } ```