block较难理解,根据在内存中的分布情况就分为3种类型,根据使用的情形又分为很多很多种。虽然用起来容易,但使用不当会造成内存泄露,虽然都是这么说,但你真的研究过为什么会泄露吗?为什么有些时候外部变量进入block的时候会导致引用计数+1呢?
本人做过MRC以及ARC的开发,但大势所趋,ARC将是以后开发的主要模式,即使有MRC也是ARC混编MRC的代码,所以,本文的block的一些使用上的心得都基于ARC的,已经不考虑MRC的了,请看官注意,MRC与ARC的block是有着很多很多区别的。
注意,以下心得是我自己长时间收集资料以及自己验证所的出来的一些技巧与结论,不代表它的正确性,这仅仅是笔记,取舍由你决定,最好自己验证一下。
首先建立出如下形式的工程,CV1 push 到CV2的这种形式。
它们的强引用关系如下:
以下是CV2的代码,注意,要将block定义成copy属性。
block被copy了有着什么现象发生呢?引用一段原文。
http://stackoverflow.com/questions/16149653/what-is-the-role-of-the-copy-in-the-arc
Blocks are similar to other objects for memory management, but not the same. When a block which accesses local variables is created, it is created on the stack. This means that it is only valid as long as its scope exists. To save this block for later, you must copy it, which copies it to the heap.
Blocks与其他对象的内存管理相似,但又有着不同。当一个block(block当中有着外部变量进入)被创建了,它是在堆区中的。那意味着,当block中的代码执行完毕之后,这段代码就再也不合法了,会被清除掉。为了让这个block存活时间更久。你必须copy,将它拷贝到栈区。
1. CV1 push 到CV2,CV2在栈区里面,CV2 pop 掉后整个控制器都被释放。
2. 作为属性的block被copy之后会出现在CV2栈区里面,为什么在栈区里面,很简单,它要随着CV2的生命周期一致,CV2 pop 掉后这个block也会跟着一起消失的。
他们的强引用关系如下图所示:
以下情形叫做有外部变量进入block的情形,其中的self.name就是控制器CV2的一个属性,对于block来讲属于外部变量。
这里有一个问题,对于进入到block里面的外部变量,为什么会被block强引用呢?
我们可以这么想,block块中的代码并不是马上就会执行的,需要你手动调用才行,如上例中的self.oneBlock(@“YouXianMing”);有时候,这个方法都执行结束了,这个block还没有执行,如果block中的对象没有被block强引用,很有可能那个变量已经消失了却还调用了block,直接后果就是崩溃。为了保证block至少能用上一次,它必须强引用进入到里面的外部变量。
所以上图中的强引用关系图如下所示:
如果CV2 pop 了,其释放过程是这样子的:
CV2被CV1强引用消失,CV2就会挨个检查强引用,如果没有发现自己被什么强引用,就会把所有的内容清除掉,就是上图中的oneBlock以及name。
最后,之后轮到oneBlock了,它也会解除name的强引用关系:
至此,都是很完美的,没有内存泄露什么的。
我们把代码修改成如下的形式,我们在block中执行一个方法,让控制器执行一个方法,即[self ......];
它们的强引用关系图如下,注意下图中的蓝色的线条,因为外部变量self(CV2自身)传了进来,只出现的self也算传进来了哦。
这个时候,你如果将 CV2 pop掉。它们的关系图如下所示:
这个时候,CV2会检测自己有没有被强引用,结果发现被一个对象oneBlock强引用了,那么它自身就不会被释放掉,整个CV2都泄露了呢,泄露的原因就是循环引用。
这时候,你再从CV1 push 出CV2,以下是关系图:
再次pop又会泄露一个CV2。每次的push与pop都会导致一个新的CV2整体被泄露哦。
这还只是作为属性的block。其他的还没讲呢。作为属性的block是最容易出现循环引用事件的。block的知识都比较隐晦,你以为你懂了,其实你没懂。需要抱着一颗不浮躁的心,慢慢的分析它的特性,写代码验证自己的想法,然后才会使用得得心应手。