内存泄露（包含循环引用)和野指针（僵尸对象）

最新推荐文章于 2020-08-07 22:29:51 发布

weixin_33701251

最新推荐文章于 2020-08-07 22:29:51 发布

阅读量280

点赞数

文章标签： xcode c/c++

原文链接：https://my.oschina.net/llfk/blog/1031291

版权

为什么80%的码农都做不了架构师？>>>

内存泄露：如果程序运行时一直分配内存而不及时释放无用的内存，程序占用的内存越来越大，直到把系统分配给该APP的内存消耗殚尽，程序因无内存可用导致崩溃，这样的情况我们称之为内存泄漏

野指针：指针指向的对象已经被回收掉了.这个指针就叫做野指针.这个被释放的对象就是僵尸对象

循环引用：有对象A B C,最终会造成A -> B -> C ->A（->是强引用的意思）一个闭环的情况，就出现循环引用。（注意：引用是对象之间的引用，是对象，切记！至于引用形式可以通过数据属性或则属性控件来实现引用。）其中A B C之间的强引用可以通过数据属性或者属性控件（self.someBlock = ^(Type var){[self dosomething];或者self.otherVar = XXX;或者_otherVar = ...}）等来实现，实例block如下：

block在copy时都会对block内部用到的对象进行强引用(ARC)或者retainCount增1(非ARC)。在ARC与非ARC环境下对block使用不当都会引起循环引用问题，一般表现为，某个类将block作为自己的属性变量，然后该类在block的方法体里面又使用了该类本身，简单说就是self.someBlock = ^(Type var){[self dosomething];或者self.otherVar = XXX;或者_otherVar = ...};block的这种循环引用会被编译器捕捉到并及时提醒。举例如下，依旧以Friend类为例子：

#import "Friend.h"

@interface Friend ()
@property (nonatomic) NSArray *arr;
@end

@implementation Friend
- (id)init
{
    if (self = [super init]) {
         self.arr = @[@111, @222, @333];
        self.block = ^(NSString *name){
            NSLog(@"arr:%@", self.arr);
        };
    }
    return  self;
}

我们看到，在block的实现内部又使用了Friend类的arr属性，xcode给出了warning，运行程序之后也证明了Friend对象无法被析构：

网上大部分帖子都表述为"block里面引用了self导致循环引用"，但事实真的是如此吗？我表示怀疑，其实这种说法是不严谨的，不一定要显式地出现"self"字眼才会引起循环引用。我们改一下代码，不通过属性self.arr去访问arr变量，而是通过实例变量_arr去访问，如下：

由此我们知道了，即使在你的block代码中没有显式地出现"self"，也会出现循环引用！只要你在block里用到了self所拥有的东西！但对于这种情况，我们无法通过加__weak声明或者__block声明去禁止block对self进行强引用或者强制增加引用计数。但我们可以通过其他指针来避免循环引用(多谢xq_120的提醒)，具体是这么做的：

__weak typeof(self) weakSelf = self;

self.blkA = ^{

__strong typeof(weakSelf) strongSelf = weakSelf;//加一下强引用，避免weakSelf被释放掉

NSLog(@"%@", strongSelf->_xxView); //不会导致循环引用.

};

对于self.arr的情况，我们要分两种环境去解决：

1)ARC环境下：ARC环境下可以通过使用_weak声明一个代替self的新变量代替原先的self，我们可以命名为weakSelf。通过这种方式告诉block，不要在block内部对self进行强制strong引用：(如果要兼容ios4.3，则用__unsafe_unretained代替__weak，不过目前基本不需考虑这么low的版本)

1          self.arr = @[@111, @222, @333];
2         __weak typeof(self) weakSelf=self;
3         self.block = ^(NSString *name){
4             NSLog(@"arr:%@", weakSelf.arr);
5         };

2)MRC环境下：解决方式与上述基本一致，只不过将__weak关键字换成__block即可，这样的意思是告诉block：小子，不要在内部对self进行retain了！

strong和weak的本质简单点可以这么理解：

在内存中开辟一块空间，strong应该相当于如果多个指针指向该内存空间时，必须所有指向该内存的指针离开时，该对象才会被释放，而weak是该对象的拥有者的指针（强引用）离开时，其余指向该对象的指针（弱引用）就会自动指向空，防止出现野指针。就像协议一般都是weak类型修饰，防止出现野指针。

野指针.
- C语言: 当我们声明1个指针变量,没有为这个指针变量赋初始值.这个指针变量的值是1个垃圾指指向1块随机的内存空间。
- OC语言: 指针指向的对象已经被回收掉了.这个指针就叫做野指针.

