1、OC 基本内存管理模型

1.1 自动垃圾收集

在 OC 2.0 中，有一种称为垃圾收集的内存管理形式。通过垃圾收集，系统能够自动监测对象是否拥有其他的对象，当程序执行需要空间的时候，不再被引用的对象会自动释放。iOS 运行环境并不支持垃圾收集，在这个平台开发程序时并没有这方面的选项。在 OS X 10.8 中垃圾收集已不再推荐使用。

1.2 自动释放池

自动释放池（autoreleasepool）的机制是它使得应用在创建新对象时，系统能够有效的管理应用所使用的内存。自动释放池可以追踪需要延时一些时间释放的对象。
OC 对象只需要发送一条 autorelease 消息，就会把这个对象添加到最近的自动释放池中。autorelease 实际上只是把对 release 的调用延迟了，对于每一次 autorelease，系统只是把该对象放入了最近的 autoreleasepool 中。当执行到 autoreleasepool 块的末尾时，系统会释放自动释放池，这将影响到所有发送过 autorelease 消息并添加到自动释放池中的对象，系统会对池中的每个对象发送 release 消息，当这些对象的引用计数减到 0 时，会发出 dealloc 消息，并且他们的内存会被释放。
自动释放池并不包含实际的对象，而是只包含对象的引用。
- 1) 作用：
  - 自动释放对象的。
  - 所有 "autorelease" 的对象，在出了作用域之后，会被自动添加到 "最近创建的" 自动释放池中。
  - 在自动释放池被销毁或者耗尽的时候，会向池中所有对象发送 release 消息，释放池中对象。
  - 自动释放池，在 ARC & MRC 程序中，同样有效。
- 2) 创建销毁时间：
  - 创建：运行循环检测到事件后，就会创建自动释放池。
  - 销毁：一次完整的运行循环结束之前，会销毁。
- 3) 自动释放池的创建：
  - iOS 5.0 以后：
```
    // 在 ARC 下只能使用该方法创建

    // 自动释放池的标记，表示每一次运行循环监听到系统事件的时候，会自动创建自动释放池
    @autoreleasepool {

        // 用户代码
    }
```
  - iOS 5.0 以前：
```
    NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];

        // 用户代码
    [pool release];     // 或 ：[pool drain];
```
- 4) 自动释放池的使用：
  - MRC
```
    @autoreleasepool {

        // 该 stu 对象不需要再 release 了，给对象添加延迟释放的标记，autorelease 作用就是延迟释放
        Student *stu = [[[Student alloc] init] autorelease];
    }
```
  - ARC
```
    @autoreleasepool {

        // 该 stu 对象不需要再 release 了，给对象添加延迟释放的标记，在 ARC 中系统会自动添加 autorelease
        Student *stu = [[Student alloc] init];
    }
```
- 5) 自动释放池的疑问：
  - 问题：在 iPhone 项目中，main() 中有一个默认的 autoreleasepool，程序开始时创建，程序退出时销毁，按照对 autoreleasepool 的理解，岂不是 autoreleasepool 里的所有对象在程序退出时才 release，这样跟内存泄漏有什么区别？
  - 答案：对于每一个 Runloop（运行循环）系统都会隐式的创建一个 autoreleasepool，并把创建好的 pool 放在栈顶，所有的 pool 会构成一个栈式结构。在每一个 Runloop 结束时，当前栈顶的 pool 会被销毁，这样这个 pool 里的每个对象会被执行 release 操作。
- 6) 自动释放池的注意：
  - 在 ARC 下不能使用 [[NSAutoreleasePool alloc] init]，而应当使用 @autoreleasepool。
  - 不要把大量循环操作放在同一个自动释放池中，这样会造成内存峰值的上升。
  - 尽量避免大内存使用该方法，对于这种延迟释放机制，还是尽量少用，而是使用 release 操作。
  - SDK 中一般利用静态方法（类方法）创建并返回的对象都是已经 autorelease 的，不需要再进行 release 操作。
  - 如果使用 MRC 开发，所有返回 instancetype 的类方法，返回的对象都是 autorelease 的。

