内存管理的思考方式 :
- 自己生成的对象, 自己持有
- 非自己生成的对象, 自己也能持有
- 自己持有的对象, 不使用时要释放
- 非自己持有的对象, 自己无法释放
自己生成的对象, 自己持有 :
苹果霸王条款上明文规定:
对于用 alloc / new / copy / mutableCopy 开头的方法获得的对象
就是自己生成的对象
自己生成对象, 自己持有
自己持有的对象自己释放 :
// 自己生成并持有
id obj = [[NSObject alloc ] init];
// MRC时自己持有的对象需要自己释放
[obj release];
不仅系统的 alloc / new / copy / mutableCopy 满足条件
我们自己写的 copyThis / allocMyObject 也满足条件
但是不符合驼峰命名法的 newer / allocate 不满足这个条件
非自己生成的对象, 自己也能持有 :
// 并不是通过 alloc / new / copy / mutableCopy 开头的方法获得的对象
// 所以自己并不持有
id obj = [NSArray array];
// 如果这时候强行释放, 会引起崩溃
// 需要 retain 之后, 就可以持有这个对象
[obj retain];
// 持有这个对象之后, 便可以释放这个对象
[obj release];
迎来了 ARC 时代以后
ARC 会自动帮我们处理引用计数
但是我们必须为对象附加所有权修饰符
- __strong
- __weak
- __unsafe_unretained
- __autoreleasing
简单整理前三个
文章后面重点说平时很少见到的__autoreleasing
__strong :
__strong 是 id 类型和对象类型的默认所有权修饰符
id obj = [[NSObject alloc ] init];
就等于
id __strong obj = [[NSObject alloc ] init];
对于自己生成并持有的对象 :
{
// 自己生成并持有, obj 强引用着这个对象
// 这里省去了 __strong 修饰符, 因为默认就是 __strong
id obj = [[NSObject alloc ] init];
}
// 因为 obj 超出其作用域, 强引用失效
// 对象的所有者不存在, 废弃该对象
对于非自己生成并持有的对象 :
{
// 非自己生成并持有的对象, obj 强引用着这个对象
// 这里省去了 __strong 修饰符, 因为默认就是 __strong
id __strong obj = [NSArray array];
}
// 因为 obj 超出其作用域, 强引用失效
// 对象的所有者不存在, 废弃该对象
自己生成的对象自己持有 和非自己生成的对象自己也能持有
只需要通过对带 __strong 修饰符的变量赋值便可达成
__strong 变量作用域结束或是所属对象废弃或是对变量重新赋值
都可以做到释放自己持有的对象
非自己持有的对象不可释放
__weak
__weak 不能持有对象实例
比如:
__weak NSMutableArray *array1 = [[NSMutableArray alloc] init];
就会有如下警告 :
Assigning retained object to weak variable; object will be released after assignment
这个对象分配给了弱引用, 在分配后就被释放了
众所周知的 __weak 的几个功能 :
- 避免相互强引用
- 空弱引用 : 当对象被废弃时, 弱引用讲自动失效且自动把变量置为 nil, 防止野指针(可以检测__weak 变量是否为 nil, 判断这个对象是否被废弃)
__unsafe_unretained :
附有 __unsafe_unretained 修饰符的变量
不属于编译器的内存管理对象
也不能持有对象
当对象废弃的时候. 也不能把指针变量置为 nil
iOS4之前使用
重点之 __autoreleasing
在 ARC 下
不能使用 autorelease 方法
也不能使用 NSAutoreleasePool
虽然 autorelease 不能直接使用
但是 ARC 有效时
autorelease 功能还是起作用的
ARC 下@ autoreleasePool 代替了 NSAutoreleasePool
__autoreleasing 修饰符 代替了 autorelease 方法
一个例子 :
+ (NSArray *)array {
NSArray *array = [[NSArray alloc] init];
return array;
}
当我们用这个方法获取对象的时候
因为不是 alloc / new / copy / mutableCopy 开头的方法获得的对象
所以自己不持有 array 这个变量
讲道理 array 变量过了作用域应该就被废弃了
但是我们调用这个方法的时候依然能获得 array
能获得 array 说明 array 没有被销毁
没有被销毁就说明有人在持有 array
其实就是 autoreleasePool 在持有 array
作为函数的返回值, 编译器会自动将其注册到 autoreleasePool.
另一个例子 :
NSObject *obj0 = [[NSObject alloc] init];
id __weak obj1 = obj0;
NSLog(@"class=%@",obj1);
其实这段代码被编译器翻译成
NSObject *obj0 = [[NSObject alloc] init];
id __weak obj1 = obj0;
id __autoreleasing tem = obj1;
NSLog(@"class=%@",tem);
为什么要在访问 __weak 修饰的变量必须访问注册到 __autoreleasing 的对象呢?
这是因为 __weak 修饰符只持有对象的弱引用
在对象的访问过程中, 该对象有可能被销毁
就是我这边正在访问呢, 你那边给我把对象毁了, 那我还怎么玩?
所以对象就会自动被注册到 autoreleasePool 中去
另一个例子
我们都知道
id obj 和 id __strong obj 是等价的
NSObject *obj 和 NSObject __strong *obj 是等价的
编译器会自动帮我们加上 strong
那么对于 id* 和 NSArray ** 呢
推出的结果会是 id __strong *obj 和 NSObject * __strong *obj 吗
其实不对
正确的结果是id __autoreleasing *obj 和 NSObject * __autoreleasing * obj
比如我们使用的方法
NSString stringWithContentsOfFile:encoding: error:
编译器的代码提示是这样的 :
最后一个参数是
(NSError * _Nullable __autoreleasing * _Nullable)也就是 NSError**
这个方法的声明是 :
+ (nullable instancetype)stringWithContentsOfFile:(NSString *)path usedEncoding:(nullable NSStringEncoding *)enc error:(NSError **)error;
一般是这么使用 :
NSError *error = nil;
[NSString stringWithContentsOfFile:nil usedEncoding:nil error:&error];
我们知道
只有 alloc / new / copy / mutableCopy 开头的方法获得的对象才是自己生成并持有的
那么使用 __autoreleasing 修饰符的变量作为对象取得参数
也是属于非自己生成的对象
这个对象会被注册到 autoreleasePool 并取得对象并持有对象
另外
在复制给对象指针时, 所有权修饰符必须一致
NSError *error = nil;
NSError **pError = &error;
这时候编译是报错的
因为 NSError *error; 是 NSError __strong *error
而 NSError **pError 是 NSObject * __autoreleasing * obj
这么写是可以的 :
NSError *error = nil;
NSError * __strong *pError = &error;
那么问题来了
我们上面的这段代码
NSError *error = nil;
[NSString stringWithContentsOfFile:nil usedEncoding:nil error:&error];
就是把 strong 的指针 赋值给了 __autoreleasing 指针
为啥不报错呢
其实编译器帮我们做了事情 :
NSError __strong *error = nil;
NSError __autoreleasing *tmp = error;
[NSString stringWithContentsOfFile:nil usedEncoding:nil error:&tmp];
error = tmp
感谢阅读
你的点赞是我写作的唯一动力
