iOS循环引用

在iOS开发中,循环引用是个老生常谈的问题.delegate为啥使用weak修饰,block为何须要weakSelf或strongSelf?经过阅读他人的文章并结合本身理解来阐述一下本身对循环引用的理解,如有不足但愿你们指出.

内存的基础知识

首先须要先了解内存中的分区:栈区、堆区、静态区(全局区).具体职责划分以下:

• 栈区(stack):
  • 存放局部变量,先进后出,一旦出了做用域就会被销毁,函数跳转地址,现场保护等
  • 程序猿不须要管理栈区变量的内存
  • 栈区的地址从高到低分配
• 堆区(heap):
  • 堆区的内存分配使用的是alloc;
  • 须要程序猿管理内存
  • ARC的内存管理,是编译器在编译的时候自动添加retain,release,autorelease;
  • 堆区的地址是从低到高分配
• 全局区/静态区(staic) :
  • 包括2个部分:未初始化和初始化; 也是说,在内存中是放在一块儿的,好比:int a;未初始化, int a = 10 初始化的,二者都在全局区/静态区
  • 常量区:常量字符串及时放在这里的
  • 代码区:存放app代码

如图所示:

能够看见在上面的说明中,只有堆区是须要程序员管理的,而循环引用也与此有关,因此咱们通常只须要关注堆区内存就能够了,即循环引用致使堆中的内存没法正常回收.那么内存的回收又和咱们iOS的回收机制有关,也就是你们都知道的引用计数:

• 对堆里面的一个对象发送release消息来使其引用计数减一；
• 查询引用计数表，将引用计数为0的对象dealloc； 用比较经典的图来讲明一下:

  

1. 第一我的进入办公室，“须要照明的人数”加1，计数值从0变为1，所以须要开灯；
2. 以后每当有人进入办公室，“须要照明的人数”就加1。如计数值从1变成2；
3. 每当有人下班离开办公室，“须要照明的人数”加减1如计数值从2变成1；
4. 最后一我的下班离开办公室时，“须要照明的人数”减1。计数值从1变成0，所以须要关灯。

"对象"就至关于上图中的灯,而"持有对象"就至关于图中的人.第一个进来打开灯的人至关于进行了一个alloc操做,建立了对象这块内存,并使引用计数变为1.以后进来的人就至关于持有这个对象,使引用计数+1(retain),离开的人就使该对象引用计数-1(release).只要办公室里面还有人在(还有人持有这个对象),这个"灯"就不会关(dealloc).最后一我的走了,那么灯就关了,这块内存也就被成功释放了. 过程如图所示

正常的内存释放过程

正常的内存释放过程是这样的,B对象是A对象的一个属性,也就是A持有B,如今要释放掉A了,给A发一个release消息,这个时候A的引用计数变为0,就要走dealloc方法,在dealloc方法里面会给A持有的全部对象发送一条release消息,固然包括B,也就是[B release].而后B的引用计数也变为0,执行dealloc.这样A和B就都释放掉了,没有形成任何内存问题,内存正确回收.

循环引用的产生

那么何时会形成循环引用呢,顾名思义,就是互相持有,造成一个闭环,致使谁也没法正确释放.如图所示:

形成循环引用的过程是这样的:想要让A释放,须要B给A发送release消息,由于此时B持有A,但B只有在dealloc的时候会发送release消息,要让B执行dealloc方法,就须要A发送release消息给B,要让A发送release消息给B就须要A执行dealloc方法,要让A执行dealloc方法又须要B给A发送release消息...这样循环往复,都在等对方给本身发送release消息,形成谁也没法dealloc,内存也就没法释放.就像两我的都拽着对方的手说你先松我才松同样,谁都不愿先松,而后就这样一直拽着对方直到天荒地老. 这种感受就像下面这张图同样:

循环引用的例子与解决方案

1.delegate

//ClassA:
@protocol ClssADelegate <NSObject>
－ (void)doNothing;
@end
@interface ClassA : UIViewController
@property (nonatomic, strong) id <ClssADelegate> delegate;
@end

//ClassB:
@interface ClassB ()<ClassADelegate>
@property (nonatomic, strong) ClassA *classA;
@end
@implementation ClassB
－ (void)viewDidLoad {
    [super viewDidLoad]; 
    self.classA = [[ClassA alloc] init];  
    self.classA.delegate = self;
}
复制代码

