retain cycle

retain cycle 的产生

说到retain cycle，首先要提一下Objective-C的内存管理机制。

作为C语言的超集，Objective-C延续了C语言中手动管理内存的方式，但是区别于C++的极其非人道的内存管理，Objective-C提出了一些机制来减少内存管理的难度。比如：内存计数。

在Objective-C中，凡是继承自NSObject的类都提供了两种方法，retain和release。当我们调用一个对象的retain时，这个对象的内存计数加1，反之，当我们调用release时，对象的内存计数减1，只有当对象内存计数为0时，这个对象才真正会被释放，此时，对象的delloc方法会被调用来做些内存回收前的工作。

内存计数机制的好处在于我们可以明确分配一个使用权。比如，当一个对象A要使用另外一个对象B的时候，A会retain B一次以表示A使用B，而当B被使用完毕之后，A会调用B的release方法来放弃使用权。这样，一个对象可以被多个其他对象使用。而作为使用它的对象，也不必关心自己之外被使用对象的使用情况（内存方面）。一般来讲，对于类的成员变量，retain和release分别发生在赋值和自身释放的时候，这就是Obj-C程序中的经典写法：

头文件中：

@property (nonatomic,retain) NSObject *obj;

在.m文件里：

- (void)dealloc{    [obj release];    [super dealloc];}

OK，这种方式可以很容易地管理内存，但是仍存在这一个问题，这就是retain cycle。

Retain cycle，翻译成中文大概叫保留环吧。既然父对象持有子对象，而子对象会随父对象释放而释放，那么，如果两个对象相互为父对象怎么办？

比如A和B两个对象，A持有B，B同时也持有A，按照上面的规则，A只有B释放之后才有可能释放，同样B只有A释放后才可能释放，当双方都在等待对方释放的时候， retain cycle就形成了，结果是，两个对象都永远不会被释放，最终内存泄露。

retain cycle使你编程的时候不得不注意一些问题。例如，要么尽量保持子对象引用父对象的时候使用弱引用，也就是assign，比如

@property (nonatomic,assign) NSObject *parent;

要么及时地将造成retain cycle中的一个变量设置为nil，将环break掉。如果注意点，这并不是什么特别大的问题。

嗯，注意点确实不是什么问题，但是当IOS 4.0只后，block的出现，使你更需要更为谨慎。

block与内存管理

block就是一段可以灵活使用的代码，你可以把它当变量传递，赋值，甚至可以把它声明到函数体里，更灵活的是你可以在里面引用外部的环境。最后一条使得block要有更多的考虑，既然block可以引用外部环境，那如何保证block被调用的时候当时的环境变量不被释放呢？（block调用的时机可能是随意的）

答案就是，被block引用的变量都会被自动retain一次，这样的话至少可以保证我们的调用是有效的。

说到这里你能想到什么吗？对，还是retain cycle。因为block中的retain是隐式的，所以极易出现retain cycle的问题。

因为block本身也可以看做一个对象，也存在生命周期，也可以被持有，所以当这种情况出现的时候，我们该注意了，比如：

DoSomethingManager *manager = [[DoSomethingManager alloc] init];

manager.complete = ^{    //...complete actions

    [manager otherAction];

    [manager release];};

    retain cycle 就这么形成了，即使调用了release，manager也不会释放，因为manager和block相互持有了。为了解除retain cycle的话，我们可以这样写：

    

    DoSomethingManager *manager = [[DoSomethingManager alloc] init];manager.complete = ^{   //...complete actions

        [manager otherAction];

        manager.complete = nil;

        [manager release];};

        manager的complete被设置为nil，如此一来retain cycle也被破坏掉，前提是你确实不需要再次回调block了。

        

        本来写到这里就算完了，但是新世纪总有新的挑战，这就在于在Apple有推出了一种新的技术 ARC。

        

        ARC 和 retain cycle

        ARC (Auto Reference Counting), 翻译为自动引用计数，是Apple为了进一步简化内存管理来推出的技术。虽然为自动内存管理而生，但却并算不上真正的自动管理。这是因为ARC是一种编译期的技术，它所做的是自动识别你的代码并转换成retain/release的形式，在这个层面上来看，ARC无非是简化了代码的书写，并提供了部分性能上的优化，而并不像Java之类的语言可以完全把垃圾回收抛之脑后（基本上）。关于ARC的细节可以看下面的网址：

        

    http://developer.apple.com/library/ios/#releasenotes/ObjectiveC/RN-TransitioningToARC/Introduction/Introduction.html

        

        下面我们主要谈下ARC下retain cycle的问题。

        

        ARC中，变量可以用三个关键字修饰：

        

        __strong：赋值给这个变量的对象会自动被retain一次，如果在block中引用它，block也会retain它一次。__unsafe_unretained：赋值给这个变量不会被retain，也就是说被他修饰的变量的存在不能保证持有对象的可靠性，它可能已经被释放了，而且留下了一个不安全的指针。不会被block retain。 __week：类似于__unsafe_unretained，只是如果所持有的对象被释放后，变量会自动被设置为nil，这样更安全些，不过只在IOS5.0以上的系统支持，同样不会被block retain。

        

        另外我们也可以用 __block关键字修饰一个变量，表示这个变量能在block中被修改（值修改，而不是修改对象中的某一个属性，可以理解为修改指针的指向）。会被自动retain。

        

        于其他变量不同的是被 __block 修饰的变量在块中保存的是变量的地址。（其他为变量的值）

        

        首先，上面的代码你现在可以这么写：

        

        DoSomethingManager *manager = [[DoSomethingManager alloc] init];manager.complete = ^{   //...complete actions

            [manager otherAction];

            manager.complete = nil;};

            没什么问题，只是去掉了ARC中禁止的release。

            

            当然，我们也可以这么写。

            

            __block DoSomethingManager *manager = [[DoSomethingManager alloc] init];manager.complete = ^{   //...complete actions

                [manager otherAction];

                manager = nil;};

                如果不用ARC，manager不会在block中被retain，但是采用了ARC就有些复杂了。block会retain manager变量，但是，由于__block变量保存更为底层的变量地址，因此当此变量被指向其他对象时，block便不对原来的对象负责，引发的结果就是之前对象被release掉，retain cycle被破坏。

                

                或者这么写：

                

                __block DoSomethingManager *manager = [[DoSomethingManager alloc] init];DoSomethingManager __week *weekmanager = manager;manager.complete = ^{   //...complete actions

                    [weekmanager otherAction];};

                    上面的__week也可以用__unsafe_unretained 替代，但是 __week 更安全些，虽然它不支持IOS5.0以下的系统。

                    

                    被 __week 或者 __unsafe_unretained 修饰的变量不会被block retain，所以不会形成retain cycle，但是小心，保证你的对象不会在complete之前被释放，否则会得到你意向不到的结果。