繼承會發生在子類和父類之間,是一系列類的繼承關系。
例如:Person是類層次結構中的根類,Student是Person的直接子類,Worker是Person的直接子類。
這個繼承關系類的具體實現代碼如下:
class Person { var name: String var age: Int func description() -> String { return "\(name) 年齡是: \(age)" } convenience init () { self.init(name: "Tony") self.age = 18 } convenience init (name: String) { self.init(name: name, age: 18) } init (name: String, age: Int) { self.name = name self.age = age } } class Student: Person { var school: String init (name: String, age: Int, school: String) { self.school = school super.init(name: name, age: age) } } class Worker: Person { var factory: String init (name: String, age: Int, factory: String) { self.factory = factory super.init(name: name, age: age) } }
下面將以此為例,介紹Swift類的類型檢查與轉換,包括is操作符、as操作符。
使用is操作符
is操作符可以判斷一個實例是否是某個類的類型。如果實例是目標類型,結果返回true,否則為false。
下面看一個示例:
let student1 = Student(name: "Tom", age: 18,school: "清華大學")//創建Student實例
let student2 = Student(name: "Ben", age: 28,school: "北京大學")//創建Student實例
let student3 = Student(name: "Tony", age: 38,school: "香港大學")//創建Student實例
let worker1 = Worker(name: "Tom", age: 18,factory: "鋼廠")//創建Worker實例
let worker2 = Worker(name: "Ben", age: 20,factory: "電廠")//創建Worker實例
let people = [student1, student2,student3, worker1,worker2] //實例放入people數組集合中
var studentCount = 0
var workerCount = 0
for item in people { //使用for in遍歷people數組集合
if item is Worker {
++workerCount
} else if item is Student {
++studentCount
}
}
print("工人人數:\(workerCount) ,學生人數:\(studentCount) 。")
我們可以在循環體中進行判斷, item is Worker表達式是判斷集合中的元素是否是Worker類的實例。
類似地, item is Student表達式是判斷集合中的元素是否是Student類的實例。
輸出結果如下:
工人人數:2,學生人數:3。
使用as操作符
在介紹as操作符之前,先了解一下對象的類型轉換,並不是所有的類型都能互相轉換。下面先看如下語句:
let p1: Person = Student(name: "Tom", age: 20,school: "清華大學")
let p2: Person = Worker(name: "Tom", age: 18,factory: "鋼廠")
let p3: Person = Person(name: "Tom", age: 28)
這裡創建了3個實例p1、p2、p3,類型都是Person。p1是Student實例,p2是Worker實例,p3是Person實例。首先,對象類型轉換一定發生在繼承的前提下,p1和p2都聲明為Person類型,而實例是由Person子類型實例化的。
作為這段程序的編寫者,我們知道p1本質上是Student實例,但是表面上看是Person類型,編譯器也無法推斷p1的實例是Person、Student還是Worker。我們可以使用is操作符來判斷它是哪一類的實例。然後在轉換時可以使用as操作符將其轉換為子類類型,即把Person類型的p1轉為Student子類類型,這種轉換被稱為向下轉型。這種轉換是有風險的,如果p1不是目標類型,轉換就會失敗。為了不發生異常,我們可以使用as?將其轉換為目標類型的可選類型,能夠成功則轉換,不成功則返回nil。
p3與p1和p2有很大的不同,因為p3本質上是Person實例,不能向下轉型。
下面看一個示例:
let student1 = Student(name: "Tom", age: 18, school: "清華大學") let student2 = Student(name: "Ben", age: 28, school: "北京大學") let student3 = Student(name: "Tony", age: 38, school: "香港大學") let worker1 = Worker(name: "Tom", age: 18, factory: "鋼廠") let worker2 = Worker(name: "Ben", age: 20, factory: "電廠") let people = [student1, student2, student3, worker1, worker2] for item in people { if let student = item as? Student { print("Student school: \(Student.school)") } else if let worker = item as? Worker { print("Worker factory: \(Worker.factory)") } }
使用for in遍歷people數組集合。在循環體中, letstudent = item as? Student語句使用as?操作符將元素轉換為Student類型。如果轉換成功,則把元素賦值給Student變量,否則將nil賦值給Student變量,轉換成功執行代碼。
最後輸出結果如下:
Student school: 清華大學
Student school: 北京大學
Student school: 香港大學
Worker factory: 鋼廠
Worker factory: 電廠
as?操作符是在不確定是否類型轉換能夠成功情況下使用,如果成功轉換結果是可選類型。如果我們能夠確保轉換一定成功,可以使用as!操作符在轉換的同時進行隱式拆包。
示例代碼如下:
... let people = [student1, student2, student3, worker1, worker2] ... let stud1 = people[0] as? Student //people數組的第一個元素 print(stud1) print(stud1!.name) let stud2 = people[1] as! Student //people數組的第二個元素 print(stud2) print(stud2.name)
輸出結果:
Optional(Student)
Student
代碼中people數組的第一個元素,使用as?操作符轉換為Student類型,轉換成功為Optional(Student),即Student可選類型。
代碼中people數組的第二個元素,使用as!操作符轉換為Student類型,轉換成功為Student類型實例,而非Student可選類型。