重拾Effective Objective-C 2.0热点问题
1. PerformSelector may cause a leak because its selector is unknown
原因是:在ARC模式下编译器并不知道将要调用的选择子是什么,因此,也就不能了解其方法签名与返回值,甚至是否有返回值都不清楚(这个返回值可以是任意值,如 void , int , char , NSString , id 等)。而且,由于编译器不知道方法名,所以就没有运用ARC的内存管理规则来判定是不是应该释放。鉴于此,ARC采用比较谨慎的做法,就是不添加释放操作。然而这么做可能造成内存泄漏,因为方法返回对象可能将其保留了。
ARC通过头文件的函数定义来得到这些信息。所以平时我们用到的静态选择器就不会出现这个警告。因为在编译期间,这些信息都已经确定。
而使用 [self performSelector:NSSelectorFromString(@"doSomething")]; 时ARC并不知道该方法的返回值是什么,以及该如何处理?该忽略?所以,ARC采用比较谨慎的做法,就是不添加释放操作。
解决办法
- 使用函数指针方式
SEL selector = NSSelectorFromString(@"doSomething");
IMP imp = [self methodForSelector:selector];
void (*func)(id, SEL) = (void *)imp;
func(self, selector);
- 使用宏定义忽略
_Pragma("clang diagnostic push")
_Pragma("clang diagnostic ignored \"-Warc-performSelector-leaks\"")
[self performSelector:NSSelectorFromString(@"doSomething")];
_Pragma("clang diagnostic pop")
2. 不要使用 dispatch_get_current_queue()
当然这个方法在iOS6.0就废弃了,这里主要是重温一下同步、异步以及死锁。
- (NSString *)name
{
__block NSString *name;
dispatch_sync(_syncQueue, ^{
name = @"some string";
});
return name;
}
上面的这种写法可能会出现死锁,假如调用获取方法的队列恰好是同步操作所在的队列。那么dispatch_sync就会一直不返回,需要等待块执行完毕。
这里就想到使用dispatch_get_current_queue来解决问题。
- (NSString *)name
{
__block NSString *name;
void (^block)() = ^{
name = @"iOS";
};
if (dispatch_get_current_queue() == _syncQueue) {
block();
}else {
dispatch_sync(_syncQueue, block);
}
return name;
}
但是 dispatch_get_current_queue 仍然可能造成死锁
dispatch_sync(_syncQueueA, ^{
dispatch_sync(_syncQueueB, ^{
void (^block)() = ^{
};
if (dispatch_get_current_queue() == _syncQueueA) {
block();
}else {
dispatch_sync(_syncQueueA, block);
}
});
});
dispatch_get_current_queue 由于返回的是当前队列,上面返回的是_syncQueueB。因此,针对_syncQueueA的同步派发依然会执行,所以还是会造成死锁。
其实要解决这个问题,可以使用队列特有数据 dispatch_queue_set_specific。只要去看源码就会发现 GPUImage(https://github.com/BradLarson/GPUImage) 等多数框架都是这么解决的。
static void *openGLESContextQueueKey;
- (id)init;
{
if (!(self = [super init]))
{
return nil;
}
openGLESContextQueueKey = &openGLESContextQueueKey;
_contextQueue = dispatch_queue_create("com.sunsetlakesoftware.GPUImage.openGLESContextQueue", GPUImageDefaultQueueAttribute());
#if OS_OBJECT_USE_OBJC
dispatch_queue_set_specific(_contextQueue, openGLESContextQueueKey, (__bridge void *)self, NULL);
#endif
shaderProgramCache = [[NSMutableDictionary alloc] init];
shaderProgramUsageHistory = [[NSMutableArray alloc] init];
return self;
}
void runSynchronouslyOnVideoProcessingQueue(void (^block)(void))
{
dispatch_queue_t videoProcessingQueue = [GPUImageContext sharedContextQueue];
#if !OS_OBJECT_USE_OBJC
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wdeprecated-declarations"
if (dispatch_get_current_queue() == videoProcessingQueue)
#pragma clang diagnostic pop
#else
if (dispatch_get_specific([GPUImageContext contextKey]))
#endif
{
block();
}else
{
dispatch_sync(videoProcessingQueue, block);
}
}
void runAsynchronouslyOnVideoProcessingQueue(void (^block)(void))
{
dispatch_queue_t videoProcessingQueue = [GPUImageContext sharedContextQueue];
#if !OS_OBJECT_USE_OBJC
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wdeprecated-declarations"
if (dispatch_get_current_queue() == videoProcessingQueue)
#pragma clang diagnostic pop
#else
if (dispatch_get_specific([GPUImageContext contextKey]))
#endif
{
block();
}else
{
dispatch_async(videoProcessingQueue, block);
}
}
3.多用派发少用同步锁
对于atomic特质来修饰的属性,我们通常这样来实现
- (NSString *)name
{
@synchronized (self) {
return _name;
}
}
- (void)setName:(NSString *)name
{
@synchronized (self) {
_name = name;
}
}
改进方法,使用串行队列,将读取操作以及写入操作都安排在同一个队列里,即可保证数据的同步。正如GPUImage (https://github.com/BradLarson/GPUImage) 中将所有的渲染队列都放在VideoProcessingQueue串行队列中处理。
- (NSString *)name
{
__block NSString *name;
void (^block)() = ^{
name = @"iOS";
};
if (dispatch_get_specific(key)) {
block();
}else {
dispatch_sync(_syncQueue, block);
}
return name;
}
- (void)setName:(NSString *)name
{
void (^block)() = ^{
_name = name;
};
if (dispatch_get_specific(key)) {
block();
}else {
dispatch_async(_syncQueue, block);
}
}
参考
https://github.com/BradLarson/GPUImage](https://github.com/BradLarson/GPUImage