定义
带有自动变量(局部变量)的匿名函数。
类型
- _NSConcreteStackBlock 栈上的block
只用到外部局部变量、成员属性变量,且没有强指针引用的block都是StackBlock。 StackBlock的生命周期由系统控制的,一旦返回之后,就被系统销毁了。
- _NSConcreteMallocBlock 堆上的block
有强指针引用或copy修饰的成员属性引用的block会被复制一份到堆中成为MallocBlock,没有强指针引用即销毁,生命周期由程序员控制。
- _NSConcreteGlobalBlock 作为全局变量的block
没有用到外界变量或只用到全局变量、静态变量的block为GlobalBlock,生命周期从创建到应用程序结束。
1、block作为全局变量
2、block表达式中不使用截获的自变量时
int main() {
typedef int(^blk_t)(int);
typedef void(^blk_t_2)(void);
for (int rate = 0; rate < 10; ++rate) {
blk_t blk = ^(int count) {
return count;
};
blk_t blk1 = ^(int count) {
return count * rate;
};
blk_t_2 blk_2 = ^() {
};
blk_t_2 blk_21 = ^() {
rate;
};
}
return 0;
}
栈上block复制到堆上的时机
1、调用block的copy方法时
2、block作为函数返回值时
3、将block赋值给__strong修饰符id类型的类或者block类型成员变量时
4、在方法名中含有usingBlock的Cocoa框架方法或者GCD的api中传递block时
block对变量的捕获规则:
1.静态存储区的变量:例如全局变量、方法中的static变量
引用,可修改。
2.block接受的参数
传值,可修改,和一般函数的参数相同。
3.栈变量 (被捕获的上下文变量)
const,不可修改。 当block被copy后,block会对 id类型的变量产生强引用。
每次执行block时,捕获到的变量都是最初的值。
对于被捕获的基本数据类型的变量来说是const的。
对于指针类型的变量来说这个指针是const的,但是指针指向的变量来说是可以修改的。比如下面例子中str是可以修改的。
#import <Foundation/Foundation.h>
int main(int argc, const char * argv[]) {
NSMutableString * str = [[NSMutableString alloc]initWithString:@"Hello,"];
void (^myBlock)(void) = ^{
[str appendString:@"World!"];
NSLog(@"Block中 str = %@",str);
};
NSLog(@"Block外 str = %@",str);
myBlock();
return 0;
}
4.栈变量 (有__block前缀)
引用,可以修改。如果MRC时id类型则不会被block retain,必须手动处理其内存管理。ARC时会被block retain。
如果该类型是C类型变量,block被copy到heap后,该值也会被挪动到heap
__block在arc和非arc下含义一样吗?
是不一样的。
在MRC环境下,__block根本不会对指针所指向的对象执行copy操作,而只是把指针进行的复制。 而在ARC环境下,对于声明为__block的外部对象,在block内部会进行retain,以至于在block环境内能安全的引用外部对象,所以才会产生循环引用的问题!
在ARC环境下,对于没有声明为__block的外部对象,也会被retain。
Block为什么使用copy
block 使用 copy 是从 MRC 遗留下来的“传统”,在 MRC 中,方法内部的 block 是在栈区的,使用 copy 可以把它放到堆区.在 ARC 中写不写都行:对于 block 使用 copy 还是 strong 效果是一样的,但写上 copy 也无伤大雅,还能时刻提醒我们:编译器自动对 block 进行了 copy 操作。
1、https://blog.ibireme.com/2013/11/27/objc-block/
2、https://halfrost.com/ios_block/