iOS检测内存泄漏, 系统工具+第三库

什么是内存泄漏，通俗来说就是有一块内存区域你申请占用，但当你不使用的时候没有正确的释放掉, 造成内存浪费，这就是内存泄漏，APP内存占用超过一定比例后系统会强制结束进程；

引入ARC机制后，系统自动管理内存，大大减轻了开发工作量，但一些特殊情况仍然会有内存泄漏发生，需要特别注意。

一般易造成泄漏的点

• Retain Cycle，Block强引用
• NSTimer/CADisplayLink释放不当
• 第三方提供方法造成的内存泄漏
• CoreFoundation方式申请的内存，忘记释放

系统的监测方法

• Analyze静态分析 （command ＋ shift ＋ b）, 作用不大

  主要分析以下四种问题：

  1、逻辑错误：访问空指针或未初始化的变量等；

  2、内存管理错误：如内存泄漏等；

  3、声明错误：从未使用过的变量；

  4、Api调用错误：未包含使用的库和框架。

  静态分析结果会有警告提示

  

• Instruments中的Leak动态分析内存泄漏

  product－>profile －>leaks 打开工具主窗口

  

  
  点击暂停，将鼠标移到叉号上面点击锁定，点击下方的“田”字格，选择callTree，

选择中间的齿轮，选中选项中的 invert Call Tree 和Hide System Libraries

• Separate by Thread：按线程分开做分析，这样更容易揪出那些吃资源的问题线程。特别是对于主线程，它要处理和渲染所有的接口数据，一旦受到阻塞，程序必然卡顿或停止响应。
• Invert Call Tree：反向输出调用树。把调用层级最深的方法显示在最上面，更容易找到最耗时的操作。
• Hide System Libraries：隐藏系统库文件。过滤掉各种系统调用，只显示自己的代码调用。
• Flattern Recursion：拼合递归。将同一递归函数产生的多条堆栈（因为递归函数会调用自己）合并为一条。

双击左边 Call Tree 下面的任意一行，查看内存泄漏的代码位置

• Allocation工具了解内存的分配情况

  每次点击generations(是两个时间标记之间所有仍然活着的对象的快照),生成快照，而且 Allocations 会记录从上回内存快照到这次内存快照这个时间段内，新分配的内存信息，数次 push 跟 pop 之后，内存还不断增长，则有内存泄露

  

  开源项目 HeapInspector-for-iOS 可以说是 Allocations 的改进，它通过 hook 掉 alloc，dealloc，retain，release 等方法，来记录对象的生命周期，亲测不太好用

XCode8后新特性

• Debug Memory Graph

  Debug Memory Graph, 直接以关系图的形式来告诉你各个对象的持有关系, 泄露时会有紫色的小感叹号出现,
  在开发过程中，因为语法或明显的代码错误(例如Retain Cycle)，编译器可以发现并报黄色或红色警告

实时监测内存占用情况

直接选择一个对象，查看与其相关的内存关系

- 绿色的一般都是 UIKit 控件及其子类
- 蓝色一般 NSObject 类及其子类
- 黄色一般都是容器类型及其子类
- 灰色括号是指 block

第三方工具 , 这些大多是用weak指针指向一个理论上将要释放的对象, (比如vc被pop之后; 一个对象释放后, 所有的子属性应该被置nil), 然后间隔3s向这个weak对象发消息, 如果weak对象还能响应消息, 说明这个对象没有被正确释放, 可能存在内存泄漏

• MLeaksFinder

  原理还是很简单的, 它swizzle了NavigationController的Push和Pop相关方法来管理viewController和view的生命周期, 在你Pop掉viewController的时候, 会执行这么一段代码

- (BOOL)willDealloc {
    __weak id weakSelf = self;
    dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(3 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
        [weakSelf assertNotDealloc];
    });
    return YES;
}
- (void)assertNotDealloc {
     NSAssert(NO, @“”);
}

3秒后执行 [weakSelf assertNotDealloc]; 如果这个时候view和viewController已经释放了, 那么weakSelf应该为nil, 所以将不会触发断言, 否则将会打印日志, 触发断言.

• 关于swizzleSEL

一种简写方式

void MethodSwizzle(Class c,SEL origSEL,SEL overrideSEL)  {
        Method origMethod = class_getInstanceMethod(c, origSEL);
        Method overrideMethod= class_getInstanceMethod(c, overrideSEL);
}

传入两个参数，原方法选择子，新方法选择子，并通过class_getInstanceMethod()拿到对应的Method

• 有两种情况要考虑一下。第一种情况是要复写的方法(overridden)并没有在目标类中实现，而是在其父类中实现了。第二种情况是这个方法已经存在于目标类中。这两种情况要区别对待
  （它的目的是为了使用一个重写的方法替换掉原来的方法。但重写的方法可能是在父类中重写的，也可能是在子类中重写的。）

• 对于第一种情况（重写方法不存在），应当先在目标类增加一个新的实现方法(override)，然后将复写的方法替换为原先的实现
• 对于第二情况(目标类存在重写的方法)。这时可以通过method_exchangeImplementations来完成交换.

标准方式

