Block温顾

来着唐巧的技术博客

阅博笔记,助于记忆和回顾

什么是block

In programming languages, a closure is a function or reference to a function together with a referencing environment—a table storing a reference to each of the non-local variables (also called free variables or upvalues) of that function.

闭包是一个函数或者想象一个函数指针，它拥有一个函数执行时的上下文(自己认为是函数执行时的外部变量)

block的内部数据结构

struct Block_descriptor {
    unsigned long int reserved;
    unsigned long int size;
    void (*copy)(void *dst, void *src);
    void (*dispose)(void *);
};

struct Block_layout {
    
    void *isa; //isa指针，所有对象都有的指针，用于实现对象相关的功能
    int flags; //用于按bit位表示一些block的附加信息
    int reserved;//保留变量
    void (*invoke)(void *, ...);//函数指针，指向具体的block实现的函数调用地址
    struct Block_descriptor *descriptor;//表示该 block 的附加描述信息，主要是 size 大小，以及 copy 和 dispose 函数的指针
    /* Imported variables. */  //block可以访问它的局部变量，将需要在函数中用到的外部变脸复制到了结构体中
    
};

block的三种类型

• _NSConcreteGlobalBlock 全局的静态 block，不会访问任何外部变量。
• _NSConcreteStackBlock 保存在栈中的 block，当函数返回时会被销毁。
• _NSConcreteMallocBlock 保存在堆中的 block，当引用计数为 0 时会被销毁。

当不访问外部任何变量时

MRC环境下block类型是_NSConcreteStackBlock
ARC环境下block类型是_NSConcreteGlobalBlock。

当访问外部变量时

MRC环境下block类型是_NSConcreteStackBlock
ARC环境下block类型是_NSConcreteMallocBlock

访问的外部变量时，其实是拷贝了外部的变量，所以改变block实现体时的外部变量，并不会对外部变量造成影响

在ARC中其实在block创建时就会默认执行block copy，这时block就会从栈区拷贝到堆区，而block的类型也会从_NSConcreteStackBlock变成_NSConcreteMallocBlock

__block

当引用的外部变量是由__block 修饰的时候，那么block内部就会复制外部变量的地址而不是值了。而且如果你没有用修饰__block,那么你只能使用这些“变量”，而不能修改他

__block和__weak的区别

1. __block不管是ARC还是MRC模式下都可以使用，可以修饰对象，还可以修饰基本数据类型。

2. __weak只能在ARC模式下使用，也只能修饰对象（NSString），不能修饰基本数据类型（int）。
3. __block对象可以在block中被重新赋值，__weak不可以。
4. __block对象在ARC下可能会导致循环引用，非ARC下会避免循环引用，__weak只在ARC下使用，可以避免循环引用。

__block其实就是拷贝了外部变量的地址，在ARC下，就很有可能会引起循环引用了，self拥有block，而block拥有self。这时在block实现体内self会被retain，但是在·MRC时__block修饰的self在则不会被retain。
所以在ARC环境下循环引用的地方还是用__weak比较安全