Swift類型檢查與轉換

時間 2019-12-10

標籤 swift 類型檢查轉換欄目 Swift 简体版

原文原文鏈接

繼承會發生在子類和父類中，如圖所示，是一系列類的繼承關係類圖，Person是類層次結構中的根類，Student是Person的直接子類，Worker是Person的直接子類。
這個繼承關係類圖的具體實現代碼以下：
php

class Person { swift
var name : String 數組
var age : Int 微信
func description() -> String { 網站
return "\(name) 年齡是: \(age)" spa
} .net
convenience init () { code
self.init(name: "Tony") orm
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操做符以及Any和AnyObject類型等。
1、使用is操做符
is操做符能夠判斷一個實例是不是某個類的類型。若是實例是目標類型，結果返回true，不然爲false。
下面看一個示例：

[html] view plain copy

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] ⑤
var StudentCount = 0
var WorkerCount = 0
for item in people { ⑥
if item is Worker { ⑦
++WorkerCount
} else if item is Student { ⑧
++StudentCount
}
}
println("工人人數：\(WorkerCount) ，學生人數：\(StudentCount) 。")

上述代碼第①行和第②行建立了3個Student實例，第③行和第④行建立了兩個Worker實例，而後把這5個實例放入people數組集合中。
在第⑥行使用for in遍歷people數組集合。在循環體中，第⑦行item is Worker表達式是判斷集合中的元素是不是Worker類的實例。相似地，第⑧行item is Student表達式是判斷集合中的元素是不是Student類的實例。
輸出結果以下：
工人人數：2，學生人數：3。
2、使用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個實例p一、p二、p3，類型都是Person。p1是Student實例，p2是Worker實例，p3是Person實例。首先，對象類型轉換必定發生在繼承的前提下，p1和p2都聲明爲Person類型，而實例是由Person子類型實例化的。

實例：Person
做爲這段程序的編寫者，咱們知道p1本質上是Student實例，可是表面上看是Person類型，編譯器也沒法推斷p1的實例是Person、Student仍是Worker。咱們可使用is操做符來判斷它是哪一類的實例。而後在轉換時可使用as操做符將其轉換爲子類類型，即把Person類型的p1轉爲Student子類類型，這種轉換被稱爲向下轉型。這種轉換是有風險的，若是p1不是目標類型，轉換就會失敗。爲了避免發生異常，咱們可使用as?將其轉換爲目標類型的可選類型，可以成功則轉換，不成功則返回nil。
從表15-1可見，p1到Student類型轉換是向下轉型，可以成功，p1到Worker類型轉換是向下轉型但會失敗，p1到Person類型轉換不須要向下轉型就可以成功賦值，由於p1自己就是Person類型。p2與p1相似。
p3與p1和p2有很大的不一樣，由於p3本質上是Person實例，不能向下轉型。
下面看一個示例：

[html] view plain copy

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 { ⑦
println("Student school: \(Student.school)") ⑧
} else if let Worker = item as? Worker { ⑨
println("Worker factory: \(Worker.factory)") ⑩
}
}

上述代碼第①行和第②行建立了3個Student實例，第③行和第④行建立了兩個Worker實例。而後把這5個實例放入people數組集合中。
在第⑥行使用for in遍歷people數組集合。在循環體中，第⑦行let Student = item as? Student語句使用as?操做符將元素轉換爲Student類型。若是轉換成功，則把元素賦值給Student變量，不然將nil賦值給Student變量，轉換成功執行第⑧行代碼。第⑨行代碼與第⑦行代碼相似，再也不贅述。
最後輸出結果以下：
Student school: 清華大學
Student school: 北京大學
Student school: 香港大學
Worker factory: 鋼廠
Worker factory: 電廠
3、使用Any和AnyObject類型
在Swift中還提供了兩種類型表示不肯定類型：AnyObject和Any。AnyObject能夠表示任何類的實例，而Any能夠表示任何類型，包括類和其餘數據類型，也包括Int和Double的基本數據類型。
下面將上一節的示例修改以下：