在上面的代码中,classB持有classA,而classA中delegate属性使用strong强引并指向了self(classB),因此classA经过delegate持有了classB.这样就形成了循环引用.你们可能都知道该如何解决这个问题,那就是使用weak替代strong.这也是为何delegate一般都用weak修饰的缘由.这里顺便简单说一下weak吧. weak是弱引用，用weak描述修饰或者所引用对象的计数器不会加一，而且会在引用的对象被释放的时候自动被设置为nil，大大避免了野指针访问坏内存引发崩溃的状况，另外weak还能够用于解决循环引用.

2.Block

@interface ClassA ()
@property (nonatomic, copy) Block block;
@property (nonatomic, assign) NSInteger num;
@end
@implementation ClassA
- (void)viewDidLoad {
    [super viewDidLoad];
    self.block = ^{
        self.num = 1;
    };  
}
复制代码

在上面的代码中的block是存在于堆内存中,classA持有block,而堆内存中的block中又持有了self,这样就形成了循环引用.若是是栈中的block就不会形成这种问题,以下所示:

void (^block)(void) = ^{
        self.num = 1;
    };
 block();
复制代码

要解决Block形成的这种循环引用,经常使用的解决方式是使用WeakSelf,以下:

@interface ClassA ()
@property (nonatomic, copy) Block block;
@property (nonatomic, assign) NSInteger num;
@end
@implementation ClassA
- (void)viewDidLoad {
    [super viewDidLoad];
    __weak typeof(self) weakSelf = self
    self.block = ^{
        weakSelf.num = 1;
    };  
}
复制代码

在上面的两个例子中能够看出,使用weak弱引用替代strong强引用来让环消失是很是有效的方式,在大多数状况下用这种方法就能够了,但在某些状况下仍是有缺陷的

3.weak-strong dance

有一种场景就是在block执行过程,self被释放掉了,这个时候若是去访问self的话就会发生错误.代码以下:

#import "ControllerB.h"

@interface ControllerB ()
@property (nonatomic,copy) void (^block)(void);
@property (nonatomic, strong) NSString *str;
@end

@implementation ControllerB

- (void)viewDidLoad {
    [super viewDidLoad];
    self.str = @"test";
    __weak typeof(self) weakSelf = self;
    self.block = ^{
        dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(4 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
            NSLog(@"%@", weakSelf.str);
        });
    };
    self.block();
}
复制代码

• ControllerA push到ControllerB中,若是在4秒没有pop回去的话,B中的block会打印出test.不然会打印出(null).这种状况是由于内存提早回收,也就是须要用到self的时候,self已经置为nil了.

那么这个时候就须要在block强引用self,直到block执行再释放掉self.代码以下:

#import "ControllerB.h"

@interface ControllerB ()
@property (nonatomic,copy) void (^block)(void);
@property (nonatomic, strong) NSString *str;
@end

@implementation ControllerB

- (void)viewDidLoad {
    [super viewDidLoad];
    self.str = @"test";
    __weak typeof(self) weakSelf = self;
    self.block = ^{
        __strong typeof(self) strongSelf = weakSelf;
        dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(4 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
            NSLog(@"%@", strongSelf.str);
        });
    };
    self.block();
}
复制代码

strongSelf是个局部变量,存在于栈中,而栈中内存系统会自动回收,也就是在block执行结束后回收,不会形成循环引用.同时strongSelf使ControllerB的引用计数加1,致其在pop后不会立马执行dealloc销毁str属性,由于此时strongSelf持有了ControllerB,4秒事后,block执行并打印str,局部变量strongSelf被系统回收,其持有的ControllerB也会执行dealloc方法.

@weakify和@strongify

以前用RAC的时候看见里面的宏定义@weakify和@strongify,以为很是高明.这样的话不只很方便,并且防止不当心在block中使用self形成的循环引用. 那么上面的ControllerB的代码就能够改为这样:

#import "ControllerB.h"

@interface ControllerB ()
@property (nonatomic,copy) void (^block)(void);
@property (nonatomic, strong) NSString *str;
@end

@implementation ControllerB

- (void)viewDidLoad {
    [super viewDidLoad];
    self.str = @"test";
     @weakify(self)
    self.block = ^{
    @strongify(self)
        dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(4 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
            NSLog(@"%@", self.str);
        });
    };
    self.block();
}
复制代码

这样就能够随意的在block中使用self了