Objective-C中block的底层原理
先出2个考题:
1、
上面打印的是几,captureNum2 出去作用域后是否被销毁?为什么?
同样类型的题目:
问:打印的数字为多少?
有人会回答:mutArray是captureObject方法的局部变量,mutArray指针 保存到栈上,那么当执行完captureObject方法后,出去了作用域mutArray变量就会被系统自动释放。
所以当执行captureBlk([[NSObject alloc] init]); 的时候,mutArray为nil,每次打印的为0。
当然上面说的是错的。
打印出来的值分别是 1,2,3。
那么如果把上面代码中的mutArray改为weak类型:
NSMutableArray __weak *mutArray = [[NSMutableArray alloc] init];
结果又会是什么呢。
2、下面代码分别打印的值是多少。为什么?
本文会分析上面的代码中block底层 都做了哪些操作。
用过block的可以 直接忽略前面的语法部分。直接从第三部分看即可。
一、block的使用
iOS4.0开始进入block特性。也叫做闭包。是一个函数(或指向函数的指针),再加上该函数执行的外部的上下文变量(有时候也称作自由变量)。
1、block的声明:
void (^blockName)(int arg1, int arg2);
中文翻译:返回值(^block变量名)(block的参数)
参数名称可以省略,也可以写成:
void (^blockName)(int, int);
2、block的定义:
^void(int arg1, int arg2) {
};
中文翻译:^返回类型(block的参数)
返回类型可以省略,也可以写成:
^(int arg1, int arg2) {};
声明定义和调用:
void (^blockName)(int, int) = ^(int arg1, int arg2) {NSLog(@"arg1 + arg2 = %d", arg1 + arg2);};blockName(1,2);
block没有参数、有返回值、作为方法的参数:
- (void)viewDidLoad {//2、没有参数void (^blockName2)() = ^() {NSLog(@"block2");};blockName2();//3、block有返回值int (^blockName3)(int) = ^(int n) {return n * 2;};//4、block作为方法的参数 [self testBlock2:blockName3]; }- (void)testBlock2:(int(^)(int))myBlock {myBlock(10); }
3、block只有在调用的时候才会执行里面的函数内容。
二、block调用外部变量
1、全局变量,block可以进行读取和修改。
@interface ViewController () {NSInteger num; }@implementation ViewController- (void)viewDidLoad {//1、block修改成员变量void (^block1)() = ^(){++num;NSLog(@"调用成员变量: %ld", num);};block1(); }
2、局部变量,block只能读取,不能修改局部变量。这个时候是值传递。
如果想修改局部变量,要用__block来修饰。这个时候是引用传递。下面会聊下block的实现原理。
看例子:
//2、调用局部变量,不用__blockNSInteger testNum2 = 10;void (^block2)() = ^() {//testNum = 1000; 这样是编译不通过的NSLog(@"修改局部变量: %ld", testNum2); //打印:10 };testNum2 = 20;block2();NSLog(@"testNum最后的值: %ld", 20);//打印:30//3、修改局部变量,要用__block__block NSInteger testNum3 = 10;void (^block3)() = ^() {NSLog(@"读取局部变量: %ld", testNum3); //打印:20testNum3 = 1000;NSLog(@"修改局部变量: %ld", testNum3); //打印:1000 };testNum3 = 20;block3();testNum3 = 30;NSLog(@"testNum最后的值: %ld", testNum3);//打印:30
三、block代码分析
网上很多通过Clang(LLVM编译器)将OC的代码转换成C++源码,来进行分析的。但是这些转换的代码并不是block的源代码,只是用来理解用的过程代码。
1、block不包含任何变量
新建一个testBlock.m文件。文件中代码为:
执行clang命令:
clang -rewrite-objc testBlock.m
生成.cpp的核心代码主要在.cpp文件的底部,大家可以看下图:
我加了比较详细的注释,具体的看图片就好。这里重点强调下关键的东东:
1.1、其中block的结构体:
struct __block_impl {void *isa;int Flags;int Reserved;void *FuncPtr; };
isa:isa指针,在Objective-C中,任何对象都有isa指针。block 有三种类型:
_NSConcreteGlobalBlock:全局的静态 block,类似函数。如果block里不获取任何外部变量。或者的变量是全局作用域时,如成员变量、属性等; 这个时候就是Global类型
_NSConcreteStackBlock:保存在栈中的 block,栈都是由系统管理内存,当函数返回时会被销毁。__block类型的变量也同样被销毁。为了不被销毁,block会将block和__block变量从栈拷贝到堆。
_NSConcreteMallocBlock:保存在堆中的 block,堆内存可以由开发人员来控制。当引用计数为 0 时会被销毁。
代码执行的时候,block的isa有上面3中值。后面还会进行详细的说明。
1.2、__main_block_func_0 是block要执行的函数:
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {printf("打印block函数"); }
1.3、__main_block_desc_0 是block的描述信息 的结构体
1.4、block的类型。
在上图中可以看到:
impl.isa = &_NSConcreteStackBlock;
这里 impl.isa 的类型为_NSConcreteStackBlock,由于 clang 改写的具体实现方式和 LLVM 不太一样,所以这里 isa 指向的还是_NSConcreteStackBlock
。但在 LLVM 的实现中,开启 ARC 时,block 应该是 _NSConcreteGlobalBlock 类型。
所以 block是什么类型 在 clang代码里是看不出来的。
如果要查看block的类型还是要通过Xcode进行打印:
打印的结果:
clangBlk = <__NSGlobalBlock__: 0x100054240> 打印block函数
上面block代码,没有获取任何外部变量,应该是 _NSConcreteGlobalBlock类型的。该类型的block和函数一样 存放在 代码段 内存段。内存管理简单。
2、block 访问 局部变量
新建testBlock2.m文件,代码如下:
通过clang命令生成 的核心代码如下,和刚才clang的代码 不同的地方 已经加了注释:
2.1、可以看到 __main_block_impl_0 中添加了 一个int num的变量。在 __main_block_func_0中使用了该变量。
从这里可以看出来 这里是 值拷贝,不能修改,只能访问。
2.2、用Xcode打印上面block代码,得到的类型为:__NSMallocBlock。
在说_NSConcreteMallocBlock类型前,我们先说下_NSConcreteStackBlock类型。
_NSConcreteStackBlock类型的block存在栈区,当变量作用域结束的时候,这个block和block上的__block变量就会被销毁。
这样当block获取了局部变量,在其他地方访问的时候就会崩溃。block通过copy来解决了这个问题,可以将block从栈拷贝到堆。这样当栈上的作用域结束后,仍然可以访问block和block中的外部变量。
我们现在看下本文开头的问题1:
为什么局部变量muArray出了作用域 还能存在?
captureBlk为默认的__strong类型,当block被赋值给__strong类型的对象或者block的成员变量时,编译器会自动调用block的copy方法。
执行copy方法,block拷贝到堆上,mutArray变量赋值给block的成员变量。所以打印的结果就为1,2,3。
如果把上面代码中的mutArray改为weak类型,那么打印的就都是0了。因为当出去作用域的时候,mutArray就已经被释放了。
同时,因为NSMutableArray *mutArray 是引用类型,用clang命令执行后,发现:
struct __main_block_impl_0 {struct __block_impl impl;struct __main_block_desc_0 *Desc;id __strong mutArray;
..... }
mutArray在block中是id类型,因为是指针 所以在block中mutArray是可以修改的,而int类型的不能修改。当然如果用__block也能修改int类型的外部变量,下面我们会详说。
下面这个打印的结果是1,也是这个道理:
同时访问外部变量是block进行的值传递,所以打印的还是1,不是2。
2.3、什么情况下block会进行copy操作。
用代码显示的调用copy操作:
[captureBlk2 copy];
在MRC下block定义的属性都要加上copy,ARC的时候block定义copy或strong都是可以的,因为ARC下strong类型的block会自动完成copy的操作。
@property (nonatomic, strong) captureObjBlk2 captureBlk21;
当 block 作为函数返回值返回时。
当 block 被赋值给 __strong id 类型的对象或 block 的成员变量时。
当 block 作为参数被传入方法名带有 usingBlock
的 Cocoa Framework 方法或 GCD 的 API 时。
3、__block在block中的作用。
新建testBlock3.m,代码如下:
用clang生成的代码如下,进行了详细的注释:
block访问的外部变量,在block中就是一个结构体:__Block_byref_num_0:
// 一、用于封装 __block 修饰的外部变量 struct __Block_byref_num_0 {void *__isa; // 对象指针__Block_byref_num_0 *__forwarding; // 指向 拷贝到堆上的 指针int __flags; // 标志位变量int __size; // 结构体大小int num; // 外部变量 };
其中 int num 为外部变量名。
__Block_byref_num_0 *__forwarding; 这个是指向自己堆上的指针,这个后面会详细说明。
为了对__Block_byref_num_0结构体进行内存管理。新加了copy和dispose函数:
//四、对__Block_byref_num_0结构体进行内存管理。新加了copy和dispose函数。 static void __main_block_copy_0(struct __main_block_impl_0*dst, struct __main_block_impl_0*src) {// _Block_object_assign 函数:当 block 从栈拷贝到堆时,调用此函数。_Block_object_assign((void*)&dst->num, (void*)src->num, 8/*BLOCK_FIELD_IS_BYREF*/); }// 当 block 从堆内存释放时,调用此函数:__main_block_dispose_0 static void __main_block_dispose_0(struct __main_block_impl_0*src) {_Block_object_dispose((void*)src->num, 8/*BLOCK_FIELD_IS_BYREF*/);}
__main_block_impl_0 中增加了 __Block_byref_num_0类型的指针变量。所以__block的变量之所以可以修改 是因为 指针传递。所以block内部修改了值,外部也会改变:
struct __main_block_impl_0 {struct __block_impl impl;struct __main_block_desc_0* Desc;__Block_byref_num_0 *num; // 二、__block int num 变成了 __Block_byref_num_0指针变量。也就是 __block的变量通过指针传递给block__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, __Block_byref_num_0 *_num, int flags=0) : num(_num->__forwarding) {impl.isa = &_NSConcreteStackBlock;impl.Flags = flags;impl.FuncPtr = fp;Desc = desc;} };
在block要执行的函数 __main_block_func_0中,我们通过__Block_byref_num_0的__forwarding指针来修改的 外部变量,即:(num->__forwarding->num) = 10;
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {__Block_byref_num_0 *num = __cself->num; // bound by ref (num->__forwarding->num) = 10; //三、这里修改的是__forwarding 指向的内存的值printf("num = %d", (num->__forwarding->num)); }
这是为什么呢?
我们先来看下文章开头的第二个问题:
当外部的局部变量testNum3 改变后,block内的testNum3变量也变了。
在block中修改的testNum3值,在block外部testNum3也改变了。
我们看下刚才clang生成的main方法,上面有截图:
类似的逻辑:
用__block修改后,testNum3变量转换为__Block_byref_num_0 的结构体。
上面说过copy操作会将block从栈拷贝到堆上, 会把 testNum3转成的__Block_byref_num_0 结构体 赋值给block的变量。
同时 会把 __Block_byref_num_0 的结构体中的 __forwarding指针指向拷贝到堆上 结构体。
就是栈上和拷贝到堆上的 的__Block_byref_num_0都用__forwarding指向堆上的自己。
这样在栈上修改 testNum3变量的时候,实际修改的是堆上值,所以block内外的值是相互影响。
本来想写下block循环引用的问题。现在写的比较累,明天单开一章来写这个问题吧。
本文中的所有代码还有clang生成的.cpp文件,都放到了github上。
本文参考了MicroCai的文章。
欢迎关注我的 今日头条号 名称: 云端梦想科技
欢迎关注我的 微信公众号:dreams2999
转载于:https://www.cnblogs.com/dahe007/p/6067591.html
Objective-C中block的底层原理相关推荐
- 腾讯一面:说一说 MySQL 中索引的底层原理
一.前言 最近有很多读者要我出一些面试题的文章,一般我会给他一个老周整理的电子书,但有些读者反馈回来的面试题我觉得还是蛮经典的,而老周又在写系列的文章,本着对读者负责的态度,我会穿插写几篇我认为比较经 ...
- 深究Java中的RMI底层原理
原博客地址:http://blog.csdn.net/sinat_34596644/article/details/52599688 前言:随着一个系统被用户认可,业务量.请求量不断上升,那么单机系统 ...
- c语言block内部的实现原理,iOS中block变量捕获原理详析
Block概述 Block它是C语言级别和运行时方面的一个特征.Block封装了一段代码逻辑,也用{}括起,和标准C语言中的函数/函数指针很相似,此外就是blokc能够对定义环境中的变量可以引用到.这 ...
- 【Spring源码】Spring中的AOP底层原理分析
AOP中的几个概念 Advisor 和 Advice Advice,我们通常都会把他翻译为通知,其实很不好理解,其实他还有另外一个意思,就是"建议",我觉得把Advice理解为&q ...
- Spring中的Aop底层原理
Aop底层 aop底层使用的是动态代理,分为两种情况: 第一种:要增强的类实现了接口,使用JDK 动态代理 第二种: 没有接口情况,使用 CGLIB 动态代理 2.下面具体介绍下JDK动态代理 jdk ...
- iOS之深入解析Block的底层原理
一.block 本质 ① block 本质探究 定义一个 block.c 文件,键入以下代码: #include "stdio.h"int main() {void(^block) ...
- oc中block的本质及底层原理
block的本质 block的种类及储存区域 __block的本质 block的循环引用 前言: 这里就不讨论block的具体写法及使用场景了,因为当你有一天想深入了解block 的底层原理时,你早已 ...
- 19.Atomic系列之LongAdder的底层原理(分段锁提升并发性能)
老王:小陈啊,上一章我们讲解了cas的缺陷,无法同时更新多个变量.以及ABA的问题.以及如果使用AtomicReference解决同时更新多个变量,如果使用AtomicStampedReference ...
- 18.AtomicReference、AtomicStampReference底层原理。多个变量更新怎么保证原子性?CAS的ABA问题怎么解决?
老王:小陈啊,上一章我们说了AtomicInteger.AtomicBoolean的底层原理,这一篇我们就来说说Atomic系列的另一个分类AtomicReference和AtomicStampRef ...
最新文章
- python输入年份打印全年日历4×3_只需输入年份的打印日历
- 一位大厂程序员回老家当公务员了!
- 第一天开通博客,记录自己在编程道路上的点点滴滴
- 获取map第一个的key和value_Hadoop学习之路(3)Map-Shuffle-Reduce详解与源码
- UNIX网络编程学习笔记(代码超详细解析)(持续更新)
- 为什么我们删除Babel的舞台预设:实验性提案的明确选择加入
- Wordpress 优化小结 杜绝博客因为CPU 占用过高被封
- Markdown、.bib、LaTeX + Typora、Pandoc 管理论文参考文献
- ubuntu实现屏幕的旋转和开启自动旋转屏幕
- jira配置邮箱踩坑,测试发信失败、或者测试发信通过,但创建问题后不发送邮件
- 在Windows 7 Media Center中创建幻灯片放映
- iceberg-flink 九:累积窗口按照天统计,数据不是从0:00-11:59 统计。
- 英语caement单词caement水泥
- k8s中控制器使用详解
- java数字转换器_如何用java写个整数进制转换器
- Redis的各种用途以及使用场景
- 【VeighNa】开始量化交易——第三章:构建价差套利
- autoIT 自动化上传/下载文件图文详解【python selenium】
- 常用硬件驱动网址(linux)
- 概率论与数理统计期末复习题(1)