09block

2016-08-04  本文已影响17人  i爱吃土豆的猫

这篇文章适合对block有一定的了解的人阅读,如果你对还不知道什么是block,那也许这篇文章更适合你。

1、block实现

1.1 首先对于block,我们看看他到底是怎么实现的。
int main() {
    __block id obj = [NSObject new];
    void (^blk)(void) = ^{
        NSLog(@"%@",obj);
    };
    return 1;
}

对于这样一个block,我们使用clang工具将a.m(代码的文件)编译为C语言

clang -rewrite-objc a.m

找到a.cpp文件,里面的代码有很多。首先我们来看block的定义

/** block 对象(结构体) */
struct __main_block_impl_0 {
    void *isa;  //Class指针,指向block的Class
    int Flags;  //用于保存block引用计数,是堆上还是栈上或者全局区,是否有拷贝函数等信息
    int Reserved;   //保留变量
    void *FuncPtr;  //函数指针,指向block的实现
    struct __main_block_desc_0* Desc;   //block的附加信息
    __Block_byref_obj_0 *obj;   //捕获的变量
};
1.2. 这个里面有两个,__main_block_desc_0和__Block_byref_obj_0
/** block的附加信息 */
static struct __main_block_desc_0 {
    size_t reserved;    //保留变量
    size_t Block_size;  //block 的大小

    // copy和dispose函数。用于将block中捕获的对象copy到堆上和释放。
    void (*copy)(struct __main_block_impl_0*, struct __main_block_impl_0*);
    void (*dispose)(struct __main_block_impl_0*);
}

我们可以看到__main_block_desc_0是一个结构体,用于保存block的附加信息

1.3. 我们再来看看__Block_byref_obj_0是个什么?
struct __Block_byref_obj_0 {
    void *__isa;  //Class指针
    __Block_byref_obj_0 *__forwarding;  //保证block复制到堆上时,原来栈上block也能访问到堆上的block
    int __flags;   //使用位存储一些信息,包括捕获的对象在栈上还是堆上
    int __size;    //结构体大小
    //内存管理用,copy和dispose
    void (*__Block_byref_id_object_copy)(void*, void*);
    void (*__Block_byref_id_object_dispose)(void*);
    id obj; //捕获的对象
};

当我们对一个变量使用__block参数时,编译器会自动将变量转换成__Block_byref_obj_0对象。下面我们来看看__Block_byref_obj_0对象的具体细节

1.4. 对于__forwarding指针
1.5. 对于Block的捕获关系希望大家弄清楚:
  1. block(__main_block_impl_0)捕获__block(__Block_byref_obj_0)obj
  2. __block(__Block_byref_obj_0)捕获对象id obj

2、block的常见问题

1. block有几种类型

block主要分为三种Block:

2. block copy做了什么?

根据block不同类型,copy分为三种情况:

3. block的循环引用怎么避免
4. 非ARC下,__block为什么能避免循环引用?

首先我们来看循环应用的原因。一般情况下,self持有block,block又持有self,造成循环引用。iOS中的持有是指引用计数+1.

  1. 由于block是self的属性,block生成时,必然会引用计数+1,所以self持有block。
  2. 由于block要使用必须要copy到堆上,否则栈上block夸区域使用会崩溃。block对象中捕获了self作为属性,当block copy到堆上时,调用block调用__main_block_desc_0中的copy函数,使self引用计数+1.所以block持有self

当使用_block属性时,block捕获_Block_byref_obj_0对象,_Block_byref_obj_0对象捕获self。block copy时,使得_Block_byref_obj_0对象的retainCount+1,block持有__Block_byref_obj_0对象,然后self的引用计数不会增加,__Block_byref_obj_0对象不会持有self。所以block不持有self,打破循环引用

5.ARC下,__block为什么不能避免循环引用?

__block id blockSelf = self;    //① 这里是block持有self的关键
void (^blk)(void) = ^{          //② ARC不会释放blockSelf
    NSLog(@"%@",blockSelf);
};

我们看上面的代码,

3.参考

唐巧大神的博客
Objective-C高级编程

上一篇 下一篇

猜你喜欢

热点阅读