iOS底层原理笔记 - __block

143 阅读2分钟

__block

  • __block可以用于解决block内部无法修改auto变量值的问题

  • __block不能修饰全局变量,静态变量

  • 编译器会将__block变量包装成一个对象

问题一:以下两段代码输出age的值分别为多少?


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

    @autoreleasepool {

        

        int age = 10;

        void (^block)(void) = ^{

            NSLog(@"%d", age);

        };

        age = 20;

        block();

        

    }

    return 0;

}

答案:10


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

    @autoreleasepool {

        __block int age = 10;
        void (^block)(void) = ^{

            NSLog(@"%d", age);

        };
        age = 20;
        block();

    }

    return 0;

}

答案:20

原因是编译器会将__block修饰的auto变量包装成对象,转成c++代码看一下:

xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc main.m -o main.cpp

Untitled.png

可以看到age捕获了指针,所以可以修改其值

Untitled 1.png


static void __main_block_func_0(struct __main_block_impl_0 *__cself) {

  __Block_byref_age_0 *age = __cself->age; // bound by ref

   NSLog((NSString *)&, (age->__forwarding->age));

}

Untitled 2.png

blcok内部生成了一个指向自己的指针

一、__block的内存管理

  • 当block在栈上时,并不会对__block变量产生强引用

  • 当block被拷贝到堆上时:

    会调用block内部的copy函数

    copy函数内部会调用_Block_object_assign函数

    _Block_object_assign函数会对__block变量形成强引用(retain)

 

Untitled 3.png

    

Untitled 4.png

    

  • 当block从堆中移除时

    会调用block内部的dispose函数

    dispose函数内部会调用_Block_object_dispose函数

    _Block_object_dispose函数会对自动释放引用的__block(release)

 

Untitled 5.png

Untitled 6.png

二、__block的 __forwarding指针

Untitled 7.png

三、对象类型的auto变量、__block变量

  • 当block在栈上时,对他们都不会产生强引用;

  • 当block拷贝到堆上时,都会通过copy函数处理他们

    

    __block变量:

        _Block_object_assign((void*)&dst->age, (void*)src->age, 8/BLOCK_FIELD_IS_BYREF/);

    对象类型的auto变量:

        _Block_object_assign((void*)&dst->age, (void*)src->age, 3/BLOCK_FIELD_IS_OBJECT/);

  • 当block从堆中移除时,都会调用dispose函数释放他们

         __block变量:

        _Block_object_dispose((void*)src->age, 8/BLOCK_FIELD_IS_BYREF/);

    对象类型的auto变量:

        _Block_object_dispose((void*)src->age, 3/BLOCK_FIELD_IS_OBJECT/);

  

Untitled 8.png

四、被__block修饰的对象类型

  • 当__block在栈上时,不会对指向的对象产生强引用

  • 当__block变量被copy到堆时:

    1.会调用__block变量内部的copy函数

    2.copy函数内部会调用_Block_object_assign函数

    3._Block_object_assign函数会根据所指对象的修饰符(• __strong、__weak、__unsafe_unretained)做出相应的操作,形成强引用或弱引用( 注意:这里仅限于ARC时会retain,MRC时不会retain);

  • 如果__block变量从堆中移除:

    1.会调用__block内部的dispose函数

    2.dispose函数会调用内部的_Block_object_dispose函数

    3._Block_object_dispose函数会自动释放指向的对象

    

五、循环引用

Untitled 9.png

解决循环引用问题 - ARC

用 __weak、 __unsafe_unretained解决


__weak typeof(self) weakSelf = self;

self.block = ^{

     NSLog(@"%p",weakSelf);

};

__unsafe_unretained id weakSelf = self;

self.block = ^{

     NSLog(@"%p",weakSelf);

};

Untitled 10.png

用__block解决(必须要调用block)


__block id weakSelf = self;

self.block = ^{

     NSLog(@"%p",weakSelf);

     weakSelf = nil;

};

self.block();

Untitled 11.png

Untitled 12.png

解决循环引用问题 - MRC

用 __unsafe_unretained解决


__unsafe_unretained id weakSelf = self;

self.block = ^{

     NSLog(@"%p",weakSelf);

};

用__block解决


__block id weakSelf = self;

        self.block = ^{

            NSLog(@"%p",weakSelf);

        };