Swift内存管理错误？unowned与weak的循环引用场景对比

在Swift开发中，内存管理是保证应用稳定性的核心环节。自动引用计数（ARC）通过跟踪对象引用数量自动释放内存，但当两个对象互相强引用时，会形成循环引用（Reference Cycle），导致内存泄漏甚至程序崩溃。本文将深入对比weak和unowned在解决循环引用时的差异，结合代码示例和性能数据，为开发者提供最佳实践指南。

一、循环引用的本质与ARC机制

1.1 ARC的工作原理

ARC通过引用计数管理对象生命周期：

  • 强引用：默认引用类型，引用计数+1。
  • 弱引用（weak）：不增加引用计数，对象销毁后自动置为nil。
  • 无主引用（unowned）：不增加引用计数，但对象销毁后仍保持内存地址（访问已释放对象会触发运行时错误）。

1.2 循环引用的形成条件

当两个对象互相持有强引用时，引用计数无法归零，形成闭环：

class A {

var b: B?
deinit {
 print("A deinit") }
}
class B {

var a: A?
deinit {
 print("B deinit") }
}
var a = A()
var b = B()
a.b = b  // A强引用B
b.a = a  // B强引用A
a = nil   // 引用计数仍为1（B持有A）
b = nil   // 引用计数仍为1（A持有B）
// 输出：无deinit调用，内存泄漏！

二、weak与unowned的核心差异

2.1 关键特性对比

特性weakunowned
可选性必须是可选类型（var）非可选类型（let或var）
对象销毁后行为自动置为nil保持原内存地址（野指针风险）
性能开销稍高（需动态检查nil）稍低（无动态检查）
适用场景生命周期不确定或可能为nil生命周期确定且长于当前对象

2.2 典型错误场景

  • 错误使用unowned：访问已释放对象导致崩溃。
class User {

let name: String
unowned var profile: Profile
init(name: String, profile: Profile) {

self.name = name
self.profile = profile
}
deinit {