IOS ARC跟block那点事

【ARC的特性】

　　ARC下，所有NSObject类型指针，

　　1. 默认为__strong类型

　　2. 可以显示的指定为__weak类型，__weak类型指针在所指向对象销毁后会自动置为nil

　　3. __autorelesing类型用于inout参数类型

　　ARC下，当一个函数返回一个NSObject指针时，编译器会帮我们实现autorelease调用。例如：

　　return pObject;

　　编译器会帮我们扩展为 return [pObject autorelease];

　　ARC下，不能显式release，可以使用将值赋为nil来让编译器为我们release。

【ARC与Block】

　　Block的生命周期管理非常的微妙，与ARC混在一起后，更加复杂。

　　当Block延stack向上（up）传递的时候，直接返回，编译器会添加[[ copy] autorelease]代码。

　　当Block延stack向下传递给需要retain的容器的时候，需要显式的调用[^{} copy]方法。

　　在ARC下，__block修改的NSObject指针依然会被retain。

      在ARC下，一个block内引用一个对象的实例变量后，self会被retain，所以极易造成strong reference cycle，可以通过__weak指针来避免这种情形，因为ARC不会为__weak指针retain。

在iOS4.0推出了Blocks這個語言特性後
到現在iOS都已經出到5.0了
所以我想Blocks應該可以被廣泛應用了
但現在iOS環境是從MRC(Manual Reference Counting) 走到ARC (Automatic Reference Counting)
在Reference Counting的環境中Runtime是無法自動解除Retain cycle的
而Blocks有很多隱性的retain的動作
很容易不小心的造成retain cycle。
而本篇的重點是點出三種會造成Retain Cycle的Anti-patterns
再來講一下怎麼解決。

在討論之前還是先大概重述一些概念
block當中是允許去使用外部的variable
但是local variable是會自動做retain的動作
例如

MyClass* foo = ….;
self.someBlock = ^{
    [foo bar];
};

上面的foo在此block被copy到heap的時候
也會一起被自動retain
而這就是我說的很容易造成retain cycle的主因。


Anti Pattern 1
第一個例子我們先用大家很常用的Opne source library ASIHttpRequest當作一個範例
看看下面的例子，有發現任何問題嗎?

ASIHTTPRequest *request = [ASIHTTPRequest requestWithURL:url];
[request setCompletionBlock:^{
    // Use when fetching text data
    NSString *responseString = [request responseString];

    // Use when fetching binary data
    NSData *responseData = [request responseData];
}];

這邊我們要首先要注意的點就是[request setCompletionBlock:…]這裡
很明顯的這邊的用途是要做一個event callback的用途
也就是說我給你一個block，當動作完成的時候callback我。
這是一個典型的非同步的作法。
但由於如果你要把block拿來之後使用，
你一定要呼叫[aBlock copy]的動作，
此動作會把block從stack丟進heap。
因為在iOS的環境block也是一個object，
此時這個block的retain count就會增加1
這時候根據定義，這個block中參照的request這個local變數就也會被retain起來。
所以request的retain count也會增加1。
但問題來了，一旦request完成任務，應當要被release的時候
卻會發現retain count始終無法歸零。理由是
request <-> block 這兩個互相retain
而無法正常釋放，這就是所謂的retain cycle了。

解決方法很簡單，看看ASIHttpRequest官網的文件
也就是用__block來描述request

__block ASIHTTPRequest *request = [ASIHTTPRequest requestWithURL:url];
[request setCompletionBlock:^{
    // Use when fetching text data
    NSString *responseString = [request responseString];
 
    // Use when fetching binary data
    NSData *responseData = [request responseData];
}];

通過block variable不會retain的特性，
有點類似weak reference的作用
此時block就不會retain request
當然也就不會有retain cycle的問題。

 

Anti Pattern 2
Anti Pattern 1是在使用別人的library的時候容易出現的
Anti Pattern 2是在實作自己的class的時候容易出現
請看下面這段code

//MyClass.h
@property <nonatomic, copy=""> MyBlock onCompleteBlock;

//MyClass.c
self.onCompleteBlock = ^{
    [self doSomething];
}

我相信這邊大家已經馬上看出問題在哪裡了
其實Anti Pattern2算是Anti Pattern 1的特例
只是這邊使用的是特殊變數self

但有些時候我們更容易忽略的是在block中始用自己的member variable
例如

//MyClass.h
@interface MyClass : NSObject
{
    NSDate* lastModifed;
}

