Block

Block基本语法

typedef声明,作Method参数使用

typedef void(^typedefBlock)(int age,NSString *str);
- (void)blockTypedefMethodWithBlock:(typedefBlock)callBack{
    callBack(18,@"is my age");
}

属性声明,使用`copy`修饰符

@property (nonatomic, copy) typedefBlock myBlock;

基本语法

/**
 block基本语法
 return_type (^blockName)(var_type) = ^return_type (var_type varName) { // ... };
 blockName(var);
 */
- (void)blockBasicGrammar{
    //有参无返回值
    void(^block1)(int index,NSString *name) = ^void(int index,NSString *name){
        NSLog(@"index = %d name = %@",index,name);
    };
    block1(3,@"kelly");
}

声明Block属性使用copy修饰词

Block三种类型

全局块(_NSConcreteGlobalBlock)
栈块(_NSConcreteStackBlock)
堆块(_NSConcreteMallocBlock)

存储区域
1. 全局块存储在静态区（也叫全局区），相当于OC中的单例；
2. 栈块存储在栈区，超出作用域马上被销毁；
3. 堆块存储在堆区，是一个带引用计数的对象，需自行管理内存。

判断block存储位置

block不访问外界变量（包括栈中和堆中的变量）：block既不在栈中也不在堆中，此时为全局块，ARC和MRC都如此；
block访问外界变量：
MRC：默认存储在栈区；
ARC：默认存储在堆中，实际上是先放在栈区，在ARC情况下自动拷贝到堆区，自动释放。

block使用copy修饰符的作用：将block从栈区拷贝到堆区。
原因：保存block状态，延长生命周期。因为block存储在栈，其所属变量作用域结束，该block就被释放，__block变量也同时被释放掉，所以需要copy到堆中。

注意：不同类型block使用copy效果也不一样，如下图：

Block拷贝.png

__block的使用（改变block的存储区）

例子1，不使用__block

- (void)testMethod {
    int anInteger = 42;
 
    void (^testBlock)(void) = ^{
        NSLog(@"Integer is : %i", anInteger);
    };
 
    anInteger = 50;
 
    testBlock();
}

输出结果:Integer is : 42

例子2，使用__block

- (void)testMethod {
    __block int anInteger = 42;
 
    void (^testBlock)(void) = ^{
        NSLog(@"Integer is : %i", anInteger);
    };
 
    anInteger = 50;
 
    testBlock();
}

输出结果:Integer is : 50

分析
例子1：block把aninteger变量复制为自己私有的const变量，也就是说block会捕获栈上的变量或指针，将其复制为自己私有的const变量。在进行aninterger=50的操作时，block已经将其复制为自己的私有变量，所以修改aninterger的值不会对block里面的值造成影响。
例子2：aninteger是一个局部变量，存储在栈区。给aninteger加入__block修饰符的作用是只要观察到该变量被block持有，就将该变量在栈中的内存地址存在到堆中，此时不管block外部还是内部aninteger的内存地址都是一样的，进而可以修复aninteger变量的值。
图例

__block.png

block循环引用

循环引用例子

@property (nonatomic, copy) void (^block)(void);
- (void)configureBlock {
    self.block = ^{
        [self doSomething];    
    };
}

在上面代码中声明了一个属性block，所以self对block有一个强引用。而block内部又对self进行一次强引用，这样就形成了一个封闭的环，也就是强引用循环。引用关系如图：

强引用循环.png

在这种情况下，由于相互引用，内存不能进行释放，造成内存泄漏。解决方案：__weak

- (void)configureBlock {
    __weak typeof(self) weakSelf = self;
    self.block = ^{
        [weakSelf doSomething];
    };
}

使用__weak之后，block对self就由强引用变为弱引用，这样在属性所指的对象被释放时，属性值也会被释放，打破了block捕获作用域带来的循环引用。
需要注意的是：使用系统的block API不需要考虑循环引用问题，因为只有block对self进行了一次强引用，属于单向强引用，没有形成循环引用。

weak与strong区别

- (void)configureBlock {
    __weak typeof(self) weakSelf = self;
    self.block = ^{
        [weakSelf doSomething]; // weakSelf != nil
        // preemption(抢占) weakSelf turned nil
        [weakSelf doAnotherThing];
    };
}

上面这段代码看上去很正常，但是在并发执行的时候，block的执行时可以抢占的，而且对weakSelf指针的调用时序不同可以导致不同的结果，比如在一个特定时序下weakSelf可能变成nil，这个时候执行doAnotherThing就会崩溃。为避免这样的问题，使用__strong进行规避，代码修改：

- (void)configureBlock {
    __weak typeof(self) weakSelf = self;
    self.block = ^{
        __strong typeof(weakSelf) strongSelf = weakSelf;
        [strongSelf doSomething]; // strongSelf != nil
        // 在抢占的时候，strongSelf还是非nil的。
        [strongSelf doAnotherThing];
    };
}

总结

block不作为property的时候，可以在block里面直接使用self，比如UIView的animation动画block；
block被声明property的时候，需要使用__weak弱引用，并解决循环引用的问题；
当和并发执行相关、涉及异步的服务的时候，block可以在之后被执行，并且不会发生关于self是否存在的问题。