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移动到堆中。
