经验首页 前端设计 程序设计 Java相关 移动开发 数据库/运维 软件/图像 大数据/云计算 其他经验
当前位置：技术经验 » 移动开发 » iOS » 查看文章
block本质探寻五之atuto类型局部实例对象
来源：cnblogs　　作者：春天里的花骨朵　　时间：2019/1/16 9:16:35　　对本文有异议

说明：阅读本文章，请参考之前的block文章加以理解；

一、栈区block分析

//代码

  1. //ARC
  2. void test1()
  3. {
  4.     {
  5.         Person *per = [[Person alloc] init];
  6.         per.age = 10;
  7.         ^{
  8.             NSLog(@"age:%d", per.age);
  9.         };
  10.     }
  11.     
  12.     NSLog(@"-------1");
  13. }

 

//打印

  1. 2019-01-14 17:24:12.118653+0800 MJ_TEST[6638:285938] Person dealloc
  2. 2019-01-14 17:24:12.118934+0800 MJ_TEST[6638:285938] -------1
  3. Program ended with exit code: 0 

分析：

<1>block代码内部引用的Person实例对象先于输出语句销毁，因为per仅限于大括号内，但此时block销毁了没有？往下看；

<2>上述block代码块并没有被指针持有，接下来看看指针持有的情况；

//代码

  1. typedef void(^MyBlock)(void);
  3. //ARC
  4. void test2()
  5. {
  6.     MyBlock block;
  7.     
  8.     {
  9.         Person *per = [[Person alloc] init];
  10.         per.age = 10;
  11.         block = ^{
  12.             NSLog(@"age:%d", per.age);
  13.         };
  14.     }
  15.     
  16.     NSLog(@"-------1");
  17. }

//打印

  1. 2019-01-14 17:34:58.473267+0800 MJ_TEST[6824:293129] -------1
  2. 2019-01-14 17:34:58.473705+0800 MJ_TEST[6824:293129] Person dealloc
  3. Program ended with exit code: 0

分析：Person实例对象后于输出语句销毁，为什么有指针持有，顺序就变了？

<1>等号左边：是一个auto类型的局部的block指针变量，存放在栈区；等号右边：是一个block代码块（对象），也是一个局部对象，存放在栈区；

<2>在ARC模式下，如果有指针持有（默认是强指针，修饰符为__strong）一个局部的block对象，系统会自动copy该block对象从栈区到堆区；

补充：其他三种情况——block作为函数返回值、含usingBlock方法（如数据的枚举方法）、GCD的应用（自己可以验证，此处不再赘述）；

那么，我们再看看MRC的情况

//打印————test1()和test2()

  1. 2019-01-14 17:56:46.641171+0800 MJ_TEST[7171:306788] -------1
  2. Program ended with exit code: 0

分析：为什么per对象没有销毁？——因为需要手动释放；

//代码

  1. [per release];

//打印————test1()和test2()

  1. 2019-01-14 17:59:39.091313+0800 MJ_TEST[7243:309139] Person dealloc
  2. 2019-01-14 17:59:39.091974+0800 MJ_TEST[7243:309139] -------1
  3. 2019-01-14 17:59:39.092013+0800 MJ_TEST[7243:309139] Person dealloc
  4. 2019-01-14 17:59:39.092086+0800 MJ_TEST[7243:309139] -------1
  5. Program ended with exit code: 0

分析：

<1>此时的block对象的作用域在第一个大括号范围内，超出则被释放；

<2>Person实例对象被捕获到block对象结构体体中，同时其作用域也仅限于第一个大括号内，因此超出同样被释放；

 

二、堆区block分析

1）类型分析——ARC

//strong类型

执行上述test2()方法，我们知道系统会自动将block对象从栈区copy到堆区；同时，Person实例对象会被捕捉到block对象的结构体中，如下

  1. struct __test2_block_impl_0 {
  2.   struct __block_impl impl;
  3.   struct __test2_block_desc_0* Desc;
  4.   Person *per;
  5.   __test2_block_impl_0(void *fp, struct __test2_block_desc_0 *desc, Person *_per, int flags=0) : per(_per) {
  6.     impl.isa = &_NSConcreteStackBlock;
  7.     impl.Flags = flags;
  8.     impl.FuncPtr = fp;
  9.     Desc = desc;
  10.   }
  11. };

