Swift：初始化、协议与错误处理

目录
一，初始化
二，可选链
三，协议
四，常见关键字
五，错误处理

一，初始化

1，初始化器

• 枚举、结构体、类都可以定义初始化器
• 类有两种初始化器：指定初始化器、便捷初始化器
• 每个类至少有一个指定初始化器，且通常只有一个，它是该类的主要初始化器
• 指定初始化器必须调用父类的指定初始化器
• 便捷初始化器可以调用同类的任意初始化器，但最终必须调用指定初始化器
• 这套规则可以保证使用任意初始化器，都可以完整的初始化实例

2，初始化安全

• 为了保证初始化过程的安全，Swift设置了两段式初始化和安全检查
• 两段式初始化

第一阶段：初始化所有的存储属性
1>外部调用初始化器，系统给实例分配内存
2>指定初始化器初始化当前类定义的存储属性
3>指定初始化器调用父类的指定初始化器，从下往上形成初始化器链

第二阶段：给存储属性设置新值
1>第一阶段完成之后，我们就可以使用实例了
2>从上往下，链中每个指定初始化器都可以给存储属性设置新值

• 安全检查

1>指定初始化器在调用父类的指定初始化器之前，必须保证在当前类定义的所有存储属性都已初始化
2>指定初始化器必须先调用父类的指定初始化器，然后才能给继承的存储属性设置新值
3>便捷初始化器必须先调用同类中的其它初始化器，然后才能给存储属性设置新值

3，重写

• 当重写父类的指定初始化器时，必须加上override
• 如果子类写了与父类便捷初始化器相同的初始化器，不用加override，因为子类无法重写父类的便捷初始化器

4，继承

• 如果子类没有自定义指定初始化器，它会自动继承父类所有的指定初始化器
• 如果子类实现了父类所有的指定初始化器(继承或者重写)，它会自动继承父类所有的便捷初始化器

5，required

• 用required修饰的指定初始化器，其所有子类都必须实现该初始化器（继承或者重写）
• 如果子类重写了required初始化器，也必须加上required，不用加override

6，可失败初始化器

• 枚举、结构体、类都可以定义可失败初始化器
• 可失败初始化器可以调用非可失败初始化器，非可失败初始化器调用可失败初始化器需要进行解包
• 如果调用可失败初始化器初始化失败了，那么整个初始化过程都会失败，并且之后的代码都不会执行
• 可以用非可失败初始化器重写可失败初始化器，但反过来不行

7，反初始化器

• 反初始化器类似于OC中的dealloc方法
• 当类的实例对象被释放时，就会调用反初始化器
• 先调用子类的反初始化器，再调用父类的

二，可选链

1，说明

• 如果可选项为nil，调用属性、方法失败，结果为nil
• 如果可选项不为nil，调用属性、方法成功，结果会被包装成可选项
• 如果结果本来就是可选项，不会进行再次包装
• 多个?可以链接使用，链中任何一个节点为nil，整个链就会调用失败

2，代码

三，协议

1，介绍

• 协议用来定义属性、方法的声明，它可以被枚举、结构体、类遵守
• 默认情况下，协议中定义的内容必须全部都实现

2，属性

• 在协议中定义属性时必须用var关键字
• 属性实现时的权限要不小于定义时的权限
• 属性定义时为get、set，实现时可以为var存储属性或者get、set计算属性
• 属性定义时为get，实现时可以为任何属性

3，方法

• 只有将协议中的实例方法标记为mutating，才允许在枚举、结构体中实现时修改自身的属性
• 为了保证通用性，在协议中定义类型方法必须用static

4，初始化器

• 在协议中可以定义初始化器，在非final类中实现时必须加上required
• 协议中定义的init，可以用init、init!去实现
• 协议中定义的init!、init?，可以用init、init!、init?去实现

5，继承和组合

• 一个协议可以继承其他协议
• 组合最多只能包含一个类类型

6，CaseIterable和CustomStringConvertible

• 枚举遵守CaseIterable协议，可以实现遍历枚举值
• 遵守CustomStringConvertible协议，可以自定义实例的打印信息

7，类协议

• 在协议后面加上class或者AnyObject，代表只有类才能遵守该协议

四，常见关键字

1，self、Self

• self代表当前实例
• Self代表当前类型

2，is、as

• is用来判断是否为某种类型
• as用来做强制类型转换

3，Any、AnyObject

• Any代表任意类型
• AnyObject代表任意类类型

4，.self、.Type、typeof、AnyClass

• .self代表类的元类型
• 元类型属于.Type类型
• typeof用来获取实例所属类的元类型
• AnyClass等价于AnyObject.Type

5，本质

• .self的本质：元类型（metadata）的指针

• typeof的本质：直接从对象中取出前8个字节

五，错误处理

1，自定义Error

• 可以通过Error协议来自定义运行时的错误信息
• 可能会抛出Error的函数必须加上throws关键字
• 使用try调用可能会抛出Error的函数

2，处理Error

• 处理方式一：使用do-catch捕捉Error
• 处理方式二：不捕捉Error，当前函数加上throws关键字，当前函数会自动将Error抛给上层函数
• 如果最顶层函数（main函数）依然没有捕捉Error，那么程序就会退出
• 抛出Error后，try下一句到作用域结束的代码都不会执行

3，不处理Error

• 使用try?、try!调用可能会抛出Error的函数，Error就不用处理

4，rethrows、defer、fatalError

• 函数本身不会抛出错误，但调用闭包参数可能会抛出错误，这时就需要用rethrows
• 可以将作用域结束之前必须要执行的代码放入defer中
• 如果遇到严重问题希望退出程序，可以使用fatalError函数抛出错误，该错误无法使用do-catch捕捉