ReactiveCocoa 之 @weakify/@strongify

@weakify 和 @strongify 是 RAC 中对于强弱引用操作的宏定义。

1. 拆解宏定义

下面的代码以 self 作为例子，也就是说，括号中也可以是其他对象。

// @weakify(self) 实际上被宏定义为:
#define weakify(...) \
    ext_keywordify \
    metamacro_foreach_cxt(ext_weakify_,, __weak, __VA_ARGS__)
// 经过拆解，最终实际上是这样：
autoreleasepool {}__weak __typeof__(self) self_weak_ = self

@weakify 相当于定义了一个 _weak 弱引用，self 类型的指针变量 self_weak，指向 self 的值。

// @strongify(self)实际上被宏定义为:
#define strongify(...) \
    ext_keywordify \
    _Pragma("clang diagnostic push") \
    _Pragma("clang diagnostic ignored \"-Wshadow\"") \
    metamacro_foreach(ext_strongify_,, __VA_ARGS__) \
    _Pragma("clang diagnostic pop")
// 经过拆解，最终实际上是这样：
autoreleasepool {}__typeof__(self) self = self_weak_;

而 @strongify 相当于定义了一个名为 self 的变量，指向 self_weak_ 所指向的值。同时，抑制了同名错误，作用会在下文详解。

2. 内存管理

考虑如下例子：

void useWeakifyStrongify() {
    @weakify(self);
    self.someBlock = ^ { 
        @strongify(self); 
        NSLog(@"%@", self);
    }
}

2.1 代码执行前

在对象创建之时，self 指针就强引用了 self obj 对象。

执行前

2.2 代码执行 @weakify(self)：

结合上文拆解的宏定义，@weakify 操作定义了一个名为 self_weak_ 的变量，弱引用 self obj。

执行@weakify

2.3 代码执行 @strongify(self)：

@strongify 做了如下操作：在 block 的作用域里，创建了一个局部变量，名称为 self，覆盖了外部的 self 变量。由于在宏定义中抑制了 "warn whenever a local variable shadows another local variable." 错误，所以编译器不会报重名错误。这样做的好处是我们仍然可以在 block 中使用 self 作为变量名，不需要额外定义变量。

其实 block 可以表示成直接引用 self obj，这里为了表明逻辑关系，先经过了 self(local) ，然后间接的指向了 self obj。

执行@strongify

2.4 嵌套情况

对于嵌套使用 block 的情况，则需要多次插入 @strongify 来避免循环引用：

void nestedBlocksStrongify() {
    @weakify(self);
    self.someBlock = ^ {  // outside block
        @strongify(self);
        self.anotherBlock = ^{  // inside block
            @strongify(self)；
            NSLog(@"%@", self);
        };
    };
}

3. 总结

可以看到，RAC 的设计者通过使用 @strongify 和 @weakify 后，达到了以下三点：

• 避免循环引用。上图中不存在环。
• 避免当弱指针指向 self obj 时，self obj 被其他操作释放后，成为野指针的问题。因为在 local 作用域中始终有个强指针指向 self obj。
• 避免新建变量名。传统的 __weak 方法解决循环引用时，需要定义新的变量来保存 self obj 的若指针。但是使用 @strongify 后，在 local 作用域中定义了一个同名的 self 变量，所以不需要额外定义新的变量，直接用 self 就可以使用 self。