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];
- iOS 5.0 以后:
- 4) 自动释放池的 使用:
- MRC
@autoreleasepool { // 该 stu 对象不需要再 release 了,给对象添加延迟释放的标记,autorelease 作用就是延迟释放 Student *stu = [[[Student alloc] init] autorelease]; }
- ARC
@autoreleasepool { // 该 stu 对象不需要再 release 了,给对象添加延迟释放的标记,在 ARC 中系统会自动添加 autorelease Student *stu = [[Student alloc] init]; }
- MRC
- 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) 作用:
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
- 在工程的 TARGETS => Build Setting 的搜索框中输入 auto => Apple LLVM 8.0 - Language - Objective C => Objective-C Automatic Reference Counting 设置为:
- 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);
- 1> 外面加自动释放池:能够保证 for 循环结束后,内部产生的自动释放对象,都会被销毁。需要等到 for 结束后,才会释放内存。不能解决运行时占用大量的系统内存的问题。
- 提问:那种方式效率高。
- 答案:速度差不多,大多数测试内部比外部快。
- 提示:在日常工作中。有的时候,真的会出现代码内存飙升的情况。要知道解决办法,加自动释放池。
时间: 2024-09-09 23:46:16