1.3 MRC 手动引用计数

MRC（Mannul Reference Counting）：手动引用计数。
1) 范围：
- 任何继承了 NSObject 类的对象，对基本数据类型无效。
2) 原理：
- 每个对象内部都保存了一个与之相关的整数，称之为引用计数器。
- 当使用 alloc、new 或者 copy 等创建一个对象时，对象的引用计数器被设置为 1。
- 给对象发送一条 retain 消息，可以使引用计数器值 +1。
- 给对象发送一条 release 消息，可以使引用计数器值 -1。
- 当一个对象的引用计数器值为 0 时，那么它将被销毁，其占用的内存被系统回收，OC 会自动向对象发送一条 dealloc 消息。
- 一般会重写 dealloc 方法，在这里释放相关资源，一定不要直接调用 dealloc 方法。
- 可以给对象发送 retainCount 消息获取当前的引用计数值。
3) 原则：
- 谁创建，谁释放。
- 谁 retain ，谁 release。只要你调用了 retain ，无论这个对象是如何生成的，你都要调用 release。
- 并不是所有新创建的对象都会被添加到自动释放池中。实际上，任何由以 alloc、 copy 、mutableCopy 和 new 为前缀的方法创建的对象都不会被自动释放。在这种情况下可以说你拥有这个对象。要释放这些对象需要主动发送 release 消息，或者给对象发送 autorelease 消息将对象加入到自动释放池中。
- 当把一个对象塞进数组中时，这个对象的引用计数器值会加 +1，当这个数组被销毁时，数组会对其中的所有对象做一次 release 操作，使其引用计数器值 -1。

4) 析构方法：

对象销毁前系统会自动调用此方法。

    - (void)dealloc {

        // 用户代码

        // MRC 下一定要调用该方法，ARC 下不允许手动操作，不能写该句
        [super dealloc];
    }

5) assign 修饰符：
- assign 修饰符，对对象不做任何操作，只是简单的记录地址，对象释放后，地址仍然保留，在 MRC 开发中，因此野指针错误非常频繁。
- 在 MRC 的中，没有 weak 修饰符，只有 assign 修饰符。

1.4 ARC 自动引用计数

ARC（Automatic Reference Counting）：自动引用计数。
1) 强引用 strong：
- 通常所有对象的指针变量都是强变量。也就是说，将对象的引用赋值给变量使对象自动保持。然后，旧对象的引用会在赋值前被释放。最终，强变量默认会被初始化为零。无论他是实例变量、局部变量还是全局变量，这都成立。
- 在 ARC 中所有的对象变量默认都是强变量（但仍然可以使用关键字 __strong 修饰）。属性变量默认不是强变量，需要使用 strong 修饰。
- 在 OC 中对象默认都是 strong。viewController 对根视图是强引用，view addSubviews 方法是向数组中添加子视图，数组会对子视图强引用。
- 强引用有时会造成引用循环，无法释放对象，在程序中可以使用析构方法判断是否产生了引用循环。
```
    @implementation ViewController

    // 在 Block 中调用 self 容易产生引用循环
    [[QWebImageManager sharedManager] downloadImage:self.urlStr completion:^(UIImage *image) {
        self.image = image;
    }];

    @end
```
```
    // 判断是否存在循环应用，无法释放时即存在引用循环
    - (void)dealloc {                                               
        NSLog(@"成功退出");
    }
```
2) 弱引用 weak：
- 有时候需要为对象建立两者之间的关系，每个对象需要引用到其他的对象。当两个对象都持有彼此的强引用时，将会产生循环保持，如果对象仍然有引用，系统将不可能销毁这个对象。如果两个对象都强引用到彼此，这样就不可以被销毁。解决这个问题可以通过其他类型的对象变量，并允许使用不同类型的引用。这种引用被称为弱引用，能够建立在两个对象之间。
- 当声明一个弱变量时，系统会追踪复制给这个变量的引用。当引用的对象释放时，弱变量会被自动设置为 nil，这也避免了无意间给这个变量发送消息引起的崩溃。因为 OC 中给 nil 对象发送的任何消息不会有反应。
- 可以使用关键字 __weak 声明一个弱变量，或者为属性指定 weak 特性。如：
```
    @implementation ViewController

    // 弱引用 self，typeof(self) 等价于 ViewController
    __weak typeof(self) weakSelf = self;

    [[QWebImageManager sharedManager] downloadImage:self.urlStr completion:^(UIImage *image) {
        weakSelf.image = image;
    }];

    @end
```
- 苹果从 StoryBoard/Xib 拖线默认是 weak。设置代理属性（delegate）时一般使用 weak 属性。
- weak 是 ARC 专有的，如果对象没有被其他任何对象做强引用，会被立即释放。
- weak 会自动判断对象是否为 nil ，因此效率会变差。
- weak 安全性很好。一旦没有强引用，自动将地址设置为 nil，OC 中可以向 nil 发送任何消息都不会报错。

