Swift学习(十四):初始化(指定初始化器,便捷初始化器,初始化器的相互调用,初始化器的重写,属性观察器,可失败初始化器,反初始化器(deinit))

初始化器

  • 类、结构体、枚举都可以定义初始化器
  • 类有2种初始化器:指定初始化器(designated initializer)、便捷初始化器(convenience initializer)
  • 每个类至少有一个指定初始化器,指定初始化器是类的主要初始化器 
  •  默认初始化器总是类的指定初始化器 ,当你没写新的指定初始化器,会自带默认初始化器,一旦自己写了新的指定初始化器,默认初始化器就自动消失,不能再用了,但是当你只写了一个新的便捷初始化器,默认初始化器依然存在,依然可用。
  • 类偏向于少量指定初始化器,一个类通常只有一个指定初始化器
class Size {
    var width: Int = 0
    var height: Int = 0
    //指定初始化器(主要初始化器)
    init(width: Int, height: Int) {
        self.width = width
        self.height = height
    }
    convenience init(width: Int) {
        self.init(width: width, height: 0)
    }
}

var s2 = Size(width: 10, height: 20)
var s3 = Size(width: 10)

这样就可以使得每一个属性都有一个初始化值,保证安全

 

  •  初始化器的相互调用规则
  1. 指定初始化器必须从它的直系父类调用指定初始化器
class Person {
    var age: Int
    init(age: Int) {
        self.age = age
    }
    convenience init() {
        self.init(age: 0)
    }
}

class Student: Person {
    var score: Int
    init(age: Int, score: Int) {
        self.score = score
        super.init(age: age)
        self.age = 10
    }
}

由上图可知,子类的指定初始化器一定要最终调用父类的指定初始化器,并且调用顺序要写在子类自定义的属性后面,并且没调用父类的指定初始化器前,不能使用从父类继承过来的属性。

     2.   便捷初始化器必须从相同的类里调用另一个初始化器,只写一个便捷初始化器,会报错

   

改成下面这样,调用个指定初始化器就对了:

    3.   便捷初始化器最终必须调用一个指定初始化器

注意:同一个类的指定初始化器不能相互调用,只有便捷初始化器可以调用指定初始化器,便捷初始化器可以互相调用,但是不能造成循环哟 


初始化器的相互调用

简单调用:

复杂调用:

  • 这一套规则保证了:使用任意初始化器,都可以完整的初始化实例

两段式初始化

Swift在编码安全方面是煞费苦心,为了保证初始化过程的安全,设定了两段式初始化、 安全检查

两段式初始化

  • 第1阶段:初始化所有存储属性
  1. 外层调用指定\便捷初始化器
  2. 分配内存给实例,但未初始化
  3. 指定初始化器确保当前类定义的存储属性都初始化
  4. 指定初始化器调用父类的初始化器,不断向上调用,形成初始化器链
  5. 在第一阶段时,不能使用self

  • 第2阶段:设置新的存储属性值
  1. 从顶部初始化器往下,链中的每一个指定初始化器都有机会进一步定制实例
  2. 初始化器现在能够使用self(访问、修改它的属性,调用它的实例方法等等)
  3. 最终,链中任何便捷初始化器都有机会定制实例以及使用self

安全检查

  • 指定初始化器必须保证在调用父类初始化器之前,其所在类定义的所有存储属性都要初始化完成
  • 指定初始化器必须先调用父类初始化器,然后才能为继承的属性设置新值
  • 便捷初始化器必须先调用同类中的其它初始化器,然后再为任意属性设置新值
  • 初始化器在第1阶段初始化完成之前,不能调用任何实例方法、不能读取任何实例属性的值,也不能引用self
  • 直到第1阶段结束,实例才算完全合法

重写

当重写父类的指定初始化器时,必须加上override(即使子类的实现是便捷初始化器)

class Person {
    var age: Int
    init(age: Int) {
        self.age = age
    }
}

