Block原理分析详解

1 基本说明

Block一直是OC的一个重点、难点、黑科技。Block在日常项目中经常使用,他的实现方式和一般的oc代码不一样。同时也很容易出现使用不慎的情况。我们知道OC的本质是C语言+runtimeruntime中的具体实现完全就是汇编加上C语言。而且我们发现大部分都是通过结构体实现的。我们可以通过clang -rewrite-objc main.m这种命令把包含Block的main.m函数反编译(注意:这里所说的反编译并不是真正的反编译,只是把OC源码转换为对等的C++源码)为为C++的具体实现。下面我就会通过这个命令来分析一下Block转换以后的源码。下面所有列子中转换前的代码都在main.m中,替换后的代码都在mainX.cpp中.

2 void (*block)(void)类型解析

我们先看一下转换以前的代码。顶一个一个block。只定义一个变量i并且赋值为1。对应的文件为mainX.cpp

int main() {
    void (^blk)(void) = ^(){
        int i = 1;
    };
    blk();
    return 0;
}

下面是转换以后的代码。

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

static void __main_block_func_0(struct __main_block_impl_0 *__cself) {

        int i = 1;
}

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 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 (*blk)(void) = (  (void (*)())  &  __main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA)  );
    
    ((void (*)(__block_impl *))((__block_impl *)blk)->FuncPtr)((__block_impl *)blk);
    
    return 0;
}

上面是我截取的关键部分源码,其他还有很多辅助性的代码,这里我们就不用管了。看这段代码我们发现一个简单的block的转换成C++以后增加了很多代码:

  • main函数入口,我们可以发现这个函数里面主要初始化了一个__main_block_impl_0的结构体。并且调用结构体的FuncPtr方法。
  • __main_block_impl_0结构体。这个结构体有一个__block_impl__main_block_desc_0结构体。以及一个初始化函数。
  • __block_impl结构体。这个结构体有四个变量。其中我们可以发现有两个很关键的isaFuncPtr
  • __main_block_desc_0结构体。这个结构体包含了两个size_t类型的属性,主要用于记录Block的内存大小。
  • __main_block_func_0静态方法,我们发现这个方法就是BLock的具体实现。

2.1具体流程分析

首先main函数代码。

int main() {
    void (*blk)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
    ((void (*)(__block_impl *))((__block_impl *)blk)->FuncPtr)((__block_impl *)blk);
    return 0;
}

我们把它具体简化以后如下:

    struct __main_block_impl_0 tmp = __main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA);
    struct __main_block_impl_0 *blk = &tmp; 
    (*blk->impl.FuncPtr)(blk);

  • 1首先初始化一个__main_block_impl_0结构体变量。并且传入的参数是__main_block_func_0指向结构体的具体实现。__main_block_desc_0_DATA__main_block_desc_0结构体的一个变量,主要目的是指定结构体的大小。
  • 2 把tmp的地址赋值给blk指针。
  • 3 通过blk找到他的impl属性,然后再通过impl这个__block_impl变量获取FuncPtr函数的地址。然后传入blk的指针作为参数。从而实现OC中的blk();这句话。

接下来我们看一下__main_block_impl_0这个结构体。

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;
    }
};

这个结构体主要有一个初始化函数,通过传入结构体具体实现的函数指针fp,记录大小描述信息的参数desc,已经一个标记为flags。通过他来初始化__block_impl__main_block_desc_0

__block_impl这个结构体我们从他的结构发现和OC的类结构体有点像。他的isa属性其实就是OC的isa属性有异曲同工的作用,用于指向结构体的具体类型。FuncPtr函数指针就是指向Block具体实现的函数。

3 int (*block)(int)类型解析

废话少说,上代码。通过代码我们发现和上面那种没有什么区别。主要是__main_block_func_0函数的实现多了返回值和多了一个参数。具体看代码注释。

