iOS Block的本质（一）

iOS Block的本质（一）

1.对block有一个基本的认识

• block本质上也是一个oc对象，他内部也有一个isa指针。block是封装了函数调用以及函数调用环境的OC对象。

2.探寻block的本质

• 首先写一个简单的block

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        int age = 10;
        void (^block)(int, int) =  ^(int a , int b){
            NSLog(@"this is a block! -- %d", age);
            NSLog(@"this is a block!");
            NSLog(@"this is a block!");
            NSLog(@"this is a block!");
        };

        block(10, 10);
    }
    return 0;
}

3.查看其内部结构

1. 使用命令行将代码转化为c++与OC代码进行比较
   xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc main.m命令代码

   // 编译后代码
     int main(int argc, const char * argv[]) {
       /* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool; 
   
           int age = 10;
           void (*block)(int, int) = ((void (*)(int, int))&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, age));
   
           ((void (*)(__block_impl *, int, int))((__block_impl *)block)->FuncPtr)((__block_impl *)block, 10, 10);
       }
       return 0;
   }

2. 从以上c++代码中block的声明和定义分别与oc代码中相对应显示。将c++中block的声明和调用分别取出来查看其内部实现。

3. 定义block变量代码

   // 定义block变量代码
       void(*block)(int ,int) = ((void (*)(int, int))&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, age));
       // 能够简化为下列
       // void (*block)(int, int) = &__main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA, age);

4. 上述定义代码中，能够发现，block定义中调用了__main_block_impl_0函数，而且将__main_block_impl_0函数的地址赋值给了block。那么咱们来看一下__main_block_impl_0函数内部结构。

5. __main_block_imp_0结构体

   struct __main_block_impl_0 {
     struct __block_impl impl;
     struct __main_block_desc_0* Desc;
     int age;
     __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _age, int flags=0) : age(_age) {
       impl.isa = &_NSConcreteStackBlock;
       impl.Flags = flags;
       impl.FuncPtr = fp;
       Desc = desc;
     }
   };

6. __main_block_imp_0结构体内有一个同名构造函数__main_block_imp_0，构造函数中对一些变量进行了赋值最终会返回一个结构体。
   • 那么也就是说最终将一个__main_block_imp_0结构体的地址赋值给了block变量
   • __main_block_impl_0结构体内能够发现__main_block_impl_0构造函数中传入了四个参数。(void *)__main_block_func_0、&__main_block_desc_0_DATA、age、flags。其中flage有默认值，也就说flage参数在调用的时候能够省略不传。而最后的 age(_age)则表示传入的_age参数会自动赋值给age成员，至关于age = _age。
   • 接下来着重看一下前面三个参数分别表明什么。

   1. (void *)__main_block_func_0参数

      ```C++
       static void __main_block_func_0(struct __main_block_impl_0 *__cself, int a, int b) {
           int age = __cself->age; // bound by copy
               NSLog((NSString *)&__NSConstantStringImpl__var_folders_2r__m13fp2x2n9dvlr8d68yry500000gn_T_main_3f4c4a_mi_0, age);
               NSLog((NSString *)&__NSConstantStringImpl__var_folders_2r__m13fp2x2n9dvlr8d68yry500000gn_T_main_3f4c4a_mi_1);
               NSLog((NSString *)&__NSConstantStringImpl__var_folders_2r__m13fp2x2n9dvlr8d68yry500000gn_T_main_3f4c4a_mi_2);
               NSLog((NSString *)&__NSConstantStringImpl__var_folders_2r__m13fp2x2n9dvlr8d68yry500000gn_T_main_3f4c4a_mi_3);
           }
       ```

      • 在__main_block_func_0函数中首先取出block中age的值，紧接着能够看到四个熟悉的NSLog，能够发现这段代码偏偏是咱们在block块中写下的代码。
      • 那么__main_block_func_0函数中其实存储着咱们block中写下的代码。而__main_block_impl_0函数中传入的是(void *)__main_block_func_0，也就说将咱们写在block块中的代码封装成__main_block_func_0函数，并将__main_block_func_0函数的地址传入了__main_block_impl_0的构造函数中保存在结构体内。

   2. &__main_block_desc_0_DATA参数

      C++ 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)};

      • 咱们能够看到__main_block_desc_0中存储着两个参数，reserved和Block_size，而且reserved赋值为0而Block_size则存储着__main_block_impl_0的占用空间大小。最终将__main_block_desc_0结构体的地址传入__main_block_func_0中赋值给Desc。
   3. age参数
      • age也就是咱们定义的局部变量。由于在block块中使用到age局部变量，因此在block声明的时候这里才会将age做为参数传入，也就说block会捕获age，若是没有在block中使用age，这里将只会传入(void *)__main_block_func_0，&__main_block_desc_0_DATA两个参数。
        这里能够根据源码思考一下为何当咱们在定义block以后修改局部变量age的值，在block调用的时候没法生效。
      • 由于block在定义的以后已经将age的值传入存储在__main_block_imp_0结构体中并在调用的时候将age从block中取出来使用，所以在block定义以后对局部变量进行改变是没法被block捕获的。

7. 此时回过头来查看__main_block_impl_0结构体

   struct __main_block_impl_0 {
         struct __block_impl impl;
         struct __main_block_desc_0* Desc;
         int age;
         __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _age, int flags=0) : age(_age) {
           impl.isa = &_NSConcreteStackBlock;
           impl.Flags = flags;
           impl.FuncPtr = fp;// block 内部代码块地址
           Desc = desc;// 存储block 对象占用的内存大小
         }
       };

8. 首先咱们看一下__block_impl第一个变量就是__block_impl结构体。

   // __block_impl结构体内部
       struct __block_impl {
         void *isa;
         int Flags;
         int Reserved;
         void *FuncPtr;
       };

9. 咱们能够发现__block_impl结构体内部就有一个isa指针。所以能够证实block本质上就是一个oc对象。而在构造函数中将函数中传入的值分别存储在__main_block_impl_0结构体实例中，最终将结构体的地址赋值给block。

10. 接着经过上面对__main_block_impl_0结构体构造函数三个参数的分析咱们能够得出结论：
    1. __block_impl结构体中isa指针存储着&_NSConcreteStackBlock地址，能够暂时理解为其类对象地址，block就是_NSConcreteStackBlock类型的。
    2. block代码块中的代码被封装成__main_block_func_0函数，FuncPtr则存储着__main_block_func_0函数的地址。
    3. Desc指向__main_block_desc_0结构体对象，其中存储__main_block_impl_0结构体所占用的内存。

11. 调用block执行内部代码

    ((void (*)(__block_impl *, int, int))((__block_impl *)block)->FuncPtr)((__block_impl *)block, 10, 10);

12. 经过上述代码能够发现调用block是经过block找到FunPtr直接调用，经过上面分析咱们知道block指向的是__main_block_impl_0类型结构体，可是咱们发现__main_block_impl_0结构体中并不直接就能够找到FunPtr，而FunPtr是存储在__block_impl中的，为何block能够直接调用__block_impl中的FunPtr呢？
13. 从新查看上述源代码能够发现，(__block_impl *)block将block强制转化为__block_impl类型的，由于__block_impl是__main_block_impl_0结构体的第一个成员，至关于将__block_impl结构体的成员直接拿出来放在__main_block_impl_0中，那么也就说明__block_impl的内存地址就是__main_block_impl_0结构体的内存地址开头。因此能够转化成功。并找到FunPtr成员。

14. 上面咱们知道，FunPtr中存储着经过代码块封装的函数地址，那么调用此函数，也就是会执行代码块中的代码。而且回头查看__main_block_func_0函数，能够发现第一个参数就是__main_block_impl_0类型的指针。也就是说将block传入__main_block_func_0函数中，便于重中取出block捕获的值。

3.验证block的本质

• 验证block的本质是__main_block_impl_0结构体类型。

1. 经过代码证实一下上述内容：

   #import <Foundation/Foundation.h>
   
   struct __main_block_desc_0 {
       size_t reserved;
       size_t Block_size;
   };
   
   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 age;
   };
   
   int main(int argc, const char * argv[]) {
       @autoreleasepool {
           int age = 10;
           void (^block)(int, int) =  ^(int a , int b){
               NSLog(@"this is a block! -- %d", age);
               NSLog(@"this is a block!");
               NSLog(@"this is a block!");
               NSLog(@"this is a block!");
           };
           // 将底层的结构体强制转化为咱们本身写的结构体，经过咱们自定义的结构体探寻block底层结构体
           struct __main_block_impl_0 *blockStruct = (__bridge struct __main_block_impl_0 *)block;
           block(10, 10);
       }
       return 0;
   }

2. 经过打断点能够看出咱们自定义的结构体能够被赋值成功，以及里面的值。
   

3. 接下来断点来到block代码块中，看一下堆栈信息中的函数调用地址。Debuf workflow -> always show Disassembly
   

4. 经过上图能够看到地址确实和FuncPtr中的代码块地址同样。

总结

• block的原理是怎样的？本质是什么？
  • block本质上也是一个OC对象，它内部也有个isa指针
  • block是封装了函数调用以及函数调用环境的OC对象
  • block的底层结构以下图所示
    

引用