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 = 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。
二、使用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的基本数据类型。
下面将上一节的示例修改如下:

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课堂微信公共平台

时间: 2024-08-27 14:15:24

Swift类型检查与转换的相关文章

《从零開始学Swift》学习笔记(Day48)——类型检查与转换

原创文章,欢迎转载.转载请注明:关东升的博客 继承会发生在子类和父类之间,是一系列类的继承关系. 比如:Person是类层次结构中的根类.Student是Person的直接子类.Worker是Person的直接子类. 这个继承关系类的详细实现代码例如以下: class Person { var name: String var age: Int func description() -> String { return "\(name) 年龄是: \(age)" } conven

《从零开始学Swift》学习笔记(Day48)——类型检查与转换

原创文章,欢迎转载.转载请注明:关东升的博客 继承会发生在子类和父类之间,是一系列类的继承关系. 例如:Person是类层次结构中的根类,Student是Person的直接子类,Worker是Person的直接子类. 这个继承关系类的具体实现代码如下: class Person {     var name: String     var age: Int          func description() -> String {         return "\(name) 年龄是

Swift数字类型之间的转换

Swift数字类型之间的转换Swift是一种安全的语言,对于类型的检查非常严格,不同类型之间不能随便转换.一.整型之间的转换在C和Objective-C等其他语言中,整型之间有两种转换方法:从小范围数到大范围数转换是自动的:从大范围数到小范围数需要强制类型转换,有可能造成数据精度的丢失.而在Swift中这两种方法是行不通的,我们需要通过一些函数进行显式地转换,代码如下: let historyScore:UInt8 = 90 let englishScore:UInt16 = 130 let t

苹果新的编程语言 Swift 语言进阶(十三)--类型检查与类型嵌套

一 类型检查 1. 类型检查操作符 类型检查用来检查或转换一个实例的类型到另外的类型的一种方式. 在Swift中,类型检查使用is和as操作符来实现. is操作符用来检查一个实例是否是某种特定类型,如果是返回true,否则返回false. as操作符用来把某个实例转型为另外的类型,由于实例转型可能失败,因此Swift为as操作符提供了两种形式:选项形式as?和强制形式as. 选项形式(as?)的操作执行转换并返回期望类型的一个选项值,如果转换成功则返回的选项包含有效值,否则选项值为 nil 强制

iOS开发——swift篇&经典语法(二十三)类型检查

类型检查 类型检查是一种检查类实例的方式,并且或者也是让实例作为它的父类或者子类的一种方式. 类型检查在 Swift 中使用is 和 as操作符实现.这两个操作符提供了一种简单达意的方式去检查值的类型或者转换它的类型. 你也可以用来检查一个类是否实现了某个协议,就像在 Protocols Checking for Protocol Conformance部分讲述的一样. 定义一个类层次作为例子 你可以将它用在类和子类的层次结构上,检查特定类实例的类型并且转换这个类实例的类型成为这个层次结构中的其

Swift - 类型判断is 与 类型转换as

在Swift中,通常使用is和as操作符来实现类型检查和转换.下面通过样例来演示使用方法,首先定义几个类. 1 2 3 4 5 6 7 8 9 10 11 //基类,人类 class Human{ } //男人类 class Man:human{ } //女人类 class Woman:human{ } 1,is 用来做类型检查 (注意:is也可以用来检查某个类是否遵循了某个协议) 1 2 3 4 5 6 7 8 9 10 11 let man = Man() let woman = Woman

swift 类型.

swift 类型 变量声明 用let来声明常量,用var来声明变量 可以在一行中声明多个常量或者多个变量,用逗号隔开 var x = 0.0, y = 0.0, z = 0.0 类型安全 Swift 是一个类型安全(type safe)的语言.类型安全的语言可以让你清楚地知道代码要处理的值的类型. 一个变量是什么类型,通过两种方式来表达: 类型标注 类型标注表示这个变量可以存储某种类型的值,声明中的冒号代表着“是...类型”: var welcomeMessage: String 类型推断 如果

Java中静态类型检查是如何进行的

以下内容来自维基百科,关于静态类型检查和动态类型检查的解释: 静态类型检查:基于程序的源代码来验证类型安全的过程: 动态类型检查:在程序运行期间验证类型安全的过程: Java使用静态类型检查在编译期间分析程序,确保没有类型错误.基本的思想是不要让类型错误在运行期间发生. 以下代码是一个例子,理解了他,你会更好的理解Java静态类型检查是如何工作的. 代码示例 假定我们有如下类,A和B,B继承A. class A { A me() { return this; } public void doA(

【Simple Java】Java中静态类型检查是如何进行的

以下内容来自维基百科,关于静态类型检查和动态类型检查的解释: 静态类型检查:基于程序的源代码来验证类型安全的过程: 动态类型检查:在程序运行期间验证类型安全的过程: Java使用静态类型检查在编译期间分析程序,确保没有类型错误.基本的思想是不要让类型错误在运行期间发生. 以下代码是一个例子,理解了他,你会更好的理解Java静态类型检查是如何工作的. 代码示例 假定我们有如下类,A和B,B继承A. class A { A me() { return this; } public void doA(