Block 02 - __block

__block 的作用

• __block 可以解决 Block 内部无法修改 auto 变量值的问题。
• __block 不能修饰全局变量、静态变量（static）。
• 编译器会将 __block 修饰的变量包装成一个对象。

__block 底层实现

// 用 __block 修饰的 auto 变量，底层由一个对象实现，变量被包装在对象中
//
// 当 __block 对象在栈上时，不会对被包装的变量指向的对象进行强引用。
struct __Block_byref_xxx_0 {
    void *__isa; // Class 对象指针
    __Block_byref_auto_ivar_0 *__forwarding; // 指向自身的指针，对象被拷贝到堆中时重新指向堆中的对象（之前在栈中的对象的 __forwarding 也指向堆中的对象）
    int __flags; // 标志变量，在实现内部操作时会用到
    int __size;  // 当前结构体占用内存的大小
    void (*__Block_byref_id_object_copy)(void*, void*); // 为对象类型的变量做内存管理
    void (*__Block_byref_id_object_dispose)(void*);     // 为对象类型的变量做内存管理
    // ivar // 被包装的变量，如果是对象类型，会由 copy 和 dispose 两个方法管理内存
};

// 当 __block 对象内部包装的变量为对象类型时，此函数被 __block 对象内部的 __Block_byref_id_object_copy 指针引用。
// 
// 当 __block 对象被拷贝到堆上时：
// 会调用 __block 对象内部的 __Block_byref_id_object_copy 函数。
// __Block_byref_id_object_copy 函数内部会调用 _Block_object_assign 函数。
// _Block_object_assign 函数会根据变量的修饰符（__strong、__weak、__unsafe_unretained）做出相应的操作，进行强引用（retain，仅限于 ARC 环境）或弱引用。
static void __Block_byref_id_object_copy_131(void *dst, void *src) {
    _Block_object_assign((char*)dst + 40, *(void * *) ((char*)src + 40), 131);
}

// 当 __block 对象内部包装的变量为对象类型时，此函数被 __block 对象内部的 __Block_byref_id_object_dispose 指针引用。
// 
// 当 __block 对象从堆上移除时：
// 会调用 __block 变量内部的 __Block_byref_id_object_dispose 函数。
// __Block_byref_id_object_dispose 函数内部会调用 _Block_object_dispose 函数。
// _Block_object_dispose 函数会自动释放被强引用的对象（release）。
static void __Block_byref_id_object_dispose_131(void *src) {
    _Block_object_dispose(*(void * *) ((char*)src + 40), 131);
}

__block 对象的 __forwarding 指针