僵尸对象
- . 内存回收的本质.
  - 申请1块空间,实际上是向系统申请1块别人不再使用的空间.
  - 释放1块空间,指的是占用的空间不再使用,这个时候系统可以分配给别人去使用.
  - 在这个个空间分配给别人之前数据还是存在的.
    - OC对象释放以后,表示OC对象占用的空间可以分配给别人.
    - 但是再分配给别人之前这个空间仍然存在对象的数据仍然存在.
  - 僵尸对象: 1个已经被释放的对象就叫做僵尸对象.
- . 使用野指针访问僵尸对象.有的时候会出问题,有的时候不会出问题.
  - 当野指针指向的僵尸对象所占用的空间还没有分配给别人的时候,这个时候其实是可以访问的.
  - 因为对象的数据还在.
  - 当野指针指向的对象所占用的空间分配给了别人的时候这个时候访问就会出问题.
  - 所以,你不要通过1个野指针去访问1个僵尸对象.
    - 虽然可以通过野指针去访问已经被释放的对象,但是我们不允许这么做.
- . 僵尸对象检测.
  - 默认情况下. Xcode不会去检测指针指向的对象是否为1个僵尸对象. 能访问就访问不能访问就报错.
  - 可以开启Xcode的僵尸对象检测.
    - 那么就会在通过指针访问对象的时候,检测这个对象是否为1个僵尸对象如果是僵尸对象就会报错.
- . 为什么不默认开启僵尸对象检测呢?
  - 因为一旦开启,每次通过指针访问对象的时候.都会去检查指针指向的对象是否为僵尸对象.
  - 那么这样的话就影响效率了.
. 如何避免僵尸对象报错.
- 当1个指针变为野指针以后. 就把这个指针的值设置为nil
僵尸对象无法复活.
- 当1个对象的引用计数器变为0以后这个对象就被释放了.
- 就无法取操作这个僵尸对象了. 所有对这个对象的操作都是无效的.
- 因为一旦对象被回收对象就是1个僵尸对象而访问1个僵尸对象是没有意义.

内存泄露解决分为了三步：

1.静态分析：Instruments的Analyze。通过静态分析我们可以最初步的了解到代码的一些不规范的地方和一些代码逻辑上的错误；

2.解决ViewController不释放的问题；

3.Instruments的Leaks运行时分析内存泄露情况并解决；

内存泄露：如果程序运行时一直分配内存而不及时释放无用的内存，程序占用的内存越来越大，直到把系统分配给该APP的内存消耗殚尽，程序因无内存可用导致崩溃，这样的情况我们称之为内存泄漏。

可能引起的问题:

1)内存消耗殆尽的时候，程序会因没有内存被杀死，即crash。

2)当内存快要用完的时候，会非常的卡顿

3)如果是ViewController没有释放掉，引起的内存泄露，还会引起其他很多问题，尤其是和通知相关的。没有被释放掉的ViewController还能接收通知，还会执行相关的动作，所以会引起各种各样的异常情况的发生。

Analyze检测出的几种常见问题:使用Analyze能够发现一些代码不规范的地方。下面是我调试的过程中遇到的一些问题。

报错1: xxxxx ...... xxx value stored to ‘width’during its initialization is never read。

该问题的原因是：变量申请了内存并初始化了，但没有用使此变量，接着将此变量又重新赋值.

- (CGSize)sizeForContent:(MGCMessageBaseEntity*)message {

float width = size.width < 20 ? 20 : size.width + 5;

width = size.width > MAX_CHAT_TEXT_WIDTH ? MAX_CHAT_TEXT_WIDTH : size.width;

return CGSizeMake(width, size.height + 3);

}

规范的写法是：float width = size.width > MAX_CHAT_TEXT_WIDTH ? MAX_CHAT_TEXT_WIDTH : size.width;

还有一种情况是：为同一个数据源分配了两块内存，这里不会引起内存泄露，因为为arr1分配的内存块虽然一直是空闲块，但是在生命周期结束时，这块内存会被释放掉。跟前面说的: 内存泄露是内存一直得不到释放，才会造成内存泄露的情况是不一样，。

NSArray *arr1 = [[NSArray alloc]init];

if(index == 1){

arr1 = self.usersArray;

}else{

arr1 = self.editArray;

}

因为self.usersArray和self.editArray都是被初始化过的数组，将它们赋值给了arr1，arr1又申请了内存。规范的写法是：NSArray *arr1；不为arr1分配内存。

报错2. xxxxx ...... xxx , Value stored to 'titleString' is never read

该变量从来没有被使用

