接着上一篇关于 autorelease的实现,这篇则以 ARC 中引起的变化及规则记录下,书中对于这一块做了很多详细的描述,此处我挑其几点笔记的。
ARC 规则
"引用计数式内存管理"的本质部分在 ARC 中并没有改变,就如”自动引用计数“这个名称表示的那样,ARC 只是自动帮助我们处理”引用计数“的相关部分。
区分 MRC,设置 ARC 有效的情况:
- 使用 clang 3.0d或以上的版本
- 指定编译器属性"-fobjc-arc"
Xcode4.2以上的默认设定的文件都是 ARC 有效的。
1. 所有权修饰符
Objective-C 编程中为了处理对象,可将变量类型定义为 id 类型或各种对象类型。
- 对象类型: 指向 NSObject 这样的 Objective-C 类的指针,例如”NSObject *“。
- id 类型: 用于隐藏对象类型的类名部分,相当于 C 语言中常用的”void *“。
而 ARC 有效时,id 类型和对象类型和 C 语言其他类型不同,其类型必须附加所有权修饰符。
//四种所有权修饰符
__strong
__weak
__unsafe_unretained
__autoreleasing
__strong 修饰符
__strong
修饰符是 id 类型和对象类型默认的所有权修饰符。
id obj = [[NSObject alloc] init];
id __strong obj = [[NSObject alloc] init];
使用__strong
修饰符,让我们不必再像 MRC 时代的输入retain
或release
,很好的配合引用计数内存管理的方式。
* 自己生成的对象,自己持有。
* 非自己生成的对象,自己也能持有。
* 不再需要自己持有的对象时释放。
* 非自己持有的对象无法释放。
__weak 修饰符
__weak
修饰符 与 __strong
修饰符相反,提供弱引用。弱引用不能持有对象实例。
id __weak obj = [[NSObject alloc] init];
使用__weak
可以有效的避免循环引用,带有__weak
修饰符的变量不持有对象,在超出其变量作用域的时候,对象即被释放。同时通过检查附有__weak
修饰符的变量是否为 nil, 也可以反过来判断被赋值的对象是否已放弃。
__unsafe_unretained、__autoreleasing修饰符
-
__unsafe_unretained
:__weak
修饰符只能用于 iOS5 以上的版本引用,而 iOS4 应用汇总则使用__unsafe_unretained
修饰符代替。所以对于__unsafe_unretained
不必过多了解。 -
__autoreleasing
: 在 ARC 有效的时候,对象赋值给__autoreleasing
修饰符的变量等价于在 ARC 无效时调用的autorelease
方法,即这种情况就是对象别注册到autoreleasepool
中啦。
当然不使用__autoreleasing
修饰符也可以使对象注册到autoreleasepool
中
@autoreleasepool {
id __strong obj = [NSMutableArray array];
}
2. 规则
在 ARC 有效的情况下,必须遵守一定的规则,下面就是具体的 ARC 规则:
* 不能使用 retain\release\retainCount\autorelease
* 不能使用 NSAllocateObject/NSDeallocateObject
* 必须遵守内存管理的方法命名规则
* 不要显示调用 dealloc
* 使用 @autoreleasepool代替 NSAutoreleasePool
* 不能使用区域(NSZone)
* 对象类型不能作为 C 语言结构体的成员
* 显示转换"id" 和 " void *"
下面从下面几点补充说明:
** 必须遵守内存管理的方法命名规则**
在 ARC 无效的时候,必须能遵守以下命名规则。
* alloc
* new
* copy
* mutableCopy
以上述名称开始的方法在返回对象时,必须返回给调用房所应当持有的对象。在 ARC 有效时也是一样,只是它要追加一条命名规则。
* init
该方法必须是实例方法,并且必须要返回对象。返回的对象应为 id 类型或该方法声明类的对象类型,或是该类的超类或子类型。基本上只是对 alloc 方法返回值的对象进行初始化处理并返回该对象。
- (id)initWithObject:(id)obj
- (void)initWIthObject; // 错误
第二种就是错误的,没有返回对象不能使用。
** 不要显示调用 dealloc**
对象被废弃的时候,调用对象 dealloc 方法。大多数情况下删除已经注册的代理或观察者对象也在这里面进行。
- (void)dealloc {
_obj = nil;
[[NSNotificationCenter defaultCenter]removeObserver:self];
[self.tableView removeObserver:self forKeyPath:@"contentOffset"];
}
另外注意 ARC 有效时,已经不要调用[super dealloc]
,ARC 会自动处理。
** 不能使用区域(NSZone)**
不管 ARC 是否有效,区域在现在的运行时系统中已经单纯的被忽略。
** 对象类型不能作为 C 语言结构体的成员 **
** 显示转换"id" 和 " void "*
当我们有需要 id 和 void * 转化的时候,此时就需要通过__bridge
啦。当然这种转换多数使用在 Objective-C 对象和 Core Foundation 对象之间的相互转换中。
注意到赋值对象的所有者,转换除了直接用__bridge
以外,还有以下两种方式:
__bridge_retained ==> 与retain 类似
__bridge_transfer ==> 与 release 类似
举例说明:
id obj = [[NSObject alloc] init];
void *p = (__bridge_retained void *)obj; // [(id)p retain]
// 相反的动作
id obj = (__bridge_transfer id)p; // [(id)p release]
当然苹果还提供了下面方法,用于Objective-C 对象和 Core Foundation 对象之间的相互转换
// After using a CFBridgingRetain on an NSObject, the caller must take responsibility for calling CFRelease at an appropriate time.
NS_INLINE CF_RETURNS_RETAINED CFTypeRef __nullable CFBridgingRetain(id __nullable X) {
return (__bridge_retained CFTypeRef)X;
}
NS_INLINE id __nullable CFBridgingRelease(CFTypeRef CF_CONSUMED __nullable X) {
return (__bridge_transfer id)X;
}
使用举例:
CFMutableArrayRef cfObject = nil;
{
id obj = [[NSMutableArray alloc] init]; // 生成并持有 obj 引用计数= 1
cfObject = CFBridgingRetain(obj); // 强引用 obj 引用计数= 2
CFShow(cfObject);
// 此处可以通过 CFGetRetainCount(cfObject) 查看 count
}
// 超作用域 obj 引用计数= 1
CFRelease(cfObject);
// CFRelease obj 引用计数= 0
注意其引用计数的变化,使用__bridge_retained 也是一样的。
CFMutableArrayRef cfObject = (__bridge_retained CFMutableArrayRef)obj;
使用CFBridgingRelease、__bridge_transfer同样如此,一定注意要让对象正确的释放。
总得来说,在 ARC 有效的情况下,这种转换需要用到
__bridge
。但是这块使用又需要小心,因为在将 Objective-C 变量赋值给 C 语言变量,即没有附加所有权修饰符的 void * 等指针型变量时,是有风险的。