swift构造器使用规则

一个类至少有一个指定构造器，大于等于零个遍历构造器

convenience 标示的构造器方法为便利构造器

子类可以直接继承父类的指定构造器，不能直接继承父类的便利构造器

子类构造器继承的是父类的便利构造器时， swift3不需要加override标识符

子类构造器中无法使用父类便利构造器

子类便利构造器无法使用父类指定构造器，只能使用self的便利或指定构造器

子类可以在初始化时修改继承变量属性，但是不能修改继承过来的常量属性。

类的构造器代理规则

为了简化指定构造器和便利构造器之间的调用关系，Swift 采用以下三条规则来限制构造器之间的代理调用:

规则 1指定构造器必须调用其直接父类的的指定构造器。

规则 2便利构造器必须调用同一类中定义的其它构造器。

规则 3便利构造器必须最终以调用一个指定构造器结束。

一个更方便记忆的方法是:

• 指定构造器必须总是向上代理

• 便利构造器必须总是横向代理

Swift 编译器将执行 4 种有效的安全检查，以确保两段式构造过程能顺利完成:

安全检查 1 指定构造器必须保证它所在类引入的所有属性都必须先初始化完成，之后才能将其它构造任务向上代理给父类中的构造器。

如上所述，一个对象的内存只有在其所有存储型属性确定之后才能完全初始化。为了满足这一规则，指定构造器必须保证它所在类引入的属性在它往上代理之前先完成初始化。

安全检查 2 指定构造器必须先向上代理调用父类构造器，然后再为继承的属性设置新值。如果没这么做，指定构造器赋予的新值将被父类中的构造器所覆盖。

安全检查 3 便利构造器必须先代理调用同一类中的其它构造器，然后再为任意属性赋新值。如果没这么做，便利构造器赋予的新值将被同一类中其它指定构造器所覆盖。

安全检查 4 构造器在第一阶段构造完成之前，不能调用任何实例方法、不能读取任何实例属性的值，self的值不能被引用。

类实例在第一阶段结束以前并不是完全有效，仅能访问属性和调用方法，一旦完成第一阶段，该实例才会声明为有效实例。

以下是两段式构造过程中基于上述安全检查的构造流程展示:

阶段 1

某个指定构造器或便利构造器被调用;

完成新实例内存的分配，但此时内存还没有被初始化;

指定构造器确保其所在类引入的所有存储型属性都已赋初值。存储型属性所属的内存完成初始化;

指定构造器将调用父类的构造器，完成父类属性的初始化;

这个调用父类构造器的过程沿着构造器链一直往上执行，直到到达构造器链的最顶部;

当到达了构造器链最顶部，且已确保所有实例包含的存储型属性都已经赋值，这个实例的内存被认为已经完全初始化。此时阶段1完成。

阶段 2

• 从顶部构造器链一直往下，每个构造器链中类的指定构造器都有机会进一步定制实例。构造器此时可以访问self、修改它的属性并调用实例方法等等。

自动构造器的继承

一般情况子类不会默认继承父类的构造器。但是如果特定条件可以满足，父类构造器是可以被自动继承的。在实践中，这意味着对于许多常见场景你不必重写父类的构造器，并且在尽可能安全的情况下以最小的代价来继承父类的构造器。

假设要为子类中引入的任意新属性提供默认值，请遵守以下2个规则:

规则 1如果子类没有定义任何指定构造器，它将自动继承所有父类的指定构造器。

规则 2如果子类提供了所有父类指定构造器的实现--不管是通过规则1继承过来的，还是通过自定义实现的--它将自动继承所有父类的便利构造器。

即使你在子类中添加了更多的便利构造器，这两条规则仍然适用。