在初学 iOS 的时候,可能会被灌输这么一个常识,切记 NSString 的 property 的修饰变量要写作 copy ,而不是 strong,那么这是为什么?
经典面试题:为什么 NSString 类型成员变量的修饰属性用 copy 而不是 strong (或 retain ) ?
Test 1
先来模拟一个程序设计错误的场景。有一个叫做 Person 的 Class,其中它拥有一个 NSString 类型的 s_name 属性(代表 name 是 strong),我们想给一个对象的 s_name 赋值,并且之前的赋值变量还想重复使用到其他场景。所以,我们在引入这个 Class 的 ViewController 进行如下操作:
- (void)test1 {
self.one = [[Person alloc] init];
NSMutableString *name = [NSMutableString stringWithFormat:@"iOS"];
self.one.s_name = name;
NSLog(@"%@", self.one.s_name);
[name appendString:@" Source Probe"];
NSLog(@"%@", self.one.s_name);
}
如果在 Person 这个 Class 中,我们的 s_name 的修饰属性是 strong 的话,会看到如下输出结果。
2016-08-12 05:51:21.262 TestCopy[64714:20449045] iOS
2016-08-12 05:51:21.262 TestCopy[64714:20449045] iOS Source Probe
可是,我们操作的仅仅是对 s_name 那个变量,为什么连属性当中的 s_name 也会被改变?对这段代码稍做修改,重新测试。
Test 2
- (void)test2 {
self.one = [[Person alloc] init];
NSString *name = [NSMutableString stringWithFormat:@"iOS"];
self.one.s_name = name;
NSLog(@"%@", self.one.s_name);
name = @"iOS Source Probe";
NSLog(@"%@", self.one.s_name);
}
这一次我们看到了输出结果是正常的:
2016-08-12 05:56:57.162 TestCopy[64842:20459179] iOS
2016-08-12 05:56:57.162 TestCopy[64842:20459179] iOS
Test 3
再来做第三个实验,我们换用 copy 类型的成员 c_name,来替换实验1中的 s_name ,查看一下输出结果。
最后发现输出结果依旧是我们所需要的。
- (void)test3 {
self.one = [[Person alloc] init];
NSMutableString *name = [NSMutableString stringWithFormat:@"iOS"];
self.one.c_name = name;
NSLog(@"%@", self.one.c_name);
[name appendString:@" Source Probe"];
NSLog(@"%@", self.one.c_name);
}
2016-08-12 06:03:40.226 TestCopy[64922:20479646] iOS
2016-08-12 06:03:40.227 TestCopy[64922:20479646] iOS
做过如上三个实验,或许你会知道对 property 使用 copy 修饰属性的原因了。也就是在一个特定场景下:当我们通过一个 NSMutableString 对 NSString 变量进行赋值,如果 NSString 的 property 是 strong 类型的时候,就会随着 NSMutableString 类型的变量一起变化。
这个猜测是正确的。在 stackoverflow 上也对这个场景进行单独的描述。可是原因是什么?继续做下面的实验:
Test 4
- (void)test4 {
NSMutableString *str = [NSMutableString stringWithFormat:@"iOS"];
NSLog(@"%p", str);
NSString *str_a = str;
NSLog(@"%p", str_a);
NSString *str_b = [str copy];
NSLog(@"%p", str_b);
}
输出地址后,我们发现以下结果:
2016-08-12 06:15:45.169 TestCopy[65230:20515110] 0x7faf28429e70
2016-08-12 06:15:45.170 TestCopy[65230:20515110] 0x7faf28429e70
2016-08-12 06:15:45.170 TestCopy[65230:20515110] 0xa00000000534f693
发现当令 NSString 对象指针指向一个 NSMutableString 的时候,则会对一个对象进行深复制。这也就是我们一直所说的在一个 Class 的成员是 NSString 类型的时候,修饰属性应该使用 copy ,其实就是在使用 mutable 对象进行赋值的时候,防止 mutable 对象的改变从而影响成员变量。从 MRC 的角度来看待修饰属性,若一个属性的关键字为 retain (可等同于 strong ),则在进行指针的指向修改时,如上面的self.one.name = str,其实是执行了self.one.name = [str retain],而 copy 类型的属性则会执行self.one.name = [str copy]。
而在 Test 2 中,我们的实验是将一个 NSString 对象指向另外一个 NSString 对象,那么如果前者是 copy 的成员,还会进行深复制吗?进行下面的 Test 5,我们令 c_name 的修饰变量为 copy。
Test 5
- (void)test5 {
self.one = [[Person alloc] init];
NSString *name = [NSMutableString stringWithFormat:@"iOS"];
self.one.c_name = name;
NSLog(@"%@", self.one.c_name);
name = @"iOS Source Probe";
NSLog(@"%@", self.one.c_name);
NSString *str = [NSString stringWithFormat:@"iOS"];
NSLog(@"%p", str);
NSString *str_a = str;
NSLog(@"%p", str_a);
NSString *str_b = [str copy];
NSLog(@"%p", str_b);
}
发现结果符合猜测:
2016-08-12 08:09:28.125 TestCopy[66402:20671038] iOS
2016-08-12 08:09:28.126 TestCopy[66402:20671038] iOS
2016-08-12 08:09:28.126 TestCopy[66402:20671038] 0xa00000000534f693
2016-08-12 08:09:28.126 TestCopy[66402:20671038] 0xa00000000534f693
2016-08-12 08:09:28.126 TestCopy[66402:20671038] 0xa00000000534f693
从一个 NSString 进行 copy 后赋值,copy 方法仍旧是浅拷贝。这个效果就等同于str_b = [str retain],在 ARC 中即 str_b = str。那么,如何在这种情况下,让str_b指向一个str的深拷贝呢,答案就是str_b = [str mutableCopy]。这也就是 copy 和 mutableCopy 的区别。
copy & mutableCopy
下面我们开始对 copy 和 mutableCopy 原理进行分析。以下也是我的源码学习笔记。
如下方法是关于 copy 的:
- (id)copy {
return [(id)self copyWithZone:nil];
}
- (id)mutableCopy {
return [(id)self mutableCopyWithZone:nil];
}
发现copy和mutableCopy两个方法只是简单调用了copyWithZone:和mutableCopyWithZone:两个方法。所以有了以下猜想:对于 NSString 和 NSMutableString,Foundation 框架已经为我们实现了 copyWithZone 和 mutableCopyWithZone 的源码。我在searchcode.com找到了 Hack 版的 NSString 和 NSMutableString 的 Source Code。
在NSString.m中,看到了以下关于 copy 的方法。
- (id)copyWithZone:(NSZone *)zone {
if (NSStringClass == Nil)
NSStringClass = [NSString class];
return RETAIN(self);
}
- (id)mutableCopyWithZone:(NSZone*)zone {
return [[NSMutableString allocWithZone:zone] initWithString:self];
}
而在 NSMutableString.m 中只发现了copyWithZone: 和copy:方法,并且它调用了父类的全能初始化方法(designated initializer),所以构造出来的对象是由 NSString 持有的:
-(id)copy {
return [[NSString alloc] initWithString:self];
}
-(id)copyWithZone:(NSZone*)zone {
return [[NSString allocWithZone:zone] initWithString:self];
}
也就是说, NSMutableString 进行 copy 的对象从源码上看也会变成深复制方法。我们做下试验。
Test 6
- (void)test6 {
NSMutableString *str = [NSMutableString stringWithFormat:@"iOS"];
NSLog(@"%p", str);
NSMutableString *str2 = [str copy];
NSLog(@"%p", str2);
}
2016-08-12 15:12:12.845 TestCopy[73658:21549553] 0x7f96f8410e10
2016-08-12 15:12:12.846 TestCopy[73658:21549553] 0xa00000000534f693
输出结果如我们所预料的,同样是 NSMutableString 之间的指针传递,即使类型相同,使用了该类型下的 copy 方法,也会变成深复制,因为返回的对象如源码所示,调用了 NSString 的全能初始化方法,并且由一个新的 NSString 持有。那么在 NSMutableString 中使用mutableCopy,可以做到单纯的 retain 操作吗。答案也是否定的,同样是源码中写道,在源码中并没有重写mutableCopy方法,也没有实现mutableCopyWithZone:方法,所以会调用父类的mutableCopyWithZone。而在父类中 mutableCopyWithZone:方法中调用了 NSMutableString 的全局初始化方法,所以依旧是深复制。
以上原则试用于大多数 Foundation 框架中的常用类,如 NSArray 、 NSDictionary 等等。