循环引用原因
如果在Block中使用附有_ _strong修饰符的对象类型自动变量,那么当Block从栈复制到堆时,该对象为Block所持有,这样容易引起循环引用。
objective-c
HPPerson *person = [[HPPerson alloc] init];
person.block = ^{
NSLog(@"person.age--- %d",person.age);
};
在上面代码中,person对象强持有block对象,在block语法中,block对象又强持有person对象,此时达成互相强持有,谁也无法释法谁,造成循环引用。
当造成block循环引用时编译器会检测出并发出警告
另外,如果block内没有使用self也会捕获self,引起循环引用
objective-c
typedef void (^blk_t) (void);
@interface HPPerson : NSObject
{
blk_t _block;
int _age;
}
@end
#import "HPPerson.h"
@implementation HPPerson
-(id)init {
self = [super init];
_block = ^{NSLog(@"age = %d", _age);};
return self;
}
- (void)dealloc
{
NSLog(@"%s", __func__);
}
@end
这是因为虽然没有使用self,但使用了self对象中的结构体成员,因此也会捕获self。
避免循环引用
使用weak修饰符
objective-c
int main(int argc, const char * argv[]) {
@autoreleasepool {
HPPerson *person = [[HPPerson alloc] init];
person.age = 10;
__weak HPPerson *weakPerson = person;
person.block = ^{
NSLog(@"person.age--- %d",weakPerson.age);
};
NSLog(@"--------");
}
return 0;
}
编译完成之后是
objective-c
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
// block内部对weakPerson是弱引用
HPPerson *__weak weakPerson;
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, HPPerson *__weak _weakPerson, int flags=0) : weakPerson(_weakPerson) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
局部变量消失时候,对于HPPerson来说,只有一个弱指针指向它,那它就销毁,然后block也销毁。
使用__unsafe_unretained修饰符
objective-c
int main(int argc, const char * argv[]) {
@autoreleasepool {
HPPerson *person = [[HPPerson alloc] init];
person.age = 10;
__unsafe_unretained HPPerson *weakPerson = person;
person.block = ^{
NSLog(@"person.age--- %d",weakPerson.age);
};
NSLog(@"--------");
}
return 0;
}
编译完成之后是
objective-c
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
HPPerson *__unsafe_unretained weakPerson;
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, HPPerson *__unsafe_unretained _weakPerson, int flags=0) : weakPerson(_weakPerson) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
虽然__unsafe_unretained
可以解决循环引用,但是最好不要用,因为:
__weak
:不会产生强引用,指向的对象销毁时,会自动让指针置为nil__unsafe_unretained
:不会产生强引用,不安全,指向的对象销毁时,指针存储的地址值不变,会造成野指针
使用_ _Block修饰符
objective-c
int main(int argc, const char * argv[]) {
@autoreleasepool {
__block HPPerson *person = [[HPPerson alloc] init];
person.age = 10;
person.block = ^{
NSLog(@"person.age--- %d",person.age);
//这一句不能少
person = nil;
};
// 必须调用一次
person.block();
NSLog(@"--------");
}
return 0;
}
使用_ _Block修饰符解决循环引用时,需要注意的点有:
- 在block对象中需要将_ _block变量置为nil
- 必须调用block对象
如果不调用block对象时,会造成下面情况的循环引用:
- HPPerosn类对象持有Block
- Block持有_ _block变量
- _ _block变量持有HPPerson对象
因为block会对__block
产生强引用
objective-c
__block HPPerson *person = [[HPPerson alloc] init];
person.block = ^{
NSLog(@"person.age--- %d",person.age);
//这一句不能少
person = nil;
};
person对象本身就对block是强引用
objective-c
@property (copy, nonatomic) HPBlock block;
__block
对person产生强引用
objective-c
struct __Block_byref_person_0 {
void *__isa;
__Block_byref_person_0 *__forwarding;
int __flags;
int __size;
void (*__Block_byref_id_object_copy)(void*, void*);
void (*__Block_byref_id_object_dispose)(void*);
//`__block`对person产生强引用
HPPerson *__strong person;
};
当执行完person = nil
时候,__block
解除对person的引用,进而,全都解除释放了。 但是必须调用person = nil
才可以,否则,不能解除循环引用
强弱共舞
- 当Block捕获
self
时,应该使用弱引用,这样即使Block持有self
的引用,也不会阻止self
被释放。 - 由于弱引用可能变成
nil
,因此在Block内部使用self
之前,需要检查它是否为nil
。 - 为了避免在Block内部因
self
为nil
而导致的崩溃,可以在Block的开始处使用强引用 - 使用完成之后当Block的作用域结束之后即可释放
objective-c
#import <UIKit/UIKit.h>
typedef void(^blk_t)(void);
@interface ViewController : UIViewController
@property (nonatomic, strong) blk_t block;
@property (nonatomic, copy) NSString *name;
@end
#import "ViewController.h"
@interface ViewController ()
@end
@implementation ViewController
- (void)viewDidLoad {
[super viewDidLoad];
// Do any additional setup after loading the view.
self.name = @"Hello";
__weak typeof(self) weakSelf = self;
self.block = ^(){
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"%@", strongWeak.name);
};
self.block();
}
@end
此时self持有block,block弱引用self,弱引用会自动变为nil,强持有中断,所以不会引起循环引用。但该方法可能存在中途就释放掉的问题(手动延迟,可能需要调用self.name的时候name已经被释放了)如果self被销毁,那么block则无法获取name。
因此可以改进上面的代码:
objective-c
self.name = @"Hello";
__weak typeof(self) weakSelf = self;
self.block = ^(){
__strong __typeof(weakSelf)strongWeak = weakSelf;
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"%@", strongWeak.name);
});
};
self.block();
在完成block中的操作之后,才调用了dealloc方法。添加strongWeak之后,持有关系为:self -> block -> strongWeak -> weakSelf -> self。
weakSelf被强引用了就不会自动释放,因为strongWeak只是一个临时变量,它的声明周期只在block内部,block执行完毕后,strongWeak就会释放,而弱引用weakSelf也会自动释放。
参数形式解决循环引用
通过给block传参(指针拷贝)
objective-c
// 循环引用
self.name = @"Hello";
self.block = ^(ViewController * ctrl){
dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
NSLog(@"%@", ctrl.name);
});
};
self.block(self);
Block循环引用场景
objective-c
// staticSelf_定义:
static ViewController *staticSelf_;
- (void)blockWeak_static {
__weak typeof(self) weakSelf = self;
staticSelf_ = weakSelf;
}
weakSelf虽然是弱引用,但是staticSelf_静态变量,并对weakSelf进行了持有,staticSelf_释放不掉,所以weakSelf也释放不掉!导致循环引用