分析：可以看到per是一个指针变量，而该指针变量默认修饰符为__strong；修改代码

  1.  __strong Person *per = [[Person alloc] init];

clang命令：xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc -fobjc-arc -fobjc-runtime=ios-9.0.0 main.m

说明：

<1>该命令行，只针对ARC模式下，MRC模式下，如果有release语句会报错；

<2>该命令行，是解决ARC模式下，实例对象为__weak类型，转成C++代码；

  1. struct __test2_block_impl_0 {
  2.   struct __block_impl impl;
  3.   struct __test2_block_desc_0* Desc;
  4.   Person *__strong per;
  5.   __test2_block_impl_0(void *fp, struct __test2_block_desc_0 *desc, Person *__strong _per, int flags=0) : per(_per) {
  6.     impl.isa = &_NSConcreteStackBlock;
  7.     impl.Flags = flags;
  8.     impl.FuncPtr = fp;
  9.     Desc = desc;
  10.   }
  11. };

 分析：因此，一般的指针变量，默认修饰符为__strong；

 

//weak类型

//代码

  1. //ARC
  2. void test2()
  3. {
  4.     MyBlock block;
  5.     
  6.     {
  7.         Person *per = [[Person alloc] init];
  8.         per.age = 10;
  9.         __weak Person *weakPer = per;
  10.         block = ^{
  11.             NSLog(@"age:%d", weakPer.age);
  12.         };
  13. //        [per release];
  14.     }
  15.     
  16.     NSLog(@"-------1");
  17. }

//C++代码

  1. struct __test2_block_impl_0 {
  2.   struct __block_impl impl;
  3.   struct __test2_block_desc_0* Desc;
  4.   Person *__weak weakPer;
  5.   __test2_block_impl_0(void *fp, struct __test2_block_desc_0 *desc, Person *__weak _weakPer, int flags=0) : weakPer(_weakPer) {
  6.     impl.isa = &_NSConcreteStackBlock;
  7.     impl.Flags = flags;
  8.     impl.FuncPtr = fp;
  9.     Desc = desc;
  10.   }
  11. };

//打印

  1. 2019-01-15 10:21:36.280746+0800 MJ_TEST[997:45906] Person dealloc
  2. 2019-01-15 10:21:36.281063+0800 MJ_TEST[997:45906] -------1
  3. Program ended with exit code: 0

分析：

<1>此时的per由weakPer弱指针指向，并被捕捉到block对象结构体中；

<2>结合上述强指针引用Person实例对象的打印结果，weak修饰的指针变量先于输出语句销毁，可以肯定系统是没有对block对象copy到堆区的；

那针对不同类型指针的引用，系统是如果判断操作的呢？往下看

 

2）调用原理

