【iOS开发】另类角度分析 OC 中的 Copy 和 MutableCopy

前言

网上有很多关于 copy 和 mutableCopy 的文章，讲的很详细。但是我发现一个问题，每次看这些文章的时候感觉已经理解了，可是过了一段时间后，对两者理解就会变得模糊，这使得我感到很困惑。我相信，同样的情况的不止我一个。
我觉得，这不是我的理解能力的问题，而是这些文章的对两者的解释很容易造成对两者的理解的记忆模糊。这次，我发现的一种另类的对两者的理解方式，特意记录下来，同时分享给大家。

对 copy 和 mutableCopy 的理解

下面是我对 copy 和 mutableCopy 的理解

首先是我们使用 copy 或 mutableCopy 的 目的

我们为什么要使用 copy 或 mutableCopy？
如果我们暂不考虑 copy 和 mutableCopy 的实际功能，其实我们的目的就是要得到一个 源对象 的 副本对象。 如果不是为了得到 副本对象，我们大可以新声明一个指针变量，指向该对象即可。

其次 copy 和 mutableCopy 的 字面理解

copy 目的是得到一个 不可变 的副本对象；
mutableCopy 目的是得到一个 可变 的副本对象。

再次 copy 和 mutableCopy 的 一个原则

源对象 与 副本对象 互不影响。

实例分析

实例代码1：

    //源对象
    NSString *test1 = @"dsgaaga";
    
    //副本对象
    NSString *test2 = test1.copy;
    NSString *test3 = test1.mutableCopy;
    
    //副本对象
    NSMutableString *test4 = test1.copy;
    NSMutableString *test5 = test1.mutableCopy;
    
    NSLog(@"test1 %@ = %p", test1, test1);
    
    NSLog(@"test2 %@ = %p", test2, test2);
    NSLog(@"test3 %@ = %p", test3, test3);
    
    NSLog(@"test4 %@ = %p", test4, test4);
    NSLog(@"test5 %@ = %p", test5, test5);

输出结果1：

test1 dsgaaga = 0x109c45068
test2 dsgaaga = 0x109c45068
test3 dsgaaga = 0x6000005e9020
test4 dsgaaga = 0x109c45068
test5 dsgaaga = 0x6000005e8e70

断点变量截图1：

断点变量截图1

分析：

• 上面的数据中，test2、test4 和 test1 的对象地址相同；test3、test5 和 test1 的对象地址不同，并且 test3 和 test5 也不同。这和我们的预期相同。

结论1：

当 源对象 是不可变对象时，copy 都是直接将 源对象 的地址返回；mutableCopy 会像先复制 源对象 本身，生成 副本对象，再将 副本对象 的地址返回。

实例代码2：

    //源对象
    NSMutableString *test10 = [NSMutableString stringWithString:test1];
    [test10 appendString:@"345"];
    
    //副本对象
    NSString *test11 = test10.copy;
    NSString *test12 = test10.mutableCopy;
    
    //副本对象
    NSMutableString *test13 = test10.copy;
    NSMutableString *test14 = test10.mutableCopy;

    NSLog(@"test10 %@ = %p", test10, test10);
    
    NSLog(@"test11 %@ = %p", test11, test11);
    NSLog(@"test12 %@ = %p", test12, test12);
    
    NSLog(@"test13 %@ = %p", test13, test13);
    NSLog(@"test14 %@ = %p", test14, test14);

输出结果2：

test10 dsgaaga345 = 0x600002605350
test11 dsgaaga345 = 0x60000287a740
test12 dsgaaga345 = 0x600002605440
test13 dsgaaga345 = 0x60000287a480
test14 dsgaaga345 = 0x6000026053e0

断点变量截图2：

断点变量截图2

分析：

• 上面的数据中，test10、test11、test12、test13、test14 的对象地址都各不相同。

结论2：

当 源对象 是可变对象时，copy 和 mutableCopy 都会像先复制 源对象 本身，生成 副本对象，再将 副本对象 的地址返回。

实例代码3：

    [test3 performSelector:@selector(appendString:) withObject:@"456"];
    [test5 appendString:@"234"];
    
    NSLog(@"test4 %@ = %p", test4, test4);
    NSLog(@"test5 %@ = %p", test5, test5);

断点变量截图3：

断点变量截图3

代码截图3：

代码截图3

实例代码4：

   //[test11 performSelector:@selector(appendString:) withObject:@"567"];
    [test13 performSelector:@selector(appendString:) withObject:@"567"];
    
    //NSLog(@"test11 %@ = %p", test11, test11);
    NSLog(@"test13 %@ = %p", test13, test13);

• 从断点变量截图1、2、3中，我们还发现的一个值得注意的事情，mutableCopy 返回的对象 类型是 __NSCFString；copy 返回的 对象类型 取决于 源对象。当源对象为不可变对象时，copy 返回的 对象类型为 __NSCFConstantString，当源对象为可变对象时，copy 返回的 对象类型为 NSTaggedpointerString。 通过实例代码3、4，实验发现，实例代码3，可正常运行， test3 和 test4 可修改；实例代码4，可导致程序崩溃，test12 __NSCFString 是可变字符串对象类型，__NSCFConstantString 和 NSTaggedpointerString 是不可变字符串对象类型。

结论3：

mutableCopy 返回的对象 类型是 可变的；copy 返回的 对象类型 是 不可变的。

• 从实例代码3 中的代码，结合断点变量截图3 和 代码截图3，我们验证了结论3。

结论4：

mutableCopy 返回的对象 类型是 可变的；copy 返回的 对象类型 和 源对象 相同。指针变量类型，决定了我们访问对象的方式；对象本身的类型，决定了我们访问对象的方式的合法性 和 具体功能。

总结

1、 copy 和 mutableCopy 返回的对象类型和接收它地址的指针变量类型无关。指针变量类型，决定了我们访问对象的方式；对象本身的类型，决定了我们访问对象的方式的合法性 和 具体功能

2、 当源对象为不可变对象时
copy 都是直接将 源对象 的地址返回；mutableCopy 会像先复制 源对象 本身，生成 副本对象，再将 副本对象 的地址返回。
3、 当源对象为可变对象时
copy 和 mutableCopy 都会像先复制 源对象 本身，生成 副本对象，再将 副本对象 的地址返回。

4、mutableCopy 预期生成的副本对象 是可变的；copy 预期生成的副本对象是不可变的。是否复制对象本身，取决于 源对象 和 预期生成的 副本对象 是否都为 不可变对象。都为不可变对象时，不复制对象本身，直接返回源对象地址

原则：源对象 和 副本对象 互不影响。

根据结论1、4和原则，我们就可以分析各种情况下，是否复制源对象本身了。

参考：https://www.jianshu.com/p/d01429a4b5c0