Block的引用循环问题

最新推荐文章于 2022-03-29 16:53:19 发布
最新推荐文章于 2022-03-29 16:53:19 发布
阅读量238 收藏
点赞数
分类专栏： iOS移动开发

2010年WWDC发布iOS4时Apple对Objective-C进行了一次重要的升级：支持Block。说到底这东西就是闭包，其他高级语音例如Java和C++已有支持，第一次使用Block感觉满简单好用的，但是慢慢也遇到很多坑。本文聊聊ARC和non-ARC下Block使用中的引用循环问题，最近遇到了好几次这种问题，还是深入记录下。先来套题目热热身，貌似能够全部答对的人蛮少的

Block实现原理

首先探究下Block的实现原理，由于Objective-C是C语言的超集，既然OC中的NSObject对象其实是由C语言的struct+isa指针实现的，那么Block的内部实现估计也一样，以下三篇Blog对Block的实现机制做了详细研究：

虽然实现细节看着头痛，不过发现Block果然是和OC中的NSObject类似，也是用struct实现出来的东西。这个是LLVM项目compiler-rt分析的block头文Block_private.h头文件中关于Block的struct声明：

<span class="line-number" style="margin: 0px; padding: 0px;">1</span>
<span class="line-number" style="margin: 0px; padding: 0px;">2</span>
<span class="line-number" style="margin: 0px; padding: 0px;">3</span>
<span class="line-number" style="margin: 0px; padding: 0px;">4</span>
<span class="line-number" style="margin: 0px; padding: 0px;">5</span>
<span class="line-number" style="margin: 0px; padding: 0px;">6</span>
<span class="line-number" style="margin: 0px; padding: 0px;">7</span>
<span class="line-number" style="margin: 0px; padding: 0px;">8</span>
<span class="line-number" style="margin: 0px; padding: 0px;">9</span>
<span class="line-number" style="margin: 0px; padding: 0px;">10</span>
<span class="line-number" style="margin: 0px; padding: 0px;">11</span>
<span class="line-number" style="margin: 0px; padding: 0px;">12</span>
<span class="line-number" style="margin: 0px; padding: 0px;">13</span>
<span class="line-number" style="margin: 0px; padding: 0px;">14</span>
<span class="line-number" style="margin: 0px; padding: 0px;">15</span>

struct Block_descriptor {
    unsigned long int reserved;
    unsigned long int size;
    void (*copy)(void *dst, void *src);
    void (*dispose)(void *);
};

struct Block_layout {
    void *isa;
    int flags;
    int reserved;
    void (*invoke)(void *, ...);
    struct Block_descriptor *descriptor;
    /* Imported variables. */
};

我们发现Block_layout中也有一个isa指针，像极了NSobject内部实现struct中的isa指针。这里的isa可能指向三种类型之一的Block：

  • _NSConcreteGlobalBlock：全局类型Block，在编译器就已经确定，直接放在代码段__TEXT上。直接在NSLog中打印的类型为__NSGlobalBlock__。
  • _NSConcreteStackBlock：位于栈上分配的Block，即__NSStackBlock__。
  • _NSConcreteMallocBlock：位于堆上分配的Block，即__NSMallocBlock__。

为什么会有这么多种类呢？首先来看全局类型Block，看例子：

<span class="line-number" style="margin: 0px; padding: 0px;">1</span>
<span class="line-number" style="margin: 0px; padding: 0px;">2</span>
<span class="line-number" style="margin: 0px; padding: 0px;">3</span>
<span class="line-number" style="margin: 0px; padding: 0px;">4</span>
<span class="line-number" style="margin: 0px; padding: 0px;">5</span>
<span class="line-number" style="margin: 0px; padding: 0px;">6</span>
<span class="line-number" style="margin: 0px; padding: 0px;">7</span>
<span class="line-number" style="margin: 0px; padding: 0px;">8</span>
<span class="line-number" style="margin: 0px; padding: 0px;">9</span>
<span class="line-number" style="margin: 0px; padding: 0px;">10</span>
<span class="line-number" style="margin: 0px; padding: 0px;">11</span>
<span class="line-number" style="margin: 0px; padding: 0px;">12</span>

void addBlock(NSMutableArray *array) {
  [array addObject:^{
    printf("global block\n");
  }];
}
 
void example() {
  NSMutableArray *array = [NSMutableArray array];
  addBlock(array);
  void (^block)() = [array objectAtIndex:0];
  block();
}

为什么addBlock中添加到array中的Block属于全局Block呢？因为它不需要运行时(Runtime)任何的状态来改变行为，不需要放在堆上或者栈上，直接编译后在代码段中即可，就像个c函数一样。这种类型的Block在ARC和non-ARC情况下没有差别。

