iOS: ARC和非ARC下使用Block属性的问题

目录

1. Block的声明和调用

2. 循环引用问题

 
返回目录

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];

 

 
返回目录

2. 循环引用问题

循环引用是另一个使用Block时常见的问题。

在ARC下，由于

__block

抓取的变量一样会被Block 

retain

，所以必须用弱引用才可以解决循环引用问题，iOS
5之后可以直接使用

__weak

，之前则只能使用

__unsafe_unretained

了，

__unsafe_unretained

缺点是指针释放后自己不会置空。示例代码：

//iOS 5之前可以用__unsafe_unretained
//__unsafe_unretained typeof(self) weakSelf = self;
__weak typeof(self) weakSelf = self;
self.myBlock = ^(int paramInt)
{
//使用weakSelf访问self成员
[weakSelf anotherFunc];
};

 

在非ARC下，显然无法使用弱引用，这里就可以直接使用

__block

来修饰变量，它不会被Block所

retain

的，参考代码：

//非ARC
__block typeof(self) weakSelf = self;
self.myBlock = ^(int paramInt)
{
//使用weakSelf访问self成员
[weakSelf anotherFunc];
};

Related Posts:

iOS: 非ARC下返回Block 

iOS: 属性声明strong和retain竟然不一样 

iOS: Foundation和Core Foundation之间的Toll-Free Bridging 

 READ 10 COMMENTS

Pingback: iOS: 属性声明strong和retain竟然不一样 | Mgen

你好！

请问文章中写的

MyBlockType block = self.myBlock;

//block现在是本地不可变的

这里说block现在是本地不可变的我不太理解，为何是不可变的呢？它背后做了什么操作呢？

向勇 在 2015年6月29日 at 下午3:58 发表
回复

你好，这里“本地不可变”的就是指当执行完

MyBlockType
block = self.myBlock;

后，无论现在

self.myBlock

被设置成什么，

block

变量本身是不变的，可以安全调用。

Mgen 在 2015年6月29日 at 下午6:06 发表
回复 向勇回复

哦，那这里的 MyBlockType block = self.myBlock 赋值操作是将self.myBlock的内容复制了一份给block、block与self.myBlock任意一个内容被改变都不影响另一个的内容，是这样吗？ 可是Block不也是一种对象吗？为何赋值的操作却相当于基本数据类型呢？谢谢你的回答~

向勇 在 2015年7月1日 at 下午5:43 发表
回复 Mgen回复

哦，那这里的 MyBlockType block = self.myBlock 赋值操作是将self.myBlock的内容复制了一份给block、block与self.myBlock任意一个内容被改变都不影响另一个的内容，是这样吗？ 可是Block不也是一种对象吗？为何赋值的操作却相当于基本数据类型呢？谢谢你的回答~

向勇 在 2015年7月6日 at 下午12:45 发表
回复

其实很好理解，这样：

//////////////////////////////////////////////

int *a = 地址1;

//此时假设另一个线程修改了a = 地址2

//现在你再用a它就是地址2了

//那么这样int *a = 地址1;

int *b = a;

//此时和上面一样，假设另一个线程修改了a = 地址2

//但是这里你用变量b，他的值还是“地址1”

////////////////////////////////////

我所说的不变就是这样，和他是指针（对象）还是基础类型没有关系，其实更好的方法是这样：

////////////////////////////

这里加锁

if (self.myBlock)

{

self.myBlock(123);

}

这里释放锁

///////////////////////////////

一切目的就是让if判断和后面的block调用访问同一个变量，文章也有说明，这个仅限于在调用block时另一个线程可能会修改这个block的情况！

（我发现有些时候评论人直接回复我的评论（而不是回复文章）时，我会收不到通知，今天看这篇文章才看到评论，所以回复的比较晚，抱歉，如有疑问欢迎继续讨论 :D）

Mgen 在 2015年7月24日 at 下午11:48 发表
回复 向勇回复

能讲解一下__block 和 __weak 在ARC环境中的区别吗

lee 在 2015年9月16日 at 下午9:27 发表
回复

文中标题2已经解释了？有具体的疑问吗？欢迎讨论。

Mgen 在 2015年9月22日 at 下午10:35 发表
回复 lee回复

时隔几个月再来学习了，谢谢你的认真回复~ 学习了专业知识，也学习了你乐于助人的善意~

向勇 在 2015年10月21日 at 上午11:20 发表