根据拷贝内容的不同,分为深浅拷贝
苹果为什么这么设计呢?总结起来很简单:即安全又省内存。但是要理解或者避免踩一些坑,还需要看下面的介绍
不得不先说到内存,又不得不说内存分区:程序底层——程序如何在 RAM ROM 运行,内存分配与分区
看下面图片:
obj1 是定义在函数外部的全局变量,处于全局区;obj2 是定义在函数内的局部变量,处于栈区。它们都指向了处于堆区的对象。
obj1 与 obj2 是指针,它们指向的对象是内容,那么现在再看深浅拷贝的现象,或者说执行的结果:浅拷贝只是多个指针指向同一对象内容,深拷贝就是每个指针都指向了一个对象内容,互不影响。
自定义对象需要自己实现 NSCoping 协议,一般情况下,自定义对象都是可变对象,本节讨论的也都是针对系统对象
指针也是会存在堆区的,比如在 block 里面我们知道,如果指针使用了__block 修饰,那么指针会存放在堆区。
无论是集合对象还是非集合对象,在收到 copy 和 mutableCopy 消息时,都遵守以下规则:
那么很简单,可变与不可变对象的转变:
系统提供的集合类型,比如字典、数组、NSSet 等集合类型内存基本都是如下结构:集合内存结构图
我们可以上面代码(代码处于方法内)做个分析,加深对内存的理解。
是 const 属性,因此处于常量区,指针
- @"123"、@"456"
局部变量指针处于栈区,
- str1、str2、arr
数组内容存放位置处于堆区,数组里面的内容存放的是指针 str1 与 str2,当然处于堆区
- @[]
其实
相当于
- arr = @[str1,str2]
,数组里面有两个强指针指向了对象
- [arr addObject:str1];[arr addObject:str2];
与
- @"123"
。
- @"456"
图中只是字符串是常量所以在常量区,如果他们是 NSDate、UIView 等等则会处于堆区
下面的分析也是基于三种程度的拷贝,记为 CopyLevel,拷贝层次,简写 CL1、CL2、CL3
毫无疑问,CL1 是肯定会进行的。重点就在于 CL2 于 CL3.
下面代码,不可变集合 arrM1 的 copy 与 mutableCopy。arrM2:mutableCopy,arr:copy
下面代码,可变集合 arrM1 的 copy 与 mutableCopy。arrM2:mutableCopy,arr:copy
我们知道,对于非集合对象,有如下结论:
- // 不可变,线程安全
- [immutableObject copy] // 浅复制
- [immutableObject mutableCopy] // 深复制,对于集合则是只拷⻉贝数组的内容,数组的内容是指针,而指针的内容不会被拷⻉
- // 可变对象,线程不安全
- [mutableObject copy] //深复制,对于集合则是只拷⻉贝数组的内容,数组的内容是指针,而指针的内容不会被拷⻉
- [mutableObject mutableCopy] //深复制,对于集合则是只拷⻉贝数组的内容,数组的内容是指针,而指针的内容不会被拷⻉
我们需要使用
方法,且 flag 为 YES。
- - (instancetype)initWithArray:(NSArray<ObjectType> *)array copyItems:(BOOL)flag;
可以看到,三行打印结果都不一样,即发生了 CL3 层的拷贝。
此方法执行后,arrM1 集合里的每个对象都会收到 copyWithZone: 消息。如果集合里的对象遵循 NSCopying 协议,那么对象就会被深拷贝到新的集合,如果没有遵循就直接崩溃了。
等一等,好像有另一个问题:此方法只是会给集合的每个对象发送
方法,那么对于不可变对象,
- copyWithZone:
的执行还是浅拷贝。读者大概也注意到了,图中示例代码,arrM1 数组存的也是可变对象 dict1,所以有 CL3 层的拷贝。那如果 arrM1 存的不是可变对象呢?结果就是没有 CL3 层的拷贝,大家可以用代码测试下!
- copyWithZone:
为啥叫单层深复制呢? 因为它只给 arrM1 数组存的对象发送了
方法,而没有对 dict1 发送
- copyWithZone:
方法,dict1 也是集合,它里面也存放着对象呢。。。即集合里面存放的集合。。。好绕,哈哈
- copyWithZone:
另外,除了此方法,集合的解档归档,也是可以实现单层深拷贝的。
绕的东西就到这里,下面看些感兴趣的东西:
有一点需要注意了:copy 返回值为不可变对象,如果使用可变对象的接口就会 crash。例如:
- - (void) arrMCopyTest {
- NSMutableArray * arrM = [NSMutableArray arrayWithObjects: @"123", @"456", nil];
- NSMutableArray * arr = [arrM copy];
- // 下面代码崩溃
- [arr addObject: @"789"];
- }
返回的是不可变类型,即 NSArray,向一个 NSArray 对象发送 addObject 消息当然方法找不到崩溃。
- [arrM copy];
另一个问题,arr 是 NSMutableArray 类型,它指向父类 NSArray 编译器为什么不报错呢?copy 返回的是 id 类型,编译器不会对 id(俗称万能指针) 进行类型检查,所以会经常看到推荐使用 instancetype,而不是 id
下面的类似错误就很常见了:
- @property(nonatomic, copy) NSMutableArray * arr;
- - (void) arrMCopyTest {
- NSMutableArray * arrM = [NSMutableArray arrayWithObjects: @"123", @"456", nil];
- self.arr = arrM;
- // 下面代码崩溃
- [self.arr addObject: @"789"];
- }
因为 self.arr 为 copy 修饰,那么
就相当于
- self.arr = arrM
- _arr = [arrM copy]
- @property(nonatomic, copy) NSString * str; - (void) viewDidLoad {
- NSMutableString * str = [NSMutableString stringWithFormat: @"123"];
- // self.str = str;
- _str = str;
- dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(3 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
- [str appendString: @"456"];
- NSLog(@"change");
- });
- }
这里在 block 里面对 str 进行操作,居然没有对它进行__block 修饰!!!感兴趣可以看看这篇博客:iOS 中 block 的使用、实现底层、循环引用、存储位置
打印结果:
- 2017 - 07 - 23 00 : 33 : 06.344 CopyTest[95611 : 31912803] 123 2017 - 07 - 23 00 : 33 : 07.518 CopyTest[95611 : 31912803] change 2017 - 07 - 23 00 : 33 : 08.636 CopyTest[95611 : 31912803] 123456
都是 123456,self.str 被意外改变了,如果将代码
-->
- _str = str;
值就不会改变了。因为相当于
- self.str = str;
。
- _str = [str copy];
所以建议除了在初始化时 (init 方法中),苹果推荐我们使用
下划线的方式直接访问变量,其它地方尽量使用
- _
来访问。另外我们还经常 getter 或者 setter 方法里面做一些自定义操作,如果
- self.
方式则这些自定义操作就不会被执行。而且在 block 里面使用
- _
方式访问变量会更隐蔽的引起循环引用的问题!
- _
- @property(nonatomic, copy) NSString * str;
- - (void) setStr: (NSString * ) str {
- // _str = str; 不要这样写
- _str = [str copy];
- }
讲了这些,大家会不会猛然想到
- @property(nonatomic, weak) id delegate;
- _delegate = obj;
这样会不会造成
为指向的对象引用计数为 0 时,系统还会不会将
- _delegate
置为 nil?答案是,您多虑了,会的。这和 copy 不一样。为啥不一样?牵涉到 runtime 哈希表什么的就不在展开了。。。
- _delegate
来源: http://www.cnblogs.com/mddblog/p/7236138.html