int main() {
    int (^blk)(int i) = ^(int i){
        int result =  i + 1;
        return result;
    };
    blk(3);
    return 0;
}
//==============上面是反编译以前的代码==================
struct __block_impl {
    void *isa;//isa表明结构体类型。
    int Flags;
    int Reserved;
    void *FuncPtr;//指向函数指针
};
//这个结构体及时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;//表示这个Block是存储于栈上。
    impl.Flags = flags;
    impl.FuncPtr = fp;//函数指针赋值
    Desc = desc;
  }
};
//这个函数就是Block的具体实现,并且添加了一个默认实现。
static int __main_block_func_0(struct __main_block_impl_0 *__cself, int i) {
    int result = i + 1;
    return result;
}
//Block的描述信息
static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
};
//__main_block_desc_0的一个实例,其中Block_size初始化为__main_block_impl_0结构体的大小。
struct __main_block_desc_0 __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};

int main() {
    //int (*blk)(int i) = ((int (*)(int))&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
    //上面一行转换为下面两行等价
    struct __main_block_impl_0 tmp = __main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA);
    struct __main_block_impl_0 *blk = &tmp;
    
    //int blkRerurn = ((int (*)(__block_impl *, int))((__block_impl *)blk)->FuncPtr)((__block_impl *)blk, 3);
    //下面一行是上面一行的简化版
    (*blk->impl.FuncPtr)(blk,3);
    return 0;
}

4 带__block变量的void (*block)(void)类型解析

我们发现加入一个带__block标志位的变量以后,代码复杂了很多。具体如下:

  • 多了__Block_byref_i_0结构体。这个结构体就是__block变量i直接生成的。
  • 多了两个函数__main_block_copy_0__main_block_dispose_0。这两个函数主要用于处理block复制的时候,对应的__block变量i的处理。
  • __main_block_impl_0结构体多了一个__Block_byref_i_0类型的属性i。这个i就是对应于block里面的变量。
  • __main_block_desc_0结构体多了两个函数。copydispose。在初始化结构体的时候,传入上面新增的两个函数作为参数。
  • 每个__block变量都回生成一个对应的结构体,并且作为__main_block_impl_0结构体的属性。

通过对结构体__main_block_impl_0的初始化函数和__main_block_func_0方法的分析。我们可以得到如下结论:

  • __block变量i在转换为c语言后直接转换为一个__Block_byref_i_0类型的结构体。
  • __main_block_impl_0结构体中的i指针用于存储__block结构体变量,也就是block里面的那个i对象。
  • block外面的那个i其实是block里面的i变量通过i->__forwarding->i来获取的。当我们在block里面改变i的值的时候,其实是间接的通过i->__forwarding->i来改变。其中第一个i是block里面的变量。第二个i是block外边的变量。这样就解释了为什么block里面改变i的值block外面的i改变的原因。
  • 非block类型的变量在block里面是直接引用,不会生成专门的结构体。

同时我们也注意到__main_block_copy_0__main_block_dispose_0这两个函数,我们虽然不能找到他的具体实现,不过可以根据上下文做一下具体的猜测:

//当我们复制block的时候。分别传入两个block的block变量的指针,然后做处理。
static void __main_block_copy_0(struct __main_block_impl_0*dst, struct __main_block_impl_0*src) {
    _Block_object_assign((void*)&dst->one, (void*)src->one, 8);
}
//当我们销毁一个block后,估计会调用这个函数的block变量的指针,做销毁操作
static void __main_block_dispose_0(struct __main_block_impl_0*src) {
    _Block_object_dispose((void*)src->one, 8);
}

完整代码如下:

#include "stdio.h"
#define NORMAL
typedef void (^Block)();
int main() {
    @autoreleasepool {
        __block int i = 1;
        Block block1 = ^(){
            i =  2;
            printf("%d",i);
        };
        block1();
    }
    return 0;
}
//==============上面是反编译以前的代码==================
typedef void (*Block)();

struct __block_impl {
    void *isa;
    int Flags;
    int Reserved;
    void *FuncPtr;
};
//这个结构体是专门为了__block变量i生成的。
struct __Block_byref_i_0 {
  void *__isa;
__Block_byref_i_0 *__forwarding;
 int __flags;
 int __size;
 int i;
};
//多了一个__Block_byref_i_0变量
struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __Block_byref_i_0 *i; // 多了一个i属性。block变量
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, __Block_byref_i_0 *_i, int flags=0) : i(_i->__forwarding) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
//Block的具体实现。从这里我们发现为啥改变i的值的猫腻。
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  __Block_byref_i_0 *i = __cself->i; // bound by ref

            (i->__forwarding->i) = 2;
            printf("%d",(i->__forwarding->i));
        }