+ (void)load {
    static dispatch_once_t onceToken;
    dispatch_once(&onceToken, ^{
        [self swizzleSEL:@selector(viewDidDisappear:) withSEL:@selector(swizzled_viewDidDisappear:)];
        [self swizzleSEL:@selector(viewWillAppear:) withSEL:@selector(swizzled_viewWillAppear:)];
        [self swizzleSEL:@selector(dismissViewControllerAnimated:completion:) withSEL:@selector(swizzled_dismissViewControllerAnimated:completion:)];
    });
}

+ (void)swizzleSEL:(SEL)originalSEL withSEL:(SEL)swizzledSEL {
#if _INTERNAL_MLF_ENABLED
    
#if _INTERNAL_MLF_RC_ENABLED
    // Just find a place to set up FBRetainCycleDetector.
    static dispatch_once_t onceToken;
    dispatch_once(&onceToken, ^{
        dispatch_async(dispatch_get_main_queue(), ^{
            [FBAssociationManager hook];
        });
    });
#endif
    
    Class class = [self class];
    
    Method originalMethod = class_getInstanceMethod(class, originalSEL);
    Method swizzledMethod = class_getInstanceMethod(class, swizzledSEL);
    
    BOOL didAddMethod =
    class_addMethod(class,
                    originalSEL,
                    method_getImplementation(swizzledMethod),
                    method_getTypeEncoding(swizzledMethod));
    
    if (didAddMethod) {
        class_replaceMethod(class,
                            swizzledSEL,
                            method_getImplementation(originalMethod),
                            method_getTypeEncoding(originalMethod));
    } else {
        method_exchangeImplementations(originalMethod, swizzledMethod);
    }
#endif
}

class_addMethod:是相对于实现来的说的，将本来不存在于被操作的Class里的newMethod的实现添加在被操作的Class里，并使用origSel作为其选择子

如果发现方法已经存在，会失败返回，也可以用来做检查用,我们这里是为了避免源方法没有实现的情况;如果方法没有存在,我们则先尝试添加被替换的方法的实现

1.如果返回成功:则说明被替换方法没有存在.也就是被替换的方法没有被实现,我们需要先把这个方法实现,然后再执行我们想要的效果,用我们自定义的方法去替换被替换的方法. 这里使用到的是class_replaceMethod这个方法. class_replaceMethod本身会尝试调用class_addMethod和method_setImplementation，所以直接调用class_replaceMethod就可以了)

2.如果返回失败:则说明被替换方法已经存在.直接将两个方法的实现交换即可

class_replaceMethod，addMethod成功完成后，从参数可以看出，目的是换掉method_getImplaementation(roiginMethod)的选择子，将原方法的实现的SEL换成新方法的SEL

• FBRetainCycleDetector

  把可疑的对象告诉FBRetainCycleDetector, 然后会查找可疑对象的所有strong属性, 管理对象, block,构成一个最大长度为10的有向图, 按照深度优先遍历看看是否存在环, 如果有环说明存在循环应用，并把所存在的引用循环中各对象和引用在终端进行打印

    #import <FBRetainCycleDetector/FBRetainCycleDetector.h>
    
    _handlerBlock = ^{
        NSLog(@"%@", self);
    };
    
    FBRetainCycleDetector *detector = [FBRetainCycleDetector new];
    [detector addCandidate:self];
    NSSet *retainCycles = [detector findRetainCycles];
    NSLog(@"%@", retainCycles);
    
打印结果类似于：


```
{(
    (
    "-> DetailViewController ",
    "-> _handlerBlock -> __NSMallocBlock__ "
)
)}
 
 ```

DetailViewController通过_handlerBlock实例变量引用一个Block对象，而该Block又引用了DetailViewController对象。如果不存在引用循环的话，打印的结果将是空的

原理： 循环引用可以包含任何数量的对象。一个坏的连接会导致很多环的时候，这就复杂了

在环中，A→B是一个坏连接，创建了两个环：A-B-C-D 和 A-B-C-E。
这有两个问题：

• 不想给一个坏连接导致的两个循环引用分别标记。
• 不想给可能代表两个问题的两个循环引用一起标记，即使它们共享一个连接。

所以需要给循环引用定义簇组(clusters)，鉴于这些启发，我们写了个算法来找到这些问题。

• 在给定的时间收集所有的环。
• 对于每一个环，提取Facebook特定的类名。
• 对于每一个环，找到包含在环内的被报告的最小的环。
• 依据上面的最小环，将环添加到组中。
• 只报告最小环。

• PLeakSniffer

原理： 如果Controller被释放了，但其曾经持有过的子对象如果还存在，那么这些子对象就是泄漏的可疑目标

子对象（比如view）建立一个对controller的weak引用，如果Controller被释放，这个weak引用也随之置为nil。那怎么知道子对象没有被释放呢？用一个单例对象每个一小段时间发出一个ping通知去ping这个子对象，如果子对象还活着就会一个pong通知。所以结论就是：如果子对象的controller已不存在，但还能响应这个ping通知，那么这个对象就是可疑的泄漏对象。完整的结构可以用下图表示

通过Pod安装后，通过以下代码激活即可。

[[PLeakSniffer sharedInstance] installLeakSniffer];
[[PLeakSniffer sharedInstance] addIgnoreList:@[@"MySingletonController"]];

addIgnoreList可以添加一些特殊的忽略名单，比如单例这种无法正确预测泄漏的对象