Swift類型檢查與轉換，Swift類型檢查轉換

Swift類型檢查與轉換，Swift類型檢查轉換
繼承會發生在子類和父類中，，是一系列類的繼承關係類圖，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操作符以及Any和AnyObject類型等。
一、使用is操作符
is操作符可以判斷一個執行個體是否是某個類的類型。如果執行個體是目標類型，結果返回true，否則為false。
下面看一個樣本：

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 = 0var WorkerCount = 0for 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。
二、使用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子類型執行個體化的。
執行個體：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執行個體，不能向下轉型。
下面看一個樣本：

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: 電廠
三、使用Any和AnyObject類型
在Swift中還提供了兩種類型表示不確定類型：AnyObject和Any。AnyObject可以表示任何類的執行個體，而Any可以表示任何類型，包括類和其他資料類型，也包括Int和Double的基礎資料型別 (Elementary Data Type)。
下面將上一節的樣本修改如下：

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 people1: [Person] = [Student1, Student2, Student3, Worker1, Worker2] ①let people2: [AnyObject] = [Student1, Student2, Student3, Worker1, Worker2] ②let people3: [Any] = [Student1, Student2, Student3, Worker1, Worker2] ③for item in people3 {④        if let Student = item as? Student {        println("Student school: \(Student.school)")    } else if let Worker = item as? Worker {        println("Worker factory: \(Worker.factory)")    }    }

上述代碼第①行是將5個執行個體放入Person數組中，第②行代碼是將5個執行個體放入AnyObject數組中，第③行代碼是將5個執行個體放入Any數組中。

這3種類型的數組都可以成功放入5個執行個體，而且可以在第④行使用for Int迴圈遍曆出來，其他的類型代碼不再解釋。

更多內容請關注國內第一本Swift圖書《Swift開發指南》本書交流討論網站：http://www.51work6.com/swift.php歡迎加入Swift技術討論群：362298485

歡迎關注智捷iOS課堂公用平台

java 物件類型資訊 存在哪？ 強制類型轉化的時需要執行什檢查以確保程式的正確性？

JVM維護了一個叫方法區的記憶體地區。方法區裡儲存了所用到的類型資訊，如該類的全限定名，直接父類的全限定名，指向classloader的指標，指向Class對象的指標等等。

所有在堆上建立的對象都有一個指回方法區的指標，該指標指向了該對象的實際類型資訊。

執行instanceof的時候，JVM就是通過尋找方法區中的類型資訊來獲得結果的。在做類型轉換時，JVM同樣需要檢查類型資訊，以判斷該轉換是否合法
 
java中的類型轉換

java的資料類型是強型別 意思就是要求每一個變數或常量都要有明確的資料類型（比如基本類型的int char byte..或其他自己定義的類型）
所以java編譯器在編譯時間都會對每一個變數或常量進行檢查，相同的資料類型才能進行一些操作
比如說
//i為整形
int i = 0;
//c為char類型
char c = '1';
這個時候對i和c做相加操作，就會拋出異常
所以要先對c做類型轉化，將其轉化為int類型（方法：int（c））
不過 如果c = 'x'（裡面的不是數字）就無法轉換了
上面說的是最基本的，其他的學習再深入一點就會瞭解到了
具體各種類型的轉換方法搜下java類型轉換應該可以找到很多

希望以上可以幫到你理解