构造过程是在使用类,结构和枚举实例之前的准备过程,存储属性的赋值和一些准备工作。
构造器
在创建实例的时候调用的函数
init () {
//这里执行构造过程
}
struct Fahrenheit {
var temperature: Double
let max : Double
init() {
//为存储属性设置初始值
//这里面的赋值不会调用属性观察器
temperature = 32.0
// 给常量赋值,这个一旦赋值就不能更改
max = 1000
}
}
struct Fahrenheit {
var temperature: Double = 10;
init() {
//temperature有默认值,这里可以不设置初始值
}
}
总结就是 类和结构体在创建实例时,必须为所有存储型属性设置合适的初始值。存储型属性的值不能处于一个未知的状,不包括可选类型(可选类型可以不初始化)
态。
默认构造器
如果没有给类定义任何构造器,并且类的每个存储属性都有默认值的情况下,swift会自动添加一个空的构造器
init () {
}
对于结构体来说他会获得一个逐一成员构造器(就是包含所有参数的构造器)
struct Point {
var x: Double
var y: Double
//他会得到这样一个构造器
init(x: Double,y: Double){
self.x = x;
self.y = y;
}
}
值类型构造器代理
就是构造器互相调用的情况。
因为值类型(结构体,枚举)不支持继承所以构造器代理过程比较简单,类类型构造器代理麻烦些。因为要保证超类的存储属性也能正确的初始化。
注意:swift的init函数不返回任何东西。
//值类型
struct Rect {
var origin = Point()
var size = Size()
init() {}
init(origin: Point, size: Size) {
self.origin = origin
self.size = size
}
init(center: Point, size: Size) {
let originX = center.x - (size.width / 2)
let originY = center.y - (size.height / 2)
self.init(origin: Point(x: originX, y: originY), size: size)
}
}
类的继承和构造过程
类里面的所有存储型属性——包括所有继承自父类的属性——都必须在构造过程中设置初始值。
类有两种构造器:指定构造器 和便利构造器
类中最少有一个指定构造器,不写的话swift默认给添加一个。
便利构造器是一种辅助构造器,用来创建一个特殊用途或特定输入值的实例。
注意构造器中调用顺序
//1.指定构造器
init(){
1.先初始化在本类中定义的存储属性
2.调用父类的一个指定构造器
3.如果需要修改从父类继承来的存储属性值,则在这一步修改。
}
//2.便利构造器
convenience init () {
1.先调用指定构造器
2.其他初始化操作
}
类的构造器调用规则:
1.指定构造器必须调用其直接父类的的指定构造器。
2.便利构造器必须最终导致同类中一个指定构造器被调用
理解为 便利构造器横向调用,指定构造器向上调用。如图Designated表示指定构造器,Convenience表示便利构造器。
构造过程
第一阶段(向上调用的过程)
子类指定构造器先初始化在本类中定义的存储属性,然后调用其父类指定构造器,这样一直向上调用到顶后 所有存储属性就都初始化完成。
第二阶段 (函数返回的过程)
在每一级构造函数返回之前还可以做一些修改,也就是在super.init 调用之后还有修改机会。
构造器的继承和重写
swift的构造器默认是不继承给子类的,子类可以通过定义与父类相同的构造器来重写父类的构造器。
在一些情况下子类可以继承父类的构造器:
1.假设子类中引入的所有新属性都提供了默认值,并且没有定义自己的构造器,那么子类自动继承父类的所有构造器(包括便利构造器)
2.如果子类重写了父类的所有指定构造器,那么子类继承父类的所有便利构造器。
可能出错的初始化器
想象一下我们在初始化一个实例的时候,传入的初始化参数有可能是错误的,不符合要求的,这个参数又对实例的正常工作非常重要。这个时候我们就需要一种机制,在传入错误的初始化参数的时候给出反映。就是一种参数校验。
struct Animal {
let species: String
//在init后面跟一个?号表示可能初始化失败,并且失败的时候返回nil。
//注意在初始化成功的时候不用加return self;
init?(species: String) {
if species.isEmpty { return nil }
self.species = species
}
}
必要构造器
在类的构造器前添加required 修饰符表明所有该类的子类都必须实现该构造器
class SomeSubclass {
required init() {
// 构造器的实现代码
}
}