正确使用@weakify 和@strongify防止block循环引用

许多博客文章和自己接手的项目中对block循环引用问题理解不完全正确。也是最近, 在自己以为已经完全理解了的情况下，突然看了下RactiveCocoa框架里面对@weakify和@strongify使用，又产生了疑问，于是在阅读了block本质相关博客后，结合函数调用在汇编里面的实现，终于算是理解了。

防止循环引用的方式：

方式一： __weak

 __weak typeof(self) weakSelf = self;
self.tableView.mj_header = [MJRefreshNormalHeader headerWithRefreshingBlock:^{
    [weakSelf requestData];//
}];

这种方式的弊端是block里面使用的是弱引用的self，所以存在当有关self的某条指令正在执行过程中，self对象已销毁，无法确保block里面执行完再销毁，可能会导致crash。所以苹果官方给出的解决方式是下面的方式二

方式二：strongSelf

 __weak typeof(self) weakSelf = self;
self.tableView.mj_header = [MJRefreshNormalHeader headerWithRefreshingBlock:^{
    __strong typeof(weakSelf) strongSelf = weakSelf;
    [strongSelf requestData];//
 }];

这种方式是在block被执行时，由声明的局部变量strongSelf强引用weakSelf，block本质是函数调用，函数调用时局部变量在调用完之后会自动销毁，所以__strong typeof(weakSelf) strongSelf = weakSelf;代码能保证block调用过程的安全性，也能保证在block调用完之后解除强引用，解决了循环引用问题。

方式三：@weakify和@strongify

使用@weakify和@strongify，这个在RactiveCocoa的RACEXTScope.h里面有定义。@weakify等价于__weak typeof(self) weakSelf = self。@strongify等价于__strong typeof(weakSelf) strongSelf = weakSelf; 下面是RactiveCocoa使用的范例

@implementation UIControl (RACSignalSupport)

- (RACSignal *)rac_signalForControlEvents:(UIControlEvents)controlEvents {
    @weakify(self);

    return [[RACSignal
        createSignal:^(id subscriber) {
            @strongify(self);

            [self addTarget:subscriber action:@selector(sendNext:) forControlEvents:controlEvents];
            [self.rac_deallocDisposable addDisposable:[RACDisposable disposableWithBlock:^{
                [subscriber sendCompleted];
            }]];

            return [RACDisposable disposableWithBlock:^{
                @strongify(self);
                [self removeTarget:subscriber action:@selector(sendNext:) forControlEvents:controlEvents];
            }];
        }]
        setNameWithFormat:@"%@ -rac_signalForControlEvents: %lx", self.rac_description, (unsigned long)controlEvents];
}

@end

在block内部还有block时，如果存在循环引用问题，再次使用@strongify(self)才是正确的方式。因为如果直接用self，那么内部的那个block首先是被持有它的对象强引用的，然后这个对象的存在与否会决定self是否能正常释放 。

循环引用产生的原因

1. block如果没有被copy到堆区时，他是一个栈block，block在调用一次就销毁了，这种情况不会造成循环引用，比如Masonry框架里面的添加约束block

2. block被对象A引用了，此时block是存在于内存中的。block中用到的变量会被强引用，在block释放后才会释放；如果对象A被block中的变量强引用了，那么就会形成类似self->对象A->block->self这样的环。

3. 打破这样的循环引用推荐采用方式三

正确使用的结论

block调用本质是函数调用，block会捕获并引用内部的变量，

• 如果是从栈拷贝到堆的block需要注意循环引用的问题，在block之前对会造成循环引用的变量使用weak指针，包括循环引用和单例对象的block；
• 同时为了保证block调用过程不会因为self被置位nil而导致可能的crash，需要在block里面再强引用self，保证在block调用之后才释放self。
• 如果是在block里面还有block的情况下，最好的解决方法是在第二个block中再次使用@strongify（self）。这个也是RAC里面源码采用的方式

参考文章：
Block原理浅析，循环引用的产生方式
循环引用原因分析
block里的self、weakSelf、strongSelf
Reactive Cocoa中的@weakify、@strongify是如何装逼的