Scala 系列(九)—— 繼承和特質
一、繼承
1.1 Scala中的繼承結構
Scala 中繼承關係如下圖:
- Any 是整個繼承關係的根節點;
- AnyRef 包含 Scala Classes 和 Java Classes,等價於 Java 中的 java.lang.Object;
- AnyVal 是所有值型別的一個標記;
- Null 是所有引用型別的子型別,唯一例項是 null,可以將 null 賦值給除了值型別外的所有型別的變數;
- Nothing 是所有型別的子型別。
1.2 extends & override
Scala 的整合機制和 Java 有很多相似之處,比如都使用 extends
關鍵字表示繼承,都使用 override
//父類 class Person { var name = "" // 1.不加任何修飾詞,預設為 public,能被子類和外部訪問 var age = 0 // 2.使用 protected 修飾的變數能子類訪問,但是不能被外部訪問 protected var birthday = "" // 3.使用 private 修飾的變數不能被子類和外部訪問 private var sex = "" def setSex(sex: String): Unit = { this.sex = sex } // 4.重寫父類的方法建議使用 override 關鍵字修飾 override def toString: String = name + ":" + age + ":" + birthday + ":" + sex }
使用 extends
關鍵字實現繼承:
// 1.使用 extends 關鍵字實現繼承
class Employee extends Person {
override def toString: String = "Employee~" + super.toString
// 2.使用 public 或 protected 關鍵字修飾的變數能被子類訪問
def setBirthday(date: String): Unit = {
birthday = date
}
}
測試繼承:
object ScalaApp extends App { val employee = new Employee employee.name = "heibaiying" employee.age = 20 employee.setBirthday("2019-03-05") employee.setSex("男") println(employee) } // 輸出: Employee~heibaiying:20:2019-03-05:男
1.3 呼叫超類構造器
在 Scala 的類中,每個輔助構造器都必須首先呼叫其他構造器或主構造器,這樣就導致了子類的輔助構造器永遠無法直接呼叫超類的構造器,只有主構造器才能呼叫超類的構造器。所以想要呼叫超類的構造器,程式碼示例如下:
class Employee(name:String,age:Int,salary:Double) extends Person(name:String,age:Int) {
.....
}
1.4 型別檢查和轉換
想要實現類檢查可以使用 isInstanceOf
,判斷一個例項是否來源於某個類或者其子類,如果是,則可以使用 asInstanceOf
進行強制型別轉換。
object ScalaApp extends App {
val employee = new Employee
val person = new Person
// 1. 判斷一個例項是否來源於某個類或者其子類 輸出 true
println(employee.isInstanceOf[Person])
println(person.isInstanceOf[Person])
// 2. 強制型別轉換
var p: Person = employee.asInstanceOf[Person]
// 3. 判斷一個例項是否來源於某個類 (而不是其子類)
println(employee.getClass == classOf[Employee])
}
1.5 構造順序和提前定義
1. 構造順序
在 Scala 中還有一個需要注意的問題,如果你在子類中重寫父類的 val 變數,並且超類的構造器中使用了該變數,那麼可能會產生不可預期的錯誤。下面給出一個示例:
// 父類
class Person {
println("父類的預設構造器")
val range: Int = 10
val array: Array[Int] = new Array[Int](range)
}
//子類
class Employee extends Person {
println("子類的預設構造器")
override val range = 2
}
//測試
object ScalaApp extends App {
val employee = new Employee
println(employee.array.mkString("(", ",", ")"))
}
這裡初始化 array 用到了變數 range,這裡你會發現實際上 array 既不會被初始化 Array(10),也不會被初始化為 Array(2),實際的輸出應該如下:
父類的預設構造器
子類的預設構造器
()
可以看到 array 被初始化為 Array(0),主要原因在於父類構造器的執行順序先於子類構造器,這裡給出實際的執行步驟:
- 父類的構造器被呼叫,執行
new Array[Int](range)
語句; - 這裡想要得到 range 的值,會去呼叫子類 range() 方法,因為
override val
重寫變數的同時也重寫了其 get 方法; - 呼叫子類的 range() 方法,自然也是返回子類的 range 值,但是由於子類的構造器還沒有執行,這也就意味著對 range 賦值的
range = 2
語句還沒有被執行,所以自然返回 range 的預設值,也就是 0。
這裡可能比較疑惑的是為什麼 val range = 2
沒有被執行,卻能使用 range 變數,這裡因為在虛擬機器層面,是先對成員變數先分配儲存空間並賦給預設值,之後才賦予給定的值。想要證明這一點其實也比較簡單,程式碼如下:
class Person {
// val range: Int = 10 正常程式碼 array 為 Array(10)
val array: Array[Int] = new Array[Int](range)
val range: Int = 10 //如果把變數的宣告放在使用之後,此時資料 array 為 array(0)
}
object Person {
def main(args: Array[String]): Unit = {
val person = new Person
println(person.array.mkString("(", ",", ")"))
}
}
2. 提前定義
想要解決上面的問題,有以下幾種方法:
(1) . 將變數用 final 修飾,代表不允許被子類重寫,即 final val range: Int = 10
;
(2) . 將變數使用 lazy 修飾,代表懶載入,即只有當你實際使用到 array 時候,才去進行初始化;
lazy val array: Array[Int] = new Array[Int](range)
(3) . 採用提前定義,程式碼如下,代表 range 的定義優先於超類構造器。
class Employee extends {
//這裡不能定義其他方法
override val range = 2
} with Person {
// 定義其他變數或者方法
def pr(): Unit = {println("Employee")}
}
但是這種語法也有其限制:你只能在上面程式碼塊中重寫已有的變數,而不能定義新的變數和方法,定義新的變數和方法只能寫在下面程式碼塊中。
注意事項:類的繼承和下文特質 (trait) 的繼承都存在這個問題,也同樣可以通過提前定義來解決。雖然如此,但還是建議合理設計以規避該類問題。
二、抽象類
Scala 中允許使用 abstract
定義抽象類,並且通過 extends
關鍵字繼承它。
定義抽象類:
abstract class Person {
// 1.定義欄位
var name: String
val age: Int
// 2.定義抽象方法
def geDetail: String
// 3. scala 的抽象類允許定義具體方法
def print(): Unit = {
println("抽象類中的預設方法")
}
}
繼承抽象類:
class Employee extends Person {
// 覆蓋抽象類中變數
override var name: String = "employee"
override val age: Int = 12
// 覆蓋抽象方法
def geDetail: String = name + ":" + age
}
三、特質
3.1 trait & with
Scala 中沒有 interface 這個關鍵字,想要實現類似的功能,可以使用特質 (trait)。trait 等價於 Java 8 中的介面,因為 trait 中既能定義抽象方法,也能定義具體方法,這和 Java 8 中的介面是類似的。
// 1.特質使用 trait 關鍵字修飾
trait Logger {
// 2.定義抽象方法
def log(msg: String)
// 3.定義具體方法
def logInfo(msg: String): Unit = {
println("INFO:" + msg)
}
}
想要使用特質,需要使用 extends
關鍵字,而不是 implements
關鍵字,如果想要新增多個特質,可以使用 with
關鍵字。
// 1.使用 extends 關鍵字,而不是 implements,如果想要新增多個特質,可以使用 with 關鍵字
class ConsoleLogger extends Logger with Serializable with Cloneable {
// 2. 實現特質中的抽象方法
def log(msg: String): Unit = {
println("CONSOLE:" + msg)
}
}
3.2 特質中的欄位
和方法一樣,特質中的欄位可以是抽象的,也可以是具體的:
- 如果是抽象欄位,則混入特質的類需要重寫覆蓋該欄位;
- 如果是具體欄位,則混入特質的類獲得該欄位,但是並非是通過繼承關係得到,而是在編譯時候,簡單將該欄位加入到子類。
trait Logger {
// 抽象欄位
var LogLevel:String
// 具體欄位
var LogType = "FILE"
}
覆蓋抽象欄位:
class InfoLogger extends Logger {
// 覆蓋抽象欄位
override var LogLevel: String = "INFO"
}
3.3 帶有特質的物件
Scala 支援在類定義的時混入 父類 trait
,而在類例項化為具體物件的時候指明其實際使用的 子類 trait
。示例如下:
trait Logger:
// 父類
trait Logger {
// 定義空方法 日誌列印
def log(msg: String) {}
}
trait ErrorLogger:
// 錯誤日誌列印,繼承自 Logger
trait ErrorLogger extends Logger {
// 覆蓋空方法
override def log(msg: String): Unit = {
println("Error:" + msg)
}
}
trait InfoLogger:
// 通知日誌列印,繼承自 Logger
trait InfoLogger extends Logger {
// 覆蓋空方法
override def log(msg: String): Unit = {
println("INFO:" + msg)
}
}
具體的使用類:
// 混入 trait Logger
class Person extends Logger {
// 呼叫定義的抽象方法
def printDetail(detail: String): Unit = {
log(detail)
}
}
這裡通過 main 方法來測試:
object ScalaApp extends App {
// 使用 with 指明需要具體使用的 trait
val person01 = new Person with InfoLogger
val person02 = new Person with ErrorLogger
val person03 = new Person with InfoLogger with ErrorLogger
person01.log("scala") //輸出 INFO:scala
person02.log("scala") //輸出 Error:scala
person03.log("scala") //輸出 Error:scala
}
這裡前面兩個輸出比較明顯,因為只指明瞭一個具體的 trait
,這裡需要說明的是第三個輸出,因為 trait 的呼叫是由右到左開始生效的,所以這裡打印出 Error:scala
。
3.4 特質構造順序
trait
有預設的無參構造器,但是不支援有參構造器。一個類混入多個特質後初始化順序應該如下:
// 示例
class Employee extends Person with InfoLogger with ErrorLogger {...}
- 超類首先被構造,即 Person 的構造器首先被執行;
- 特質的構造器在超類構造器之前,在類構造器之後;特質由左到右被構造;每個特質中,父特質首先被構造;
- Logger 構造器執行(Logger 是 InfoLogger 的父類);
- InfoLogger 構造器執行;
- ErrorLogger 構造器執行;
- 所有超類和特質構造完畢,子類才會被構造。
參考資料
- Martin Odersky . Scala 程式設計 (第 3 版)[M] . 電子工業出版社 . 2018-1-1
- 凱.S.霍斯特曼 . 快學 Scala(第 2 版)[M] . 電子工業出版社 . 2017-7
更多大資料系列文章可以參見 GitHub 開源專案: 大資料入門指南