__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);
        };