1.5 ARC 与 MRC 编译环境的设置

1) 对整个工程做修改：
- 在工程的 TARGETS => Build Setting 的搜索框中输入 auto => Apple LLVM 8.0 - Language - Objective C => Objective-C Automatic Reference Counting 设置为：
  - YES : 自动引用计数 ARC
  - NO : 手动引用计数 MRC
2) 对部分文件做修改（混编）：
- 在使用 MRC 项目中，用 “使用 ARC” 的类库时，在 TARGETS => Build Phases => Compile Sources 中对类库的所有 .m 文件添加 “-fobjc-arc”
- 在使用 ARC 项目中，用 “使用 MRC” 的类库时，在 TARGETS => Build Phases => Compile Sources 中对类库的所有 .m 文件添加 “-fno-objc-arc”

2、MRC 中 assign 的使用

    // Person.h

        + (instancetype)person;

    // Person.m

        + (instancetype)person {
        
            // autorelease 谁申请，谁释放，作用就是延迟释放，给对象添加延迟释放的标记
            Person *p = [[[Person alloc] init] autorelease];
        
            return p;
        }

    // ViewController.m

        // 声明 assign 对象
        @property (nonatomic, assign) Person *p;

        // alloc/init 初始化方式
            
            /*
                MRC 中，assign 修饰符号，对对象不做任何操作，只是简单的记录地址，对象出了作用域后才会被释放
            */
        
            self.p = [[Person alloc] init];

        // 类方法初始话方式
            
            /*
                MRC 中，所有返回 instancetype 的系统类方法，返回的对象都是 autorelease 的
            */
            
            self.p = [Person person];

3、ARC 中 weak 的使用

    // Person.h

        + (instancetype)person;

    // Person.m

        + (instancetype)person {
        
            // 自动添加 autorelease，作用就是延迟释放，给对象添加延迟释放的标记
            Person *p = [[Person alloc] init];
        
            return p;
        }

    // ViewController.m

        // 声明 weak 对象
        @property (nonatomic, weak) Person *p;

        // alloc/init 初始化方式
        
            /*
                ARC 中，如果给 weak 做 alloc/init 的初始话，Xcode 会提示，如果对象创建后没有被其他任何对象强引用，会被立即释放
            */
        
            // 没有对 alloc 的对象做强引用，会被立即释放，使用 strong 则不会被立即释放
            self.p = [[Person alloc] init];
            
            // 对 alloc 的对象做强引用，不会被立即释放，出了作用于后会被释放
            NSString *str = [[[Person alloc] init] description];
                    
        // 类方法初始话方式
        
            /*
                    对于 Xcode 编译器而言，只要是类方法，就不会提示。结果之所以为 null，是因为 weak 创建后没有被其他任何对象强引用，
                会被立即释放，跟 autorelease 没有关系
            */
            
            // 没有对创建的对象做强引用，会被立即释放，使用 strong 则不会被立即释放
            self.p = [Person person];
            
            // 对创建的对象做强引用，不会被立即释放，出了作用于后会被释放
            NSString *str = [[Person person] description];

