初始化
目的是确保第一次使用之前某类型的新实例能够正确初始化
为存储属性设置初始化值
类或者结构体实例化时必须为所有的存储属性设置一个合适的初始值。可以在初始化器里为存储属性设置一个初始值,也可以通过分配一个默认的属性值作为属性定义的一部分
当给一个存储属性分配默认值或者在初始化器里设置它的值时,不会调用任何属性监视器
初始化器
默认的属性值
可以指定默认属性值作为属性声明的一部分。
如果一个属性一直保持相同的初始值,推荐使用默认值而不是在初始化器里设置它
自定义初始化
初始化形式参数
与函数形式参数语法相同
形式参数名和实际参数标签
与函数一样,但是由于初始化器的函数名是固定的,所以为了能够区分,在没有提供外部名的情况下Swift自动为每一个形式参数提供一个外部名称
无实际参数标签的初始化器形式参数
如果不想为初始化器形式参数使用实际参数标签,可以写一个下划线替代明确的实际参数标签以重写默认行为
可选属性类型
可选属性在初始化时可以不提供值,自动初始化为nil
在初始化中分配常量属性
初始化的任意时刻,都可以给常量属性赋值
对于类实例,常量属性在初始化中只能通过引用的类修改,不能在子类中被修改
默认初始化器
如果没有定义初始化器,Swift提供一个默认初始化器,为所有的属性提供默认值
只有在给每个属性提供默认值的时候才能提供默认初始化器,否则无法生成默认初始化器
结构体类型的成员初始化器
如果结构体类型中没有定义任何初始化器,它会自动获得一个成员初始化器。不同于默认初始化器,结构体会接收成员初始化器即使它的属性没有默认值
值类型的初始化器委托
初始化器可以调用其他初始化器来执行部分实例的初始化。这个过程,就是所谓的初始化器委托,避免了多个初始化器里冗余代码。
初始化器委托的运作,以及允许哪些形式的委托,这些规则对于值类型和类类型是不同的。原因在于值类型不支持继承,所以简单一些
如果你为值类型定义了自定义初始化器,那么就不能访问那个类型的默认初始化器。这个限制防止别人意外的使用自动初始化器而把复杂初始化器里提供的额外必要配置给覆盖掉的情况发生。
如果想要自定义值类型能够使用默认初始化器和成员初始化器初始化,以及自定义初始化器来初始化,把自定义初始化器写在扩展里而不是作为值类型原始定义的一部分可以实现。
类的继承和初始化
所有类的存储属性,包括继承而来的,都必须在初始化期间分配初始值
指定初始化器和便捷初始化器
指定初始化器是类的主要初始化器。指定初始化器可以初始化所有那个类引用的属性并且调用合适的父类初始化器来继续这个初始化过程给父类链。
类偏向于少量指定初始化器,但至少得有一个。在某些情况下,这些需求可以通过从父类继承一个或者多个指定初始化器来满足。
便捷初始化器是次要的。可以不提供。
指定初始化器和便捷初始化器语法
convenience
指定初始化器不需要修饰
类类型的初始化器委托
为了简化指定和便捷初始化器之间的调用关系,Swift指定三个规则
- 指定初始化器必须从他的直系父类调用指定初始化器(继承来的也算)
- 便捷初始化器必须从相同的类里调用另一个初始化器
- 便捷初始化器最终必须调用一个指定初始化器
简单讲,指定初始化器总是向上委托,便利初始化器从事横向委托
两段式初始化
在第一个阶段,每一个存储属性被引入类时分配了一个初始值,一旦每个存储属性的初始状态被确定,第二个阶段就开始了,每个类都有机会在新的实例准备使用之前来定制它的存储属性
Swift编译器执行四种有效的安全检查来确保两段式初始化过程能够顺利完成:
- 指定初始化器必须保证在向上委托给父类初始化器之前,其所在类引入的所有属性都要初始化完成
- 指定初始化器必须先向上委托父类初始化器,然后才能为继承的属性设置新值。如果不这样做,指定初始化器赋予的新值将被父类中的初始化器所覆盖
- 便捷初始化器必须先委托同类中的其它初始化器,然后再为任意属性赋新值(包括同类里定义的属性)。如果没这么做,便捷初始化器赋予的新值将被自己类中其它指定初始化器所覆盖
- 初始化器在第一阶段初始化完成之前,不能调用任何实例方法、不能读取任何实例属性的值,也不能引用self作为值
两段初始化过程:
阶段1
- 指定或便捷初始化器在类中被调用
- 为这个类的新实例分配内存。内存还没有被初始化
- 这个类的指定初始化器确保所有由此类引入的存储属性都有一个值。现在这些存储属性的内存被初始化了
- 指定初始化器上交父类的初始化器为其存储属性执行相同的任务
- 这个调用父类初始化器的过程将沿着初始化器链一直向上进行,直到到达初始化器链的最顶部
- 一旦到达了初始化器的最顶部,在链顶部的类确保左右的存储属性都有一个值,此实例的内存被认为完全初始化了,此时第一阶段完成
阶段2
- 从顶部初始化器往下,链中的每一个指定初始化器都有机会进一步定制实例。初始化器现在能够访问self并且可以修改它的属性,调用它的实例方法等等
- 最终,链中任何便捷初始化器都有机会定制实例以及使用self
初始化器的继承和重写
Swift的子类不会默认继承父类的初始化器。这种机制防止父类的简单初始化器被一个更专用的子类继承并被用来创建一个没有完全或错误初始化的新实例的情况发生。
如果重写了一个匹配父类便捷初始化器的子类初始化器,父类的便捷初始化器将永远不会通过你的子类直接调用。因此,子类(严格意义上来讲)不能提供父类便捷初始化器的重写。当提供一个匹配父类便捷初始化器的实现时,不用写override
自动初始化器的继承
子类默认不会继承父类初始化器,但有例外
如果子类引入的任何新属性都提供了默认值,则
- 子类没有定义任何指定初始化器,会自动继承父类所有的指定初始化器
- 子类提供了所有父类指定初始化器的实现:要么通过1中继承而来,要么全部自定义。它自动继承所有的父类便捷初始化器
指定和便利初始化器的操作
可失败初始化器
不能定义可失败初始化器和非可失败初始化器为相同的形式参数类型和名称
可失败初始化器通过返回nil表明失败
枚举的可失败初始化器
带有原始值枚举的可失败初始化器
初始化失败的传递
重写可失败初始化器
可以重写父类的可失败初始化器,也可用子类的非可失败初始化器来重写父类可失败初始化器
可失败初始化器init!
必要初始化器
required
子类必须实现
通过闭包和函数来设置属性的默认值
可以使用闭包或者全局函数来为属性提供默认值,当这个属性初始化时,闭包或者函数就会被调用
class SomeClass {
let someProperty: SomeType = {
// create a default value for someProperty inside this closure
// someValue must be of the same type as SomeType
return someValue
}()
}
反初始化
反初始化器原理
反初始化器deinit后面不需要写圆括号
子类的反初始化器调用结束之后父类的反初始化器会被调用