//C++代码

  1. typedef void(*MyBlock)(void);
  5. struct __test2_block_impl_0 {
  6.   struct __block_impl impl;
  7.   struct __test2_block_desc_0* Desc;
  8.   Person *__weak weakPer;
  9.   __test2_block_impl_0(void *fp, struct __test2_block_desc_0 *desc, Person *__weak _weakPer, int flags=0) : weakPer(_weakPer) {
  10.     impl.isa = &_NSConcreteStackBlock;
  11.     impl.Flags = flags;
  12.     impl.FuncPtr = fp;
  13.     Desc = desc;
  14.   }
  15. };
  17. static void __test2_block_func_0(struct __test2_block_impl_0 *__cself) {
  18.   Person *__weak weakPer = __cself->weakPer; // bound by copy
  20.             NSLog((NSString *)&__NSConstantStringImpl__var_folders_tb_zgsq5gq15rd3zvbdmw1c09y80000gn_T_main_3e374f_mi_2, ((int (*)(id, SEL))(void *)objc_msgSend)((id)weakPer, sel_registerName("age")));
  21.         }
  23. static void __test2_block_copy_0(struct __test2_block_impl_0*dst, struct __test2_block_impl_0*src) {_Block_object_assign((void*)&dst->weakPer, (void*)src->weakPer, 3/*BLOCK_FIELD_IS_OBJECT*/);}
  25. static void __test2_block_dispose_0(struct __test2_block_impl_0*src) {_Block_object_dispose((void*)src->weakPer, 3/*BLOCK_FIELD_IS_OBJECT*/);}
  27. static struct __test2_block_desc_0 {
  28.   size_t reserved;
  29.   size_t Block_size;
  30.   void (*copy)(struct __test2_block_impl_0*, struct __test2_block_impl_0*);
  31.   void (*dispose)(struct __test2_block_impl_0*);
  32. } __test2_block_desc_0_DATA = { 0, sizeof(struct __test2_block_impl_0), __test2_block_copy_0, __test2_block_dispose_0};
  34. void test2()
  35. {
  36.     MyBlock block;
  38.     {
  39.         Person *per = ((Person *(*)(id, SEL))(void *)objc_msgSend)((id)((Person *(*)(id, SEL))(void *)objc_msgSend)((id)objc_getClass("Person"), sel_registerName("alloc")), sel_registerName("init"));
  40.         ((void (*)(id, SEL, int))(void *)objc_msgSend)((id)per, sel_registerName("setAge:"), 10);
  41.         __attribute__((objc_ownership(weak))) Person *weakPer = per;
  42.         block = ((void (*)())&__test2_block_impl_0((void *)__test2_block_func_0, &__test2_block_desc_0_DATA, weakPer, 570425344));
  44.     }
  46.     NSLog((NSString *)&__NSConstantStringImpl__var_folders_tb_zgsq5gq15rd3zvbdmw1c09y80000gn_T_main_3e374f_mi_3);
  47. }
  49. int main(int argc, const char * argv[]) {
  50.     /* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool; 
  52.         test2();
  53.     }
  54.     return 0;
  55. }

分析：

<1>根据前面的文章分析，我们发现block描述结构体（__test2_block_desc_0）中多了两个函数指针的成员变量

  1. void (*copy)(struct __test2_block_impl_0*, struct __test2_block_impl_0*);
  2.   void (*dispose)(struct __test2_block_impl_0*);

其中，copy函数指针指向__test2_block_copy_0函数，dispose指向__test2_block_dispose_0；

<2>__test2_block_copy_0函数主要是通过_Block_object_assign函数来确定对per对象是否强引用，其根据就是per的引用类型——如果是__strong类型，则block对象对per对对象进行强引用（per的生命周期可控）；如果是__weak类型，则进行弱引用（per的生命周期不可控）；

<3>当block对像从堆区销毁时，会调用__test2_block_dispose_0函数会自动释放引用的per对象（相当于release）——注：严格意义上，此处的释放指的断开是block对象对per的引用即retainCount减1，至于per对象所占的内存是否被释放（回收）则在所不问（也许还有其他的指针变量引用），只有retainCount变为0零，其内存才会被回收；

补充：当block访问的外部的auto类型的局部数据为对象时，则会产生上述两个函数指针；如果是非实例对象（如基础数据类型），则不会有上述两个函数指针——原因：实例对象一般是在堆区开辟的内存，需要对其进行内存管理；

//代码

  1. void test3()
  2. {
  3.     int age = 10;
  4.     ^{
  5.         NSLog(@"%d", age);
  6.     };
  7. }

//clang

  1. static struct __test3_block_desc_0 {
  2.   size_t reserved;
  3.   size_t Block_size;
  4. } __test3_block_desc_0_DATA = { 0, sizeof(struct __test3_block_impl_0)};

 

三、结论 

【1】栈区block：不论是ARC还是MRC模式，指向该block对象的指针变量，不会对引用的auto类型的局部的实例对象进行强引用；

【2】堆区block：不论是ARC还是MRC模式，指向该block对象的指针变量，根据引用的auto类型的局部的实例对象的引用类型，通过调用block结构体中的copy函数指针来调用_Block_object_assign函数，来决定对实例对象是否进行强引用——__strong类型强引用，__weak类型弱引用；

【3】堆区block释放：系统会通过调用block结构体中的dispose函数指针来调用__test2_block_dispose_0函数，自动释放引用的外部auto类型的局部实例对象；

说明：

<1>block对象本身，即代码块（位于等号右边），非block指针变量（位于等号左边）；

<2>所谓的强引用，类似于retain操作即保留实例对象（所占内存不随作用域限制而被自动回收），保证手动管理内存释放，达到可控的目的；

 

四、拓展——GCD引用分析

1）

//代码

  1. - (void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event
  2. {
  3.     Person *per = [[Person alloc] init];
  4.     dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)NSEC_PER_SEC*3), dispatch_get_main_queue(), ^{
  5.         NSLog(@"%@", per);
  6.     });
  7.     
  8.     NSLog(@"touchesBegan");
  9. }

//打印

  1. 2019-01-15 11:56:19.867668+0800 GCD_Refrence[1558:90109] touchesBegan
  2. 2019-01-15 11:56:22.867823+0800 GCD_Refrence[1558:90109] <Person: 0x600003bb8cf0>
  3. 2019-01-15 11:56:22.867996+0800 GCD_Refrence[1558:90109] Person dealloc

2）

//代码

  1. - (void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event
  2. {
  3.     Person *per = [[Person alloc] init];
  4.     __weak Person *weakPer = per;
  5.     dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)NSEC_PER_SEC*3), dispatch_get_main_queue(), ^{
  6.         NSLog(@"%@", weakPer);
  7.     });
  8.     
  9.     NSLog(@"touchesBegan");
  10. }

//打印

  1. 2019-01-15 11:58:58.381396+0800 GCD_Refrence[1619:93062] touchesBegan
  2. 2019-01-15 11:58:58.381583+0800 GCD_Refrence[1619:93062] Person dealloc
  3. 2019-01-15 11:59:01.381697+0800 GCD_Refrence[1619:93062] (null)

3）

//代码

  1. - (void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event
  2. {
  3.     Person *per = [[Person alloc] init];
  4.     __weak Person *weakPer = per;
  5.     dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)NSEC_PER_SEC*1), dispatch_get_main_queue(), ^{
  6.         dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)NSEC_PER_SEC*2), dispatch_get_main_queue(), ^{
  7.             NSLog(@"%@", per);
  8.         });
  9.     });
  10.     
  11.     NSLog(@"touchesBegan");
  12. }

//打印

  1. 2019-01-15 12:00:44.996108+0800 GCD_Refrence[1653:94592] touchesBegan
  2. 2019-01-15 12:00:48.088426+0800 GCD_Refrence[1653:94592] <Person: 0x6000010f4a20>
  3. 2019-01-15 12:00:48.088664+0800 GCD_Refrence[1653:94592] Person dealloc

4）

//代码

  1. - (void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event
  2. {
  3.     Person *per = [[Person alloc] init];
  4.     __weak Person *weakPer = per;
  5.     dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)NSEC_PER_SEC*1), dispatch_get_main_queue(), ^{
  6.         dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)NSEC_PER_SEC*2), dispatch_get_main_queue(), ^{
  7.             NSLog(@"%@", weakPer);
  8.         });
  9.     });
  10.     
  11.     NSLog(@"touchesBegan");
  12. }

//打印

  1. 2019-01-15 12:01:42.122836+0800 GCD_Refrence[1672:95546] touchesBegan
  2. 2019-01-15 12:01:42.123038+0800 GCD_Refrence[1672:95546] Person dealloc
  3. 2019-01-15 12:01:45.123256+0800 GCD_Refrence[1672:95546] (null)

5）

//代码

  1. - (void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event
  2. {
  3.     Person *per = [[Person alloc] init];
  4.     __weak Person *weakPer = per;
  5.     dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)NSEC_PER_SEC*1), dispatch_get_main_queue(), ^{
  6.         NSLog(@"%@", weakPer);
  7.         
  8.         dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)NSEC_PER_SEC*2), dispatch_get_main_queue(), ^{
  9.             NSLog(@"%@", per);
  10.         });
  11.     });
  12.     
  13.     NSLog(@"touchesBegan");
  14. }

//打印

  1. 2019-01-15 12:02:50.591355+0800 GCD_Refrence[1693:96581] touchesBegan
  2. 2019-01-15 12:02:51.685830+0800 GCD_Refrence[1693:96581] <Person: 0x6000033a4470>
  3. 2019-01-15 12:02:53.686541+0800 GCD_Refrence[1693:96581] <Person: 0x6000033a4470>
  4. 2019-01-15 12:02:53.686810+0800 GCD_Refrence[1693:96581] Person dealloc

6）

//代码

  1. - (void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event
  2. {
  3.     Person *per = [[Person alloc] init];
  4.     __weak Person *weakPer = per;
  5.     dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)NSEC_PER_SEC*1), dispatch_get_main_queue(), ^{
  6.         NSLog(@"%@", per);
  7.         
  8.         dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)NSEC_PER_SEC*2), dispatch_get_main_queue(), ^{
  9.             NSLog(@"%@", weakPer);
  10.         });
  11.     });
  12.     
  13.     NSLog(@"touchesBegan");
  14. }

//打印

  1. 2019-01-15 12:03:47.349637+0800 GCD_Refrence[1715:97486] touchesBegan
  2. 2019-01-15 12:03:48.447971+0800 GCD_Refrence[1715:97486] <Person: 0x600000163900>
  3. 2019-01-15 12:03:48.448271+0800 GCD_Refrence[1715:97486] Person dealloc
  4. 2019-01-15 12:03:50.448553+0800 GCD_Refrence[1715:97486] (null)

7）

//代码

  1. - (void)touchesBegan:(NSSet<UITouch *> *)touches withEvent:(UIEvent *)event
  2. {
  3.     Person *per = [[Person alloc] init];
  4.     __weak Person *weakPer = per;
  5.     dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)NSEC_PER_SEC*1), dispatch_get_main_queue(), ^{
  6.         NSLog(@"%@", per);
  7.         
  8.         dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)NSEC_PER_SEC*2), dispatch_get_main_queue(), ^{
  9.             NSLog(@"%@", per);
  10.         });
  11.     });
  12.     
  13.     NSLog(@"touchesBegan");
  14. }

//打印

  1. 2019-01-15 12:04:37.584067+0800 GCD_Refrence[1735:98332] touchesBegan
  2. 2019-01-15 12:04:38.679922+0800 GCD_Refrence[1735:98332] <Person: 0x600003bd7570>
  3. 2019-01-15 12:04:40.876560+0800 GCD_Refrence[1735:98332] <Person: 0x600003bd7570>
  4. 2019-01-15 12:04:40.876803+0800 GCD_Refrence[1735:98332] Person dealloc

分析：

<1>ARC环境下，使用GCD时，系统自动将block对象从栈区copy到堆区；

<2>根据以上打印结果，发现如果是单纯的对per进行强引用，则延时3秒后per对象才销毁；如果是弱引用，则立即销毁，再次使用时为空（此时已经被释放）；

<3>如果既对per强引用又有弱引用，在嵌套的GCD使用中，始终以强引用为准，弱引用不影响强引用；

 

结论：同一个auto类型的局部的实例对象，既有强引用，也有弱引用，以强引用为准；

 

GitHub

 友情链接：直通硅谷 　点职佳 　北美留学生论坛

iOS热门文章

  • snapkit更新约束崩溃的问题
  • iOS 14 UDP收不到广播处理
  • iOS开发用如何用类&quot;SKStoreProductViewController&quot;跳转AppStore点赞评分？
  • Charles抓包iPhone注意点以及SSL Proxying enabled for this host
  • 笔记：long、longlong、int、float、NSString相互转换
  • ios开发UI篇—UITextfield
  • 自定义相机碰到的问题，比如常见的拍照录制视频方向，镜像左右颠倒等问题
  • C 和 Object-C中的 #ifdef #ifndef
  • 使用Hbuilder将自己app发布到App Store（一）
  • iOS开发 - 超级签名实现之描述文件

    • iOS推荐文章

  • iOS开发基础135-Core Data
  • uniapp-vue3-oadmin手机后台实例|vite5.x+uniapp多端仿ios管理系统
  • 苹果支付有哪些坑，为什么苹果支付比支付宝和微信容易丢单？
  • 带你走进灵动岛
  • vue3+ts Axios封装—重复请求拦截
  • axios详解以及完整封装方法
  • 关于 axios 是什么？以及怎么用？
  • iOS气泡提示工具BubblePopup的使用
  • 一篇文章带你详细了解axios的封装 - 公众号-web前端进阶
  • [MAUI]模仿iOS多任务切换卡片滑动的交互实现

    • 本站QQ群：前端 618073944 | Java 606181507 | Python 626812652 | C/C++ 612253063 | 微信 634508462 | 苹果 692586424 | C#/.net 182808419 | PHP 305140648 | 运维 608723728

    W3xue 的所有内容仅供测试，对任何法律问题及风险不承担任何责任。通过使用本站内容随之而来的风险与本站无关。
    关于我们  |  意见建议  |  捐助我们  |  报错有奖  |  广告合作、友情链接（目前9元/月）请联系QQ：27243702 沸活量
    皖ICP备17017327号-2　皖公网安备34020702000426号