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的区别
- __block不管是ARC还是MRC模式下都可以使用，可以修饰对象，还可以修饰基本数据类型。
- __weak只能在ARC模式下使用，也只能修饰对象（NSString），不能修饰基本数据类型（int）。
- __block对象可以在block中被重新赋值，__weak不可以。
- __block对象在ARC下可能会导致循环引用，非ARC下会避免循环引用，__weak只在ARC下使用，可以避免循环引用。
__block其实就是拷贝了外部变量的地址，在ARC下，就很有可能会引起循环引用了，self拥有block，而block拥有self。这时在block实现体内self会被retain，但是在·MRC时__block修饰的self在则不会被retain。
所以在ARC环境下循环引用的地方还是用__weak比较安全
