Swift 构造过程：从零开始理解对象的诞生
在 Swift 编程中，每一个对象的创建都始于一个关键环节——构造过程。你可能已经写过很多类、结构体和枚举，但你是否真正理解它们是如何被“组装”起来的？今天我们就来深入剖析 Swift 构造过程的本质，帮助你从初学者迈向更扎实的中级开发者。
Swift 构造过程不仅仅是“new 一个对象”那么简单。它是一套完整的生命周期管理机制，确保对象在被使用前，所有属性都已正确初始化，内存安全得到保障。尤其对于结构体和类这种复合类型，构造过程尤为重要。
想象一下，你正在建造一栋房子。在打地基之前，你不能直接往上盖墙。同样，Swift 要求在对象“出生”那一刻，所有成员属性必须已经准备好，不能是空的或未定义的。这就是构造过程的核心使命：确保对象在创建时处于一个合法、完整、可用的状态。
接下来，我们将从基础构造器定义开始，逐步揭开 Swift 构造过程的层层机制。
构造器的基本语法与用途
在 Swift 中，构造器（initializer）是一种特殊的函数，用于初始化一个新实例的属性。它的名字是 init，并且没有返回值，即使你写 return 也会被编译器禁止。
struct Person {
var name: String
var age: Int
// 构造器：在创建 Person 实例时自动调用
init(name: String, age: Int) {
self.name = name
self.age = age
print("Person \(name) 已被创建，年龄为 \(age)")
}
}
注意：
self.name = name中的self指的是当前实例，右边的name是传入的参数。两者同名但作用域不同，必须用self区分。
我们来创建一个实例看看效果：
let person = Person(name: "张三", age: 25)
// 输出：Person 张三 已被创建，年龄为 25
这个 init 就是 Swift 构造过程的起点。每个结构体或类如果包含存储属性，就必须提供足够的构造器来确保这些属性在实例创建时被赋予有效值。
⚠️ 重要提醒：如果你的结构体或类中定义了没有默认值的存储属性，必须提供构造器，否则编译会失败。
默认构造器与成员逐一初始化构造器
Swift 提供了强大的默认构造器生成机制，尤其在结构体中非常友好。当你定义一个结构体，且所有属性都有默认值时，Swift 会自动为你生成一个无参构造器。
struct Book {
var title: String = "未命名"
var author: String = "未知作者"
var pages: Int = 0
}
// 无需手动写 init，Swift 自动生成了默认构造器
let book = Book()
print(book.title) // 输出：未命名
但如果你的结构体中没有默认值，比如：
struct Car {
var brand: String
var model: String
var year: Int
}
此时，Swift 就不会自动生成默认构造器，必须手动提供一个。
这时候，Swift 会自动为你生成一个成员逐一初始化构造器（memberwise initializer），前提是所有属性都是可初始化的。
let myCar = Car(brand: "特斯拉", model: "Model 3", year: 2023)
这个构造器的参数顺序和属性顺序完全一致，调用起来非常直观。
✅ 小技巧：成员逐一初始化构造器是 Swift 为结构体提供的“语法糖”，让你不用写重复的初始化代码。
两阶段构造过程：安全初始化的基石
Swift 采用两阶段构造过程（Two-phase Initialization），这是其内存安全机制的重要组成部分。这个过程分为两个阶段：
- 阶段一：在构造器中，为实例的所有属性分配内存并设置初始值。
- 阶段二：在构造器中，对已分配内存的属性进行进一步的自定义初始化。
这个设计的目的是防止在构造过程中访问尚未初始化的属性。
阶段一：属性设置初始值
在构造器开始执行时，Swift 会确保每个属性都已赋值。即使你还没写任何代码，系统也会先为你分配内存并设置默认值（或使用默认构造器逻辑）。
阶段二：自定义初始化
只有当所有属性都已设置初始值后，才能调用 self 相关的方法或属性。否则，编译器会报错。
举个例子：
class BankAccount {
var balance: Double
var accountNumber: String
init(balance: Double, accountNumber: String) {
// 阶段一：设置初始值
self.balance = balance
self.accountNumber = accountNumber
// ✅ 此时可以安全地调用 self
print("账户 \(accountNumber) 创建成功，初始余额：\(balance)")
// ❌ 如果下面这行写在上面，会编译错误！
// print("当前余额：\(self.balance)") // 错误！阶段一未完成
}
}
📌 重点：在阶段一完成前，不能访问
self的属性或方法，这是 Swift 保证内存安全的关键。
构造器的继承与重写：类的构造过程
在类中，构造器的继承规则比结构体更复杂。类的构造器不能被直接继承，但可以通过 override 来重写父类的构造器。
Swift 为类引入了两种构造器：
- 指定构造器（Designated Initializer）：负责初始化对象的全部属性。
- 便利构造器（Convenience Initializer）：为指定构造器提供简化调用方式。
指定构造器
每个类必须至少有一个指定构造器，它负责初始化所有属性。
class Vehicle {
var wheels: Int
var color: String
// 指定构造器：必须在子类中调用
init(wheels: Int, color: String) {
self.wheels = wheels
self.color = color
}
}
便利构造器
便利构造器通过调用指定构造器来完成初始化，通常用于简化常用场景。
class Car: Vehicle {
var brand: String
// 便利构造器：调用父类的指定构造器
convenience init(brand: String, color: String) {
self.init(wheels: 4, color: color) // 必须调用指定构造器
self.brand = brand
}
}
使用方式：
let myCar = Car(brand: "宝马", color: "黑色")
💡 便利构造器必须调用本类或其他类的指定构造器，不能直接调用父类的便利构造器。
可失败构造器与非可失败构造器的对比
在某些场景下，构造过程可能失败，比如传入的参数不合法。此时，你不能用 init，而应使用 init? 或 init!。
可失败构造器（init?）
返回可选值 T?，构造失败时返回 nil。
struct Temperature {
var celsius: Double
// 可失败构造器：当温度低于绝对零度时，构造失败
init?(celsius: Double) {
if celsius < -273.15 {
return nil // 温度不可能低于绝对零度
}
self.celsius = celsius
}
}
// 测试
let temp1 = Temperature(celsius: -300) // nil
let temp2 = Temperature(celsius: 25) // .some(Temperature)
if let validTemp = temp2 {
print("有效温度：\(validTemp.celsius)°C")
}
非可失败构造器（init）
如果构造失败，程序会崩溃。因此，它适用于“必须成功”的场景。
struct PositiveNumber {
var value: Int
init(value: Int) {
precondition(value > 0, "值必须大于 0")
self.value = value
}
}
📌 建议：在可能失败的场景下，优先使用
init?，避免运行时崩溃。
构造过程的完整生命周期：实例创建到释放
一个完整的 Swift 构造过程，从调用 init 开始，到实例被释放结束，包括：
- 分配内存
- 执行构造器（两阶段）
- 初始化所有属性
- 构造完成，对象可用
- 使用对象
- 引用计数归零时，自动调用析构（deinitializer）
class Logger {
var log: String
init(message: String) {
self.log = message
print("日志实例创建：\(message)")
}
deinit {
print("日志实例被释放：\(log)")
}
}
var logger: Logger? = Logger(message: "系统启动")
logger = nil // 打印：日志实例被释放：系统启动
这个生命周期说明了构造过程并非“一次性”操作，而是整个对象生命周期的起点。
总结：理解 Swift 构造过程，是掌握面向对象的关键
通过本文，我们系统梳理了 Swift 构造过程的核心机制：从基本语法到两阶段初始化，从默认构造器到可失败构造器，再到类的继承规则。这些机制共同保障了 Swift 的内存安全与类型安全。
掌握 Swift 构造过程，不仅能让你写出更健壮的代码，还能帮助你理解 Swift 如何在底层管理对象生命周期。
最后提醒：在实际开发中，尽量为结构体使用默认构造器或成员逐一初始化构造器；在类中合理使用指定构造器与便利构造器；在可能失败时使用
init?而非precondition。
当你能熟练运用 Swift 构造过程时，你会发现代码的可读性、可维护性、安全性都得到了质的提升。这正是专业开发者与初学者之间的一道分水岭。