参考文章:iOS block，你要看的这都有,
block没那么难
一、Block写法
1、属性
@property (nonatomic,copy) void(^myblock)(int);
2、typedef 定义Block类型
typedef void(^responseBlock)(NSDictionary * response,BOOL success);
3、直接写
- (void)haveFunWithBlock:(void(^)(NSMutableDictionary * dic,BOOL success))funBlock
二、Block结构
block内部的3个结构体
// block结构体
struct __main_block_impl_0 {
// impl结构体，即block的主结构体
struct __block_impl impl;
// Desc结构体，即block的描述结构体
struct __main_block_desc_0* Desc;
// block结构体的构造函数
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
// impl结构体
struct __block_impl {
void *isa; // 存储位置，_NSConcreteStackBlock、_NSConcreteGlobalBlock、_NSConcreteMallocBlock
int Flags; // 按位承载 block 的附加信息
int Reserved; // 保留变量
void *FuncPtr; // 函数指针，指向 Block 要执行的函数，即__main_block_func_0
};
// Desc结构体
static struct __main_block_desc_0 {
size_t reserved; // 结构体信息保留字段
size_t Block_size; // 结构体大小
} __main_block_desc_0_DATA = { 0, sizeof(struct __main_block_impl_0)};
一、无变量截获
OC代码
typedef int (^Block)(void);
int main(int argc, char * argv[]) {
// block实现
Block block = ^{
return 0;
};
// block调用
block();
return 0;
}
C代码
// block方法实现
static int __main_block_func_0(struct __main_block_impl_0 *__cself) {
return 0;
}
// main函数
int main(int argc, char * argv[]) {
// block实现
Block block = ((int (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));
// block调用
((int (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
return 0;
}
block实现：调用block结构体的构造函数
_main_block_impl_0来实现block，可见，传入的两个参数，分别是函数_main_block_func_0的指针(block方法实现)和_main_block_desc_0结构体。block调用：将block作为参数传入block中的FuncPtr，也即
_main_block_func_0方法，进行调用。
二、截获变量
1、截获变量的block结构体实现
OC代码
typedef int (^Block)(void);
int main(int argc, char * argv[]) {
int i = 0;
Block block = ^{
return i;
};
block();
return 0;
}
C代码
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
int i;
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _i, int flags=0) : i(_i) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
// main函数
int main(int argc, char * argv[]) {
int i = 0;
Block block = ((int (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, i));
((int (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
return 0;
}
与无变量截获的样例区别:
block结构体中多了一个变量i,但是这个变量copy之后是const类型(: i(_i)则是c++语法结构体中const类型变量的初始化方式，即将参数_i赋值给block结构体中的变量i。)
2、block截获变量的时机
block在构造的时刻，会将参数i传入结构体中进行初始化，所以，block会在实现的地方(非调用的时刻)截获变量，而截获的变量的值也是实现时刻的变量值。
三、截获变量的类型
block可以中的外部变量一共有五种，依次是全局变量、全局静态变量、局部静态变量、_block修饰的变量和一个局部变量（截获后为const类型）
OC代码
// block截获变量样例代码
#import <UIKit/UIKit.h>
typedef int (^Block)(void);
int a = 0;
static int b = 0;
int main(int argc, char * argv[]) {
static int c = 0;
int i = 0;
NSMutableArray *arr = [NSMutableArray array];
Block block = ^{
a = 1;
b = 1;
c = 1;
[arr addObject:@"1"];
return i;
};
block();
return 0;
}
C代码
// block结构体和构造函数
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
int *c;
NSMutableArray *arr;
int i;
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int *_c, NSMutableArray *_arr, int _i, int flags=0) : c(_c), arr(_arr), i(_i) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
// block实现的方法
static int __main_block_func_0(struct __main_block_impl_0 *__cself) {
int *c = __cself->c; // bound by copy
NSMutableArray *arr = __cself->arr; // bound by copy
int i = __cself->i; // bound by copy
a = 1;
b = 1;
(*c) = 1;
((void (*)(id, SEL, ObjectType))(void *)objc_msgSend)((id)arr, sel_registerName("addObject:"), (id)(NSString *)&__NSConstantStringImpl__var_folders_k__6b9p9yt96y9dq8ds8_kvf3kh0000gn_T_main_3c9752_mi_0);
return i;
}
// mian函数
int main(int argc, char * argv[]) {
static int c = 0;
int i = 0;
NSMutableArray *arr = ((NSMutableArray *(*)(id, SEL))(void *)objc_msgSend)((id)objc_getClass("NSMutableArray"), sel_registerName("array"));
Block block = ((int (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, &c, arr, i, 570425344));
((int (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
return 0;
}
1、全局变量a、和静态全局变量b为第一类，block可以直接修改。
2、局部静态变量c，从block构造函数可以看出此处传入的是c的指针，所以可以更改c
3、局部基本变量i，局部对象arr，可以发现i不能修改，而arr因为是对象，可以对对象进行操作（但不能对给arr重新指向其他地址），这时需要注意的是，block内部的i和arr均为const类型，所以均不能对其进行修改
四、_block作用
__block会将局部变量拷贝到堆上，并生成一个带有指向自己的_forwarding指针，然后传入_forwarding给结构体构造函数。
OC代码
// 使用_block的样例
#import <UIKit/UIKit.h>
typedef int (^Block)(void);
int main(int argc, char * argv[]) {
__block int i = 2;
Block block = ^{
i = 1;
arr = [NSMutableArray array];
return i;
};
block();
return 0;
}
C代码
// 执行xcrun -sdk iphonesimulator9.3 clang -rewrite-objc main.m后代码
// __block为变量i创建的结构体，其中成员i为i的值，forwarding为指向自己的指针
struct __Block_byref_i_0 {
void *__isa;
__Block_byref_i_0 *__forwarding;
int __flags;
int __size;
int i;
};
// block结构体
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
__Block_byref_i_0 *i; // by ref
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, __Block_byref_i_0 *_i, __Block_byref_arr_1 *_arr, int flags=0) : i(_i->__forwarding) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
五、block的存储类型
isa表示的三种存储位置_NSConcreteStackBlock、_NSConcreteGlobalBlock、_NSConcreteMallocBlock
1、_NSConcreteGlobalBlock
全局声明实现的block
局部block未截取任何变量
// a、全局声明实现的block
// clang编译后可发现isa指针为_NSConcreteGlobalBlock
#import <UIKit/UIKit.h>
typedef int (^Block)(void);
Block globalBlock = ^{
return 0;
};
int main(int argc, char * argv[]) {
globalBlock();
return 0;
}
// b、局部block未截取任何变量
// clang编译后可发现isa指针为_NSConcreteStackBlock，这就看出了clang的不准确的地方，从此以后，我们通过NSLog打印。此处NSLog打印出的为_NSConcreteGlobalBlock。
#import <UIKit/UIKit.h>
typedef int (^Block)(void);
int main(int argc, char * argv[]) {
Block globalBlock = ^ {
return 0;
};
globalBlock();
NSLog(@"%@", globalBlock);
return 0;
}
2、_NSConcreteStackBlock
ARC环境下，大部分情况下编译器通常会将创建在栈上的 block 自动拷贝到堆上，只有当block 作为方法或函数的参数传递时，编译器可能不会自动调用 copy 方法。
id getBlockArray()
{
int val = 10;
NSLog(@"%@", ^{NSLog(@"blklog:%d", val);});
return [[NSArray alloc] initWithObjects:
^{NSLog(@"blk0:%d", val);},
^{NSLog(@"blk1:%d", val);}, nil];
}
3、_NSConcreteMallocBlock
常用的都是MallocBlock
