Swift进阶-内存管理
本文的主要目的是探索 RefCount 的内存结构及强/弱引用计数管理
Swift 中也是采用 ARC 编译器自动内存管理机制。
Swift 对象的内存结构是 HeapObject, 有两个属性 Metadata 和 RefCount , 各占8字节(64位)。
RefCount 的每位的数据存储内容如下图所示:
1. 强引用的引用计数
1.1 数据结构
数据结构体大概是这样:
1 2 3 4 | struct InlineRefCountBits { var strongref : UInt32 var unownedRef : UInt32 } |
1.2 存储方式
源码中定义了 64 位的 refCount 联合体的不同位置,存储的不同含义:
我们通过下面这个小案例,来看看强引用的引用计数的存储方式:
我们把这个值放到计算器中,对比着看下 64 位的二进制存储情况:
从33 - 62位存储的是强引用数量,二进制的 11, 表示的是3,也就是有3个强引用计数。强引用计数是从0开始的,有t, t1, t2 三个变量指向创建的对象,所以对象的强引用计数为3。
那控制台里打印的0x0000000600000002中的6是怎么回事呢?
- 由于我们在控制台打印的是16进制,每4位为一组,第32 - 36位的 0110, 表示的是数字6,所以才会显示成0x0000000600000002,这里只是进制计算方式不同,并不是代表有6个引用计数。
- 由于二进制是从第33位开始存储的值是11,16进制却从32位开始存储的值是110。110 比 11向左移1位,所以就形成了2倍关系。所以我们从控制台打印出来的值,除以2,就是真实的强引用计数了。
1.3 作用
在ARC下,编译器会根据强引用数量,来判断一个对象是否应该被销毁。如果强引用为0,就会销毁这个对象。
如果两个对象,互相强持有对方,则会造成引用计数均不能为0,也就是无法销毁,从而造成内存泄露的问题。
这时就需要弱引用或者无主引用,来将一个持有方式改为非强引用。这样就可以解除循环引用的问题。
下面就是一个循环引用的例子:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | class Teacher { var age = 18 var closure :(()- > ())? deinit { print ( "Teacher 销毁了" ) } } func test () { var t = Teacher () t . closure = { t . age = 10 } print ( "方法执行完了" ) } test () |
由于对象 t 持有closure,closure 内又捕获了 t 的变量,从而强持有了 t . 所以造成了循环引用。
2.弱引用
使用weak 来修饰变量,这个变量就是弱引用,强引用计数不会再加1。weak 修饰后的变量,会变成一个可选项,也就是可以将 nil 赋值给它。
2.1 数据结构
数据结构:
调用流程:
所以WeakReference大概是这样的结构:
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | struct WeakReference { var entry : HeapObjectSideTableEntry } struct HeapObjectSideTableEntry { var object : HeapObject var refCounts : SideTableRefCounts } struct SideTableRefCounts { var strongref : UInt32 var unownedRef : UInt32 var weakBits : UInt32 } struct HeapObject { var kind : UnsafeRawPointer var strongref : UInt32 var unownedRef : UInt32 } |
2.2 存储方式
下面是个例子:
我们创建了4个弱引用的变量,弱引用计数从1开始计数,所以是5.
2.3 作用
weak 修饰的类型会自动变为可选类型,可以用于解除循环引用,在对象销毁后,编译器会自动置为nil。
1.3 中的例子,在捕获 t 的时候,使用 weak 修饰一下,就不会形成闭包对 t 对象的强引用。
1 2 3 4 5 6 7 | func test () { var t = Teacher () t . closure = {[ weak t ] in t ?. age = 10 } print ( "方法执行完了" ) } |
3 无主引用
存储方式及数据结构在强引用中,已经分析过了,下面这个图是结果:
3.1 计数方式
所以无主引用的计算方式为:
- 转换成 2 进制, 比如 6 转成 110
- 右移一位,110 变 10, 也就等于10进制的3
- 减 1,3 - 1 = 2
对象 t 的无主引用的值是 2
3.2 作用
由于 weak 修饰后的变量是可选项,使用时需要解包,比较麻烦。
如果能从上下文中确定变量的一定有值的话,可以使用 unowned 修饰变量来解除循环引用,因为它也不是强引用。这有点类似于隐式解包,在确定有值时再使用,如果对象释放后,再执行这个闭包,会崩溃的。
4. 获取引用计数
4.1 CFGetRetainCount
需要注意的是, 如果我们使用CFGetRetainCount来获取强引用计数,这个方法的内部,会自动将当前的引用计数加1. 这一逻辑与 OC 是一致的:
4.2 swift_retainCount
从源码看,swift_retainCount 获取引用计数的时候,也是默认 + 1 的。

5.引用计数加1
在ARC下,编译器为我们自动做了内存管理的操作,在有强引用 / 弱引用 / 无主引用指向对象时,都会执行对应的方法,去将对象对应的引用计数 + 1。
下面是swift_retain(强引用)的源码:
6.引用计数减1
在ARC下,编译器为我们自动做了内存管理的操作,当指向对象的变量离开当前作用域时,根据对应变量的类型(强引用 / 弱引用 / 无主引用),执行对于的方法,将对象对应的引用计数 - 1。
下面是swift_release(强引用)的源码:
好了 给小伙伴分解到这里就到此为止吧,以后会慢慢给大家讲解说明。
青山不改,绿水长流,后会有期,感谢每一位佳人的支持!
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 一个奇形怪状的面试题:Bean中的CHM要不要加volatile?
· [.NET]调用本地 Deepseek 模型
· 一个费力不讨好的项目,让我损失了近一半的绩效!
· .NET Core 托管堆内存泄露/CPU异常的常见思路
· PostgreSQL 和 SQL Server 在统计信息维护中的关键差异
· CSnakes vs Python.NET:高效嵌入与灵活互通的跨语言方案对比
· DeepSeek “源神”启动!「GitHub 热点速览」
· 我与微信审核的“相爱相杀”看个人小程序副业
· Plotly.NET 一个为 .NET 打造的强大开源交互式图表库
· 上周热点回顾(2.17-2.23)