Block详解——内存管理

Block详解——内存管理

前言

在日常使用Block进行编码时，我们都会注意避免循环引用。这篇文章主要是分析我们在Block中使用__weak和__strong到底发生了什么。为什么就能避免循环引用和一些Crash。

直接引用self

typedef void (^Block)(void);

@interface MyViewController ()

@property (nonatomic, copy) Block block;

@end

@implementation MyViewController

- (void)viewDidLoad {
    [super viewDidLoad];
    
    self.block = ^{
        NSLog(@"self is %@", self);
    };
}

- (void)dealloc {
    NSLog(@"Released");
}

@end

上面的代码是一个自定义的Controller的内部实现，MyViewController的block引用了self，当MyViewController被执行popViewControllerAnimated之后，我们会发现dealloc中的** NSLog**会一直不执行，即MyViewController实例无法被释放。

struct __MyViewController__viewDidLoad_block_impl_0 {
  struct __block_impl impl;
  struct __MyViewController__viewDidLoad_block_desc_0* Desc;
  MyViewController *const __strong self;
  __MyViewController__viewDidLoad_block_impl_0(void *fp, struct __MyViewController__viewDidLoad_block_desc_0 *desc, MyViewController *const __strong _self, int flags=0) : self(_self) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

static void __MyViewController__viewDidLoad_block_func_0(struct __MyViewController__viewDidLoad_block_impl_0 *__cself) {
  MyViewController *const __strong self = __cself->self; // bound by copy
}

通过编译MyViewController为C++代码，我们可以看到Block强引用了self（MyViewController实例，下同），同时Block作为的属性被强引用，这就导致了循环引用。

MyViewController *const __strong self;
MyViewController *const __strong self = __cself->self; // bound by copy

引用weakSelf

typedef void (^Block)(void);

@interface MyViewController ()

@property (nonatomic, copy) Block block;

@end

@implementation MyViewController

- (void)viewDidLoad {
    [super viewDidLoad];
    
    __weak typeof(self) weakSelf = self;
    
    self.block = ^{
        NSLog(@"WeakSelf is %@", weakSelf);
    };
}

- (void)dealloc {
    NSLog(@"Released");
}

@end

现在把Block里的self先在外部转为弱引用的weakSelf，MyViewController被执行popViewControllerAnimated之后，就会在控制台打印出“Released”。之前的循环引用问题就解决了。

struct __MyViewController__viewDidLoad_block_impl_0 {
  struct __block_impl impl;
  struct __MyViewController__viewDidLoad_block_desc_0* Desc;
  MyViewController *const __weak weakSelf;
  __MyViewController__viewDidLoad_block_impl_0(void *fp, struct __MyViewController__viewDidLoad_block_desc_0 *desc, MyViewController *const __weak _weakSelf, int flags=0) : weakSelf(_weakSelf) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __MyViewController__viewDidLoad_block_func_0(struct __MyViewController__viewDidLoad_block_impl_0 *__cself) {
  MyViewController *const __weak weakSelf = __cself->weakSelf; // bound by copy
}

之前被Block强引用的self现在变成弱引用的weakSelf

MyViewController *const __weak weakSelf;
MyViewController *const __weak weakSelf = __cself->weakSelf; // bound by copy

多数情况下，引用weakSelf是没问题的。但是在涉及到异步操作时，weakSelf有可能在使用前就已经被释放为nil，此时调用weakSelf作为参数的方法时，就会有crash的风险。比如下面的情况：

typedef void (^Block)(void);

@interface MyViewController ()

@property (nonatomic, copy) Block block;

@end

@implementation MyViewController

- (void)viewDidLoad {
    [super viewDidLoad];
    
    __weak typeof(self) weakSelf = self;
    
    self.block = ^{
        dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(6 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
            [[NSMutableArray array] addObject:weakSelf];
        });
    };
    
    self.block();
}

- (void)dealloc {
    NSLog(@"Released");
}

@end

MyViewController被pushViewController后马上popViewController，当执行GCD里面的方法时，weakSelf已经为nil，这是就会引发Crash。

Weak-strong dance

typedef void (^Block)(void);

@interface MyViewController ()

@property (nonatomic, copy) Block block;

@end

@implementation MyViewController

- (void)viewDidLoad {
    [super viewDidLoad];
    
    __weak typeof(self) weakSelf = self;
    
    self.block = ^{
        __strong typeof(weakSelf) strongSelf = weakSelf;
        
        dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(6 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
            [[NSMutableArray array] addObject:weakSelf];
        });
    };
    