这个Block访问了作用域外的变量d，在实现上就是这个block会多一个成员变量对应这个d，在赋值block时会将方法exmpale中的d变量值复制到成员变量中，从而实现访问。

<span class="line-number" style="margin: 0px; padding: 0px;">1</span>
<span class="line-number" style="margin: 0px; padding: 0px;">2</span>
<span class="line-number" style="margin: 0px; padding: 0px;">3</span>
<span class="line-number" style="margin: 0px; padding: 0px;">4</span>
<span class="line-number" style="margin: 0px; padding: 0px;">5</span>
<span class="line-number" style="margin: 0px; padding: 0px;">6</span>
<span class="line-number" style="margin: 0px; padding: 0px;">7</span>

void example() {
  int d = 5;
  void (^block)() = ^() {
      printf("%d\n", d);
  };
  block();
}

如果要修改d呢？：

<span class="line-number" style="margin: 0px; padding: 0px;">1</span>
<span class="line-number" style="margin: 0px; padding: 0px;">2</span>
<span class="line-number" style="margin: 0px; padding: 0px;">3</span>
<span class="line-number" style="margin: 0px; padding: 0px;">4</span>
<span class="line-number" style="margin: 0px; padding: 0px;">5</span>
<span class="line-number" style="margin: 0px; padding: 0px;">6</span>
<span class="line-number" style="margin: 0px; padding: 0px;">7</span>
<span class="line-number" style="margin: 0px; padding: 0px;">8</span>
<span class="line-number" style="margin: 0px; padding: 0px;">9</span>

void example() {
  int d = 5;
  void (^block)() = ^() {
      d++;
      printf("%d\n", d);
  };
  block();
  printf("%d\n", d);
}

由于局部变量d和这个block的实现不在同一作用域，仅仅在调用过程中用到了值传递，所以不能直接修改，而需要加一个标识符__block int d = 5;，那么block就可以实现对这个局部变量的修改了。如果是这种block标识的变量，在Block实现中不再是简单的一个成员变量，而是对应一个新的结构体表示这个block变量。block的本质是引入了一个新的Block_byref{$var_name}{$index}结构体，被block关键字修饰的变量就被放到这个结构体中。另外，block结构体通过引入Block_byref{$var_name}{$index}指针类型的成员，得以间接访问到Block的外部变量。这样对Block外的变量访问从值传递转变为引用，从而有了修改内容的能力。

正常我们使用Block是在栈上生成的，离开了栈作用域便释放了，如果copy一个Block，那么会将这个Block copy到堆上分配，这样就不再受栈的限制，可以随意使用啦。例如：

<span class="line-number" style="margin: 0px; padding: 0px;">1</span>
<span class="line-number" style="margin: 0px; padding: 0px;">2</span>
<span class="line-number" style="margin: 0px; padding: 0px;">3</span>
<span class="line-number" style="margin: 0px; padding: 0px;">4</span>
<span class="line-number" style="margin: 0px; padding: 0px;">5</span>
<span class="line-number" style="margin: 0px; padding: 0px;">6</span>
<span class="line-number" style="margin: 0px; padding: 0px;">7</span>
<span class="line-number" style="margin: 0px; padding: 0px;">8</span>
<span class="line-number" style="margin: 0px; padding: 0px;">9</span>
<span class="line-number" style="margin: 0px; padding: 0px;">10</span>
<span class="line-number" style="margin: 0px; padding: 0px;">11</span>
<span class="line-number" style="margin: 0px; padding: 0px;">12</span>
<span class="line-number" style="margin: 0px; padding: 0px;">13</span>
<span class="line-number" style="margin: 0px; padding: 0px;">14</span>

typedef void (^TestBlock)();
 
TestBlock getBlock() {
  char e = 'E';
  void (^returnedBlock)() = ^{
    printf("%c\n", e);
  };
  return returnedBlock;
}
 
void example() {
  TestBlock block = getBlock();
  block();
}

函数getBlock中声明并赋值的returnedBlock，一开始是在栈上分配的，属于NSStackBlock，如果是non-ARC情况下return这个NSStackBlock，那么其实已经被销毁了，在函数中example()使用时就会crash。如果是ARC情况下，getBlock返回的block会自动copy到堆上，那么block的类型就是NSMallocBlock，可以在example()中继续使用。要在Non-ARC情况下正常运行，那么就应该修改为：

<span class="line-number" style="margin: 0px; padding: 0px;">1</span>
<span class="line-number" style="margin: 0px; padding: 0px;">2</span>
<span class="line-number" style="margin: 0px; padding: 0px;">3</span>
<span class="line-number" style="margin: 0px; padding: 0px;">4</span>
<span class="line-number" style="margin: 0px; padding: 0px;">5</span>
<span class="line-number" style="margin: 0px; padding: 0px;">6</span>
<span class="line-number" style="margin: 0px; padding: 0px;">7</span>

