Swift类型检查与转换

继承会发生在子类和父类中,如图所示,是一系列类的继承关系类图,Person是类层次结构中的根类,Student是Person的直接子类,Worker是Person的直接子类。
这个继承关系类图的具体实现代码以下:
php

[html] view plaincopy在CODE上查看代码片派生到个人代码片html

 

  1. class Person {  swift

  2.     var name : String  数组

  3.     var age : Int  微信

  4.       

  5.     func description() -> String {  网站

  6.         return "\(name) 年龄是: \(age)"  spa

  7.     }  .net

  8.     convenience init () {  code

  9.         self.init(name: "Tony")  orm

  10.         self.age = 18  

  11.     }  

  12.     convenience init (name : String) {  

  13.         self.init(name: name, age: 18)  

  14.     }  

  15.     init (name : String, age : Int) {  

  16.         self.name = name  

  17.         self.age  = age  

  18.     }  

  19. }  

  20.   

  21.   

  22. class Student : Person {  

  23.     var school : String  

  24.     init (name : String, age : Int, school : String) {  

  25.         self.school = school  

  26.         super.init(name : name, age : age)  

  27.     }  

  28. }  

  29.   

  30.   

  31. class Worker : Person {  

  32.     var factory : String  

  33.     init (name : String, age : Int, factory : String) {  

  34.         self.factory = factory  

  35.         super.init(name : name, age : age)  

  36.     }  

  37. }  




下面咱们将以此为例,介绍Swift类的类型检查与转换,其中包括is操做符、as操做符以及Any和AnyObject类型等。
1、使用is操做符
is操做符能够判断一个实例是不是某个类的类型。若是实例是目标类型,结果返回true,不然为false。
下面看一个示例:

[html] view plaincopy在CODE上查看代码片派生到个人代码片

 

  1. let Student1 = Student(name : "Tom", age : 18, school : "清华大学") ①  

  2. let Student2 = Student(name : "Ben", age : 28, school : "北京大学")  

  3. let Student3 = Student(name : "Tony", age : 38, school : "香港大学")    ②  

  4.   

  5.   

  6. let Worker1 = Worker(name : "Tom", age : 18, factory : "钢厂")    ③  

  7. let Worker2 = Worker(name : "Ben", age : 20, factory : "电厂")    ④  

  8.   

  9.   

  10. let people = [Student1, Student2, Student3, Worker1, Worker2]   ⑤  

  11.   

  12.   

  13. var StudentCount = 0  

  14. var WorkerCount = 0  

  15.   

  16.   

  17. for item in people {        ⑥  

  18.     if item is Worker { ⑦  

  19.         ++WorkerCount  

  20.     } else if item is Student { ⑧  

  21.         ++StudentCount  

  22.     }  

  23. }  

  24.   

  25.   

  26. 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 plaincopy在CODE上查看代码片派生到个人代码片

 

  1. let Student1 = Student(name : "Tom", age : 18, school : "清华大学") ①  

  2. let Student2 = Student(name : "Ben", age : 28, school : "北京大学")  

  3. let Student3 = Student(name : "Tony", age : 38, school : "香港大学")    ②  

  4.   

  5.   

  6. let Worker1 = Worker(name : "Tom", age : 18, factory : "钢厂")    ③  

  7. let Worker2 = Worker(name : "Ben", age : 20, factory : "电厂")    ④  

  8.   

  9.   

  10. let people = [Student1, Student2, Student3, Worker1, Worker2]   ⑤  

  11.   

  12.   

  13. for item in people {        ⑥  

  14.       

  15.     if let Student = item as? Student { ⑦  

  16.         println("Student school: \(Student.school)")    ⑧  

  17.     } else if let Worker = item as? Worker {    ⑨  

  18.         println("Worker factory: \(Worker.factory)")    ⑩  

  19.     }  

  20.       

  21. }  



上述代码第①行和第②行建立了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的基本数据类型。
下面将上一节的示例修改以下:

[html] view plaincopy在CODE上查看代码片派生到个人代码片

 

  1. let Student1 = Student(name : "Tom", age : 18, school : "清华大学")  

  2. let Student2 = Student(name : "Ben", age : 28, school : "北京大学")  

  3. let Student3 = Student(name : "Tony", age : 38, school : "香港大学")  

  4.   

  5.   

  6. let Worker1 = Worker(name : "Tom", age : 18, factory : "钢厂")  

  7. let Worker2 = Worker(name : "Ben", age : 20, factory : "电厂")  

  8.   

  9.   

  10. let people1: [Person] = [Student1, Student2, Student3, Worker1, Worker2]    ①  

  11. let people2: [AnyObject] = [Student1, Student2, Student3, Worker1, Worker2]     ②  

  12. let people3: [Any] = [Student1, Student2, Student3, Worker1, Worker2]   ③  

  13.   

  14.   

  15.   

  16.   

  17. for item in people3 {       ④  

  18.       

  19.     if let Student = item as? Student {  

  20.         println("Student school: \(Student.school)")  

  21.     } else if let Worker = item as? Worker {  

  22.         println("Worker factory: \(Worker.factory)")  

  23.     }  

  24.       

  25. }  



上述代码第①行是将5个实例放入Person数组中,第②行代码是将5个实例放入AnyObject数组中,第③行代码是将5个实例放入Any数组中。

这3种类型的数组均可以成功放入5个实例,并且能够在第④行使用for Int循环遍历出来,其余的类型代码再也不解释。

 

 

更多内容请关注国内第一本Swift图书《Swift开发指南》

本书交流讨论网站:http://www.51work6.com/swift.php

欢迎加入Swift技术讨论群:362298485

 

 

 

 

 

 

 

 

 

 

欢迎关注智捷iOS课堂微信公共平台

相关文章
相关标签/搜索