//用于管理i变量的声明周期。复制一个block的时候,复制他对应的i变量。
static void __main_block_copy_0(struct __main_block_impl_0*dst, struct __main_block_impl_0*src) {
    
    _Block_object_assign((void*)&dst->i, (void*)src->i, 8/*BLOCK_FIELD_IS_BYREF*/);
}
//用于管理i变量的声明周期
static void __main_block_dispose_0(struct __main_block_impl_0*src) {
    _Block_object_dispose((void*)src->i, 8/*BLOCK_FIELD_IS_BYREF*/);
}
//多了两个指针函数、
static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
  void (*copy)(struct __main_block_impl_0*, struct __main_block_impl_0*);
  void (*dispose)(struct __main_block_impl_0*);
};
//实例变量
 struct __main_block_desc_0 __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0), __main_block_copy_0, __main_block_dispose_0};
//入口
int main() {
    //自动释放池,这里暂不管他
     {__AtAutoreleasePool __autoreleasepool;
         
#ifdef NORMAL
     __attribute__((__blocks__(byref))) __Block_byref_i_0 i;
     i = {(void*)0,(__Block_byref_i_0 *)&i, 0, sizeof(__Block_byref_i_0), 1};
         
      Block block1 = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, (__Block_byref_i_0 *)&i, 570425344));
         
         ((void (*)(__block_impl *))((__block_impl *)block1)->FuncPtr)((__block_impl *)block1);
#else
         //定义一个__Block_byref_i_0结构体变量。并且初始化
         __Block_byref_i_0 i;
         i = {(void*)0,(__Block_byref_i_0 *)&i, 0, sizeof(__Block_byref_i_0), 1};
       //定义一个__main_block_impl_0结构体变量,同时传入i的指针
        __main_block_impl_0 tmp = __main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, (__Block_byref_i_0 *)&i, 570425344);
         //把结构体变量的指针赋值给block1对象
        Block block1 = &tmp;
         //调用解耦固体。就是OC里面的`block1()`
         ((*block1->impl)->FuncPrt)(block1);
#endif
    }
    return 0;
}

5 带全局变量、静态全局变量、局部全局变量类型的Block解析

从转换以前和转换以后的代码比较。发现__block变量和上面一样,这里就不做具体分析了。但是对于几个非__block变量则有不同情况:

  • 全局变量global_val和静态全局变量static_global_val转换以前和转换以后调用方式没有任何区别。
  • 局部静态变量static_val会作为结构体__main_block_impl_0的一个属性。并且这个属性是局部静态变量的一个指针。
  • 当改变局部静态变量的值的时候,我们通过__main_block_impl_0结构体的static_val属性拿到静态局部变量的指针,然后直接赋值。
  • Block直接截取的值静态局部变量的指针。然后对指针操作。
int global_val = 1;
static int static_global_val = 2;
int main() {
    @autoreleasepool {
        __block int one = 1;
        static int static_val = 2;
        Block block1 = ^(){
            one =  2;
            global_val = global_val + 1;
            static_global_val = static_global_val + 1;
            static_val = static_val + 1;
            printf("%d--%d--%d--%d",one,global_val,static_global_val,static_val);
        };
        block1();
    }
    return 0;
}
//==============上面是反编译以前的代码==================

typedef void (*Block)();
//全局变量和静态全局变量的用法没有任何转变。
int global_val = 1;
static int static_global_val = 2;
struct __block_impl {
    void *isa;
    int Flags;
    int Reserved;
    void *FuncPtr;
};

