啥也不说,先上代码:
dispatch_async(whatever_queue, ^{
NSNumber* number = nil;
number = @123;
dispatch_async(main_queue, ^{
NSLog(@"%@", number);
});
});
嗯,很简单,目的很明确,异步生成个数字并在主线程中使用
现在有一个需求,这个number和io操作有关,我想用一个同步串行queue的方式保证io的“加锁”操作
ok 很简单 只要把number的取得dispatch_sync倒一个serial的queue就好了,like:
dispatch_async(whatever_queue, ^{ NSNumber* number = nil;
//同步串行queue dispatch_sync(serial_queue, ^{ number = @123; }); dispatch_async(main_queue, ^{ NSLog(@"%@", number); }); });
熟悉block的一看就能看出点问题,serial_queue那个block在block内修改了外部变量,所以得把number加上__block标记:
dispatch_async(whatever_queue, ^{ __block NSNumber* number = nil;//__block标记 dispatch_sync(serial_queue, ^{ number = @123; }); dispatch_async(main_queue, ^{ NSLog(@"%@", number); }); });
这下很符合我的世界观了
乍一看,看上去没啥问题了,运行时挂掉:
*** -[CFNumber respondsToSelector:]: message sent to deallocated instance 0x7411a90
追踪之后发现挂在main_queue的NSLog上,访问number时候number已经被销毁了,why?
------探索之后发现:
__block标记类型的对象会随着声明这个对象的block一同从栈空间拷贝到堆空间
但__block的另一个特点就是不会因block内的引用而增加retain count
直白来讲就是__block对象的生命区间的block被销毁之后、这个对象也会被销毁。
再看刚才的代码
声明number的区间是最外层的那个dispatch_async的block
dispatch_async 之后block被提交到queue中、当然是运行了block的copy
当外层block被运行后,运行到内部的async时不会等到内部async的block运行之后再退出,而是直接结束退出(了解GCD的就很好理解了)
这时,外层的block已经完成使命,被释放了,同时释放的还有那个__block的number
而这时,内层async的block很可能还没有开始执行,等到内层block执行时,用到外层已经释放了的对象,果断报错挂掉了。
如果不加__block就没有这个问题 因为内部block使用的话会把引用的对象retain一次
而面对我遇到的状况就只能找点方法解决了,我有一个简单的方法:
dispatch_async(whatever_queue, ^{ __block NSNumber* number = nil; dispatch_sync(serial_queue, ^{ number = @123; }); [number retian];//暂时retain使之不被释放 dispatch_async(main_queue, ^{ NSLog(@"%@", number); [number autorelease];//保证手动release }); });
这里用autorelease的原因是因为有可能把这个对象外传给主线程或传给其他地方使用,这时传一个autorelease对象才对
---
总结:这个陷阱可能有更优雅的解决办法,留底分享下。
ps:GCD是个很不错的多线程工具,很容易上手,我们的目标是:主线程永远顺畅