TestBlock getBlock() {
  char e = 'E';
  void (^returnedBlock)() = ^{
    printf("%c\n", e);
  };
  return [[returnedBlock copy] autorelease];
}

Block中的循环引用问题

扯了这么多，回到Block的循环引用问题，由于我们很多行为会导致Block的copy，而当Block被copy时，会对block中用到的对象产生强引用(ARC下)或者引用计数加一(non-ARC下)。

如果遇到这种情况：

<span class="line-number" style="margin: 0px; padding: 0px;">1</span>
<span class="line-number" style="margin: 0px; padding: 0px;">2</span>
<span class="line-number" style="margin: 0px; padding: 0px;">3</span>
<span class="line-number" style="margin: 0px; padding: 0px;">4</span>
<span class="line-number" style="margin: 0px; padding: 0px;">5</span>
<span class="line-number" style="margin: 0px; padding: 0px;">6</span>
<span class="line-number" style="margin: 0px; padding: 0px;">7</span>
<span class="line-number" style="margin: 0px; padding: 0px;">8</span>
<span class="line-number" style="margin: 0px; padding: 0px;">9</span>

@property(nonatomic, readwrite, copy) completionBlock completionBlock;

//========================================
self.completionBlock = ^ {
        if (self.success) {
            self.success(self.responseData);
        }
    }
};

对象有一个Block属性，然而这个Block属性中又引用了对象的其他成员变量，那么就会对这个变量本身产生强应用，那么变量本身和他自己的Block属性就形成了循环引用。在ARC下需要修改成这样：

<span class="line-number" style="margin: 0px; padding: 0px;">1</span>
<span class="line-number" style="margin: 0px; padding: 0px;">2</span>
<span class="line-number" style="margin: 0px; padding: 0px;">3</span>
<span class="line-number" style="margin: 0px; padding: 0px;">4</span>
<span class="line-number" style="margin: 0px; padding: 0px;">5</span>
<span class="line-number" style="margin: 0px; padding: 0px;">6</span>
<span class="line-number" style="margin: 0px; padding: 0px;">7</span>
<span class="line-number" style="margin: 0px; padding: 0px;">8</span>
<span class="line-number" style="margin: 0px; padding: 0px;">9</span>

@property(nonatomic, readwrite, copy) completionBlock completionBlock;

//========================================
__weak typeof(self) weakSelf = self;
self.completionBlock = ^ {
    if (weakSelf.success) {
        weakSelf.success(weakSelf.responseData);
    }
};

也就是生成一个对自身对象的弱引用，如果是倒霉催的项目还需要支持iOS4.3，就用__unsafe_unretained替代__weak。如果是non-ARC环境下就将__weak替换为__block即可。non-ARC情况下，__block变量的含义是在Block中引入一个新的结构体成员变量指向这个__block变量，那么__block typeof(self) weakSelf = self;就表示Block别再对self对象retain啦，这就打破了循环引用。

