Block基本语法
typedef声明,作Method参数使用
typedef void(^typedefBlock)(int age,NSString *str);
- (void)blockTypedefMethodWithBlock:(typedefBlock)callBack{
callBack(18,@"is my age");
}
属性声明,使用copy
修饰符
@property (nonatomic, copy) typedefBlock myBlock;
基本语法
/**
block基本语法
return_type (^blockName)(var_type) = ^return_type (var_type varName) { // ... };
blockName(var);
*/
- (void)blockBasicGrammar{
//有参无返回值
void(^block1)(int index,NSString *name) = ^void(int index,NSString *name){
NSLog(@"index = %d name = %@",index,name);
};
block1(3,@"kelly");
}
声明Block属性使用copy修饰词
Block三种类型
- 全局块(_NSConcreteGlobalBlock)
- 栈块(_NSConcreteStackBlock)
- 堆块(_NSConcreteMallocBlock)
存储区域
1. 全局块存储在静态区(也叫全局区),相当于OC中的单例;
2. 栈块存储在栈区,超出作用域马上被销毁;
3. 堆块存储在堆区,是一个带引用计数的对象,需自行管理内存。
判断block存储位置
- block不访问外界变量(包括栈中和堆中的变量):block既不在栈中也不在堆中,此时为全局块,ARC和MRC都如此;
- block访问外界变量:
MRC:默认存储在栈区;
ARC:默认存储在堆中,实际上是先放在栈区,在ARC情况下自动拷贝到堆区,自动释放。
block使用copy修饰符的作用:将block从栈区拷贝到堆区。
原因:保存block状态,延长生命周期。因为block存储在栈,其所属变量作用域结束,该block就被释放,__block
变量也同时被释放掉,所以需要copy到堆中。
注意:不同类型block使用copy
效果也不一样,如下图:
__block的使用(改变block的存储区)
例子1,不使用__block
- (void)testMethod {
int anInteger = 42;
void (^testBlock)(void) = ^{
NSLog(@"Integer is : %i", anInteger);
};
anInteger = 50;
testBlock();
}
输出结果:Integer is : 42
例子2,使用__block
- (void)testMethod {
__block int anInteger = 42;
void (^testBlock)(void) = ^{
NSLog(@"Integer is : %i", anInteger);
};
anInteger = 50;
testBlock();
}
输出结果:Integer is : 50
分析
例子1:block把aninteger变量复制为自己私有的const变量,也就是说block会捕获栈上的变量或指针,将其复制为自己私有的const变量。在进行aninterger=50的操作时,block已经将其复制为自己的私有变量,所以修改aninterger的值不会对block里面的值造成影响。
例子2:aninteger是一个局部变量,存储在栈区。给aninteger加入__block
修饰符的作用是只要观察到该变量被block持有,就将该变量在栈中的内存地址存在到堆中,此时不管block外部还是内部aninteger的内存地址都是一样的,进而可以修复aninteger变量的值。
图例
block循环引用
循环引用例子
@property (nonatomic, copy) void (^block)(void);
- (void)configureBlock {
self.block = ^{
[self doSomething];
};
}
在上面代码中声明了一个属性block,所以self对block有一个强引用。而block内部又对self进行一次强引用,这样就形成了一个封闭的环,也就是强引用循环。引用关系如图:
在这种情况下,由于相互引用,内存不能进行释放,造成内存泄漏。解决方案:
__weak
- (void)configureBlock {
__weak typeof(self) weakSelf = self;
self.block = ^{
[weakSelf doSomething];
};
}
使用__weak
之后,block对self就由强引用变为弱引用,这样在属性所指的对象被释放时,属性值也会被释放,打破了block捕获作用域带来的循环引用。
需要注意的是:使用系统的block API不需要考虑循环引用问题,因为只有block对self进行了一次强引用,属于单向强引用,没有形成循环引用。
weak与strong区别
- (void)configureBlock {
__weak typeof(self) weakSelf = self;
self.block = ^{
[weakSelf doSomething]; // weakSelf != nil
// preemption(抢占) weakSelf turned nil
[weakSelf doAnotherThing];
};
}
上面这段代码看上去很正常,但是在并发执行的时候,block的执行时可以抢占的,而且对weakSelf指针的调用时序不同可以导致不同的结果,比如在一个特定时序下weakSelf可能变成nil,这个时候执行doAnotherThing
就会崩溃。为避免这样的问题,使用__strong
进行规避,代码修改:
- (void)configureBlock {
__weak typeof(self) weakSelf = self;
self.block = ^{
__strong typeof(weakSelf) strongSelf = weakSelf;
[strongSelf doSomething]; // strongSelf != nil
// 在抢占的时候,strongSelf还是非nil的。
[strongSelf doAnotherThing];
};
}
总结
- block不作为
property
的时候,可以在block里面直接使用self,比如UIView的animation动画block; - block被声明
property
的时候,需要使用__weak
弱引用,并解决循环引用的问题; - 当和并发执行相关、涉及异步的服务的时候,block可以在之后被执行,并且不会发生关于self是否存在的问题。
网友评论