class Student : Person {
    var score: Int
    init(age: Int, score: Int) {
        self.score = score
        super.init(age: age)
    }
    //1. 父类的指定初始化器可以重写为指定初始化器
//    override init(age: Int) {
//        self.score = 0
//        super.init(age: age)
//    }
    //2.父类的指定初始化器也可以重写为便捷初始化器
    override convenience init(age: Int) {
        self.init(age: age, score: 0)
    }
    
}

如果子类写了一个匹配父类便捷初始化器的初始化器,不用加上override,因为父类的便捷初始化器永远不会通过子类直接调用,因此,严格来说,子类无法重写父类的便捷初始化器

class Person {
    var age: Int
    init(age: Int) {
        self.age = age
    }
    convenience init() {
        self.init(age: 0)
    }
}

class Student : Person {
    var score: Int
    init(age: Int, score: Int) {
        self.score = score
        super.init(age: age)
    }
    //虽然方法名字与父类的便捷初始化器相同,但是super调用的是指定初始化器,不是便捷初始化器,所以不能叫重写
   //1
    init() {
        self.score = 0
        super.init(age: 0)
    }
   //2 也可以写成这种形式,但是只能叫匹配,不能叫重写
//    convenience init() {
//        self.init(age: 0, score: 0)
//    }
}

自动继承

  1. 如果子类没有自定义任何指定初始化器,它会自动继承父类所有的指定初始化器
class Person {
    var age: Int
    var name: String
    init(age: Int, name: String) {
        self.age = age
        self.name = name
    }
    init(age: Int) {
        self.age = age
        self.name = ""
    }
}

class Student : Person {

}
//我们可以看到,由于Student没有自定义任何指定初始化器,所以它继承了父类所有的指定初始化器
var stu1 = Student(age: 10)
var stu2 = Student(age: 20, name: "Jack")

   

class Person {
    var age: Int
    var name: String
    init(age: Int, name: String) {
        self.age = age
        self.name = name
    }
    init(age: Int) {
        self.age = age
        self.name = ""
    }
}

class Student : Person {
    convenience init() {
        //由于没有自定义任何父类的指定初始化器,只是定义了一个便捷初始化器,所以还是会继承所有父类的指定初始化器,1和2两种方式都可以用
        //1
//        self.init(age: 0)
        //2
        self.init(age: 0, name: "Jack")
    }
}
var stu1 = Student()

 

   2.  如果子类提供了父类所有指定初始化器的实现(要么通过方式1继承,要么重写),子类自动继承所有的父类便捷初始化器

class Person {
    var age: Int
    var name: String
    init(age: Int, name: String) {
        self.age = age
        self.name = name
    }
    init() {
        self.age = 0
        self.name = ""
    }
    convenience init(age: Int) {
        self.init(age: age, name: "")
    }
    convenience init(name: String) {
        self.init(age: 0, name: name)
    }
}
class Student : Person {
    override init(age: Int, name: String) {
        super.init(age: age, name: name)
    }
    override init() {
        super.init(age: 0, name: "")
    }
}
//子类提供了父类所有指定初始化器的实现, 就会自动继承所有的父类便捷初始化器
var stu1 = Student(age: 0, name: "Jack")
var stu2 = Student(age: 0)
var stu3 = Student(name: "Jack")
var stu4 = Student()

  3.  就算子类添加了更多的便捷初始化器,这些规则仍然适用   

  4.  子类以便捷初始化器的形式重写父类的指定初始化器,也可以作为满足规则2的一部分

class Person {
    var age: Int
    var name: String
    init(age: Int, name: String) {
        self.age = age
        self.name = name
    }
    init() {
        self.age = 0
        self.name = ""
    }
    convenience init(age: Int) {
        self.init(age: age, name: "")
    }
    convenience init(name: String) {
        self.init(age: 0, name: name)
    }
}
class Student : Person {
    init(no: Int) {
        super.init()
    }
    //重写了父类的init(age: Int, name: String),有了指定初始化器的实现
    override convenience init(age: Int, name: String) {
        self.init(no: 0)
    }
    //重写了父类的init(),有了指定初始化器的实现
    override convenience init() {
        self.init(no: 0)
    }
}
//子类以便捷初始化器的形式重写父类的指定初始化器,由此提供了父类所有指定初始化器的实现, 就会自动继承所有的父类便捷初始化器
var stu1 = Student(age: 0, name: "Jack")
var stu2 = Student(age: 0)
var stu3 = Student(name: "Jack")
var stu4 = Student()
var stu5 = Student(no: 0)

