使用__block修饰符详解-CSDN博客

本文链接：https://blog.csdn.net/qq_34954017/article/details/127666465

本文详细解析了在Objective-C中使用__block修饰符的作用及其内部实现机制，包括__block如何帮助解决循环引用问题，以及它在不同内存管理上下文中的行为。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

用__block修饰auto变量

编译时会把被修饰的变量封装成一个__Block_byref_obj_0类型的对象，一个__Block变量可能被多个block持有

int i 被封装为

NSObject *obj被封装为

其中__forwarding指针通常指向自己，但是当block从栈转移到堆时，block里的__Block_byref_obj_0也会跟着copy到堆上，这时在栈上的原__Block_byref_obj_0结构体中的__forwarding指针就会指向堆中的新__Block_byref_obj_0的地址，堆中的__Block_byref_obj_0结构体中的__forwarding指针指向自己。

copy函数和dispose函数只有在修饰对象类型的变量时会生成，

当block被copy到堆时，会调用block内部的copy函数，copy函数内部会调用_Block_object_assign函数，_Block_object_assign函数会对__block变量形成强引用（retain）。

当block从堆中移除时，会调用block内部的dispose函数，dispose函数内部会调用_Block_object_dispose函数，_Block_object_dispose函数会自动释放引用的__block变量（release）

当__block变量在栈上时，不会对指向的对象产生强引用

当__block变量被copy到堆时，会调用__block变量内部的copy函数，copy函数内部会调用_Block_object_assign函数，_Block_object_assign函数会根据所指向对象的修饰符（__strong、__weak、__unsafe_unretained）做出相应的操作，形成强引用（retain）或者弱引用（注意：这里仅限于ARC时会retain，MRC时不会retain）

如果__block变量从堆上移除，会调用__block变量内部的dispose函数，dispose函数内部会调用_Block_object_dispose函数，_Block_object_dispose函数会自动释放指向的对象（release）

循环引用问题

当block作为属性时，self持有block，由于self是auto变量block也会将其捕获并强持有self变量，导致循环引用。