多态

父类类型指针指向子类对象 又调用了重写的方法

堆空间的前面8个字节 放类型信息 然后 里面是类型的一些信息 和 函数地址
类型信息放在全局地址 只有一份内存

类型信息内存放的内容.png

是加上一个固定的0x50的偏移量找到相应的位置 取出里面的8个字节 他就是函数地址

对于同一个类的对象而言 他们的前8个字节都是一样的 存放的类型信息
类型信息存放在全局区

初始化器

类 结构体 枚举都可以定义初始化器

初始化器分类

- 指定初始化
init(paramters) {
    statements
}778就吉姆尼
- 便捷初始化器
convenience init(paramters) {
    statements
}

每一个类至少有一个指定初始化器 指定初始化器是类的主要初始化器
    - 如果定义一个指定初始化器 那么系统自带的指定初始化器就不在了
    - 如果定义了一个便捷初始化器 那么系统自带的指定初始化器还在 必须调用指定初始化器
默认初始化器总是类的指定初始化器
类偏向于少量指定初始化器 一个类通常只有一个指定初始化器

初始化器相互调用规则

指定初始化器必须从它的直系父类调用指定初始化器   (确保安全 所有的变量都初始化了)
便捷初始化器必须从相同的类里调用另一个初始化器
便捷初始化器最终必须调用一个指定初始化器

指定初始化器没办法调用指定初始化器
便捷初始化器可以调用便捷初始化器

初始化器相互调用

调用规则.png

两段式初始化

为了保证初始化过程的安全 设定了两段式初始化 安全检查

两段式初始化
1.第一阶段  初始化所有存储属性
  - 外层调用指定/便捷初始化器
  - 分配内存给实例 但未初始化
  - 指定初始化器确保当前类定义的存储属性都初始化
  - 指定初始化器调用父类的指定初始化器  不断向上调用 形成初始化器链
2.第二阶段 设置新的存储属性值
  - 从顶部初始化器往下 链中的每一个指定初始化器都有机会进一步定制实例
  - 初始化器现在能够使用self(访问 修改他的属性 调用他的实例方法等等)
  - 最终 链中任何便捷初始化器都有机会定制实例以及使用self

安全检查

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

重写

- 当重写父类的指定初始化器时 必须加上@overide  (即使子类的实现是convenience便捷初始化器)
- 如果子类写了一个匹配父类便捷初始化器的初始化器 不用加overide (本身不是重写,因为他不能调用父类的便捷初始化器)
  a. 因为父类的便捷初始化器永远不会通过子类直接调用 因此 严格来说 子类无法重写父类的便捷初始化器

自动继承

1. 如果子类没有任何自定义指定初始化器 那么子类会继承父类的指定初始化器
2. 如果子类有了指定初始化器 那么如果没有重写父类的指定初始化器 那么子类没有继承父类的指定初始化器
3. 如果子类提供了父类所有指定初始化器的实现(要么是 1 继承 2 重写)
  a.子类自动继承所有的父类便捷初始化器
4. 就算子类添加了更多的便捷初始化器 这些规则仍然适用
5. 子类以便捷初始化器的形式重写了父类的指定初始化器 也可以作为满足规则3的一部分

只有子类实现了任何自定义指定初始化器 才会影响这些规则

可失败初始化器

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

class Person {
    var name: String
    init?(name: String) {
        if name.isEmpty {
            return nil
        }
        self.name = name
    }
}

var p1 = Person(name: "")
print(p1)

var p2 = Person(name: "333")
print(p2)

nil
Optional(swiftTest.Person)

- 不允许同时定义参数标签 参数个数 参数类型相同的可失败初始化器和非可失败初始化器
- 可以用init! 定义隐式解包的可失败初始化器
- 可失败初始化器可以调用非可失败初始化器
  非可失败初始化器调用可失败初始化器需要进行解包!（会出现一些问题）
- 如果初始化器调用一个可失败初始化器导致初始化失败 那么整个初始化过程都失败 并且之后的代码都停止运行
- 可以用一个非可失败初始化器重写一个可失败初始化器 单是反过来不行

反初始化器

deinit 反初始化器
- 当类的实例对象被释放内存时  就会调用对象的deinit方法

deinit 不接受任何参数 不能写小括号 不能自行调用

父类的deinit能被子类继承
子类的deinit实现执行完毕后会调用父类的deinit

required

用required修饰指定初始化器 表明其所有子类都必须实现该初始化器(通过继承或者重写实现 )

如果子类重写了required初始化器时 也必须加上required 不用加override

class Person {
    required init() {}
    init(age: Int) {
        
    }
}

class Student: Person {
    init(no: Int) {
        super.init(age: 0)
    }
    required init() {
        
        super.init()
    }
}

属性观察器

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

lass Person {
    var age: Int {
        
        willSet{
            print("willSet", newValue)
        }
        didSet{
            print("didSet",oldValue,age)
        }
    }
    init() {
        self.age = 0
    }
    
}

class Student: Person {
    
    override init() {
        super.init()
        self.age = 1
    }
}

var s = Student();