iOS - OC 内存管理

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 程序中，同样有效。
  • 1. 创建销毁时间：

    • 创建：运行循环检测到事件后，就会创建自动释放池。

    • 销毁：一次完整的运行循环结束之前，会销毁。

      

  • 1. 自动释放池的 创建：

    • iOS 5.0 以后：

      	// 在 ARC 下只能使用该方法创建
      
      	// 自动释放池的标记，表示每一次运行循环监听到系统事件的时候，会自动创建自动释放池
      	@autoreleasepool {
      
      		// 用户代码
      	}
      

    • iOS 5.0 以前：

      	NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];
      
      		// 用户代码
      	[pool release];     // 或 ：[pool drain];
      

  • 1. 自动释放池的 使用：

    • MRC

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

    • ARC

      	@autoreleasepool {
      
      		// 该 stu 对象不需要再 release 了，给对象添加延迟释放的标记，在 ARC 中系统会自动添加 autorelease
          	Student *stu = [[Student alloc] init];
      	}
      

  • 1. 自动释放池的 疑问：

    • 问题：在 iPhone 项目中，main() 中有一个默认的 autoreleasepool，程序开始时创建，程序退出时销毁，按照对 autoreleasepool 的理解，岂不是 autoreleasepool 里的所有对象在程序退出时才 release，这样跟内存泄漏有什么区别？

    • 答案：对于每一个 Runloop（运行循环）系统都会隐式的创建一个 autoreleasepool，并把创建好的 pool 放在栈顶，所有的 pool 会构成一个栈式结构。在每一个 Runloop 结束时，当前栈顶的 pool 会被销毁，这样这个 pool 里的每个对象会被执行 release 操作。

  • 1. 自动释放池的 注意：
    • 在 ARC 下不能使用 [[NSAutoreleasePool alloc] init]，而应当使用 @autoreleasepool。
    • 不要把大量循环操作放在同一个自动释放池中，这样会造成内存峰值的上升。
    • 尽量避免大内存使用该方法，对于这种延迟释放机制，还是尽量少用，而是使用 release 操作。
    • SDK 中一般利用静态方法（类方法）创建并返回的对象都是已经 autorelease 的，不需要再进行 release 操作。
    • 如果使用 MRC 开发，所有返回 instancetype 的类方法，返回的对象都是 autorelease 的。

1.3 MRC 手动引用计数

• MRC（Mannul Reference Counting）：手动引用计数。

• 1. 范围：
  • 任何继承了 NSObject 类的对象，对基本数据类型无效。
• 1. 原理：

  • 每个对象内部都保存了一个与之相关的整数，称之为引用计数器。

  • 当使用 alloc、new 或者 copy 等创建一个对象时，对象的引用计数器被设置为 1。

  • 给对象发送一条 retain 消息，可以使引用计数器值 +1。

  • 给对象发送一条 release 消息，可以使引用计数器值 -1。

  • 当一个对象的引用计数器值为 0 时，那么它将被销毁，其占用的内存被系统回收，OC 会自动向对象发送一条 dealloc 消息。

  • 一般会重写 dealloc 方法，在这里释放相关资源，一定不要直接调用 dealloc 方法。

  • 可以给对象发送 retainCount 消息获取当前的引用计数值。

• 1. 原则：

  • 谁创建，谁释放。

  • 谁 retain ，谁 release。只要你调用了 retain ，无论这个对象是如何生成的，你都要调用 release。

  • 并不是所有新创建的对象都会被添加到自动释放池中。实际上，任何由以 alloc、 copy 、mutableCopy 和 new 为前缀的方法创建的对象都不会被自动释放。在这种情况下可以说你拥有这个对象。要释放这些对象需要主动发送 release 消息，或者给对象发送 autorelease 消息将对象加入到自动释放池中。

  • 当把一个对象塞进数组中时，这个对象的引用计数器值会加 +1，当这个数组被销毁时，数组会对其中的所有对象做一次 release 操作，使其引用计数器值 -1。

• 1. 析构方法：

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

    	- (void)dealloc {
    
        	// 用户代码
    
        	// MRC 下一定要调用该方法，ARC 下不允许手动操作，不能写该句
        	[super dealloc];
    	}
    

• 1. 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(@"成功退出");
    	}
    

• 1. 弱引用 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

    

• 1. 对部分文件做修改（混编）：

  • 在使用 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);
    

• 提问：那种方式效率高。

  • 答案：速度差不多，大多数测试内部比外部快。

  • 提示：在日常工作中。有的时候，真的会出现代码内存飙升的情况。要知道解决办法，加自动释放池。