__strong和__weak的用处
背景
iOS日常开发中,当我们用到block的时候,常常需要将变量声明为__weak
,用来防止循环引用。但是在block内部,为什么要再声明为__strong
?__weak
还有什么其他的用处吗?
示例
Don't BB, show me the code.
作为一名程序猿,还是直接上代码比较直观,便于理解。
-
eg1,单纯使用
__weak
的缺点:
@interface MyObject : NSObject
@end
@implementation MyObject
- (void)dealloc {
NSLog(@"MyObject dealloc");
}
@end
- (IBAction)buttonClickedWeak:(id)sender {
dispatch_async(dispatch_get_global_queue(0, 0), ^{
MyObject *obj = [[MyObject alloc] init];
__weak typeof(obj) weakObj = obj;
dispatch_async(dispatch_get_global_queue(0, 0), ^{
NSLog(@"GCD--sleepBefore obj:%@",weakObj);
sleep(3);
NSLog(@"GCD--sleepAfter obj:%@",weakObj);
});
sleep(1);
obj = nil;
NSLog(@"已经设为nil");
});
}
如上所示代码,各位看官可以先分析一下,控制台输出的log应该是什么样的,看看和实际结果是否一样。
下面是实际的log输出
GCD--sleepBefore obj:<MyObject: 0x60c00000eed0>
MyObject dealloc
已经设为nil
GCD--sleepAfter obj:(null)
这里我们把第一个并行队列叫作队列 A ,第二个为队列 B ,显然,当队列 A sleep
时,队列 B 已经执行到第一行log,所以这里GCD--sleepBefore
的log 可以正常打印出obj。跟着队列 A 被唤醒,obj被置为nil,被释放。所以队列 B 3秒唤醒后,GCD--sleepAfter
的log打印的obj为null
。
-
eg2,联合使用
__weak
和__strong
:
- (IBAction)buttonclicked2:(id)sender {
dispatch_async(dispatch_get_global_queue(0, 0), ^{
MyObject *obj = [[MyObject alloc] init];
__weak typeof(obj) weakObj = obj;
dispatch_async(dispatch_get_global_queue(0, 0), ^{
__strong typeof(weakObj) strongObj = weakObj; //注意和上面例子的对比区别,这里使用了__strong 修饰
sleep(3);
NSLog(@"GCD--obj:%@",strongObj);
});
obj = nil; //注意和上面例子的对比区别,这里没有sleep(1)
NSLog(@"已经设为nil");
});
}
这次我在block内部强引用了obj,是否可以在队列 B 3s被唤醒后正确的输出呢?
下面是实际的log输出
MyObject dealloc
已经设为nil
GCD--obj:(null)
我们看到,依然不能正确输出,这是因为,block内部声明为__strong
只能保证对象在block内部会被强引用,也就是在block执行过程中不会被释放,但是如果在执行到block的时候,对象已经被释放,声明__strong
也并不能解决这个问题。
上面所示代码,因为block引用到的外部变量weakObj
被声明为__weak
,所以block不会强引用obj,所以obj被赋值为nil,会立马触发析构函数,释放obj。所以当执行到block内部的__strong typeof(weakObj) strongObj = weakObj;
这条语句时,实际上相当于__strong typeof(weakObj) strongObj = nil;
-
eg3,联合使用
__weak
和__strong
:
- (IBAction)buttonclicked:(id)sender {
dispatch_async(dispatch_get_global_queue(0, 0), ^{
MyObject *obj = [[MyObject alloc] init];
__weak typeof(obj) weakObj = obj;
dispatch_async(dispatch_get_global_queue(0, 0), ^{
__strong typeof(weakObj) strongObj = weakObj;
sleep(3);
NSLog(@"GCD--obj:%@",strongObj);
});
sleep(1); //注意和上面例子的对比区别,这里重新加回 sleep(1)
obj = nil;
NSLog(@"已经设为nil");
});
}
这次我在 obj 赋值nil
之前,使队列 A sleep
1秒,保证进入队列 B 的时候,obj没有被释放,是否可以在队列 B 3s被唤醒后正确的输出呢?
下面是实际的log输出
已经设为nil
GCD--obj:<MyObject: 0x60800000f080>
MyObject dealloc
这次被正常的输出了,这是因为obj 赋值nil
之前,已经执行了对列 B 中的__strong
声明,此时obj会被block强引用,当obj 在外面被赋值nil
后,并不会触发析构函数,而是在block走完后触发析构。
- eg4,不使用
__weak
和__strong
:
//模拟日常工作中,请求接口刷新数据,刷新UI的场景。这里模拟接口已经发出,但是还没相应时,页面已退出的情况。
// 新加一个类,模拟数据管理层,用来管理数据源,刷新UI等
@interface MyDataManager : NSObject
- (void)refresh;
@end
@implementation MyDataManager
- (void)dealloc {
NSLog(@"MyDataManager dealloc: %@", [NSThread currentThread]);
}
- (void)refresh {
NSLog(@"refresh with data");
}
@end
- (IBAction)buttonclicked3:(id)sender {
//创建一个新的DataManager,模拟我们日常工作中的数据层
MyDataManager *dm = [[MyDataManager alloc] init];
// 创建一个请求,由于和self、dm等没有引用关系,所以这里不使用__weak修饰,不会有循环引用的问题。
MyObject *request = [[MyObject alloc] init];
request.completion = ^{
//模拟接口请求回来后,刷新数据逻辑
[dm refresh];
};
//模拟发送异步请求,3s后收到response
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(3 * NSEC_PER_SEC)), dispatch_get_global_queue(0, 0), ^{
// do something parse data,例如JSON解析
//模拟异步主线程,回调完成结果
dispatch_async(dispatch_get_main_queue(), ^{
request.completion();
//模拟结束后,异步线程做一些性能统计等事情。
dispatch_async(dispatch_get_global_queue(0, 0), ^{
[request doSomething];
});
});
});
//模拟页面请求,接口完成前退出页面,需要销毁的情况
NSLog(@"finish, dm should dealloc");
}
这里在request.completion
block赋值的时候,由于没有循环引用的问题,所以没有添加__weak
修饰。这段代码,是否可以在最后正常释放dm
呢?
下面是实际的log输出
finish, dm should dealloc
refresh with data
do something
MyObject dealloc
MyDataManager dealloc: <NSThread: 0x600001e57a80>{number = 6, name = (null)}
从日志可以看到,这里有2个问题。
dm的生命周期被延长了,并不能在函数结束后立马释放。
dm的dealloc不是在主线程调用的。
这是因为有如下引用链 dm << request.completion << request << dispatch_after.block \ dispatch_async(dispatch_get_main_queue().block \ dispatch_async(dispatch_get_global_queue(0, 0).block
,当最后的异步统计线程block执行完毕后,request会被释放,且是在当前异步线程。然后依次在当前异步线程,触发request.completion、dm的释放。
结论
- 在没有循环引用问题的情况下,不使用
__weak
,一样可能会延长被捕获变量的生命周期,且影响dealloc的线程。UI控件系统在底层重写了dealloc,会自动异步到主线程。这种延迟生命周期的情况,有时正是我们想要的,有时则是超出预期的,所以小伙伴在处理的时候需要注意。 - 在需要
__weak
的情况下,单纯使用__weak
,有可能造成block中的变量,在执行过程中被释放,导致代码上逻辑错误。所以推荐在block内部使用__strong
。当然,在block内部使用__strong
也只能保证block内部执行过程中不会释放对应的对象,并不能保证该对象在执行到block时没有被释放。
最后附上demo,小伙伴可以下载代码进行测试。