Swift底层内存分配机制探究——与Objective-C的差异及疑问

嘿，这个问题问到点子上了——Swift的内存分配逻辑确实和Objective-C有不小的差异，咱们从核心区别到具体场景拆解来看：

1. 核心分层：值类型 vs 引用类型的分配差异 #

Swift的内存分配最核心的特点是区分值类型和引用类型，两者的分配路径完全不同：

• 值类型（struct、enum、tuple、基本数据类型等）：绝大多数情况下直接分配在栈上。栈分配由编译器直接通过调整栈指针完成，完全不需要调用libmalloc里的malloc，效率极高。只有当值类型被闭包捕获、或者作为类的存储属性时，才会被“装箱”移到堆上。
• 引用类型（class、actor、闭包等）：这类对象始终分配在堆上，但Swift并没有直接完全依赖libmalloc，而是在它之上做了一层优化：
  • Swift内置了小型对象分配器（Small Object Allocator），对于尺寸较小的对象（通常是几百字节以内），会从预先分配好的内存池中直接取内存块，比直接调用malloc快得多；
  • 只有当对象尺寸超过分配器的阈值时，才会降级调用libmalloc的malloc来分配内存。

2. 你提到的类初始化场景：override init() { super.init() } #

当你初始化一个Swift类实例时，背后的流程是这样的：

1. 编译器首先计算该类实例所需的总内存大小（包括自身所有存储属性、父类的存储属性，以及Swift runtime需要的元数据空间）；
2. 根据内存大小选择分配路径：小尺寸走Swift小型对象分配器，大尺寸走libmalloc；
3. 分配完成后，才会执行init方法里的初始化逻辑，包括调用父类的super.init()来完成父类部分的初始化；
4. 后续对象的生命周期由ARC（自动引用计数）管理，当引用计数降为0时，会先执行deinit方法，再根据分配路径对应释放内存（小型对象归还给内存池，大对象调用libmalloc的free）。

3. 和Objective-C的关键差异 #

• Objective-C里所有对象都是引用类型，全部走libmalloc的malloc分配堆内存，没有栈分配的概念；
• Swift通过值类型的栈分配、引用类型的分层分配优化，在性能上比Objective-C的纯堆分配更高效，尤其是对于大量小数据的场景。

另外补充个小细节：如果你用UnsafeMutablePointer这类手动管理内存的API，还是会直接调用libmalloc的malloc/free，但这属于Swift里的底层操作，日常业务开发很少用到。

内容的提问来源于stack exchange，提问作者Kylin.Zhang