类/枚举/结构体都可以定义初始化器,主要就是确保正确的创建一个实例,为存储属性设置初始值
struct Person {
var age: Int
init(age:Int) {
self.age = age
}
}
let p = Person(age: 10)
enum ColorType : Int {
case red
case blue
}
let color = ColorType(rawValue: 0)
类有两种初始化器:指定初始化器(designated ),便捷初始化器(convenience initializer)
//每个类至少有一个指定初始化器,默认初始化器总是类的指定初始化器,指定初始化器也是类的主要初始化器,一个类通常只有一个指定初始化器
初始化器调用规则:
//指定初始化器必须从它的直系父类调用指定初始化器
//便捷初始化器必须从相同的类里调用另一个初始化器
//便捷初始化器最终必须调用一个指定初始化器
//为了保证安全初始化,设置两段式初始化和安全检查
//第一阶段初始化所有存储属性
//外层调用指定\便捷初始化器->分配内存给实例,但未初始化->指定初始化器确保当前类定义的存储属性都初始化->指定初始化器调用父类的初始化器,不断向上调用,形成初始化器链
//第二阶段设置新的存储属性
//从顶部初始化器往下,链中的每一个指定初始化器都有机会进一步定制实例->初始化器现在能够使用self(访问、修改它的属性,调用它的实例方法等等)->最终,链中任何便捷初始化器都有机会定制实例以及使用self
安全检查
//指定初始化器必须保证在调用父类初始化器之前,其所在类定义的所有存储属性都要初始化完成
//指定初始化器必须先调用父类初始化器,然后才能为继承的属性设置新值
//便捷初始化器必须先调用同类中的其它初始化器,然后再为任意属性设置新值
//初始化器在第1阶段初始化完成之前,不能调用任何实例方法、不能读取任何实例属性的值,也不能引用self 直到第1阶段结束,实例才算完全合法
class Person {
var age: Int
//指定初始化器
init(age: Int) {
self.age = age
}
//便捷初始化器
//便捷初始化器必须从相同的类里调用另一个初始化器
convenience init(age: Int,no: Int) {
self.init(age:age)
}
//便捷初始化器最终必须调用一个指定初始化器
convenience init(age: Int,size: Int) {
self.init(age:age,no:0)
}
}
class Student: Person {
var score: Int
init() {
score = 11
//指定初始化器必须从它的直系父类调用指定初始化器
super.init(age: 10)
age = 1
}
//当重写父类的指定初始化器时,必须加上override(即使子类的实现是便捷初始化器)
override init(age: Int) {
//指定初始化器必须保证在调用父类初始化器之前,其所在类定义的所有存储属性都要初始化完成
//Property 'self.score' not initialized at super.init call
self.score = 0
//指定初始化器必须先调用父类初始化器,然后才能为继承的属性设置新值.
//'self' used in property access 'age' before 'super.init' call
//Must call a designated initializer of the superclass 'Person'
super.init(age: age)
self.age = 1
}
//如果子类写了一个匹配父类便捷初始化器的初始化器,不用加上override
//因为父类的便捷初始化器永远不会通过子类直接调用,因此,严格来说,子类无法重写父类的便捷初始化器
//加上override 报错:Initializer does not override a designated initializer from its superclass
convenience init(age: Int,no: Int) {
self.init()
}
}
重写
//当重写父类的指定初始化器时,必须加上override(即使子类的实现是便捷初始化器)
//如果子类写了一个匹配父类便捷初始化器的初始化器,不用加上override
//因为父类的便捷初始化器永远不会通过子类直接调用,因此,严格来说,子类无法重写父类的便捷初始化器
自动继承
//①如果子类没有自定义任何指定初始化器,它会自动继承父类所有的指定初始化器
//②如果子类提供了父类所有指定初始化器的实现(要么通过方式①继承,要么重写)
//子类自动继承所有的父类便捷初始化器
//③就算子类添加了更多的便捷初始化器,这些规则仍然适用
//4子类以便捷初始化器的形式重写父类的指定初始化器,也可以作为满足规则②的一部分
class Person {
var age: Int
//指定初始化器
init(age: Int) {
self.age = age
}
//便捷初始化器
//便捷初始化器必须从相同的类里调用另一个初始化器
convenience init(age: Int,no: Int) {
self.init(age:age)
}
//便捷初始化器最终必须调用一个指定初始化器
convenience init(age: Int,size: Int) {
self.init(age:age,no:0)
}
}
class Teacher: Person {
}
let tea = Teacher(age: 10)
let tea1 = Teacher(age: 10,no: 2)
let tea2 = Teacher(age: 10,size: 20)
required
//用required修饰指定初始化器,表明其所有子类都必须实现该初始化器(通过继承或者重写实现)
//如果子类重写了required初始化器,也必须加上required,不用加override
//父类的属性在它自己的初始化器中赋值不会触发属性观察器,但在子类的初始化器中赋值会触发属性观察器
class Animal {
var age : Int{
willSet{
print("Animal willSet",newValue)
}
didSet{
print("Animal didSet",oldValue)
}
}
required init(age: Int) {
self.age = age
}
}
class Cat : Animal {
//Use the 'required' modifier to override a required initializer
//'override' is implied when overriding a required initializer , Replace 'override ' with ''
required init(age: Int) {
super.init(age: 10)
//在子类的初始化器中赋值会触发属性观察器
self.age = 1
//Animal willSet 1
//Animal didSet 10
}
init?(name: String) {
if name.isEmpty {
return nil
}
super.init(age: 0)
}
init!(num: String) {
if num.isEmpty {
return nil
}
super.init(age: 0)
}
deinit {
print("Cat deinit")
}
}
let ani = Animal(age: 1)
let cat = Cat(age: 2)
let cat2 = Cat(name: "")
let cat3 = Cat(num: "1")
print(cat2)
print(cat3)
可失败初始化器
//类、结构体、枚举都可以使用init?定义可失败初始化器
//不允许同时定义参数标签、参数个数、参数类型相同的可失败初始化器和非可失败初始化器
//可以用init!定义隐式解包的可失败初始化器
//可失败初始化器可以调用非可失败初始化器,非可失败初始化器调用可失败初始化器需要进行解包
//如果初始化器调用一个可失败初始化器导致初始化失败,那么整个初始化过程都失败,并且之后的代码都停止执行可以用一个非可失败初始化器重写一个可失败初始化器,但反过来是不行的
反初始化器
//deinit叫做反初始化器,类似于C++的析构函数、OC中的dealloc方法
//当类的实例对象被释放内存时,就会调用实例对象的deinit方法
//deinit不接受任何参数,不能写小括号,不能自行调用
//父类的deinit能被子类继承
//子类的deinit实现执行完毕后会调用父类的deinit