Block

作者: Kevin_ | 来源:发表于2020-06-17 21:33 被阅读0次

    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存储位置

    1. block不访问外界变量(包括栈中和堆中的变量):block既不在栈中也不在堆中,此时为全局块,ARC和MRC都如此;
    2. 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是否存在的问题。

    相关文章

      网友评论

          本文标题:Block

          本文链接:https://www.haomeiwen.com/subject/dqygnftx.html