iOS Block Part2:block捕获基本数据类型的编译

2017-08-19 本文已影响45人破弓

1.如何编译

进入项目目录中，执行cc -rewrite-objc '目标文件'

2.分析基础数据类型block的编译结果

int main(int argc, const char * argv[]) {
int any = 1;
 void (^test)() = ^ {
        NSLog(@"%d",any);
 };
 test();
 return 0;
}

编译->看结果:

编译的C++代码会有几万行,我们只需要截取我们需要的部分,以下所展示的是截取的结果

编译结果:

block(int)_code.png

即使是精简的,看上去还是心乱如麻,对吧?不要灰心,下面有温馨的.

2.1 block(int)_before_copy

温馨的:

block(int)_before_copy.png

在图片block(int)_before_copy中,我们能清晰的看到各个结构体之间的关系.
以struct __main_block_impl_0为主导:

struct __main_block_impl_0 {
 struct __block_impl impl;//内含的子结构体(block内含的代码所在)
 struct __main_block_desc_0* Desc;//block的描述
 int any;//block捕获了外部变量
};

2.2 block(int)_after_copy

已经说过ARC环境下会将NSStackBlock类型的block进行自动copy转换成NSMallocBlock类型的block.

block(int)_after_copy.png

在block(int)_after_copy内,
step1:将NSStackBlock类型的blockcopy转换成NSMallocBlock类型的block的过程.(具体过程会很复杂,后面的文章会说)

对照:堆+栈+静态三区的内容,不难看出:
struct __main_block_impl_0被完完整整的拷贝的了一份.
struct __main_block_impl_0内的子元素所指向的,有的拷贝了一份,有的则维持原来指向.

struct __main_block_impl_0 {
 struct __block_impl impl;//完整拷贝
 struct __main_block_desc_0* Desc;//指向的静态区元素,不需要拷贝
 int any;//完整拷贝
};

到这里,block应用的step1完成.

2.3 block调用

关于block调用的一句话:"神经病"一眼才能看懂,得慢慢看

step2开始,我们将代码打断来看

 ( void (*)(__block_impl *) )//2.3读地址,强转成函数
 
 ((__block_impl *)test) //2.1C语言式的父子类,子转父

 ->FuncPtr //2.2获取函数指针
 
 )((__block_impl *)test);//2.4调用函数

step2.1:((__block_impl *)test)

test指针虽然是函数指针却真正的指向了__main_block_impl_0结构体的实例

__main_block_impl_0结构体的实例指针被强转成__block_impl结构体的实例指针.这为什么可行?

struct __block_impl {
 void *isa;
 int Flags;
 int Reserved;
 void *FuncPtr;
};

struct __main_block_impl_0 {
 struct __block_impl impl;
 struct __main_block_desc_0* Desc;
 int any;
};

从结构上看__main_block_impl_0结构体是包含__block_impl结构体,也就是说__main_block_impl_0结构体是对__block_impl结构体的扩充,其实这也就是C语言式的父子关系:__main_block_impl_0结构体是子,__block_impl结构体是父.再精确到内存地址上,__block_impl结构体排在__main_block_impl_0结构体的开头,也就是说在有__main_block_impl_0结构体实例地址的情况下,读__block_impl结构体的相应大小就得到了__block_impl结构体的实例.所以这个强转就是子转父的操作

step2.2:->FuncPtr
以__block_impl结构体实例获取FuncPtr,顺理成章
step2.3: (void (*)(__block_impl *))
而FuncPtr只是一个泛型指针,要做函数用,需要将其强转成可以调用的函数
step2.4:(__block_impl *)test
再次由test指针强转成__block_impl结构体指针,作为参数传入函数.

调用完成,step2结束.

总结就是:通过函数指针test调用函数FnucPtr,传入的参数为指针test本身,完成调用

参考文献:
Block技巧与底层解析 by tripleCC