    self.block();
}

- (void)dealloc {
    NSLog(@"Released");
}

@end

Weak-strong dance是在Block的外部使用weakSelf弱引用self，然后在Block内部使用strongSelf强引用weakSelf，为了看看这个过程到底发生了什么，我们继续看MyViewController编译为C++后的代码。

struct __MyViewController__viewDidLoad_block_impl_0 {
  struct __block_impl impl;
  struct __MyViewController__viewDidLoad_block_desc_0* Desc;
  MyViewController *const __strong strongSelf;
  MyViewController *const __weak weakSelf;
  __MyViewController__viewDidLoad_block_impl_0(void *fp, struct __MyViewController__viewDidLoad_block_desc_0 *desc, MyViewController *const __strong _strongSelf, MyViewController *const __weak _weakSelf, int flags=0) : strongSelf(_strongSelf), weakSelf(_weakSelf) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __MyViewController__viewDidLoad_block_func_0(struct __MyViewController__viewDidLoad_block_impl_0 *__cself) {
  MyViewController *const __strong strongSelf = __cself->strongSelf; // bound by copy
  MyViewController *const __weak weakSelf = __cself->weakSelf; // bound by copy

  ((void (*)(id, SEL, ObjectType  _Nonnull __strong))(void *)objc_msgSend)((id)((NSMutableArray * _Nonnull (*)(id, SEL))(void *)objc_msgSend)((id)objc_getClass("NSMutableArray"), sel_registerName("array")), sel_registerName("addObject:"), (id _Nonnull)strongSelf);
}

struct __MyViewController__viewDidLoad_block_impl_1 {
  struct __block_impl impl;
  struct __MyViewController__viewDidLoad_block_desc_1* Desc;
  MyViewController *const __weak weakSelf;
  __MyViewController__viewDidLoad_block_impl_1(void *fp, struct __MyViewController__viewDidLoad_block_desc_1 *desc, MyViewController *const __weak _weakSelf, int flags=0) : weakSelf(_weakSelf) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __MyViewController__viewDidLoad_block_func_1(struct __MyViewController__viewDidLoad_block_impl_1 *__cself) {
  MyViewController *const __weak weakSelf = __cself->weakSelf; // bound by copy

  __attribute__((objc_ownership(strong))) typeof(weakSelf) strongSelf = weakSelf;

  dispatch_after(dispatch_time((0ull), (int64_t)(6 * 1000000000ull)), dispatch_get_main_queue(), ((void (*)())&__MyViewController__viewDidLoad_block_impl_0((void *)__MyViewController__viewDidLoad_block_func_0, &__MyViewController__viewDidLoad_block_desc_0_DATA, strongSelf, weakSelf, 570425344)));
}

因为这里涉及到嵌套Block，所以会生成两个Block的结构体。

__MyViewController__viewDidLoad_block_impl_1和__MyViewController__viewDidLoad_block_func_1

__MyViewController__viewDidLoad_block_impl_1持有的是MyViewController的弱引用MyViewController *const __weak weakSelf;，

在__MyViewController__viewDidLoad_block_func_1函数中，__attribute__((objc_ownership(strong))) typeof(weakSelf) strongSelf = weakSelf;，这样在函数的作用域中MyViewController实例会被strongSelf指针强引用，引用数+1。即只要Block被执行，在执行期间MyViewController实例都不会被释放。函数执行完后，strongSelf指针会被回收，MyViewController实例被引用数-1。

__MyViewController__viewDidLoad_block_impl_0和__MyViewController__viewDidLoad_block_func_0

从上面的C++代码我们可以知道，嵌套的Block之间的关系不是外层Block引用内层Block，而是外层Block调用内层Block dispatch_after(dispatch_time((0ull), (int64_t)(6 * 1000000000ull)), dispatch_get_main_queue(), ((void (*)())&__MyViewController__viewDidLoad_block_impl_0((void *)__MyViewController__viewDidLoad_block_func_0, &__MyViewController__viewDidLoad_block_desc_0_DATA, strongSelf, weakSelf, 570425344)));

然后内层Block引用的外部变量，也是通过外层Block进行传递的。从__MyViewController__viewDidLoad_block_impl_0的MyViewController *const __strong strongSelf;可以看出内层Block对strongSelf是强引用。假设内层Block也是被Self强引用的，这样就会造成循环引用。所以内层Block需要创建自己的strongSelf来避免循环引用。

最后编辑于 ：
©著作权归作者所有,转载或内容合作请联系作者
  • 人面猴
    序言：七十年代末，一起剥皮案震惊了整个滨河市，随后出现的几起案子，更是在滨河造成了极大的恐慌，老刑警刘岩，带你破解...
    沈念sama阅读 211,376评论 6赞 491
  • 死咒
    序言：滨河连续发生了三起死亡事件，死亡现场离奇诡异，居然都是意外死亡，警方通过查阅死者的电脑和手机，发现死者居然都...
    沈念sama阅读 90,126评论 2赞 385
  • 救了他两次的神仙让他今天三更去死
    文/潘晓璐 我一进店门，熙熙楼的掌柜王于贵愁眉苦脸地迎上来，“玉大人，你说我怎么就摊上这事。” “怎么了？”我有些...
    开封第一讲书人阅读 156,966评论 0赞 347
  • 道士缉凶录：失踪的卖姜人
    文/不坏的土叔 我叫张陵，是天一观的道长。 经常有香客问我，道长，这世上最难降的妖魔是什么？ 我笑而不...
    开封第一讲书人阅读 56,432评论 1赞 283
  • 港岛之恋（遗憾婚礼）
    正文 为了忘掉前任，我火速办了婚礼，结果婚礼上，老公的妹妹穿的比我还像新娘。我一直安慰自己，他们只是感情好，可当我...
    茶点故事阅读 65,519评论 6赞 385
  • 恶毒庶女顶嫁案：这布局不是一般人想出来的
    文/花漫 我一把揭开白布。 她就那样静静地躺着，像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上，一...
    开封第一讲书人阅读 49,792评论 1赞 290
  • 城市分裂传说
    那天，我揣着相机与录音，去河边找鬼。 笑死，一个胖子当着我的面吹牛，可吹牛的内容都是我干的。 我是一名探鬼主播，决...
    沈念sama阅读 38,933评论 3赞 406
  • 双鸳鸯连环套：你想象不到人心有多黑
    文/苍兰香墨 我猛地睁开眼，长吁一口气：“原来是场噩梦啊……” “哼！你这毒妇竟也来了？” 一声冷哼从身侧响起，我...
    开封第一讲书人阅读 37,701评论 0赞 266
  • 万荣杀人案实录
    序言：老挝万荣一对情侣失踪，失踪者是张志新（化名）和其女友刘颖，没想到半个月后，有当地人在树林里发现了一具尸体，经...
    沈念sama阅读 44,143评论 1赞 303
  • 护林员之死
    正文 独居荒郊野岭守林人离奇死亡，尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,488评论 2赞 327
  • 白月光启示录
    正文 我和宋清朗相恋三年，在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,626评论 1赞 340
  • 活死人
    序言：一个原本活蹦乱跳的男人离奇死亡，死状恐怖，灵堂内的尸体忽然破棺而出，到底是诈尸还是另有隐情，我是刑警宁泽，带...
    沈念sama阅读 34,292评论 4赞 329
  • 日本核电站爆炸内幕
    正文 年R本政府宣布，位于F岛的核电站，受9级特大地震影响，放射性物质发生泄漏。R本人自食恶果不足惜，却给世界环境...
    茶点故事阅读 39,896评论 3赞 313
  • 男人毒药：我在死后第九天来索命
    文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹，春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,742评论 0赞 21
  • 一桩弑父案，背后竟有这般阴谋
    文/苍兰香墨 我抬头看了看天上的太阳。三九已至，却和暖如春，着一层夹袄步出监牢的瞬间，已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,977评论 1赞 265
  • 情欲美人皮
    我被黑心中介骗来泰国打工， 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留，地道东北人。 一个月前我还...
    沈念sama阅读 46,324评论 2赞 360
  • 代替公主和亲
    正文 我出身青楼，却偏偏与公主长得像，于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子，可洞房花烛夜当晚...
    茶点故事阅读 43,494评论 2赞 348