初始化和可选链
初始化器
类、结构体、枚举都可以定义初始化器
类有2中初始化器: 指定初始化器(designated initializer
)、便捷初始化器(convenience initializer
)
- 每个类至少有一个指定初始化器, 指定初始化器是类的主要初始化器
- 默认初始化器总是雷德指定初始化器
- 类偏向于少量指定初始化器,一个类通常只有一个指定初始化器
初始化器的相互调用规则
- 指定初始化器必须从它的直系父类调用指定初始化器
- 便捷初始化器必须从相同的类里调用另一个初始化器
- 便捷初始化器最终必须调用一个指定初始化器
class Size {
var width: Int
var height: Int
// 指定初始化器
init(width: Int, height: Int) {
self.width = width
self.height = height
}
// 便捷初始化器
convenience init(width: Int) {
self.init(width: width, height: 0)
}
}
var s1 = Size(width: 10)
var s2 = Size(width: 10, height: 20)
class Student : Size {
var score: Int
init(score: Int) {
self.score = score
// 必须调用
super.init(width: 10, height: 10)
}
}
初始化器的相互调用
两段式初始化
- Swift 在编码安全方面是煞费苦心, 为了保证初始化过程的安全,设定了两段式初始化、安全检查
- 两段式初始化
-
第一阶段: 初始化所有存储属性
- 外层调用指定\便捷初始化器
- 分配内存给实例,但未初始化
- 指定初始化器确保当前类定义的存储属性都初始化
- 指定初始化器调用父类的初始化器,不断的向上调用,形成初始化器链
-
第二阶段: 设置新的存储属性值
- 从顶部初始化器往下,链中的每一个指定初始化器都有机会进一步定制实例
- 初始化器现在能够使用self(访问、修改它的属性,调用它的实例方法等等)
- 最终,链中任何辩解初始化器都有机会定制实例以及使用self
-
安全检查
- 指定初始化器必须保证在调用父类初始化器之前, 其所在类定义的所有存储属性都要初始化完成
- 指定初始化器先调用父类初始化器,然后才能为继承的属性设置新值
- 便捷初始化器必须先调用同类中的其他初始化器,然后再为任意属性设置新值
- 初始化器在第1阶段初始化完成之前,不能调用任何实例方法、不能读取任何实例属性的值,也不能引用self
重写初始化器
- 当重写父类的指定初始化器时,必须加上 override,即使子类的实现是便捷初始化器
- 如果子类写了一个匹配父类便捷初始化器的初始化器,不用加 override,因为父类的便捷初始化器永远不会通过子类直接调用,因此严格来说,子类无法重写父类的便捷初始化器
自动继承 初始化器
- 如果子类没有自定义任何指定初始化器,它会自动继承父类所有的指定初始化器
- 如果子类提供了父类所有指定初始化器的实现(要么继承要么重写),子类自动继承所有的父类便捷初始化器
- 就算子类添加了更多的便捷初始化器,这些规则任然适用
- 子类以便捷初始化器的形式重写父类的指定初始化器,也可以作为满足规则2的一部分
required
- 用 required 修饰指定初始化器,表明其所有子类都必须实现该初始化器(通过继承或者重写实现)
- 如果子类重写了 required初始化器,也必须加上 required,不用加 override
class Person {
required init() {}
init(age: Int){}
}
class Student : Person {
required init() {
super.init()
}
}
属性观察器
- 父类的属性在它自己的初始化器中赋值不会触发属性观察器,但在子类的初始化器中赋值会触发属性观察器
可失败初始化器
- 类、结构体、枚举都可以使用
init?
定义可失败初始化器- 不允许同事定义参数标签、参数个数、参数类型相同的可失败初始化器和非可失败初始化器
- 可以用 init! 定义隐式解包的可失败初始化器
- 可失败初始化器可以调用非可失败初始化器,非可以失败初始化器调用可失败初始化器需要进行解包
- 如果初始化器调用一个可失败初始化器导致初始化失败,那么整个初始化过程都失败,并且之后的代码都停止执行
- 可以用一个非可失败初始化器重写一个可失败初始化器,但反过来是不行的
class Person {
var name: String
convenience init?(name: String) {
// 调用非可失败初始化器
self.init()
if name.isEmpty {
return nil
}
}
init() {
self.name = ""
}
}
var p1 = Person(name: "")
print(p1) //nil
var p2 = Person(name: "jack")
print(p2) // Optional(闭包.Person)
反初始化器(deinit)
- deinit 叫做反初始化器,类似C++析构函数、OC的dealloc方法
- 当雷德实例对象被释放内存时,就会调用实例对象的 deinit 方法
- deinit 不接受任何参数、不能写小括号、不能自行调用
- 父类的 deinit 能被子类继承
- 子类的 deinit 实现执行完毕后会调用父类的 deinit
可选链 (Optional Chaining)
class Car { var price = 0 }
class Dog { var weight = 0 }
class Person {
var name: String = ""
var dog: Dog = Dog()
var car: Car? = Car()
func age() -> Int { 18 }
func eat() { print("Person eat ") }
subscript(index: Int) -> Int { index }
}
var person: Person? = Person()
var age1 = person!.age() // Int
var age2 = person?.age() // Int?
var name = person?.name // String?
var index = person?[6] // Int?
func getName() -> String { "jack" }
// 如果person是nil,不会调用 getName()
person?.name = getName()
if let _ = person?.eat() { // ()?
print("eat调用成功")
} else {
print("eat调用失败")
}
var dog = person?.dog // Dog?
var weight = person?.dog.weight // Int?
var price = person?.car?.price // Int?
var scores = ["Jack": [22, 33, 44],
"Rose": [11, 12, 41]]
scores["jack"]?[0]
var num1: Int? = 5
num1? = 10 // Optional(10)
var num2: Int? = nil
num2? = 10 // nil
var dict: [String: (Int, Int) -> Int] = [
"sum" : (+),
"difference" : (-)
]
var result = dict["sum"]?(2, 3) // Optional(30), Int?
- 如果可选项为nil, 调用方法、下标、属性失败,结果为nil
- 如果可选项不为nil,调用方法、下标、属性失败,结果会被包装成可选项
- 如果结果本来就是可选项,不会进行再次包装
- 多个?可以连接在一起
- 如果链中任何 一个节点为nil,那么整个链就会调用失败