iOS SDK 4.0开始，Apple引入了block这一特性。趁最近比较闲，来研究一下block底层实现方式。先来看一段简单的代码
int main(int argc, const char * argv[]) {
@autoreleasepool {
int a = 10;
int b = 11;
int (^block)(int,int) = ^(int a, int b) {
return a+b;
};
block(a,b);
}
return 0;
}
在上面代码中创建了一个带有两个参数的block并调用它。将代码保存为 main.m文件使用命令
xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc main.m
将代码转换为底层c++。会生成一个main.cpp文件。包含大约3w行代码。直接看最后面关键部分：
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
static int __main_block_func_0(struct __main_block_impl_0 *__cself, int a, int b) {
return a+b;
}
static struct __main_block_desc_0 {
size_t reserved;
size_t Block_size;
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};
int main(int argc, const char * argv[]) {
/* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool;
int a = 10;
int b = 11;
int (*block)(int,int) = ((int (*)(int, int))&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
((int (*)(__block_impl *, int, int))((__block_impl *)block)->FuncPtr)((__block_impl *)block, a, b);
}
return 0;
}
在main函数里，我们可以看到block变量创建方式。声明block是一个指向int (*)(int,int)类型的函数指针。内部的值为
((int (*)(int, int))&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA))
看起来很头疼。我们来一步一步分解。
首先发现调用了一个函数
__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA))
而 __main_block_impl_0 是什么东西呢，翻看main函数上面的代码我们可以发现 __main_block_impl_0是一个结构体，内部为
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
也就是说 我们的block本质上其实是一个指向 __main_block_impl_0结构体的指针。
该结构体里面有两个变量：
- struct __block_impl impl
- struct __main_block_desc_0 * Desc
__block_impl 和 __main_block_desc_0 类型 搜索上面代码可以找到类型定义：
struct __block_impl {
void *isa;
int Flags;
int Reserved;
void *FuncPtr;
};
static struct __main_block_desc_0 {
size_t reserved;
size_t Block_size;
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};
可以看到 __block_impl 里面有一个isa指针。大胆猜测其实block本质也是一个Objective-C对象。
__main_block_desc_0里面储存着__main_block_impl_0变量的大小也就是block变量所占的内存。
构造该结构体时传入了两个参数。第一个参数为__main_block_func_0再翻看上面代码我们发现** __main_block_func_0**是一个函数
static int __main_block_func_0(struct __main_block_impl_0 *__cself, int a, int b) {
return a+b;
}
对比一下，发现函数里面实现跟我们原本block内部实现是一样的。所以这个函数应该就是block本体。这个函数指针被传入了** __main_block_impl_0**结构体里面的 impl 中，被 FuncPtr 变量持有。而第二个参数大概是一些描述信息。
到了调用时我们的调用被转换成了：
((int (*)(__block_impl *, int, int))((__block_impl *)block)->FuncPtr)((__block_impl *)block, a, b);
又是一连串的类型转换。我们慢慢来抽：
从括号里面大致可以看出
((int (*)(__block_impl *, int, int))((__block_impl *)block)->FuncPtr)
是一个函数头，后面是传入参数
继续分析发现实质上是调用了
block->FuncPtr
这个函数，而通过前面我们得知FuncPtr函数实质上就是我们包裹在block中的代码
这里有一个问题，我们知道block是一个__main_block_impl_0类型的对象。而这个类型里面直接拿不到FuncPtr的。要通过impl才能拿到的。那为什么这里可以这么写呢。
我们知道C语言（包括C++）结构体本质是直接按照先后顺序（整齐）排列在内存中的。而取结构体内部的本质就是内存偏移。impl变量是__main_block_impl_0类型的第一个变量。所以impl的初始内存地址就是block的初始内存地址。FuncPtr在block中偏移位置与在impl中偏移位置是一样的。所以可以通过类型转换
(__block_impl *)block)->FuncPtr
直接获取FuncPtr这个函数调用。
以上
