block的底层实现

1、我们都会使用 block ，但是它真正是如何工作的呢？换句话说block的本质是什么？
看下列实例，想想程序的结果：

int main(int argc, const char * argv[]) {     int a = 10;    __block int b = 20;     void (^block)() = ^(){         printf("a = %d\n",a);         printf("b = %d\n",b);     };    a = 50;    b = 30;    block();

程序的结果是： a = 10 , b = 30;

这个结果可能大家都知道 ，那么为什么会出现这样的情况呢？很多人都会说 ，b前面加了__block所以他的值可以改变 ，a没加所以不能改变 。这只是表象，接下来我们就研究一下他的block的本质。

2、探究block的底层原理，打开终端 ，把目录切换到当前main.m所在的路径下，我们需要把这个 main.m 文件 编程成c++ 的文件 main.cpp.
输入终端命令： clang -rewrite-objc main.m
生成一个main.cpp文件 ，打开它，但是你要做好心理准备，这个 文件十万多行。

3、找到下列代码

int main(int argc, const char * argv[]) {     int a = 10;    //__attribute__((__blocks__(byref))) __Block_byref_b_0 b = {(void*)0,(__Block_byref_b_0 *)&b, 0, sizeof(__Block_byref_b_0), 20};     void (*block)() = &__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, a, (__Block_byref_b_0 *)&b, 570425344);    a = 50;    (b.__forwarding->b) = 30;    ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);    return 0;}}

分析：
3.1、分析这个block参数
&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, a, &b, 570425344)

//block -> 实质 函数指针
//__main_block_func_0 指针
//__main_block_desc_0_DATA 地址 block 的描述数据
//a 普通变量
//&b b地址 b -> __Block_byref_b_0类型
//b 变量 就会被封装成 __Block_byref_b_0 结构体类型

3.2、分析struct __Block_byref_b_0 结构体

 struct __Block_byref_b_0 {        void *__isa;  //当前对象的指针        __Block_byref_b_0 *__forwarding; //当前这种结构体类型的指针 __forwarding存对象自己地址        int __flags; //标记        int __size; //结构体的大小        int b; //变量    };

3.3、函数的初始化

 struct __main_block_impl_0 {        struct __block_impl impl;        struct __main_block_desc_0* Desc;        int a; //  10        __Block_byref_b_0 *b; // by ref        __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _a, __Block_byref_b_0 *_b, int flags=0) : a(_a), b(_b->__forwarding) {            impl.isa = &_NSConcreteStackBlock;            impl.Flags = flags;            impl.FuncPtr = fp;  //执行的那段代码 打印            Desc = desc;        }    }

3.4、__block_impl结构体分析

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

3.5、__main_block_func_0

 __main_block_func_0(struct __main_block_impl_0 *__cself) {        //地址 直接访问属性        __Block_byref_b_0 *b = __cself->b; // bound by ref        int a = __cself->a; // bound by copy        printf("a = %d\n",a);        printf("b = %d\n",(b->__forwarding->b));    }

在上述的代码中我们可以理解为： 变量a传入的是值，变量b传入的是地址。__block 把b强转成一个结构体指针。

blcok的本质就是一个函数指针 ，也可以说是一个指向结构体的指针。