前一段在一个公众号里看到一个面试题,也是WWDC中的一段代码,如下:
- (BOOL)validateDictionary:(NSDictionary *)dict usingChecker:(Checker *)checker error:(NSError **)error {
__block BOOL isValid = YES;
[dict enumerateKeysAndObjectsUsingBlock:^(id key, id obj, BOOL *stop) {
if([checker checkObject:obj forKey:key]) return;
*stop = YES;isValid = NO;
if(error) *error = [NSError errorWithDomain:...];
}];
return isValid;
}
对内存管理熟悉的同学应该很快能发现这段代码的问题。这段代码主要涉及两个点。第一是error
参数的类型,error参数的类型应该为(NSError *__autoreleasing *))
。第二点是某些类的方法会隐式地使用自己的autorelease pool
,NSDictionary
的[enumerateKeysAndObjectsUsingBlock]
方法就是这样,
所以这段代码可以翻译如下:
- (BOOL)validateDictionary:(NSDictionary *)dict usingChecker:(Checker *)checker error:(NSError **)error {
__block BOOL isValid = YES;
[dict enumerateKeysAndObjectsUsingBlock:^(id key, id obj, BOOL *stop) {
@autoreleasepool{
if([checker checkObject:obj forKey:key]) return;
*stop = YES;isValid = NO;
if(error) *error = [NSError errorWithDomain:...];
}];
return isValid;
}
}
下面我们来说一下为什么这样写会有问题。
首先,__autoreleasing
这个关键字在ARC中主要用在参数传递返回值(out-parameters)
和引用传递参数(pass-by-reference)
的情况下。比如常用的NSError
的使用:
NSError *__autoreleasing error;
if (![data writeToFile:filename options:NSDataWritingAtomic error:&error])
{
NSLog(, error);
}
(在上面的writeToFile
方法中error
参数的类型为(NSError *__autoreleasing *)
)
注意,如果你的error
定义为了strong
型,那么,编译器会帮你隐式地做如下事情,保证最终传入函数的参数依然是个__autoreleasing
类型的引用。
NSError *error;
NSError *__autoreleasing tempError = error;// 编译器添加
if(![data writeToFile:filename options:NSDataWritingAtomic error:&tempError])
{
error = tempError;// 编译器添加
NSLog(@"Error: %@", error);
}
所以为了提高效率,避免这种情况,我们一般在定义error
的时候将其声明为__autoreleasing
类型的:
NSError *__autoreleasing error;
在这里,加上__autoreleasing
之后,相当于在MRC
中对返回值error
做了如下事情:
*error = [[[NSError alloc] init] autorelease];
\**error
指向的对象在创建出来后,被放入到了autoreleasing pool
中,等待使用结束后的自动释放,函数外error
的使用者并不需要关心\**error
指向对象的释放。
但是在上面的代码中被__autoreleasing
修饰的error
被放到autoreleasepool
里,等autoreleasepool
释放的时候error
会被释放掉,这样在外面再访问error
的话就会报错了。
如果要解决这个问题可以在便利前新建一个NSError
对象,遍历完再对传入的error
赋值。