构造过程
为了生成类、结构体、枚举等的实例,而做的准备过程,叫做构造过程。 为了这个过程,我们通常会定义一个方法来完成,这个方法叫做构造器。当然它的逆过程,叫做析构器,用于在实例被释放前做一些清理工作以及一此自定义化的处理。
为存储型属性设置初始值
类和结构体在生成实例那一刻,必须为所有的属性赋以特定的初始值。
要么在定义存储型属性的时候直接给个初始值,否则就必须在构造器里面指定一个初始值。
上面说的这两种情况,都不会触发存储型属性的监听者行为(property observer)。
struct MyClass {
var number: Int
init () { //这个就是构造器,它没有返回值
number = 1 //为存储型属性指定一个初始值
}
}
或者
struct MyClass {
var number: Int = 1 //直接在存储型属性定义的时候,指定一个初始值
}
还可以自定义构造器,为它传入参数,然后对属性做相应的初始化:
struct MyClass {
var number: Int
init (num: Int) { //这个就是构造器,它没有返回值
number = num //为存储型属性指定一个初始值
}
init (num: Int, byTimes: Int) { //可以定义多个构造器
number = num * byTimes
}
}
let myInstance1 = MyClass(num:1) //使用第一种构造器生成一个实例
let myInstance2 = MyClass(num:10, byTimes:3) //使用第二种构造器生成另一个实例
注意:这里与之前的类方法稍有不同,swift会为每个参数都提供一个外部使用名,而这个行为在类方法中,是从第二个参数开始才有的(笔记十一中有提到)。当然你可以指定一个外部使用名,来替代swift的默认行为(“_”依然可以禁止swift提供外部使用名)。
可选类型属性
如果我们在定义可选类型属性的时候没有赋值,并且,在构造器中也没有赋值的话,swift为我们将这个属性的值设置为nil。
常量属性
在构造过程结束之前,常量属性的值是可以随意修改的(当然要用同样类型的值)。
注意:子类是不可以修改父类的常量属性的!
默认构造器
swift会为那些没有构造器,并且所有属性都有初值的类,提供一个默认构造器(编译器做的事,在swift代码中看不见),上面已经出现过这样的一个类了:
struct MyClass {
var number: Int = 1
}
这个类中,我们并没有指定一个构造器,并且number属性也有初始值,那么swift就会提供一个默认的构造器,使得number属性确实等于1......(对于新手来说,这可能很难理解,就先这么记吧,因为这块涉及到内存分配的问题,暂且不展开记录,后继等把手册全都看完,我还想写个对swift中的各种类型变量做个内存模型的分析的系列笔记,到时候再来说这个问题。)
结构体的属性列表构造器(Memberwise Initializers for Structure Types)
在结构体中,除了上面说过的默认构造器外,swift会提自动接受一个”所有用于存储的属性带有初始值的列表“的构造器,前提是我们没有为struct写自定义构造器。
struct MyStruct {
var name = “1”
var number = 2
}
let myStructInstance = MyStruct(name: “Hello”, number:100)
这相当于提供了一个 init(name:String, number:Int) 的构造器,但这个行为是swift帮我们做的。
值类型的构造器代理
构造器还能调用其它的构造器作为构造过程的一部分。这个过程,叫做构造器代理。
值类型(结构体,枚举)并不支持继承,所以,他们的构造器代理与类的构造器代理的规则和形式有所区别。
值类型的构造器相对简单,因为类会继承很多父类的存储型属性,类就有责任在构造过程中保证它继承来的属性被正确的初始化(这个等会再说)。
先来看一个官方的例子:
这个例子中,有三个构造器,第一个是个空的{},当这个构造器被调用的时候:
let myRect = Rect()
origin会是 (0.0, 0.0), size会是 (0.0, 0.0),全部都是初始值。
第三个构造器中(第12行)调用了第二个构造器,这种方法,可以减少第三个构造器的代码,如果没有这种方式的话,那么在这个位置,我们就要把第二个构造器的内容复制一份,放在这里(这显然是不好的)。
类继承和构造过程
switf为类提供了两种构造器,以确保所有的属性都能被值始化:指定构造器 和 便利构造器
//吐槽:原本为了方便交流而定义了各种各样的名字,结果在上手学习的时候,却造成了极大的障碍,不知道这算不算是得不尝失。但既然已经有人给各种各样的调用方式都起了名字,并且又出现在官方文档里,那就逆来顺受吧,只要我们知道,其实这玩意就是那么回事。。。就行了
这里的指定构造器和便利构造器在官方文档上说了一大堆的解释,各种名字概念天花乱坠,说得头都晕了,无非就是为了方便使用而封装了一层调用而已啊,绕晕有什么意思,还是暂时先放一下吧,一会儿再说。
构造器调用链
为了简化指定构造器和便利构造器的调用关系,swift指定了三条规则:
1. 构造器代理必须调用它的直接父类的指定构造器
2. 便利构造器必须调用它同一个类中定义的其它构造器
3. 便利构造器的结尾部分必须调用一个指定构造器
一个方便的记忆方法是(这是文档上的):
指定构造器必须总是向上代理
便利构造器必须总是横向代理
//吐槽:说得好听点是为了简化而搞出来的一堆并不简单的规则,说难听点不就是为了商业目的,降低门槛而搞出来的所谓自动推导而引出来的一系列的恶心问题嘛。。。。
向上代理的意思就是调用父类的指定构造器
横向代理的意思就是调用它自己类内的构造器
官方的图解:
每一个大的蓝色广块表示的是一个类,每一个小的蓝色广块(写着 Designated)代表指定构造器,每一个土黄色的方块(写着 Convenience)代表便利构造器。 这个图就是对上面三条规则的解释。
两段式的构造过程(Two-Phase Initialization)
swift中类,包含两个阶段。
第一阶段,每个存储型属性通过它们自己的类构造器来设置初始值。
第二阶段,每一个存储型属性都可以进一步的设置他们定制化的初始化。
我拿一小段代码来说明这个文档的SB之处(这段代码明显是错的):
int myNumA = 1
func myFunc() {
myNumA = myNumB //在这里的时候 myNumB还没定义,也没初始化,明显是错的
}
int myNumB = 2 //myNumB定义+初始化
所谓的两段式构造过程,就是告诉我们,在使用myNumB之前,要确保它被定义并且被初始化了。。。。。于是,如果按着两段式构造过程,我们上面的代码正确写法应该是:
int myNumA = 1
int myNumB = 2
func myFunc() {
myNumA = myNumB
}
//看起来是不是很好笑。。。。用了一大堆的描述,就是想说明这样的问题。
构造器的继承和重写
swift中,子类不会默认的继承父类的构造器。但是我们偶尔会觉得父类的构造器的功能不够强大,这个时候就需要在子类中,重写构造器,以达到特定的目的。
如果重写的是一个指定构造器,写完我们的逻辑之后,记得要调用父类的那个构造器。
如果重写的是一个便例构造器,必须要调用这个类中的其它指定构造器。
构造器的重写,与属性、方法以及下标的重写不同,我们不需要在前面写 override关键字。
自动构造器的继承
在之前的笔记中以及文档中,一直在说,swift不会默认的继承父类的构造器,但实际上,很多例子已经说明可以自动继承了(为了避免误解与暴乱,扔白菜之类的事情发生,我一直都没说。。。:))
swift的构造器继承机制,要满足以下两点:
1. 如果子类没有定义任何指定构造器,它将会自动继承所有父类的指定构造器。
2. 如果子类中定义了所有父类的指定构造器的实现(通过规则1 或是 自己实现),它将会自动继承所有父类的例利构造器。
指定构造器及便利构造器的语法
指定构造器:
init (参数) {
函数体
}
便利构造器:
convenience init(参数) { //这里有个convenience关键字
函数体
}
只要知道convenience型的构造器,只能调用它自己这个类中的非convenience构造器就行了。
用闭包或者函数设置属性的默认值
class MyClass {
var myNumbers:Int[] = {
var tmpNum = Int[]() //生成一个临时数组,用来在闭包最后给myNumbers赋值
for i in 1…10 {
tmpNum.append(i) //添加元素
}
return tmpNum //闭包的返回值
}() //这个()一定不可以省,不然的话,myNumbers就成了闭包这个函数,而不是闭包的返回值了
func getNumbers() -> Int[] {
return myNumbers
}
}
let myInstance = MyClass()
myInstance.getNumbers() //这条取到了MyClass的myNumbers数组
swift 笔记 (十四) —— 构造过程