//MyClass.c
self.onCompleteBlock = ^{
    lastModifed = [[NSDate date] retain];
}

這時候就沒有那麼容易察覺了。
根據定義，在使用block的時候，
如果我們使用到member variable，
此時retain的不是lastModified指到的object
而是retain self。
所以造成的就是
self <-> block 互相retain
跟anti pattern 1一樣的結果就是無法最終釋放記憶體。

這時候的解決方法也是一樣是拿出__block來用

//MyClass.c
__block MyClass* tempSelf = self;
self.onCompleteBlock = ^{
    tempSelf.lastModifed = [NSDate date];
}

Anti Pattern 3
繼續看下面的code

SettingsViewController* settingsViewController = 
   [[[SettingsViewController alloc] init] autorelease];
settingsViewController.onUpdate = ^{
    [self doUpdate];
}
self.settingsViewController = settingsViewController;

雖然這個Block中沒有直接使用到settingsViewController，感覺應該不會有retain cycle
但是因為self -> settingsViewController
而setttingsViewController -> block
再來block -> self
這就剛好繞了一圈，同樣會有retain cycle。

所以呢，還是要想一樣用anti pattern 2的解法去解決

//RootViewController.m
SettingsViewController* settingsViewController = 
   [[[SettingsViewController alloc] init] autorelease];
__block RootViewController* tempSelf = self;
settingsViewController.onUpdate = ^{
    [tempSelf doUpdate];
}
self.settingsViewController = settingsViewController;

在reference counting的環境裡，
我建議要解決retain cycle的最好思維就是想清楚從屬關係
例如最後一個anti pattern
他們的從屬關係應該就是
RootViewController -> SettingsViewController -> block
如果block要用到SettingsViewController或是RootViewController，
則就要使用weak reference (也就是__block)
在這樣的原則之下，就可以知道哪些要給他retain哪些不要了。

最後要補充一點就是上面的例子都是在MRC環境下當做範例
在MRC中__block variable在block中使用是不會retain的
但是ARC中__block則是會Retain的。
取而代之的是用__weak或是__unsafe_unretained來更精確的描述weak reference的目的
其中前者只能在iOS5之後可以使用，但是比較好 (該物件release之後，此pointer會自動設成nil)
而後者是ARC的環境下為了相容4.x的解決方案。
所以上面的範例中

__block MyClass* temp = …;    // MRC環境下使用
__weak MyClass* temp = …;    // ARC但只支援iOS5.0以上的版本
__unsafe_retained MyClass* temp = …;  //ARC且可以相容4.x以後的版本

---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

block是可以捕捉上下文的特殊代码块。

block可以访问定义在block外的变量，当在block中使用时，它就会为其在作用域内的每个标量变量创建一个副本。

如果通过self拥有一个block，然后又在block中改变了实例变量，就会出错。

例如：

1 self.block = ^(NSString *aString)
2 {
3     self.aLabel.text = aString;
4 });

 

这段代码中，self保留了block，同时block又保留了self，会引发循环保留。很危险。

如果未使用ARC，可以使用__block和__unsafe_unretained来复制一个未保留的引用副本。

 1 //例如：（无ARC）
 2 __block id safeSelf = self;
 3 self.block = ^(NSString *aString)
 4 {
 5     safeSelf.aLabel.text = aString;
 6 });
 7  
 8 //（有ARC）
 9 __weak id safeSelf = self;        //ios 5
10 // __unsafe_unretained id safeSelf = self; //ios 4
11 self.block = ^(NSString *aString)
12 {
13     safeSelf.aLabel.text = aString;
14 });

 

在arc出现之前，我们可以自由的把CF*对象转成NS*对象，这称为自己桥接。用了arc之后，我们需要指定一个所有权转移修饰符。

目前arc中提供的修饰符有：

1.__bridge

2.__bridge_retained

3.__bridge_transfer

 

第一个修饰符__bridge是一个普通的转换，表示不需要增加引用计数，不更改所有权。

第二个是在转换C指针类型时，增加引用计数的值。

第三个是把Core Foundation 指针类型转换成obj-c指针，变把引用计数值+1。如用Core Foundation 方法创建一个对象，并且要用arc来管理对象的内存，就可以用这个。

 

arc移植的常见错误

1.强制转换obj-c指针位C指针（或者反过来转换）

2.在arc中把void*指针强制转成id类型（或者反过来转），如果要转，就必须是用修饰符

例如： id selfPointer = (__bridge void *)self;

3.在结构体或者（union）集合体中是用obj-c对象

4.使用NSAutoreleasePool