研究工具:clang

创建一个名为block.c的源文件

#include <stdio.h>

int main(){

^{printf("Hello ,World!\n");}();

return 0;

}

命令行输入:clang  -rewrite-objc block.c   可在block.c所在的目录下看到一个block.cpp文件进行分析

block的主要构成

isa指针:所有对象都有该指针,用于实现对象的相关功能

invoke:函数指针,指向具体的block实现的函数指针

descriptor:标示该block的附加信息,主要是size大小,以及copy和dispose函数的指针

variables:block能够访问它外部的局部变量,就是因为这些变量(或者变量的地址)复制到了结构体中

结构体本身并不附带任何额外信息

创建block时，实际就是在方法中声明一个struct，并且初始化该struct的成员。而执行block时，就是调用那个单独的C函数，并把该struct指针传递过去。

在objc中，根据对象的定义，凡是首地址是*isa的结构体指针，都可以认为是对象(id).

常见的3种类型的block

_NSConcreteGlobalBlock,全局静态block,不会访问任何外部变量

_NSConcreteStackBlock,保存在栈中的block,block返回时被销毁

_NSConcreteMallocBlock,保存在堆中的block,引用计数为0时被销毁

只有一个block被调用copy方法的时候,系统才会将这个block复制到堆上,从而产生NSConcreteMallocBlock类型的block

局部变量在block内不能被修改

static void__main_block_func_0(struct__main_block_impl_0 *__cself) {

inti = __cself->i;// bound by copy

printf("%d",i);}

在block中引用的局部变量i,实际上是在声明block时,被复制到__main_block_impl_0结构体的那个变量，block内部修改变量i，不会影响到外部的变量i.

__block修改局部变量

struct__Block_byref_i_0 {

void*__isa;  //凡是首地址是*isa的结构体指针，都可以认为是对象(id).

__Block_byref_i_0 *__forwarding;

int __flags;

int __size;

int i;}

变量i,成了一个结构体 在__main_block_impl_0 中引用着__Block_byref_i_0 *i;// by ref 结构体指针 ,这样就起到修改外部局部变量的作用

负责结构体__Block_byref_i_0的内存管理,增加了copy和dispose函数指针,用于在调用前后修改相应变量的引用计数

static struct__main_block_desc_0 {

size_t reserved;

size_t Block_size;

void(*copy)(struct__main_block_impl_0*,struct__main_block_impl_0*);

void(*dispose)(struct__main_block_impl_0*);

} __main_block_desc_0_DATA = {0,sizeof(struct__main_block_impl_0), __main_block_copy_0, __main_block_dispose_0};

ARC对block类型的影响

int main(int argc,char* argv[]) {

@autoreleasepool{

int i =1024;

void(^block)(void) = ^{

printf("%d",i);

};

block();

NSLog(@"%@",block);

return0;}

}

非ARC运行结果//10242016-06-14 10:46:03.238 MemoryInMRC[7473:3171916] <__NSStackBlock__: 0x7fff5a58f548>

ARC运行结果//10242016-06-14 10:49:03.121 MemoryInMRC[7528:3174176] <__NSMallocBlock__: 0x7fe36a7003e0>

循环引用

self对block引用,block捕捉到self时

XYZBlockKeeper*__weakweakSelf=self;  self.block=^{   [weakSelf doSomething];//捕获到的是弱引用  }

如果捕获到的是当前对象的成员变量对象，同样也会造成对self的引用

id  tmpIvar=_ivar;//临时变量,避免了self引用   self.block=^{   [tmpIvar msg];  }

block对变量的捕获规则

静态储存区变量:全局变量、static修饰变量可以修改

block接受的参数,可以修改

__block引用，可以修改。//bound by reference 如果时id类型则不会被block retain,必须手动处理其内存管理。

局部变量不可以修改//bound by copy