白马为马
关注
专栏目录
block循环引用
番薯大佬的专栏
06-21 894
自从 block 横空出世，它本身就封装了一段代码当做变量，Apple 导入 block 语法之后就大幅改变了撰写 Objective-C 语言的方法。 block 是Cocoa/Cocoa Touch Framework 中的匿名函式（Anonymous Functions）的实作。所谓的匿名函式，就是一段 具有物件性质的程式码，这一段程式码可以当做函式执行，另一方面，又可以当做物件传递；因为可...
iOS面试中如何优雅回答Block导致循环引用的问题
01-20
在iOS面试中，面对关于Block导致循环引用的问题，你需要展现出深度理解和实践经验，而不仅仅是复述常见解决方案。首先，理解循环引用的基本概念至关重要：当两个对象互相强引用时，导致它们都不能被正确释放，这就...
ios闭包循环引用精讲
weixin_34292959的博客
02-18 127
前言 本篇文章精讲iOS开发中使用Block时一定要注意内存管理问题，很容易造成循环引用。本篇文章的目标是帮助大家快速掌握使用block的技巧。 我相信大家都觉得使用block给开发带来了多大的便利，但是有很多开发者对block内存管理掌握得不够好，导致经常出现循环引用的问题。对于新手来说，出现循环引用时，是很难去查找的，因此通过L...
Block循环引用详解
weixin_34216036的博客
12-26 171
前言 在项目中经常用到block，使用不当就很容易因为循环引用而造成内存泄漏。本文分析了block循环引用形成原因以及处理办法，如果有什么不对或者疑问请留言。 什么情况下block会造成循环引用 block为了保证代码块内部对象不被提前释放，会对block中的对象进行强引用，就相当于持有了其中的对象，而如果此时block中的对象又持有了该block，就会造成循环引用。 常见误区 1.所有bloc...
Block的引用循环问题 (ARC & non-ARC)
LIN1986LIN的专栏
03-21 790
2010年WWDC发布iOS4时Apple对Objective-C进行了一次重要的升级：支持Block。说到底这东西就是闭包，其他高级语音例如Java和C++已有支持，第一次使用Block感觉满简单好用的，但是慢慢也遇到很多坑。本文聊聊ARC和non-ARC下Block使用中的引用循环问题，最近遇到了好几次这种问题，还是深入记录下。先来套题目热热身，貌似能够全部答对的人蛮少的 Block实现
block的循环引用
iOS随笔
12-11 3420
前言 block的循环引用 Q: 为什么 block 会产生循环引用？ 相互循环引用：如果当前block对当前对象的某一成员变量进行捕获的话，可能会对它产生强引用。根据block的变量捕获机制，如果block被拷贝到堆上，且捕获的是对象类型的auto变量，则会连同其所有权修饰符一起捕获，所以如果对象是__strong修饰，则block会对它产生强引用（如果block在栈上就不会强引用）。而当前block可能又由于当前对象对其有一个强引用，就产生了相互循环引用的问题； 总结 必须同时满足2个条件 1、 b
Objective-C中block循环引用问题详解
08-25
总的来说，处理Objective-C中的Block循环引用问题，关键在于巧妙使用弱引用和局部强引用，确保对象在Block执行期间能被访问，同时在Block执行完毕后能被正确释放。理解这一概念对于编写高效、无泄漏的Objective-C...
iOS MRC 下 block 循环引用问题实例讲解
01-05
下面一段代码给大家介绍iOS MRC 下 block 循环引用问题  //注意此__block会复制一份指针出来 一次原始的指针如果置为nil的话,此处复制出来的指针还是野指针 __block __typeof(self)weakSelf = self; //__weak _...
Block的循环引用
老谭编程
06-12 257
Block的使用 1.概念：block实质就是一个匿名函数块，经过编译器的编译后，最终为一个函数,block也是objective-c中的对象，根据block对象创建时所处的数据区不同而进行区别： 在栈上创建的Block对象，_NSConcreteStackBlock 在堆上创建的Block对象，_NSConcreteMallocBlock 在全局数据区的Block对象，_NSConcre...
Block 循环引用
Hanyang Li的专栏
03-29 294
Block 循环引用
关于block的循环引用
01-07
分析关于block的循环引用 详细了分析在ios开发中常见的错误，值得一看
block-循环引用
信者的路
07-04 968
block的循环引用，在日常开发中，我们常常遇到，但是可能部分新人还不太了解为何会循环引用，到底是如何循环引用理解得不够透彻，并且在ARC环境下只知道用__weakSelf去解决，但也不知道原因，现在我们来剖析一下，循环引用的的底层原理。看看下面一段常见的代码: 循环引用原因分析 #import &lt;Foundation/Foundation.h&gt; #import "RMPe...
Block 循环引用浅谈
wwmusic的专栏
09-19 630
Block 的循环引用问题，想必使用过 Block，几乎都遇到过。今天CodeReview时，发现还存在循环引用的问题。故简单记录如下： 一、循环引用的原因 简单来说就是，【互相持有，造成内存不释放】。 如： self --持有--> block --持有--> self  形成了一个环，中间还可能穿插其他对象，反正最后形成了一个闭环，造成谁也不撒手，故内存永远不释放。
关于block的循环引用,你看我就够了!
Lucky_Deng的博客
03-24 1706
开篇: 如果你之前看过我block的其他的文章,你会更容易今天这篇博客的一些更深的解释,每篇只有一个知识点,基本上把这些都看了,block基本不会有什么问题的,基本都是掌握了. block的源码解读之变量捕获机制(capture) 从源码、ARC、MRC带你理解block的三大类型 深入理解block的底层之copy 深入理解block的底层之对象类型的auto变量 深入理解__block修饰符的底层实现原理 循环引用: 在平时开发过程中，block是我们经常使用的功能，如果不多加注意就会造
ios block循环引用问题
dawuafang
06-18 139
ios开发中，开了ARC模式，系统自动管理内存，如果程序中用到了block就要注意循环引用带来的内存泄露问题了 这几天遇到一个问题，正常页面dismiss的时候是要调用dealloc方法的，但是我的程序就是不调用，研究了好久终于找到了问题出在哪里了 起初的代码如下： - (void)getMyrelatedShops { [self.loadTimer invalidate];...
block的循环引用问题
powerof10的博客
02-09 271
循环引用示例 block会对block中的对象进行持有操作，如果block中的对象又持有了该block就会造成循环引用 典型的场景就是block作为self的属性使用时，又在block调用了self的属性或方法，代码如下 // Test.h #import <Foundation/Foundation.h> typedef void (^MyBlock)(); @interface Test @property(nonatomic,copy) MyBlock blockTest; @
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值