struct __Block_byref_one_0 {
  void *__isa;
__Block_byref_one_0 *__forwarding;
 int __flags;
 int __size;
 int one;
};

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  int *static_val;//局部静态变量的指针作为结构体的一个属性
  __Block_byref_one_0 *one; // by ref
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int *_static_val, __Block_byref_one_0 *_one, int flags=0) : static_val(_static_val), one(_one->__forwarding) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  __Block_byref_one_0 *one = __cself->one; // bound by ref
  int *static_val = __cself->static_val; // bound by copy
    (one->__forwarding->one) = 2;
    global_val = global_val + 1;
    static_global_val = static_global_val + 1;
    (*static_val) = (*static_val) + 1;
    printf("%d--%d--%d--%d",(one->__forwarding->one),global_val,static_global_val,(*static_val));
}

static void __main_block_copy_0(struct __main_block_impl_0*dst, struct __main_block_impl_0*src) {
    _Block_object_assign((void*)&dst->one, (void*)src->one, 8/*BLOCK_FIELD_IS_BYREF*/);
}

static void __main_block_dispose_0(struct __main_block_impl_0*src) {
    _Block_object_dispose((void*)src->one, 8/*BLOCK_FIELD_IS_BYREF*/);
}

static struct __main_block_desc_0 {
  size_t reserved;
  size_t Block_size;
  void (*copy)(struct __main_block_impl_0*, struct __main_block_impl_0*);
  void (*dispose)(struct __main_block_impl_0*);
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0), __main_block_copy_0, __main_block_dispose_0};

int main() {
    /* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool; 
        __attribute__((__blocks__(byref))) __Block_byref_one_0 one = {(void*)0,(__Block_byref_one_0 *)&one, 0, sizeof(__Block_byref_one_0), 1};
        static int static_val = 2;
        
        //Block block1 = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, &static_val, (__Block_byref_one_0 *)&one, 570425344));
        //上面这行转换为下面这行
        __main_block_impl_0 tmp = __main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, &static_val, (__Block_byref_one_0 *)&one, 570425344);
        Block block1 = (void (*)())&tmp;
        
        ((void (*)(__block_impl *))((__block_impl *)block1)->FuncPtr)((__block_impl *)block1);
    }
    return 0;
}

6 总结

通过测试、我发现同一种类型的Block实例变量,会分别生成对应的__main_block_impl_X,__main_block_func_X,__main_block_desc_X,__main_block_copy_X,__main_block_dispose_X。但是会共用相同的__block_impl。如果多个Block(不管是不是同一种类型)使用同一个__block变量,则会共享相同的__Block_byref_YYY_X结构体。

把一个Block变量赋值给另一个Block变量。则相当于被复制的Block变量有两个引用,并不会生成一套对应的结构体。

判断Block是不是同一种类型,只与返回变量、参数类型相关。与通过宏定义的名字无关。

具体源码位置源码地址

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 151,688评论 1 330
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 64,559评论 1 273
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 101,749评论 0 226
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 42,581评论 0 191
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 50,741评论 3 271
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 39,684评论 1 192
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 31,122评论 2 292
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 29,847评论 0 182
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 33,441评论 0 228
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 29,939评论 2 232
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 31,333评论 1 242
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 27,783评论 2 236
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 32,275评论 3 220
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 25,830评论 0 8
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 26,444评论 0 180
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 34,553评论 2 249
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 34,618评论 2 249

推荐阅读更多精彩内容

  • 前言 Blocks是C语言的扩充功能,而Apple 在OS X Snow Leopard 和 iOS 4中引入了这...
    小人不才阅读 3,727评论 0 23
  • 摘要block是2010年WWDC苹果为Objective-C提供的一个新特性,它为我们开发提供了便利,比如GCD...
    西门吹雪123阅读 876评论 0 4
  • Blocks Blocks Blocks 是带有局部变量的匿名函数 截取自动变量值 int main(){ ...
    南京小伙阅读 881评论 1 3
  • Block基础回顾 1.什么是Block? 带有局部变量的匿名函数(名字不重要,知道怎么用就行),差不多就与C语言...
    YeeChain阅读 6,672评论 5 62
  • 序言:翻阅资料,学习,探究,总结,借鉴,谢谢探路者,我只是个搬运工。参考、转发资料:http://www.cnbl...
    Init_ZSJ阅读 852评论 0 1