相关文章
- （一）Block的实质初探
- （二）Block之存储域 NSConcreteStackBlock，NSConcreteGlobalBlock，NSConcreteMallocBlock
- （三）Block之截获变量和对象
- （四）Block之 __block修饰符及其存储域
Block被称之为 带有自动变量的匿名函数 ，但是Block究竟是什么呢？
将OC代码转换成C++代码
Block实际上是C的语言的扩充，也就是说，Block语法源代码是会被编译为普通的C语言源代码的
在这之前，我们需要知道如何将OC代码转换成C++代码 ,很简单，cd 进文件目录，键入clang -rewrite-objc filename.m即可，成功后会在对应目录生成filename.cpp文件，这就是我们想要的C++代码
最简单的Block代码
@autoreleasepool {
void (^blk)(void) = ^{
printf("Block");
};
blk();
}
转换后代码
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;
__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 void __main_block_func_0(struct __main_block_impl_0 *__cself) {
printf("Block");
}
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;
void (*blk)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
((void (*)(__block_impl *))((__block_impl *)blk)->FuncPtr)((__block_impl *)blk);
}
return 0;
}
没想到，区区几行代码，转换后的代码竟然增加了这么多行！
接下来我们对其进行逐步理解，
- block语法
^{
printf("Block");
};
转换后的block语法中也含有相同的表达式
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
printf("Block");
}
Block转换后的函数名根据该Block语法所属函数名和该函数出现的顺序值（这里为0）来给其命名
__cself指针指向__main_block_impl_0结构体，也就是Block对象本身，和OC中self指针类似
__main_block_impl_0 实现
- 先看
__main_block_impl_0的构造函数
__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;
}
精简过后的构造函数的调用
struct __main_block_impl_0 blk = __main_block_impl_0(
&__main_block_func_0,
&__main_block_desc_0_DATA
);
//对应代码
// void (^blk)(void) = ^{
// printf("Block");
// };
显然，^{printf("Block");}赋值给blk变量，等同于将__main_block_impl_0结构体实例指针赋值给blk变量，如上面提到过的 (__main_block_impl_0结构体，也就是Block对象本身)
构造函数第一个参数__main_block_func_0前面已经提到过，是c语言的函数指针，第二个参数作为全局的静态结构体变量__main_block_desc_0_DATA
__main_block_desc_0_DATA =
{
0,
sizeof(struct __main_block_impl_0)
};
可见结构体中存储了函数指针的实例大小等一些初始化信息
-
__main_block_impl_0结构体类型_NSConcreteStackBlock（Block实质是OC对象）
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;
}
}
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_impl_0结构退的构造函数，将对__main_block_impl_0做如下初始化
impl.isa = &_NSConcreteStackBlock; // isa指针
impl.Flags = flags; // 标志
impl.FuncPtr = fp; // 函数指针
Desc = desc; // des 指针
对于impl.isa = &_NSConcreteStackBlock; 其中 NSConcreteStackBlock到底是什么？
首先我们知道void * 和 id 是可互换的，那么OC中id类型定义如下
typedef struct objc_object *id;
struct objc_object {
Class isa;
};
typedef struct objc_class *Class;
struct objc_class {
Class isa;
}
objc_object和objc_class实质上是在各个类和对象中使用的基本结构体，类生成的各个结构体实例通过成员变量 isa 保持该类的结构体实例指针。
那么回到刚才的Block结构体，发现和objc_class结构体是不是很相似，而且对其成员变量isa 初始化 isa = &_NSConcreteStackBlock
实际上
_NSConcreteStackBlock也就相当于objc_class结构体实例。也就是说Block实质就是OC对象。
