Blocks是Objective-C的匿名函数。block是iOS在4.0之后新增的程序语法。
Blocks有三种类型，_NSConcreteGlobalBlock，_NSConcreteStackBlock和_NSConcreteMallocBlock。
1._NSConcreteGlobalBlock 全部的静态block，不会访问任何外部变量。
2._NSConcreteStackBlock 保存在栈中的block，当函数返回时会被销毁。
3._NSConcreteMallocBlock 保存在堆中的block，当引用计数为0时会被销毁。
变量的复制
对于block外的变量引用，block默认是将其复制到其数据结构中来实现访问的，如下图所示（图片来自这里）：
#define TLog(prefix,Obj) {NSLog(@"变量内存地址：%p,变量值：%p,指向对象值：%@,
--> %@",&Obj,Obj,Obj,prefix);}
上面为定义的宏变量
下面为代码：
NSString*a =@"100";
TLog(@"a-->non block", a);
void(^block2)(void) = ^{
TLog(@"a-->block", a);
};
a =
@"102";
block2();
a =
nil;
block2();
打印结果为：
变量内存地址：0x7fff570d3b28,变量值：0x108b2c190,指向对象值：100,--> a-->non block
变量内存地址：0x7ff8bb533d00,变量值：0x108b2c190,指向对象值：100,--> a-->block
变量内存地址：0x7ff8bb533d00,变量值：0x108b2c190,指向对象值：100,--> a-->block
说明外部变量被copy到block中，外面变量的变化，不会引起block内的变量变化。两个不是同一个变量了。同时外部变量不可以在block中做修改。
__weak修改代码如下：
__weak NSString *b =@"123";
TLog(@"b-->non block", b);
void(^blocka)(void) = ^{
TLog(@"c-->block", b);
};
blocka();
b =
nil;
TLog(@"b-->1", b);
blocka();
打印结果如下：
变量内存地址：0x7fff57ddcb28,变量值：0x107e23190,指向对象值：123,--> b-->non block
变量内存地址：0x7fb95ae2dd10,变量值：0x107e23190,指向对象值：123,--> c-->block
变量内存地址：0x7fff57ddcb28,变量值：0x0,指向对象值：(null),--> b-->1
变量内存地址：0x7fb95ae2dd10,变量值：0x107e23190,指向对象值：123,--> c-->block
__weak修饰，整个内容copy，所以b = nil，不会影响到block内部。
对于用__block修饰的外部变量引用，block是复制其引用地址来实现访问的，如下图所示（图片来自这里）：
__blockNSString*a =@"100";
TLog(@"a-->non block", a);
void(^block2)(void) = ^{
TLog(@"a-->block", a);
};
a =
@"102";
block2();
a =
nil;
block2();
打印结果为：
变量内存地址：0x7fff54e04b28,变量值：0x10adfb1a0,指向对象值：100,--> a-->non block
变量内存地址：0x7ff52a604078,变量值：0x10adfb220,指向对象值：102,--> a-->block
变量内存地址：0x7ff52a604078,变量值：0x0,指向对象值：(null),--> a-->block
用__block修饰的变量，只是进行指针的copy，所以当外部变量修改时也影响了block内部的变化。和用static修饰的效果一样。可以在block内部对外部变量进行修改。
怎么避免block的循环引用
NSString *a = [[NSStringalloc]initWithFormat:@"%d",123];
TLog(@"a", a);
__weakNSString *b = a;//b只是进行了a的指针copy，所以a的值变化也会影响到b。同时a释放时，b也释放了。
TLog(@"b-->non block", b);
void(^blocka)(void) = ^{
TLog(@"b-->block", b);
};
blocka();
a =
nil;
blocka();
打印结果如下：
变量内存地址：0x7fff53db5b28,变量值：0x7fd4b8f1a210,指向对象值：123,--> a
变量内存地址：0x7fff53db5b20,变量值：0x7fd4b8f1a210,指向对象值：123,--> b-->non block
变量内存地址：0x7fd4b8f17b50,变量值：0x7fd4b8f1a210,指向对象值：123,--> b-->block
变量内存地址：0x7fd4b8f17b50,变量值：0x0,指向对象值：(null),--> b-->block
从上面的结果可以看到
· block 内的b 和外部的 b 并不是同一个变量（内容copy）
· block 捕获了b 同时也是对 a 进行了弱引用，当我在 block 外把 a 释放了之后，block 内也读不到这个变量了
· 当a 赋值 nil 时，block 内部的 b 也为 nil 了，也就是说 a实际上是被释放了，可见 __weak 是可以避免循环引用问题的
· __weak 本身是可以避免循环引用的问题的，但是其会导致外部对象释放了之后，block内部也访问不到这个对象的问题，我们可以通过在 block 内部声明一个 __strong 的变量来指向
weakObj，使外部对象既能在block 内部保持住，又能避免循环引用的问题
· 而使用__block
MyObject*obj = [MyObjectnew];
obj.text=@"123456";
TLog(@"obj", obj);
__blockMyObject*weakObj= obj;
TLog(@"weakObj-->non block", weakObj);
void(^block2)(void) = ^{
TLog(@"weakObj-->block",weakObj);
};
block2();
obj =
nil;
· block2();
· 打印结果如下：
变量内存地址：0x7fff5d723b28,变量值：0x7ff999c990e0,指向对象值：<MyObject:0x7ff999c990e0>, --> obj
变量内存地址：0x7fff5d723b20,变量值：0x7ff999c990e0,指向对象值：<MyObject:0x7ff999c990e0>, --> weakObj-->non block
变量内存地址：0x7ff999e3f098,变量值：0x7ff999c990e0,指向对象值：<MyObject:0x7ff999c990e0>, --> weakObj-->block
变量内存地址：0x7ff999e3f098,变量值：0x7ff999c990e0,指向对象值：<MyObject:0x7ff999c990e0>, --> weakObj-->block
当外部 obj 指向 nil 的时候，obj 理应被释放，但实际上 blockObj 依然强引用着 obj，obj 其实并没有被真正释放。因此使用 __block并不能避免循环引用的问题。
__block 本身无法避免循环引用的问题，但是我们可以通过在 block 内部手动把 blockObj 赋值为 nil 的方式来避免循环引用的问题。另外一点就是 __block 修饰的变量在block
内外都是唯一的，要注意这个特性可能带来的隐患。
参考链接
http://blog.devtang.com/blog/2013/07/28/a-look-inside-blocks/
http://honglu.me/2015/01/06/weak%E4%B8%8Eblock%E5%8C%BA%E5%88%AB/
版权声明：本文为博主原创文章，未经博主允许不得转载。