简述Block底层

Block底层解析

int main(int argc, const char * argv[]) {     
   @autoreleasepool { 
        ^{ }; 
   } 
  return 0;
}

block编译转换结构

对其执行clang -rewrite-objc编译转换成C++实现，得到以下代码：

struct __block_impl { 
    void *isa; 
    int Flags; 
    int Reserved;
    void *FuncPtr;
};
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 void __main_block_func_0(struct __main_block_impl_0 *__cself) 
{
}
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(int argc, const char * argv[]) { /* @autoreleasepool */ { __AtAutoreleasePool __autoreleasepool; (void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA); } 
return 0;
}

得到Block实际上就是一个结构体、
其结构体成员如下：

• isa，指向所属类的指针，也就是block的类型
• flags，标志变量，在实现block的内部操作时会用到
• Reserved，保留变量
• FuncPtr，block执行时调用的函数指针
  可以看出，它包含了isa指针（包含isa指针的皆为对象），也就是说block也是一个对象(runtime里面，对象和类都是用结构体表示)。

因为有isa指针，所以block实际是一个对象。

为什么Block要用copy修饰：
首先，对于没有引用外部变量的Block，无论在ARC还是非ARC下，类型都是NSGlobalBlock，这种类型的block可以理解成一种全局的block，不需要考虑作用域问题。同时，对他进行copy或者retain操作也是无效的，比如这样一个返回Block的函数：

typedef int(^MyBlock)();
MyBlock func(){
    return 1;
}

如果block引用了外部变量。比如：

typedef int(^MyBlock)();
MyBlock func(){
    int i = 0;
    return  ^{rerturn i}; 
}

如果没有对他进行copy，他的作用域只会在声明他的函数栈内（类型是NSStackBlock），如果想在非ARC下直接返回此类Block，Xcode会提示编译错误的，（Xcode提示Returning block that lives on the local stack）
而在ARC环境下，上述代码会编译通过，因为ARC会自动加入copy
操作。
比如可以在ARC下运行如下代码：

//ARC
MyBlock block = func();
NSLog(@"%d", block());
NSLog(@"%@", [block class]);

输出：
123__NSMallocBlock__

类型是
__NSMallocBlock__，
说明Block已经被copy
到了堆中了。

结论：
非ARC下，必须把Block复制到堆中才可以在函数外使用Block。所以务必使用copy把block移动到堆中。