weak 的内部实现原理
- weak 变量在引用计数为 0 时，会被自动设置成 nil，这个特性是如何实现的？
- 在 Friday QA 上，有一期专门介绍 weak 的实现原理。https://mikeash.com/pyblog/friday-qa-2010-07-16-zeroing-weak-references-in-objective-c.html
- 简单来说，系统有一个全局的 CFMutableDictionary 实例，来保存每个对象的 weak 指针列表，因为每个对象可能有多个 weak 指针，所以这个实例的值是 CFMutableSet 类型。剩下我们要做的，就是在引用计数变成 0 的时候，去这个全局的字典里面，找到所有的 weak 指针，将其值设置成 nil。如何做到这一点呢？Friday QA 上介绍了一种类似 KVO 实现的方式。当对象存在 weak 指针时，我们可以将这个实例指向一个新创建的子类，然后修改这个子类的 release 方法，在 release 方法中，去从全局的 CFMutableDictionary 字典中找到所有的 weak 对象，并且设置成 nil。我摘抄了 Friday QA 上的实现的核心代码，如下：
```
    Class subclass = objc_allocateClassPair(class, newNameC, 0);
    Method release = class_getInstanceMethod(class, @selector(release));
    Method dealloc = class_getInstanceMethod(class, @selector(dealloc));
    class_addMethod(subclass, @selector(release), (IMP)CustomSubclassRelease, method_getTypeEncoding(release));
    class_addMethod(subclass, @selector(dealloc), (IMP)CustomSubclassDealloc, method_getTypeEncoding(dealloc));
    objc_registerClassPair(subclass);
```
- 当然，这并不代表苹果官方是这么实现的，因为苹果的这部分代码并没有开源。《Objective-C高级编程》一书中介绍了 GNUStep 项目中的开源代码，思想也是类似的。所以我认为虽然实现细节会有差异，但是大致的实现思路应该差别不大。

4、内存飙升问题解决

问题：以下代码是否有问题？如果有，如何解决？

    // ARC

    long largeNumber = 5 * 1000 * 1000;

    for (long i = 0; i < largeNumber; ++i) {

        NSString *str = [NSString stringWithFormat:@"hello - %ld", i];

        str = [str uppercaseString];
        str = [str stringByAppendingString:@" - world"];
    }

答案：如果 largeNumber 非常大，会创建太多自动释放的对象，有可能会把自动释放池 "撑满"。运行时会占用大量的系统内存空间。
- 提示：经常一次用户交互，远远不止一个 for，在 for 的前后，会有很多的代码，但是这个 for 会占用大量的自动释放池空间。

解决方法：引入自动释放池，有两种解决方案。

1> 外面加自动释放池：能够保证 for 循环结束后，内部产生的自动释放对象，都会被销毁。需要等到 for 结束后，才会释放内存。不能解决运行时占用大量的系统内存的问题。

    long largeNumber = 5 * 1000 * 1000;

    NSLog(@"外面 start");
    CFAbsoluteTime start = CFAbsoluteTimeGetCurrent();

    // 自动释放池的标记，表示每一次运行循环监听到系统事件的时候，会自动创建自动释放池
    @autoreleasepool {

        for (long i = 0; i < largeNumber; ++i) {

            NSString *str = [NSString stringWithFormat:@"hello - %ld", i];
            str = [str uppercaseString];
            str = [str stringByAppendingString:@" - world"];
        }
    }

    NSLog(@"end - %f", CFAbsoluteTimeGetCurrent() - start);

2> 内部加自动释放池：能够每一次 for 都释放产生的自动释放对象。能解决运行时占用大量的系统内存的问题。

    long largeNumber = 5 * 1000 * 1000;

    NSLog(@"内部 start");
    CFAbsoluteTime start = CFAbsoluteTimeGetCurrent();

    for (long i = 0; i < largeNumber; ++i) {

        // 自动释放池的标记，表示每一次运行循环监听到系统事件的时候，会自动创建自动释放池
        @autoreleasepool {
            NSString *str = [NSString stringWithFormat:@"hello - %ld", i];
            str = [str uppercaseString];
            str = [str stringByAppendingString:@" - world"];
        }
    }

    NSLog(@"end - %f", CFAbsoluteTimeGetCurrent() - start);