required

  • 用required修饰指定初始化器,表明其所有子类都必须实现该初始化器(通过继承或者重写实现) 
  • 如果子类重写了required初始化器,也必须加上required,不用加override


属性观察器

  • 父类的属性在它自己的初始化器中赋值不会触发属性观察器,但在子类的初始化器中赋值会触发属性观察器

  可以看出willSet的newValue为1,所以属性观察器是由Student中的self.age = 1触发的


可失败初始化器

  • 类、结构体、枚举都可以使用init?定义可失败初始化器

 

  • 之前接触过的可失败初始化器

   由图可以看出,Int("123")方法的底层是 init?(_ description: String)

  • 不允许同时定义参数标签、参数个数、参数类型相同的可失败初始化器和非可失败初始化器
  • 可以用init!定义隐式解包的可失败初始化器
class Person {
    var name: String
    init!(name: String) {
        if name.isEmpty {
            return nil
        }
        self.name = name
    }
}

var p1 = Person(name: "Jack")
//Optional(TestSwift.Person)
print(p1)
  • 可失败初始化器可以调用非可失败初始化器,非可失败初始化器调用可失败初始化器需要进行解包

   可失败初始化器调用非可失败初始化器:

class Person {
    var name: String
    //可失败初始化器
    convenience init?(name: String) {
        self.init()
        if name.isEmpty {
            return nil
        }
//        self.name = name
    }
    //非可失败初始化器
    init() {
        self.name = ""
    }
}

  非可失败初始化器调用可失败初始化器:

//第一种写法
class Person {
    var name: String
    //可失败初始化器
    init?(name: String) {
        if name.isEmpty {
            return nil
        }
        self.name = name
    }
    //非可失败初始化器
    convenience init() {
        self.init(name: "")!
    }
}

//第二种隐式解包写法
class Person {
    var name: String
    //可失败初始化器
    init!(name: String) {
        if name.isEmpty {
            return nil
        }
        self.name = name
    }
    //非可失败初始化器
    convenience init() {
        self.init(name: "")
    }
}
  •  如果初始化器调用一个可失败初始化器导致初始化失败,那么整个初始化过程都失败,并且之后的代码都停止执行 
  • 可以用一个非可失败初始化器重写一个可失败初始化器,但反过来是不行的

 非可失败重写可失败:

class Person {
    var name: String
    //可失败初始化器
    init?(name: String) {
        if name.isEmpty {
            return nil
        }
        self.name = name
    }
    //可失败初始化器
    convenience init?() {
        self.init(name: "")
        self.name = "Jack"
    }
}

class Student: Person {
    override init(name: String) {
        super.init(name: name)!
    }
}

 可失败重写非可失败会报错:


反初始化器(deinit)

  • deinit叫做反初始化器,类似于C++的析构函数、OC中的dealloc方法 
  • 当类的实例对象被释放内存时,就会调用实例对象的deinit方法
  • deinit不接受任何参数,不能写小括号,不能自行调用 
  • 父类的deinit能被子类继承
  •  子类的deinit实现执行完毕后会调用父类的deinit
class Person {
    deinit {
        print("Person销毁了")
    }
}
class Student: Person {
    deinit {
        print("Student销毁了")
    }
}
func test() {
    var stu = Student()
}
print("1")
test()
print("2")

//输出结果为:
1
Student销毁了
Person销毁了
2

Person和Person.self

这种情况下用法相同:

class Person {
    static var age = 0
    static func run() { }
}

Person.age = 20
Person.run()

var p0 = Person() //init()
var p1 = Person.self()
var p2 = Person.init()
var p3 = Person.self.init()
print(p0,p1,p2,p3)

这种情况下不同:

 

 

 

 

 

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章