Block底层实现

 

//步骤一：创建一个控制台应用，在main中添加块的测试代码
#import <Foundation/Foundation.h>

int main(int argc, const char * argv[]) {

    void (^testBlock)(void) = ^{
        printf("msg log hehe");
    };
    testBlock();
        
    return 0;
}


//步骤二：打开终端，定位到main.m文件目录，录入xcode命令：xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc main.m，回车；
//你会发现当前目录下生成main.cpp的c++源码文件。我们截取如下重要部分来分析。

struct __block_impl {
  void *isa;	//isa就是OC中runTime下的Class对象，即指向struct objc_class*的指针。
  int Flags;
  int Reserved;
  void *FuncPtr;//函数指针，指向block的执行体。
};

static struct __main_block_desc_0 {
  size_t reserved;	//预留字段，以后可能会用到
  size_t Block_size;//block对象所占内存大小
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  //注意了，下面这个函数的名和结构体名一样（在C++中，结构体类型已经等同于类，只不过成员变量、成员函数的默认访问权限不同），
  //所以，下面这个函数就是构造函数
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;	//fp就是下面静态函数__main_block_func_0的函数指针
    Desc = desc;
  }
};

//函数参数就是在C++中隐藏的this指针，即对象自身。
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {

        printf("msg log hehe");
    }

//好了，上面三个结构体类型及静态函数，就是为下面mian函数的调用准备的。
int main(int argc, const char * argv[]) {

    void (*testBlock)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
    ((void (*)(__block_impl *))((__block_impl *)testBlock)->FuncPtr)((__block_impl *)testBlock);

    return 0;
}

强制类型转换有点多，我分解一下，就清晰了：
int main(int argc, const char * argv[]) {

	void *fp = (void *)__main_block_func_0;
	struct __main_block_desc_0 *desc = &__main_block_desc_0_DATA;
	struct __main_block_impl_0 blockObj = __main_block_impl_0(fp, desc);
	struct __main_block_impl_0 *__cself = &blockObj;


    void (*testBlock)(void) = (void (*)())&blockObj;
    //分解到这里，你会发现用testBlock函数指针接收struct __main_block_impl_0对象。要理解这点，需要知道
    //在C++中new一个对象后，对象指针就是第一个数据成员的地址。struct __main_block_impl_0对象的第一个数据成员是struct __block_impl impl，
    //所以，testBlock也是一个指向struct __block_impl对象的指针

	struct __block_impl *imp = (__block_impl *)testBlock;
	void (*FuncPtr)(struct __main_block_impl_0 *) =  (void (*)(struct __main_block_impl_0 *))imp->FuncPtr;

    FuncPtr(__cself);

    return 0;
}