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

问题

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


运行后报错图如下:

分析

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。
  1. 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,减少小型设备中性能消耗。

原文地址:https://www.cnblogs.com/blogwithstudyofwyn/p/9967221.html