第2章 Blocks
2.1 什么事Blocks:是C语言的扩充功能。带有自动变量(局部变量)的匿名函数。
C语言中函数可能使用的变量:
自动变量(局部变量)
函数的参数
静态变量(静态局部变量)
静态全局变量
全局变量
后三个在函数多次调用之间能够传递值
在计算机科学中,此概念也称为闭包(Closure)、lambda计算。
C + Blocks Block
Smalltalk Block
Ruby Block
Python Lambda
C++ Lambda
JS Anonymous function
2.2 Blocks 模式
2.2.1 语法:1、没有函数名 2、带有^
^void ( int event ) {
printf();
}
^ 返回值类型 参数列表 表达式 :无返回值,返回值类型省略。无参数时,参数列表省略。
2.2.2 Block 类型变量
C语言中 int (*funcptr)(int) = &func; 函数func的地址就赋值给函数指针类型变量funcptr中了
Block既指源代码中的Block语法,也指有Block语法生成的值。
声明Block类型的变量 int (^blk)(int); 与一般的C语言变量完全相同。
typedef int(^blk_t)(int) 声明blk_t类型的变量。
Block类型变量指针,即Block的指针类型变量
blk_t blk = ^(int count){return count + 1; };
blk_t *blkptr = &blk;
(*blkptr)(10);
2.2.3 截获自动变量值 Block使用的是它之前声明的自动变量。
使用附有__block 说明符的自动变量可在Block中赋值,该变量称为__block变量
截获的自动变量可以被使用,但不可给截获的自动变量赋值。若想赋值使用__block修饰
2.3 Blocks 的实现
带有自动变量值的匿名函数。实际上是作为极普通的C语言源代码来处理的。
所谓Block就是Objective-C对象
所谓“截获自动变量”意味着在执行Block语法时,Block语法表达式所使用的自动变量值被保存到Block的结构体实例中。
不能改写被截获的自动变量的值。
在Block中保存值:
静态变量、静态全局变量、全局变量
使用__block说明符(修饰的自动变量生成结构体实例,有一个__forwarding结构体指针指向自身)
a. NSConcreteStackBlock Block对象设置在栈上 copy 从栈复制到堆
设置在栈上的Block,其所属的变量作用域结束,该Block被废弃。__block变量也一样。
b. NSConcreteGlobalBlock Block对象设置在程序的数据区域(.data区)上 什么也不做
使用全局变量的地方不能使用自动变量,所以不存在自动变量截获。
Block结构体实例的内容不依赖于执行时的状态,所以整个程序只需一个实例
只要Block不截获自动变量,就可以将Block用结构体实例设置在程序的数据区域
c. NSConcreteMallocBlock Block对象设置在内存块(即堆)上 引用计数增加
__block变量会跟随Block从栈复制到堆时一起被赋值,此时Block持有__block变量。
别的Block从栈复制到堆时,被复制的Block持有的__block变量,并增加__block变量的引用计数
堆上的Block被废弃,它所使用的__block也被释放。(没有持有者被废弃)
__block复制到堆之后,栈上的__block变量的__forwarding结构体指针指向复制到堆上的__block变量用结构体的指针
将BLock作为函数返回值返回时,编译器会自动生成复制到堆上的代码
不需要手动复制:
Cocoa框架下的方法且方法名中含有usingBlock
GCD的API
截获对象:
_Block_object_assgin()相当于retain实例方法,将对象赋值在对象类型的结构体成员变量中 栈上的Block复制到堆时
_Block_object_dispose()相当于release实例方法,释放赋值在对象类型的结构体成员变量中的对象 堆上的Block被废弃时
什么时候栈上的Block会复制到堆上?
调用Block的copy实例方法
Block作为函数的返回值返回
将Block赋值给附有__strong修饰符id类型的类或Block类型成员变量时
方法名中含有usingBlock的Cocoa框架方法或GCD的API(Grand Central Dispatch)
Block循环引用:
对象持有Block,Block持有对象self 使用weak修饰符,避免造成循环引用
A->B->A 也可以使用__block变量来避免循环引用(必须执行Block)
A->B->C->A
ARC无效时,一般需要手动将Block从栈复制到堆。用copy来复制,用release来释放。retain来持有。
此时用__Block说明符来避免Block中的循环引用
PS:加深记忆