知识点：可变数组的属性使用copy修饰的后果

image

问题

视频What's New in LLVM
中，从12:05的时间开始有个关于NSMutableArray可变数组属性的使用问题。

image

运行后报错图如下：

image

分析

self.photos的实际类型是 __NSMutable0,也就NSArray类型。没有addObject的方法。

进一步探讨

1. OC是门动态型语言，在编译阶段不会做类型检测。OC的内存管理是引用计数，在ARC环境下，属性@property的内存管理语义关键字有copy,weak,strong,asssin。在编译阶段，默认情况下编译器会生成一个成员变量、一个setter方法、一个getter方法。而在setter方法中，会根据内存管理语义做相应的引用计数相关的操作。当使用copy修饰属性时，在setter中实际操作是拷贝了一份不可变的类型对象。这样的话，即使是其是可变类型，在被赋值后，我们得到的是却是不可变类型的对象。

2. OC具有多态性，父类可以指向子类。对象最终类型会在运行期根据实例化对象确认。在运行时阶段其isa指向的是[NSArray Class]。那么当向self.photos发送一个addObject消息时，self.photos对象是接收不到这个消息的。因为addObject是NSArray的子类NSMutbleArray的方法。

3. 属性语义多种：

• 原子性（Atomicity）:原子性(atomic)、非原子性(nonatomic)
• Setter语义（Setter Semantics）:strong,weak,copy,asssin
• 读写属性(Writability): readwrite/readonly
  原子性是具有线程安全的，会在属性的setter方法内部加个一个自旋锁、而非原子性是不会在setter方法中加锁的，是非线程安全的。在小型设备的上，内存空间是有限的。给属性加自旋锁是非常消耗资源的。并且不一定说使用了原子性就能保证该属性线程安全。这个仅仅是在setter方法中是安全的，这也是atomic该做的事。如果绕开setter方法使用其他的方式给属性赋值，依然是不安全的，比如使用KVC。

4. ARC下，属性的默认语义是：

• 基本数据：atomic、assgin、readwrite
• 普通的OC对象：atomic、strong、readwrite

在此情况下，实际编译器添加setter方法如下：

// ARC
- (void)setPhotos:(NSMutableArray<UIImage *> *)photos{
    // 1. 开始加锁，非自然语言，这里不写代码了
    _photos = [photos copy];
    // 2. 加锁结束
}

那么得到的是个self.photos实际是NSArray类。

从上就发现了2个问题：属性就是使用了关键字atomic、copy修饰。那么这里会加锁并且得到NSArray类的self.photos。

相关概念：

1. 自旋锁：当上一个线程的任务没有执行完毕的时候（被锁住），那么下一个线程会一直等待（不会睡眠），当上一个线程的任务执行完毕，下一个线程会立即执行。
2. 自旋锁应用场景：
   比较适合做一些不耗时的操作

解决

1、修改copy语义在setter中默认内容：

方式一:
手动重写setter方法，使用赋值前mutableCopy。如下，这样获取到的就是NSMutableArray类型的对象。

- (void)setPhotos:(NSMutableArray<UIImage *> *)photos{
    _photos = [photos mutableCopy];
}

方式二:
使用关键字strong修饰属性。我们得到的依然是可变类型。

- (void)setPhotos:(NSMutableArray<UIImage *> *)photos{
    _photos = photos;
}

2、原子性修改：
使用：nonatomic，减少小型设备中性能消耗。