报错3. xxxxx ...... xxx ,Potential leak of an object allocated on line 101 and stored into ''

潜在的内存泄露：这里主要是一些非OC对象，ARC不会对它进行释放，所以造成了一直没有释放。比如一些类型：CGImageRef（对应调用CGImageRelease）、CGContextRef（对应调用CGContextRelease）CGColorSpaceRef（对应CGColorSpaceRelease）这些都是非OC对象，所以要自己记着释放掉。

// 关于ViewController 不释放问题描述

ViewController不释放，会导致很多问题,我说一下我遇到的情况:

我做的是一个电商APP，我做了一个系统公告功能，发布系统消息时会发送@all消息。当我做完了系统消息公告，发了一个系统消息试试，结果，消息群发了，发到了好几个聊天会话中去了。最后查出是因为 chattingViewController 没有释放掉，发送@all消息的通知，那些没有被释放掉的chattingViewController都收到了，都执行了发送@all消息的动作，所以导致很多会话都发送了@all消息。

我还做一个此用户没有资格开通VIP会员的的功能，点击开通VIP 进入到付款页面的的时候，之前的开通VIP主页面都没有被释放，没有资格开通VIP 会发一个通知，显示一个alert：你没有资格开通 VIP 。多次点击开通，就会创建多个主界面，多个主界面都会收到这个通知，于是就显示了多个alertView。

NSTimer，NSTimer会对它的target持有强引用，如果NSTimer不释放掉，就会一直持有它的target的强引用，会一直都释放不掉，造成内存泄露。

二、解决方法

想要知道ViewController有没有被释放，一个方法就是可以通过看ViewController有没有执行dealloc方法。

大概有几个地方，比较容易引起内存泄露

循环引用:最多的就是block引起的循环引用。

（1）某个类将block作为自己的属性变量，然后该类在block的方法体里面又使用了该类本身;相互持有，导致都释放不了。代码例子： [self.tableViewmas_makeConstraints:^(MASConstraintMaker *make) { make.left.right.equalTo(self.view); make.top.equalTo(self.navigationBar.mas_bottom); make.bottom.equalTo(self.view); }]; 修改为： __weaktypeof(self) weakSelf =self; 块内的self，换成weakSelf就行了。 block不是self的属性或者变量时，在block内使用self不会循环引用;

（2）如果块是一个单例持有的，块内又使用了ViewController这个类，会引起循环引用。例子： [[OutsidePacketsSchedule shareInstance] sendParameters:dict requestCmd:@"addCustomEmoReq"responseCmd:@"addCustomEmoRsp"complete:^(idresponse,NSError*error) {if(!error){ [weakSelf.viewsetToast:@"添加自定义表情成功"]; } }]; 上例中的单例持有的代码块中要用弱引用，原因是：单例不会被释放掉，它会一直持有block，导致该block所在的ViewController释放不掉。

（3）如果是方法中的参数是block，不会造成循环引用，因为方法中的block是位于栈内存的，方法返回后，block将会无效。

还有就是 NSTimer和CADisplayLink这种；

+ (NSTimer*)scheduledTimerWithTimeInterval:(NSTimeInterval)ti target:(id)aTarget selector:(SEL)aSelector userInfo:(nullableid)userInfo repeats:(BOOL)yesOrN{

}

从文档中方法的定义上可以看到，NSTimer是会强引用它的target的，像其他的delegate一般都是weak的，所以这里比较特殊。NSTimerClass Reference是这样对target描述的：The object to which to send the message specified by aSelector when the timer fires. The timer maintains astrongreference to target until it (the timer) is invalidated.NSTimerClass Reference还指出: Runloop会强引用timer，因为如果一个timer是循环的，如果没被强引用，那么在函数返回后，则会被销毁，就不能循环地通知持有的target。所以NSTimer是被放到Runloop中执行的。如果我们不调用invalidate timer,runloop就会一直持有timer,而timer也一直持有ViewController，这样就会造成内存泄露。解决这类问题的方法就是：在不需要NSTimer的时候，及时调用[self.timer invalidate]。千万不要在dealloc方法中调用，因为NSTimer强引用self，所以不会执行dealloc方法。

另外就是 delegate,一般是weak的情况分析；

对象之间的循环引用：例子：两个ViewController都需要使用对方，这个时候可以用@class ;

需要说明的是在 .h 中引入某个类, @class 指的是当前文件只是引入类名, 并没有使用类里面的东西. 想要在 .m 里面使用类的内容的话, 还是要 #import <>, 这种情况跟上面的对象之间的防止循环引有点不一样.

转载于:https://my.oschina.net/llfk/blog/1031291