喜欢用Block的值得注意-Block的Retain Cycle的解决方法

浅浅的花香味﹌ 2021-09-11 04:32 365阅读 0赞

本文不讲block如何声明及使用，只讲block在使用过程中暂时遇到及带来的隐性危险。

主要基于两点进行演示：

1.block 的循环引用(retain cycle)

2.去除block产生的告警时，需注意问题。

有一次，朋友问我当一个对象中的block块中的访问自己的属性会不会造成循环引用，我哈绰绰的就回了一句，不会。兄弟，看完这个，希望你能理解我为什么会说不会循环引用。别废话，演示开始。

下面是我专们写了一个类来演示：

头文件.h

**\[objc\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  //  
2.  //  BlockDemo.h  
3.  //  blockDemo  
4.  /\* 
5.   -fno-objc-arc 
6.    
7.   由于Block是默认建立在栈上, 所以如果离开方法作用域, Block就会被丢弃, 
8.   在非ARC情况下, 我们要返回一个Block ,需要 \[Block copy\]; 
9.    
10.  在ARC下, 以下几种情况, Block会自动被从栈复制到堆: 
11.   
12.  1.被执行copy方法 
13.  2.作为方法返回值 
14.  3.将Block赋值给附有\_\_strong修饰符的id类型的类或者Blcok类型成员变量时 
15.  4.在方法名中含有usingBlock的Cocoa框架方法或者GDC的API中传递的时候. 
16.  \*/  
17.   
18. \#import <Foundation/Foundation.h>  
19.   
20. **@class** BlockDemo;  
21.   
22. **typedef** **void**(^executeFinishedBlock)(**void**);  
23. **typedef** **void**(^executeFinishedBlockParam)(**BlockDemo** \*);  
24.   
25. **@interface** BlockDemo : NSObject  
26. \{  
27.     executeFinishedBlock finishblock;  
28.     executeFinishedBlockParam finishblockparam;  
29. \}  
30.   
31. /\*\* 
32.  \*  执行结果 
33.  \*/  
34. **@property** (**nonatomic**,assign) NSInteger resultCode;  
35.   
36. /\*\* 
37.  \*  每次调用都产生一个新对象 
38.  \* 
39.  \*  @return 
40.  \*/  
41. \+ (**BlockDemo** \*)blockdemo;  
42.   
43. /\*\* 
44.  \*  不带参数的block 
45.  \* 
46.  \*  @param block 
47.  \*/  
48. \- (**void**)setExecuteFinished:(executeFinishedBlock)block;  
49.   
50. /\*\* 
51.  \*  带参数的block 
52.  \* 
53.  \*  @param block 
54.  \*/  
55. \- (**void**)setExecuteFinishedParam:(executeFinishedBlockParam)block;  
56.   
57. \- (**void**)executeTest;  
58.   
59.   
60. **@end**

实现文件

**\[objc\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  //  
2.  //  BlockDemo.m  
3.  //  blockDemo  
4.  //  
5.  //  Created by apple on 14-7-24.  
6.  //  Copyright (c) 2014年 fengsh. All rights reserved.  
7.  //  
8.    
9.  \#if \_\_has\_feature(objc\_arc) && \_\_clang\_major\_\_ >= 3  
10.     \#define OBJC\_ARC\_ENABLED 1  
11. \#endif // \_\_has\_feature(objc\_arc)  
12.   
13. \#if OBJC\_ARC\_ENABLED  
14.     \#define OBJC\_RETAIN(object)         (object)  
15.     \#define OBJC\_COPY(object)           (object)  
16.     \#define OBJC\_RELEASE(object)        object = nil  
17.     \#define OBJC\_AUTORELEASE(object)    (object)  
18. \#else  
19.     \#define OBJC\_RETAIN(object)           \[object retain\]  
20.     \#define OBJC\_COPY(object)             \[object copy\]  
21.     \#define OBJC\_RELEASE(object)          \[object release\], object = nil  
22.     \#define OBJC\_AUTORELEASE(object)      \[object autorelease\]  
23. \#endif  
24.   
25. \#import "BlockDemo.h"  
26.   
27. **@implementation** BlockDemo  
28.   
29.   
30. \+ (**BlockDemo** \*)blockdemo  
31. \{  
32.     **return** OBJC\_AUTORELEASE(\[\[BlockDemo alloc\]init\]);  
33. \}  
34.   
35. \- (**id**)init  
36. \{  
37.     **self** = \[**super** init\];  
38.     **if** (**self**) \{  
39.         NSLog(@"Object Constructor!");  
40.     \}  
41.     **return** **self**;  
42. \}  
43.   
44. \- (**void**)dealloc  
45. \{  
46.     NSLog(@"Object Destoryed!");  
47. \#if !\_\_has\_feature(objc\_arc)  
48.     \[**super** dealloc\];  
49. \#endif  
50. \}  
51.   
52. \- (**void**)setExecuteFinished:(executeFinishedBlock)block  
53. \{  
54.     OBJC\_RELEASE(finishblock);  
55.     finishblock = OBJC\_COPY(block); //在非ARC下这里不能使用retain  
56. \}  
57.   
58. \- (**void**)setExecuteFinishedParam:(executeFinishedBlockParam)block  
59. \{  
60.     OBJC\_RELEASE(finishblockparam);  
61.     finishblockparam = OBJC\_COPY(block); //在非ARC下这里不能使用retain  
62. \}  
63.   
64. \- (**void**)executeTest  
65. \{  
66.     \[**self** performSelector:**@selector**(executeCallBack) withObject**:nil** afterDelay:5\];  
67. \}  
68.   
69. \- (**void**)executeCallBack  
70. \{  
71.     \_resultCode = 200;  
72.       
73.     **if** (finishblock)  
74.     \{  
75.         finishblock();  
76.     \}  
77.       
78.     **if** (finishblockparam)  
79.     \{  
80.         finishblockparam(**self**);  
81.     \}  
82. \}  
83.   
84. **@end**

上面是因为考虑到在ARC 和非ARC中进行编译演示，所以我特意加了ＡＲＣ预编译判断。主要是方便不要改动太多的代码来给大家演示。

**在非ＡＲＣ环境下**

执行下在语句的测试：

**\[objc\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  \- (IBAction)onTest:(**id**)sender  
2.  \{  
3.      **BlockDemo** \*demo = \[\[\[BlockDemo alloc\]init\]autorelease\];  
4.        
5.      \[demo setExecuteFinished:^\{  
6.          **if** (demo.resultCode == 200) \{  
7.              NSLog(@"call back ok.");  
8.          \}  
9.      \}\];  
10.       
11.     \[demo executeTest\];  
12.        
13. \}

输出结果:

**\[cpp\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  2014-07-24 19:08:04.852 blockDemo\[25104:60b\] Object Constructor!  
2.  2014-07-24 19:08:09.854 blockDemo\[25104:60b\] call back ok.

很显然。尽管demo 是局部变量，并autorelease但可以看出自然至终并没有得到释放，这是因为block中使用了 block内进行访问了自身的resultCode属性。相信很多朋友也都会解决这种循环引用问题。就是在变量前面加个\_\_block，就像这样。

**\[objc\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  \_\_block **BlockDemo** \*demo = \[\[\[BlockDemo alloc\]init\]autorelease\];

在非ＡＲＣ下，只虽一个\_\_block关键词就可以。相对还是简单的。

好下面再来看一下在ＡＲＣ模式下的block循环引用又是怎么样的。

**在ARC模式下**

执行下面语句：

**\[cpp\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  \- (IBAction)onTest:(id)sender  
2.  \{  
3.      BlockDemo \*demo = \[\[BlockDemo alloc\]init\];  
4.      \[demo setExecuteFinished:^\{  
5.          **if** (demo.resultCode == 200) \{  
6.              NSLog(@"call back ok.");  
7.          \}  
8.      \}\];  
9.        
10.     \[demo executeTest\];  
11.        
12. \}

执行输出结果：

**\[objc\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  2014\-07\-24 19:20:33.997 blockDemo\[25215:60b\] Object Constructor!  
2.  2014\-07\-24 19:20:39.000 blockDemo\[25215:60b\] call back ok.

同样会被引入循环。

相信看到这里的人，大多都要喷了，这哪个不知道呀，还知道怎么解决呢，非ARC中加了个\_\_block，当然的在ARC中加一个\_\_weak就搞定了。嗯，确实是这样，但别急，接着往下看，绝对有收获。在这里先自己默认想一下，你是如何加这个\_\_weak的。

对于第一个问是点block 的循环引用(retain cycle)到这里暂告结束。下面讲第二点。因为block告警在非ARC 中暂未发现因写法引入（如果你知道，麻烦告诉我怎么弄产生告警，我好研究一下。）

**下面讲在ＡＲＣ模式下去除因写法产生的告警时需要注意的问题。**

像上面的写法其实在ARC中会产生（Capturing 'demo' strongly in this block is likely to lead to a retain cycle）告警。如下图：

![Center][]

在ARC中，编译器智能化了，直接提示这样写会产生循环引用。因此很多爱去除告警的朋友就会想法去掉，好，咱再来看去掉时需注意的问题。

情况一：

**\[objc\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  \- (IBAction)onTest:(**id**)sender  
2.  \{  
3.      \_\_weak **BlockDemo** \*demo = \[\[BlockDemo alloc\]init\];  
4.      \[demo setExecuteFinished:^\{  
5.          **if** (demo.resultCode == 200) \{  
6.              NSLog(@"call back ok.");  
7.          \}  
8.      \}\];  
9.      \[demo executeTest\];  
10. \}

直接在前面加一个\_\_weak，但这样真的没有告警了吗？如果有，哪么恭喜欢你，说明编译器还帮你大忙。见下图

![Center 1][]

这时还会告警，说这是一个WEAK变量，就马上会被release。因此就不会执行block中的内容。大家可以运行一下看

输出结果为：

**\[cpp\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  2014-07-24 19:38:02.453 blockDemo\[25305:60b\] Object Constructor!  
2.  2014-07-24 19:38:02.454 blockDemo\[25305:60b\] Object Destoryed!

很显然，马上被release了，所以block 中的代码根本就不执行。

谢天谢地，幸好编译器提前告诉了我们有这个隐性危险。相信大家为解决告警，又会得到一个比较圆满的解决方案，见下：

**\[objc\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  \- (IBAction)onTest:(**id**)sender  
2.  \{  
3.      **BlockDemo** \*demo = \[\[BlockDemo alloc\]init\];  
4.        
5.      \_\_weak typeof(BlockDemo) \*weakDemo = demo;  
6.        
7.      \[demo setExecuteFinished:^\{  
8.          **if** (weakDemo.resultCode == 200) \{  
9.              NSLog(@"call back ok.");  
10.         \}  
11.     \}\];  
12.     \[demo executeTest\];  
13. \}

这样写，即去除了告警又保证了block的运行。这才是我们最终想要的结果。  
输出为：

**\[cpp\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  2014-07-24 19:40:33.204 blockDemo\[25328:60b\] Object Constructor!  
2.  2014-07-24 19:40:38.206 blockDemo\[25328:60b\] call back ok.  
3.  2014-07-24 19:40:38.207 blockDemo\[25328:60b\] Object Destoryed!

但大家别得意。有提示，相信大家都能处理，并得到个好的解决方法。哪么下面大来再来看一下这个写法，让你真心甘拜下风。。。。。

**\[objc\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  \- (IBAction)onTest:(**id**)sender  
2.  \{  
3.      \_\_weak **BlockDemo** \*demo = \[BlockDemo blockdemo\]; //这里才是重点，前面是\[\[BlockDemo alloc\]init\];会有告警。  
4.        
5.      \[demo setExecuteFinished:^\{  
6.          **if** (demo.resultCode == 200) \{  
7.              NSLog(@"call back ok.");  
8.          \}  
9.      \}\];  
10.     \[demo executeTest\];  
11. \}

其实只是把init放到了类方法中进行书写而已，但会有什么不同。

**\[objc\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  \+ (**BlockDemo** \*)blockdemo  
2.  \{  
3.      **return** OBJC\_AUTORELEASE(\[\[BlockDemo alloc\]init\]);  
4.  \}

不同点见下图：真心看不到作何告警，是不是。但这存在什么风险，风险就是运行的时候，block根本就没有run。因为对象早就释放了。

![Center 2][]  
直接输出：

**\[cpp\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  2014-07-24 19:47:53.033 blockDemo\[25395:60b\] Object Constructor!  
2.  2014-07-24 19:47:53.035 blockDemo\[25395:60b\] Object Destoryed!

因此，写这个主要用来告戒一些喜欢用BLOCK但又想当然的朋友，有一些朋友喜欢去除告警，但只是盲目的加上\_\_weak 或\_\_block关键语，往往可能存在一些重大的安全隐患。就像演示中block根本不走。如果到了发布时，为了去告警而这样简单的处理了，并没有进行测试就打包。哪么将死得很惨。。。。。

好，到了尾声，来说说为什么朋友问我block会不会引行死循环，我说不会的理由。

见码：

**\[objc\]**  [view plain][]   [copy][view plain]

[![在CODE上查看代码片][CODE]][CODE_CODE] [![派生到我的代码片][ico_fork.svg]][ico_fork.svg 1]

1.  \- (IBAction)onTest:(**id**)sender  
2.  \{  
3.      **BlockDemo** \*demo = \[BlockDemo blockdemo\];//\[\[BlockDemo alloc\]init\];  
4.        
5.      \[demo setExecuteFinishedParam:^(**BlockDemo** \* ademo) \{  
6.          **if** (ademo.resultCode == 200) \{  
7.              NSLog(@"call back ok.");  
8.          \}  
9.      \}\];  
10.       
11.     \[demo executeTest\];  
12. \}

不管是在外面init,还是在里面，且没有加\_\_block 及\_\_weak。为什么，因为我个人常常在使用自己写的block时，如果是回调，比较喜欢把自身当作参数传到block中。这样期实是编译器给我们做了弱引用。因此不会产生循环引用。

由于我一直都这样写block，所以朋友一问起，我就说不会循环引用了，因为压根他碰到的就是前面讲述的哪种访问方式，而我回答的是我的这种使用方式。正因为口头描述，与实际回复真是差之千里。。。哈哈。为了验证我朋友的这个，我特意写了个这篇文章，希望对大家有所帮助。最后，谢谢大家花时间阅读。

[view plain]: http://blog.csdn.net/fengsh998/article/details/38090205#
[CODE]: https://code.csdn.net/assets/CODE_ico.png
[CODE_CODE]: https://code.csdn.net/snippets/434588
[ico_fork.svg]: https://code.csdn.net/assets/ico_fork.svg
[ico_fork.svg 1]: https://code.csdn.net/snippets/434588/fork
[Center]: /images/20210813/d1c12ae96a544668abea79a4125ddeb0.png
[Center 1]: /images/20210813/4aebac06920a47f3963f25fbd4fac396.png
[Center 2]: /images/20210813/f7e053328b454950b17b3174d2d2f5e0.png