objective-c 和 swift 语言的内存管理方式都是基于引用计数「reference counting」的,引用计数是一个简单而有效管理对象生命周期的方式。引用计数分为手动引用计数「arc: automaticreference counting」和自动引用计数「mrc: manual reference counting」,现在都是用 arc 了,但是我们还是很有必要了解 mrc。
1. 引用计数的原理是什么?
当我们创建一个新对象时,他的引用计数为1;
当有一个新的指针指向这个对象时,他的引用计数就加1;
当对象关联的某个指针不再指向他时,他的引用计数就减1;
当对象的引用计数为0时,说明此对象不再被任何指针指向,这时我们就可以将对象销毁,回收内存。
由于引用计数简单有效,除了 objective-c 语言外,microsoft 的 com「component object model」、c++11(基于引用计数的智能指针 share_prt)等语言也提供了基于引用计数的内存管理方式。
举个例子:
新建工程,xcode 默认开启的是 arc,我们这里针对「appdelegate.m」文件使用 mrc,进行以下配置:
选择目标工程,然后在「build phases」的「compile sources」下的「appdelegate.m」文件配置编译器参数「compiler flags」值为「-fno-objc-arc」
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
- ( bool )application:(uiapplication *)application didfinishlaunchingwithoptions:(nsdictionary *)launchoptions { nsobject *objo = [nsobject new ]; nslog(@ "reference count: %lu" , (unsigned long )[objo retaincount]); // 1 nsobject *objb = [objo retain]; nslog(@ "reference count: %lu" , (unsigned long )[objo retaincount]); // 2 [objo release]; nslog(@ "reference count: %lu" , (unsigned long )[objo retaincount]); // 1 [objo release]; nslog(@ "reference count: %lu" , (unsigned long )[objo retaincount]); // 1 [objo setvalue:nil forkey:@ "test" ]; // 僵尸对象,向野指针发送消息会报错(exc_bad_access) return yes; } |
xcode 默认不会监控僵尸对象,这里我们配置开启他,然后就可以看到具体的跟踪信息了:
也可以通过选择「product」下的「profile」来打开「instruments」工具集。然后选择「zombies」,再单击右下角的「choose」按钮进入检测界面,这时点击左上角的「record」红色圆点按钮开始检测。
1.1 上面例子,为什么最后一次通过 retaincount 获取的值为1,而不是为0呢?
因为该对象的内存已经被回收,我们向一个被回收的对象发送 retaincount 消息,他的输出结果是不确定的,如果该对象所占内存被复用了,那么就可能造成程序异常崩溃。
而且当最后一次执行 release 时,系统已经知道马上要回收内存了,就没必要再将 retaincount 减1,因为不管减不减1,该对象都会被回收,回收后他所在内存区域(包括 retaincount 值)就没有意义了。不将retaincount 减1变为0,可以减少一次内存操作,加快对象的回收。
1.2 什么是僵尸对象、野指针、空指针呢?
僵尸对象:所占用内存已经被回收的对象,僵尸对象不能再使用。
野指针:指向僵尸对象(不可用内存)的指针,给野指针发送消息会报错(exc_bad_access)。
空指针:没有指向任何对象的指针(存储的是 nil、null),给空指针发送消息不会报错;空指针的一个经典使用场景就是在开发中获取服务器 api 数据时,转换野指针为空指针,避免发送消息报错。
2. 为什么需要引用计数?
从上面简单例子,我们还看不出引用计数真正的用处,因为该对象的生命周期只是在一个方法内。在真实的应用场景中,我们在方法内使用临时对象,通常不需要修改他的引用计数,只需要在方法返回前销毁对象就可以了。
然而,引用计数真正派上用场的场景是在面向对象的程序设计架构中,用于对象之间传递和共享数据。
举个例子:
假如对象 a 生成了一个对象 o,需要调用对象 b 的某个方法,将对象 o 作为参数传递过去。
在没有引用计数的情况下,一般内存管理的原则是「谁申请谁释放」,那么对象 a 就需要在对象 b 不再需要对象 o 的时候,将对象 o 销毁。但对象 b 可能临时用一下对象 o,也可以觉得他重要,将他设置为自己的一个成员变量,在这种情况下,什么时候销毁对象 o 就成了一个难题了。
对于以上情况有两种做法:
(1)对象 a 在调用完对象 b 的某个方法之后,马上销毁参数对象 o,然后对象 b 需要将对象 o 复制一份,生成另一个对象 o2,同时自己来管理对象 o2 的生命周期。但是这种做法有一个很大的问题,就是他带来更多的内存申请、复制、释放的工作。本来可以复用的对象,因为不方便管理他的生命周期,就简单地把他销毁,又重新构造一份一样的,实在太影响性能。
(2)对象 a 只负责生成对象 o,之后就由对象 b 负责完成对象 o 的销毁工作。如果对象 b 只是临时用一下对象 o,就可以用完后马上销毁,如果对象 b 需要长时间使用对象 o,就不销毁他。这种做法看似解决了对象复制的问题,但是他强烈依赖于 a 和 b 两个对象的配合,代码维护者需要明确地记住这种编程约定。而且,由于对象 o 的生成和释放在不同对象中,使得他的内存管理代码分散在不同对象中,管理起来也很费劲。如果这个时候情况更加复杂一些,例如对象 b 需要再向对象 c 传递参数对象 o,那么这个对象在对象 c 中又不能让对象 c 管理。所以这种方法带来的复杂度更高,更加不可取。
引用计数的出现很好地解决这个问题,在参数对象 o 的传递过程中,哪些对象需要长时间使用他,就把他的引用计数加1,使用完就减1。所有对象遵守这个规则,对象的生命周期管理就可以完全交给引用计数了。我们也可以很方便地享受到共享对象带来的好处。
2.1 什么是循环引用「reference cycles」问题,怎么解决呢?
引用计数这种内存管理方式虽然简单,但有一个瑕疵就是他不能自动解决循环引用的问题。
举个例子:
对象 a 和对象 b 相互引用对方作为自己的成员变量,只有当自己销毁时,才将自己的成员变量的引用计数减1,因为对象 a 和对象 b 的销毁相互依赖,这样就造成我们所说的循环引用问题了。
循环引用会导致即使外界已经没有任何指针能够访问他们了,但是他们所占资源仍然无法释放的情况。
解决循环引用问题主要有两种方法:
(1)明确知道哪里存在循环引用,合理时机主动断开环中的一个引用,使得对象得以回收。这种方法不常用,因为他依赖开发人员自己手工显式控制,相当于回到以前「谁申请谁释放」的内存管理年代。
(2)使用弱引用「weak reference」,「weak」「__weak」类型,这种方法常用。弱引用虽然持有对象,但是并不增加他的引用计数。弱引用的一个经典使用场景就是委托代理「delegate」协议模式。
2.2 xcode 中有什么工具可以检测循环引用吗?
在 xcode 中有「instruments」工具集可以很方便地检测循环引用。
举个例子:
1
2
3
4
5
6
7
8
|
- ( void )viewdidload { [super viewdidload]; nsmutablearray *marrfirst = [nsmutablearray array]; nsmutablearray *marrsecond = [nsmutablearray array]; [marrfirst addobject:marrsecond]; [marrsecond addobject:marrfirst]; } |
可以选择「product」下的「profile」来打开「instruments」工具集。
然后选择「leaks」,再单击右下角的「choose」按钮进入检测界面,这时点击左上角的「record」红色圆点按钮开始检测。
3. core foundation 对象的内存管理
arc 是编译器特性,他不是运行时特性,更不是垃圾回收器「gc」。
arc 能够解决 ios 开发中90%的内存管理问题,但是另外10%的内存管理问题是需要开发人员自己处理的,这主要是与底层 core foundation 对象交互的部分,底层 core foundation 对象由于不在 arc 的管理下,所以需要自己维护这些对象的引用计数。
实际上 core foundation 对象使用的 cfretain 和 cfrelease 方法,可以认为与 objective-c 对象的 retain 和 release 方法等价,所以我们可以以 mrc 的方式进行类似管理。
3.1 在 arc 中,通过什么方式可以把 core foundation 对象转换为 objective-c 对象呢?
转换的过程,其实是告诉编译器,对象的引用计数如何调整。
这里我们可以使用桥接「bridge」相关关键字来进行转换工作,以下是这些(双下划线)关键字的说明:
(1)__bridge:只做类型转换,不修改相关对象的引用计数,原来的 core foundation 对象在不用时,需要调用 cfrelease 方法。
(2)__bridge_retained:类型转换后,将相关对象的引用计数加1,原来的 core foundation 对象在不用时,需要调用 cfrelease 方法。
(3)__bridge_transfer:类型转换后,将相关对象的引用计数交给 arc 管理,原来的 core foundation 对象在不用时,不需要调用 cfrelease 方法。
我们根据具体的业务逻辑,合理使用上面的三种转换关键字,就可以解决core foundation 对象 与 objective-c 对象相对转换的问题了。