iOS内存管理

苹果在iOS4之后推出了自动引用计数方案，由编译器来管理对象的声明周期，让编程人员专注于业务逻辑，有效的降低了内存泄露和出错的概率，但是我们在享受便利的同时，真的理解了引用计数的工作原理了吗？

理解

从一个很形象的例子中了解引用计数的工作原理：
第一个员工上班，需要打开照明设备，接着第二个员工过来需要照明，第三个员工过来也需要照明，到下班的时候，第一个员工离开，不需要照明，第二个员工离开，也不再需要照明，最后一个员工离开，此时办公室里面已经没有员工需要照明设备了，所以需要关掉照明设备。
在Objective-C中，照明设备就是对象，人就是使用对象的环境，对应关系是：

对照明设备所做的动作	对Objective-C对象所做的动作
开灯	生成对象
需要照明	持有对象
不需要照明	释放对象
关灯	废弃对象

对内存管理的思考方式

• 自己生成的对象，自己所持有
• 非自己生成的对象，自己也能持有
• 不再需要自己持有的对象时释放
• 非自己持有的对象不能释放

对于引用计数式的内存管理方式，应该从这个角度去理解，而不是关注于引用计数，对象操作与Objective-C方法的对应关系如下：

对照明设备所做的动作	对Objective-C对象所做的动作
生成并持有对象	alloc/new/copy/mutableCopy 方法
持有对象	retain 方法
释放对象	release 方法
废弃对象	dealloc 方法

自己生成的对象，自己所持有

// [NSObject alloc] 生成对象，并将指向这个对象的指针赋值给obj，此时obj持有对象
id obj = [[NSObject alloc] init];

new方法和alloc方法一样，copy方法和mutableCopy方法会生成并持有对象的副本，不同的是copy方法生成的是不可变对象，mutableCopy方法生成的是可变对象

非自己生成的对象，自己也能持有

除了上边几个生成对象的方法之外，其他方法生成的对象都不是自己生成的，因为非自己生成并持有，所以自己不是该对象的持有者。

// 非自己生成并持有的对象，对象被赋值个obj，但obj自己并不持有该对象
id obj = [NSMutableArray array];
// 持有对象
[obj retain];

这种情况是如何实现的呢？

- (id)object {
      id obj = [[NSObject alloc] init];
      [obj autorelease];
      return obj;
}

autorelease提供这样的功能，使对象在超出指定的生存范围内能够自动并正确的释放。也就是说使用obj能够取得对象的存在，但是自己并不持有对象。

不再需要自己持有的对象时释放

// 自己生成并持有对象
id obj = [[NSObject alloc] init];
/*
 * 释放对象
 * 指向对象的指针仍然被保留在变量obj中
 * 但对象一旦被释放，绝对不可以访问
 */ 
[obj release];

无法释放非自己持有的对象

当持有者是自己时，在不需要该对象时，需要将其释放，但是释放非自己持有的对象时，会造成应用程序崩溃，例如释放了已经释放的对象：

 // 自己生成并持有对象
 id obj = [[NSObject alloc] init];
 // 释放对象
 [obj release];
 // 释放之后再次释放已非自己持有的对象，程序会崩溃
 [obj release];

所有权修饰符

在ARC有效时，其类型必须附加所有权修饰符，所有权修饰符一共有4中：

• __strong 修饰符
• __weak 修饰符
• __unsafe_unretained 修饰符
• __autoreleasing 修饰符

__strong 修饰符

__strong是id类型和对象类型默认的所有权修饰符

id obj = [[NSObject alloc] init];
// 等同于
id __strong obj = [[NSObject alloc] init];

__strong 修饰符表示对象的强引用，持有强引用的变量在超出其作用域是被废弃，随着强引用的实效，引用对象会随之释放。

{
     // 自己生成并持有对象
     id __strong obj = [[NSObject alloc] init];
}
// 因为变量obj超过其作用域，强引用实效，所以自动释放自己持有的对象，对象的所有者不存在，因此废弃该对象。

__strong 修饰符和__weak、__autoreleasing，可以保证将附有这些修饰符的自动变量初始化为nil.

__weak 修饰符

表示对象的弱引用，可以获取到对象，但不持有对象实例，这样可以解决对象循环引用的问题。
另外，在持有某对象的弱引用时，若该对象废弃，则此弱引用将自动失效且处于nil被赋值的状态。

id __weak obj1 = nil;
{
    id __strong obj0 = [[NSObject alloc] init];
    obj1 = obj0;
    NSLog(@"A: %@", obj1);
}
NSLog(@"B: %@", obj1);

此代码的执行结果如下：

A: <NSObject: 0x753e180>
B: (null)

在__weak的实现层面

/* 编译器模拟代码 */
id obj1;
obj1 = 0;
objc_storeWeak(&obj1, obj);
objc_storeWeak(&obj1, 0);

objc_storeWeak函数把第二个参数的赋值对象的地址作为键值，将第一个参数的附有__weak修饰符的变量的地址注册到weak表中。如果第二个参数为0，则把变量的地址从weak表中删除。由于一个对象可以同时赋值给多个附有__weak修饰符的变量中，所以对于一个键值，可注册多个变量地址，这也是面试中经常会遇到的问题：weak的实现原理？

__unsafe_unretained 修饰符

是不安全的修饰符，附有__unsafe_unretained修饰符的遍历不属于编译器的内存管理对象。相较于__weak修饰符修饰的变量，被释放的对象，不会将nil赋值给变量，所以在访问已经废弃的对象的时候，在个别状况下回崩溃。

__autoreleasing 修饰符

在ARC有效时，不能直接使用autorelease方法，也不能使用 NSAutoreleasePool 类。

// ARC无效时
NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];
id obj = [[NSObject alloc] init];
[obj autorelease];
[pool drain];

// 对应 ARC有效时
@autoreleasepool {
    id __autoreleasing obj = [[NSObject alloc] init];
}

在访问附有 __weak 修饰符的变量时，实际上必定要访问注册到 autoreleasepool 的对象。为什么呢？因为__weak修饰符只持有对象的弱引用，而在访问对象的过程中，该对象有可能被废弃，如果把要访问的对象注册到autoreleasepool中，那么在@autoreleasepool块结束之前都能确保该对象存在。