Swift中init()如何创建实例？核心原理疑问

1. init() 是如何创建实例的？ #

Swift 的实例创建分两步走：内存分配 + 属性初始化。以你的 Rect 结构体为例，调用 Rect() 时，系统首先会分配一块能容纳 origin 和 size 两个存储属性的内存空间。接着调用 init() 方法，完成所有属性的初始化工作（示例里属性自带默认值，所以空 init() 会隐式把默认值填充到对应内存位置）。等所有存储属性都拥有合法值后，这块内存就会被标记为一个有效的 Rect 实例，最终返回给调用者。

2. 为什么在 init() 里赋值就能生成实例？ #

Swift 有个硬性规则：任何实例在可用之前，所有存储属性必须被赋予确定的值，这是为了保证实例的安全性，避免使用未初始化的属性导致错误。init() 的本质就是完成所有存储属性的初始化绑定，让内存里的每个属性位置都有合法值。你的 Rect 里 origin 和 size 已经有默认值，空 init() 其实是在底层帮你把这些默认值写到对应的内存区域。一旦所有属性都完成赋值，这块内存就满足了“合法实例”的要求，自然就成为了可用的实例。

3. init() 看起来是无返回值的赋值方法，为什么调用它能返回实例？ #

这是 Swift 语法层面的内置设计——init() 虽然没有显式的返回值声明，但它的核心语义就是产出一个完成初始化的实例。底层实现上，当你调用 Rect() 时，编译器会自动处理内存分配、属性初始化，最后把初始化好的内存地址包装成实例返回给你。你看到的“无返回值”只是语法简化，实际上初始化方法的职责就是生成合法实例，这是语言内置的行为，不需要你手动写 return。

示例代码运行原理 #

struct Rect {
    var origin = Point() // 存储属性，自带默认实例
    var size = Size()    // 存储属性，自带默认实例
    init() {} // 空自定义初始化器
}

let basicRect = Rect()

运行流程拆解：

1. 执行 Rect() 时，系统先分配一块内存，大小等于 Point 和 Size 实例的内存总和。
2. 调用空的 init() 方法，触发属性默认值的赋值：把 Point() 的实例写入 origin 对应的内存位置，把 Size() 的实例写入 size 对应的内存位置。
3. 所有存储属性完成初始化，这块内存被标记为有效的 Rect 实例，最终赋值给 basicRect 常量。

内容的提问来源于stack exchange，提问作者pearl