美文网首页程序员iOS Developer
重拾Effective Objective-C 2.0热点问题

重拾Effective Objective-C 2.0热点问题

作者: 秦明Qinmin | 来源:发表于2017-03-31 11:11 被阅读521次

    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

    Effective Objective-C 2.0

    相关文章

      网友评论

        本文标题:重拾Effective Objective-C 2.0热点问题

        本文链接:https://www.haomeiwen.com/subject/uowrottx.html