iOS 中，Atomic 修饰 NSString、 NSArray，也会线程不安全

众所周知，基础类型如 int、float 的变量被 atomic 修饰后就具有原子性，则线程安全。

然而有些情况，atomic 修饰后不一定是线程安全的。

atomic 修饰 NSString，NSArray 的时候，只是保障首地址（数组名）原子性，而首地址指向的是一整片内存空间。若多线程 A 访问 length 或 count，然后线程 B 把数组的元素删去了几个，那么待会线程 A 访问就出现了数组越界。

解决方法是：对数据结构的 add 和 remove 操作加锁。NSArray 不可修改的话，可以继承它，自定义带锁的 add 和 remove 方法。现有的实现。SynchronizedArray 就是这样的思路。

@property (atomic, strong) NSArray* arr;

//thread A
for (int i = 0; i < 100000; i ++) {
    if (i % 2 == 0) {
        self.arr = @[@"1", @"2", @"3"];
    }
    else {
        self.arr = @[@"1"]; // i % 2  为奇数时，直接缩短数组长度。
    }
    NSLog(@"Thread A: %@\n", self.arr);
}

//thread B
for (int i = 0; i < 100000; i ++) {
// 先访问了 count，然后被线程 A 打断，数组长度被缩减。那么待会回来重新访问的时候，就会越界 crash。
    if (self.arr.count >= 2) { 
        NSString* str = [self.arr objectAtIndex:1];
    }
    NSLog(@"Thread B: %@\n", self.arr);
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21