iOS中为什么block用copy属性

Posted 2020-06-29 球哥-chg

1. Block的声明和线程安全
Block属性的声明，首先需要用copy修饰符，因为只有copy后的Block才会在堆中，栈中的Block的生命周期是和栈绑定的，可以参考之前的文章（ios: 非ARC下返回Block）。
另一个需要注意的问题是关于线程安全，在声明Block属性时需要确认“在调用Block时另一个线程有没有可能去修改Block？”这个问题，如果确定不会有这种情况发生的话，那么Block属性声明可以用nonatomic。如果不肯定的话（通常情况是这样的），那么你首先需要声明Block属性为atomic，也就是先保证变量的原子性（Objective-C并没有强制规定指针读写的原子性，C#有）。
比如这样一个Block类型：
typedef void (^MyBlockType)(int);

属性声明：
@property (copy) MyBlockType myBlock;

这里ARC和非ARC声明都是一样的，当然注意在非ARC下要release Block。

但是，有了atomic来保证基本的原子性还是没有达到线程安全的，接着在调用时需要把Block先赋值给本地变量，以防止Block突然改变。因为如果不这样的话，即便是先判断了Block属性不为空，在调用之前，一旦另一个线程把Block属性设空了，程序就会crash，如下代码：
if (self.myBlock)
{
//此时，走到这里，self.myBlock可能被另一个线程改为空，造成crash
//注意：atomic只会确保myBlock的原子性，这种操作本身还是非线程安全的
self.myBlock(123);
}

所以正确的代码是（ARC）：
MyBlockType block = self.myBlock;
//block现在是本地不可变的
if (block)
{
block(123);
}

在非ARC下则需要手动retain一下，否则如果属性被置空，本地变量就成了野指针了，如下代码：
//非ARC
MyBlockType block = [self.myBlock retain];
if (block)
{
block(123);
}
[block release];