Block其实就是C语言的扩充功能,实现了对C的闭包实现,一个带有局部变量的匿名函数。Block的语法,类型介绍我这里就不BB了,网上太多了,全是介绍怎么写的,这里开几篇博客来看看block的源码和内部实现结构,网上写的很乱很杂,而且都不全,自己买了本书,开搞!!!!!!
入门嘛,咱们先来一段最最最简单的代码
#include "stdio.h"
int main()
{
void (^block)(void) = ^(void)
{printf("aaa\n");};
block();
return 0;
}
楼主你sb么,这那么简单你看个球啊
别急,我们来看看Clang(LLVM)
通过clang
命令行工具中的-rewrite-objc
参数,我们可以把OC代码转化为C++的实现。帮助文档中的说明是这样的:Rewrite Objective-C source to C++。
clang-rewrite-objc文件名
以上命令会生成一个a.cpp文件,其中就是a.c文件的C++实现。越过开头的冗余代码,我们关心的代码部分往往在最下端。
不会用vim编写代码的看看这个,两分钟搞定点击打开链接
终端里面clang -rewrite-objc mkj.c,然后就会生成cpp,转换的源代码就出现了
这个文件打开就会出现几百行代码,这里的代码很多都是声明来的,总结下来就是如下代码
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("aaa\n");}
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()
{
void (*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
return 0;
}
那两行代码竟然增加到了那么多,可以从里面看出来,最终block匿名函数会用C语言的函数指针来处理
源码结构分析部分
1.block实际的结构体部分(本体)
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;
}
};
首先impl和Desc也是两个结构体,而__main_block_imp_0就是该结构体的构造函数,用来初始化,后面细细介绍
2.我们先来看看第一个成员变量impl
struct __block_impl {
void *isa;
int Flags;
int Reserved;
void *FuncPtr;
};
在objc中,
id
代表了一个对象。根据上面的声明,
凡是首地址是*isa的struct指针,都可以被认为是objc中的对象
isa指针,这个很熟悉吧,这就能看出其实block其实就是对象
他的第一个属性也是一个结构__block_impl,而第一个参数也是一个isa的指针。
在运行时,NSObject和block的isa指针都是指向对象的一个8字节。
NSObject及派生类对象的isa指向Class的prototype,而block的isa指向了_NSConcreteStackBlock这个指针。就是说当一个block被声明的时候他都是一个_NSConcreteStackBlock类的对象。
flags和reserved这两个基本就是某些标记(暂时没那么重要)
FuncPtr这个就是函数指针,也就是block所需要执行的代码段,真正存的地址
3.第二个成员变量Desc
static struct __main_block_desc_0 {
size_t reserved;
size_t Block_size;
}
顾名思义reserve和Block_size分别代表了版本升级所需的区域和Block的大小
4.第三个就是这个结构体的构造函数(可以理解为对象的初始化方法)
__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;
}
可以通过这里看出,初始化的时候会右fp指针(这里就是函数指针),以及desc结构体的指针传进来初始化,void *fp的指针赋值给了FuncPtr指针,以上的结构和初始化函数就是基本的Block生成的源代码
源码调用部分分析
5.现在来看看Main函数中调用的基本转换(初始化转换)
void (*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
看起来这个函数好吓人啊,没事,咱们把类型都去了,而且分开两步来写
/* 调用结构体函数初始化
struct __main_block_impl_0 impBlock = __main_block_impl_0(__main_block_func_0,&__main_block_desc_0_DATA);
/* 赋值给该结构体类型指针变量
struct __main_block_impl_0 *block = &impBlock;
这非常容易理解了吧,就是把栈上生成的__main_block_impl_0的结构体实例的指针,赋值给__main_block_impl_0结构体指针类型的变量block
__main_block_func_0就是转换成的函数指针,这样void (*block)(void) = ^{}这句简单的代码最终就是上面的结构体初始化函数的内部实现逻辑
6.再来细看下初始化函数内部的实现__block_main_impl_0
__main_block_impl_0(__main_block_func_0,&__main_block_desc_0_DATA);
第一个参数是由Block块语法转换的正真内部函数指针,第二个参数就是作为静态全局变量初始化__main_block_desc_0的结构体实例指针,初始化如下
__main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};
最终,初始化内部进行赋值
isa = &_NSConcreteStackBlock
Flags = 0
Reversed = 0
FuncPtr = __main_blcok_func_0(就是Block块代码转换成的C语言函数指针)
Desc = &__ main_block_desc_0_DATA
7.最终block()调用的内部实现
((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
老规矩 ,去掉类型就是
(*block->imp.FuncPtr)(block);
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
printf("aaa\n");}
没错,最后就是直接调用函数指针进行最终的调用,由上面所描述的,FuncPtr就是由__main_block_func_0的函数指针所赋值的指针,而且可以看出,这个函数的参数正是指向block本身结构体实例,block作为参数进行了传递
扩充下:
还记得初始化的时候内部出现这句话了么
isa = &_NSConcreteStackBlock
看过runtime源码的应该能明白,objc_object结构体有个Class isa,这个isa指向下面这个结构体
struct objc_class {
Class isa OBJC_ISA_AVAILABILITY;
#if !__OBJC2__
Class super_class OBJC2_UNAVAILABLE;
constchar *name OBJC2_UNAVAILABLE;
long version OBJC2_UNAVAILABLE;
long info OBJC2_UNAVAILABLE;
long instance_size OBJC2_UNAVAILABLE;
struct objc_ivar_list *ivars OBJC2_UNAVAILABLE;
struct objc_method_list **methodLists OBJC2_UNAVAILABLE;
struct objc_cache *cache OBJC2_UNAVAILABLE;
struct objc_protocol_list *protocols OBJC2_UNAVAILABLE;
#endif
}
这么理解吧,isa指针__NSConcreteStackBlock相当于class的结构体实例,关于该类的所有信息都包含在这个地址里面,跑起来的时候就可以通过该指针去父类找需要的东西了,那么Block最简单的实质应该有个初步了解了吧,明白了Block其实就是OC里面的对象了
概括下:
1.__main_block_impl_0这个就是Block内部的结构体(该结构体成员有impl,Desc 和一个该结构体的初始化函数)
2.Block块内的代码转换成了__main_block_func_0的c语言函数(参数就是__main_block_impl_0结构体)
3.Block语法的初始化实际就是将__main_blcok_impl_0的结构体实例化,重点是Block的代码块{}通过转换成C的函数指针进行结构体的成员变量FuncPtr指针赋值
4.Block调用就是通过实例化的结构体里面的FuncPtr指针就行函数调用,而且参数就是该结构体本身(暂时没用到这个传出去的结构体,另外写一个介绍带参数是如何完成回调的,如何截获变量等等)
收工~~~~~~~~睡觉~~~~~~~~~有不同理解告诉我,看我不打死你~~~~~~
看第二集的同学可以点击点击看第二集,继续听我叨逼叨,反正瞎BB的,对了,别看C的代码很长,其实分析下很简单的呦......