06-block的本质

在讲解block的底层原理前，我们先抛出如下block相关的问题：

• block的本质，底层数据结构？
• block的底层原理？
• block的类型？
• block的变量捕获？
• block属性修饰词copy?
• __block的底层原理?
• __weak的底层原理？

我们先来回顾下block的基本使用语法：

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        // insert code here...
        ^{
            NSLog(@"111");
            NSLog(@"111");
            NSLog(@"111");
        };
    }
    return 0;
}

我们在main函数中写了一个block代码块，并在block的内部执行了三句打印，当我们运行程序后，发现并没有任何打印，这是因为现在只是声明了一个block，并没有调用这个block，就和函数一样，只是声明了一个函数而不调用函数，函数是不会执行的

下面我们修改main函数内部的代码如下：

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        // insert code here...
        ^{
            NSLog(@"111");
            NSLog(@"111");
            NSLog(@"111");
        }();
    }
    return 0;
}

我们在block的结束符}括号后面添加()，就能够执行到block内部的代码，就想调用函数一样func()

我们这样写虽然能执行block内部的代码，但是一运行就直接执行了block，这样不便于我们来控制这个block的调用时机，我们可以创建一个变量来将这个block保存起来，修改代码如下：

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        // insert code here...
        
        // 创建一个myBlock变量来临时保存这个block
        void (^myBlock)(void) = ^{
            NSLog(@"111");
            NSLog(@"111");
            NSLog(@"111");
        };
        
        // 通过变量来执行block
        myBlock();
    }
    return 0;
}

通过上面的代码，我们就可以通过myBlock这个变量来控制block的执行时机了

我们在来看下带有参数的block的基本用法：

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        // insert code here...
        
        // 创建一个myBlock变量来临时保存这个block
        void (^myBlock)(int, int) = ^(int a, int b){
            NSLog(@"111");
            NSLog(@"%d", a);
            NSLog(@"%d", b);
        };
        
        // 通过变量来执行block
        myBlock(10, 20);
    }
    return 0;
}

接下来我们看看block代码块内部访问外部变量的情况

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        // insert code here...
        
        int age = 100;
        
        // 创建一个变量来临时保存这个block
        void (^myBlock)(int, int) = ^(int a, int b){
            NSLog(@"111");
            NSLog(@"外部的变量=%d", age); // 100
            NSLog(@"%d", a); // 10
            NSLog(@"%d", b); // 20
        };
        
        // 通过变量来执行block
        myBlock(10, 20);
    }
    return 0;
}

我们执行xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc main.m命令，将main.m文件转换为底层c++代码，来查看转换后block的底层数据结构

通过查看main.cpp文件，我们可以看到block底层数据结构如下：

__main_block_impl_0就是上面main函数中定义的block

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  
  // 这个age就是从block外部捕获的变量保存在block结构体中
  int age;
  
  /**
    这个__main_block_impl_0()是c++的构造函数语法，相当于OC中的init初始化函数，这个函数返回结 构体对象`__main_block_impl_0`
    
    void *fp:这个指针就是__main_block_impl_0函数内存地址
    desc:&__main_block_desc_0_DATA
    _age:捕获的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; // fp指向的就是block代码块函数的内存地址
    Desc = desc;
  }
};

__block_impl结构体如下：

struct __block_impl {
  void *isa; // isa指针
  int Flags;
  int Reserved;
  void *FuncPtr; // block代码块的内存地址
};

__main_block_func_0函数，这个函数也就是block的代码块函数，所有block中需要执行的代码都包含在这个函数内：

static void __main_block_func_0(struct __main_block_impl_0 *__cself, int a, int b) {
  int num = __cself->num; // bound by copy

            NSLog((NSString *)&__NSConstantStringImpl__var_folders_lr_81gwkh751xzddx_ffhhb5_0m0000gn_T_main_5deef5_mi_0);
            NSLog((NSString *)&__NSConstantStringImpl__var_folders_lr_81gwkh751xzddx_ffhhb5_0m0000gn_T_main_5deef5_mi_1, num);
            NSLog((NSString *)&__NSConstantStringImpl__var_folders_lr_81gwkh751xzddx_ffhhb5_0m0000gn_T_main_5deef5_mi_2, a);
            NSLog((NSString *)&__NSConstantStringImpl__var_folders_lr_81gwkh751xzddx_ffhhb5_0m0000gn_T_main_5deef5_mi_3, b);
        }

__main_block_desc_0:结构体

static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
  
  // __main_block_desc_0_DATA = {}:这个是c++的结构体语法，定义一个__main_block_desc_0_DATA结构体变量，并且给变量初始化赋值
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};

block底层结构示意图如下：

image

main函数内代码转换如下：

int main(int argc, const char * argv[]) {
    /* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool; 

        int age = 100;

        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, 20);
    }
    return 0;
}

我们将main函数内的c++代码的一些类型转换代码去掉，剩余代码如下：

int main(int argc, const char * argv[]) {
    /* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool; 

        int age = 100;
        
        // `(*block)`:就是block的内存地址
        // `&__main_block_impl_0()`:函数返回的正好也是一个地址，也就是block的内存地址
        void (*block)(int, int) = &__main_block_impl_0(
                                                        __main_block_func_0,
                                                        &__main_block_desc_0_DATA,
                                                        age);
        // `block->FuncPtr()`:执行block，是通过block先找到FuncPtr，然后通过FuncPtr来调用block并传递参数
        block->FuncPtr(block, 10, 20);
    }
    return 0;
}

我们上面说__main_block_impl_0这个结构体就是block的底层数据结构，接下来我们将转换后c++代码中关键的几个结构体对象整合到main.m文件来证实，main.m代码如下：

#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 {
        // insert code here...
        
        int age = 100;
        
        // 创建一个变量来临时保存这个block
        void (^myBlock)(int, int) = ^(int a, int b){
            NSLog(@"111");
            NSLog(@"外部的变量=%d", age);
            NSLog(@"%d", a);
            NSLog(@"%d", b);
        };
        
        
        // 这里我们将`myBlock`类型转换为`struct __main_block_impl_0`指针类型
        struct __main_block_impl_0 *blockStruct = (__bridge struct __main_block_impl_0 *)myBlock;
        
        // 通过变量来执行block
        myBlock(10, 20);
    }
    return 0;
}

通过上面的代码struct __main_block_impl_0 *blockStruct = (__bridge struct __main_block_impl_0 *)myBlock; 将myBlock转换为struct __main_block_impl_0 *类型，我们打印下blockStruct变量和myBlock进行对比，如下图所示：

image

我们发现myBlock对应的函数地址和blockStruct结构体对象中的FuncPtr是一致的，block的外部变量age也存放在blockStruct结构体内，从这也能说明block的底层数据结构就是__main_block_impl_0结构体对象

从上面的打印可以看到blockStruct对象中还包含了isa指针，这也说明block是一个NSObject对象

讲解示例代码Demo地址：https://github.com/guangqiang-liu/06-BlockDemo

更多文章

• ReactNative开源项目OneM(1200+star)：https://github.com/guangqiang-liu/OneM：欢迎小伙伴们 star
• iOS组件化开发实战项目(500+star)：https://github.com/guangqiang-liu/iOS-Component-Pro：欢迎小伙伴们 star
• 简书主页：包含多篇iOS和RN开发相关的技术文章http://www.jianshu.com/u/023338566ca5 欢迎小伙伴们：多多关注，点赞
• ReactNative QQ技术交流群(2000人)：620792950 欢迎小伙伴进群交流学习
• iOS QQ技术交流群：678441305 欢迎小伙伴进群交流学习