Swift基础-init详解

前言

在讲解Swift的init之前，默认都有Swift开发基础，了解关键字designated，Optional，override，convenience等。为了方便全文讲述，整文会以class为对象，忽略struct和enum等。

规则

Swift有着超级严格的初始化方法，具体看来：

对于结构体而言，默认的初始化方法会带出所有的属性；自定义初始化方法后默认初始化失效；

struct.png 定义了一个结构体Person，声明了Int类型的age和String类型的name，在创建实例的时候提供默认的初始化方法 Person(age: Int, name: String)。

对于类而言，强化了designated初始化方法的地位，所有属性都需要赋值，无论通过声明，还是构造器；

class未赋值报错.png 你必须在定义class的时候处理类里面的属性，当然Optional的变量可以不赋值，编译器会默认设置为nil。同时，所有属性都设置有初始值，那么编译器其实也会默认生成一个构造函数init()，可称为隐式构造方法，如下：

class.png

子类强制调用super版本的designated初始化；
初始化方法的顺序：先初始化本类属性，再初始化父类；

目的

在深入讲解初始化方法之前，不妨先思考下Swift中的初始化想要达到一种怎样的目的？

答案自然是“安全”！

在Objective-C中，init方法是非常不安全的：没有人能保证init只被调用一次，也没有人保证在初始化方法调用以后，实例的各个变量都完成初始化，甚至如果在初始化里使用属性进行设置的话，还可能会造成各种问题。虽然Apple也明确说明了不应该在init中使用属性来访问，但这并不是编译器强制的，因此还是会有很多开发者犯这样的错误。所以Swift有了超级严格的初始化方法。

分类

构造方法大致可以分为三类：

隐式构造方法
指定构造方法
便利构造方法

1. 隐式构造方法

在规则里面已经讲到，类中没有构造方法，但是属性都有初始值(实际上，Optional属性也是有初始值nil或者说.none)，init()即为隐式构造方法:

代码语言：javascript复制

class Dog {
    var  age = 0  //属性有初始值
    
    //    init ( ) {}
}

let _ = Dog()

等同于：
class Dog {
    var age: Int
    
    init () {
        age = 10
    }
}

let _ = Dog()

2. 指定构造方法 (designated)

指定构造器是类中的主要构造器，每个类必须保证有一个以上的构造器（包含默认的隐式构造器）

代码语言：javascript复制

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

let _ = Dog()
let _ = Dog(age: 12)

指定构造器负责初始化本类的存储属性，并且调用父类构造器，由父类来继续初始化过程。

代码语言：javascript复制

class ClassA {
    let numA: Int
    
    init(num: Int) {
        numA = num
    }
}

class ClassB: ClassA {
    let numB: Int
    
    override init(num: Int) {
        numB = num   1           //先初始化本类属性
        super.init(num: num)     //再初始化父类
    }
}

let _ = ClassB.init(num: 10)

3. 便利构造方法（convenience）

与designated初始化方法对应的是在init前加上convenience关键字的初始化方法，这类方法是Swift初始化方法中的“二等公民”，只作为补充和提供使用上的方便；
所有的convenience初始化方法都必须调用同一个类中的designated初始化完成设置；
convenience的初始化方法可以实现子类的实例化，但是不能被子类重写或从子类中以super的方式被调用的；
便利构造器是次要的，类可以不需要便利构造器，也可以定义多个；
便利构造方法中可以显示调用自己类中的构造方法；

代码语言：javascript复制

class ClassA {
    let numA: Int
    init(num: Int) {
        numA = num
    }
    convenience init(bigNum: Bool) {
        self.init(num: bigNum ? 10000 : 1)
    }
}
class ClassB: ClassA {
    let numB: Int
    override init(num: Int) {
        numB = num   1
        super.init(num: num)
    }
    
    //override init(bigNum: Bool) {}     //Initializer does not override a designated initializer from its superclass
}

let _ = ClassB(bigNum: true)
let _ = ClassB(num: 10000)

从指定构造器和便利构造器的定义及详解我们可以理解为：指定构造器必须向上代理，便利构造器必须横向代理。换而言之，就是如果一个类有父类，那么它的指定构造器中就必须调用父类的构造器方法；在一个便利构造器中，必须调用自己类的构造器方法。我们其实只要把握一个准则，那就是任何类在进行实例化时，其所有的属性都必须进行了初始化。

image.png

required

对于某些我们希望子类中一定实现的designated初始化方法，我们可以通过添加required关键字进行限制，强制子类对这个方法重写实现。这样的一个最大的好处是可以保证依赖于某个designated初始化方法的convenience一直可以被使用。一个现成的例子就是上面的init(bigNum: Bool)：如果我们希望这个初始化方法对于子类一定可用，那么应当将init(num: Int)声明为必须，这样我们在子类中调用init(bigNum: Bool)时就始终能够找到一条完全初始化的路径了：

代码语言：javascript复制

class ClassA {  
    let numA: Int  
    required init(num: Int) {  
        numA = num  
    }  
    convenience init(bigNum: Bool) {  
        self.init(num: bigNum ? 10000 : 1)  
    }  
}  
class ClassB: ClassA {  
    let numB: Int  
    required init(num: Int) {  
        numB = num   1  
        super.init(num: num)  
    }  
}

其实不仅仅是对designated初始化方法，对于convenience的初始化方法，我们也可以加上required以确保子类对其进行实现。这在要求子类不直接使用父类中的convenience初始化方法时会非常有帮助。

构造器的自动继承

观点：构造器的自动继承是有条件的！规则：

1、如果子类没有定义指定构造器，子类将自动继承父类的所有指定构造器；
2、如果子类实现或者继承了所有的指定构造器，那么子类将继承所有父类的便利构造器；
3、在子类中定义其他的便利构造器，规则1和规则2也成立；

swift ios ide 面向对象编程

0 人点赞