Block的认识和使用

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/