iOC中block下的__block、__Strong、__weak

 我来答
名成教育17
2022-07-17 · TA获得超过5515个赞
知道小有建树答主
回答量:268
采纳率:0%
帮助的人:73.1万
展开全部

两个对象相互持有,这样就会造成循环引用,如下图所示

图中,对象A持有对象B,对象B持有对象A,相互持有,最终导致两个对象都不能释放。

最普通的情况,由于block会对block中的对象进行持有操作, 就相当于持有了其中的对象 ,而如果此时block中的对象又持有了该block,则会造成循环引用。如下:

调用以上三句均会造成循环引用,因为不管是通过 self.blockString 还是 _blockString ,或是函数调用 [self doSomething] , 因为只要 block中用到了对象的属性或者函数,block就会持有该对象而不是该对象中的某个属性或者函数。

当有someObj持有self对象,此时的关系图如下。

当someObj对象release self对象时,self和myblock相互引用,retainCount都为1,造成循环引用

解决:

使用 __weak 修饰self,使其在block中不被持有,打破循环引用。开始状态如下

当someObj对象释放self对象时,Self的retainCount为0,走dealloc,释放myBlock对象,使其retainCount也为0。

其实以上循环引用的情况很容易发现,因为此时Xcode就会报警告。而发生在多个对象间的时候,Xcode就检测不出来了,这往往就容易被忽略。

解决方法:

将objA对象weak,使其不在block中被持有

注:以上使用 __weak 打破循环的方法只在ARC下才有效,在MRC下应该使用 __block

或者,在block执行完后,将block置nil,这样也可以打破循环引用

这样做的缺点是,block只会执行一次,因为block被置nil了,要再次使用的话,需要重新赋值。

在开发工程中,发现一些同学并没有完全理解循环引用,以为只要有block的地方就会要用__weak来修饰对象,这样完全没有必要,以下几种block是不会造成循环引用的。

大部分GCD方法

因为self并没有对GCD的block进行持有,没有形成循环引用。目前我还没碰到使用GCD导致循环引用的场景,如果某种场景self对GCD的block进行了持有,则才有可能造成循环引用。

block并不是属性值,而是临时变量

这里因为block只是一个临时变量,self并没有对其持有,所以没有造成循环引用

看下面例子,有这种情况,如果不只是ClassA持有了myBlock,ClassB也持有了myBlock。

当ClassA被someObj对象释放后

此时,ClassA对象已经被释放,而myBlock还是被ClassB持有,没有释放;如果myBlock这个时被调度,而此时ClassA已经被释放,此时访问的ClassA将是一个nil对象(使用 __weak 修饰,对象释放时会置为nil),而引发错误。

另一个常见错误使用是,开发者担心循环引用错误(如上所述不会出现循环引用的情况),使用 __weak 。比如

此时导致doSomething直接无法执行,因为 block作为参数传给dispatch_async时,系统会将block拷贝到堆上,而且block会持有block中用到的对象 ,因为dispatch_async并不知道block中对象会在什么时候被释放,为了确保系统调度执行block中的任务时其对象没有被意外释放掉, dispatch_async必须自己retain一次对象(即self),任务完成后再release对象(即self) 。但这里使用 __weak ,使dispatch_async没有增加self的引用计数,这使得在系统在调度执行block之前,self可能已被销毁,但系统并不知道这个情况,导致block执行时访问已经被释放的self,而达不到预期的结果。


理解这点很重要,这是许多使用 __weak,__stong 的由来,实际的过程原理与block实现有关,下文会补充,这里先记住这点。

注:如果是在MRC模式下,使用 __block 修饰self,则此时block访问被释放的self,则会导致crash。 如下:

运行结果

解决方法:

对于这种场景,就不应该使用 __weak 来修饰对象,让dispatch_after对self进行持有,保证block执行时self还未被释放。

还有一种场景,在block执行开始时self对象还未被释放,而执行过程中,self被释放了,此时访问self时,就会发生错误。

对于这种场景,应该在block中对 对象使用 __strong 修饰,使得在block期间对 对象持有,block执行结束后,解除其持有。这也就是为什么许多使用block的地方内外要

注:此方法只能保证在block执行期间对象不被释放,如果对象在block执行执行之前已经被释放了,该方法也无效。

讲到这里不得不提及一下 __block 。承接前面的例子,均是在block中使用其他对象的方法。实际应用中会有在block使用变量,或其他对象属性的情况。如下:

亦或是

无论是在block中修改外部变量、或是对其他熟悉的操作。因为block在其他线程中执行,取值时是进行copy操作,如果是有self等引用则不会有问题,如果是外部变量或临时声明的对象,在block做处理操作时则要考虑,是否希望改变原来的值。这里的__block起到了原来c语言中&取地址,传递地址的作用。

这里的作用机理和block的机理有关,block本身的核心逻辑是C中的匿名方法,因为C语言中方法是可以作为属性来传递的,OC中将block需要使用的方法快作为匿名方法的熟悉,封装在一个结构体中。而这句__block则是将对于需要传递内存的属性/对象一同封装在这个结构体中。

不过我个人觉得,这种临时变量需要在block中进行处理,然后希望同时影响外部的需求。我认为在业务需求上是很少用到的,大家想避免还是很容易。

1.要注意block本身持有情况,及block内部的持有情况,尤其是类似“ block myBlock”等已经在类内部全局声明持有的block
2.block本身并不是属性值,而是临时变量,故不要一味的在weak中使用weak
3.在block外部声明的临时变量,需要在block内部继续使用时,要用__strong声明,来防止在进入block前,已经被释放掉了。
4.如果有临时变量/对象需要放到block中处理,且希望是Strong传递而非Copy传递则用 __block 修饰

小声bb:讲了这么多,其实很简单,遇到block,先看block是否全局引用了,如果全局引用了,则其内部的self等必然要weak处理。二要看内部是否使用了临时变量/对象的方法,如果使用了则要考虑是否需要使用strong防止对象过程释放。__block就是给临时变量,修改隐性的copy为strong。

本篇中许多内容引用自
https://www.jianshu.com/p/492be28d63c4
感谢🙏作者@HK_Hank

block原理部分大家感兴趣可以看
https://segmentfault.com/a/1190000018779727
https://www.jianshu.com/p/221d0778dcaa
https://www.jianshu.com/p/00a7ee0177ea

附上项目中常用宏,供大家参考使用

使用大致如下

已赞过 已踩过<
你对这个回答的评价是?
评论 收起
推荐律师服务: 若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询

为你推荐:

下载百度知道APP,抢鲜体验
使用百度知道APP,立即抢鲜体验。你的手机镜头里或许有别人想知道的答案。
扫描二维码下载
×

类别

我们会通过消息、邮箱等方式尽快将举报结果通知您。

说明

0/200

提交
取消

辅 助

模 式