corefondation的源码
block的类型
- _NSConcreteGlobalBlock 全局的静态 block，不会访问任何外部变量
- _NSConcreteStackBlock 保存在栈上的block,当函数返回时会被销毁
- _NSConcreteMallocBlock 保存在堆中的 block，当引用计数为 0 时会被销毁
block 的对象模式
打开Block_private.h的头文件，里面有block的数据结构
struct Block_layout {
void *isa;
volatile int32_t flags; // contains ref count
int32_t reserved;
void (*invoke)(void *, ...);
struct Block_descriptor_1 *descriptor;
// imported variables
};
};
// 参数说明
1. isa就是所有对象一样的isa指针
2.flags 用于按bit标示的block的附加信息
3. reserved 保留变量，用于复制外部的数值
4. invoke 函数指针，用户回调
5.descriptor，表示改block的描述信息,比如size， reserved变量
struct Block_descriptor {
uintptr_t reserved;
uintptr_t size;
void (*copy)(void *dst, const void *src);
void (*dispose)(const void *);
};
使用clang 编译oc文件的命令
- clang -rewrite-objc block.c
测试
- 新建一个main.c的文件
- 编写代码如下
int main()
{
void(^block)(void) = ^{
printf("Hello, World!\n");
};
block();
return 0;
}
};
- 使用clang -rewrite-objc main.c命令生成main.cpp文件，打开后可以看到block的结构体如下
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
__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;
}
};
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
printf("Hello, World!\n");
}
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)};
可以看出该blokc是一个_NSConcreteStackBlock,数据结构开始部分是一个自己的本身地址，所以block也可以看成是一个类
block对象的复制
我们知道，在我们在block外面定义一个变量，在block内部访问这个变量，他是不会变的
int main()
{
int number = 5;
void(^block)(void) = ^{
printf("Hello, World!\n");
printf("nubmer = %i\n", number);
};
number = 4;
block();
return 0;
}
这里输出依然是5，改变number的值不会block内存的值改变，这是为什么？我们打开cpp文件。
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
int number;
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _number, int flags=0) : number(_number) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
可以看到block内部有number的成员变量，把创建blcok动作那一刻，对nubmer的值拷贝了一份到自己的结构体中，所以这就是为什么number不会发生改变的原因
__block 变量的影响
- 基于上面的例子，当我们用__block修饰number时，可以看出block是会发生改变的,我们看下block的结构
struct __main_block_impl_0 {
struct __block_impl impl;
struct __main_block_desc_0* Desc;
__Block_byref_number_0 *number; // by ref
__main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, __Block_byref_number_0 *_number, int flags=0) : number(_number->__forwarding) {
impl.isa = &_NSConcreteStackBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
源码增加了__Block_byref_number_0的结构体，这个用来保存我们要改变的number变量，并把_number->__forwarding赋值给nubmer
我们看下__Block_byref_number_0的数据结构
struct __Block_byref_number_0 {
void *__isa;
__Block_byref_number_0 *__forwarding;
int __flags;
int __size;
int number;
};
- 可以得出block是保存__Block_byref_number_0结构体的指针，可以起到修改外部变量的作用
- __Block_byref_number_0里面有isa指针，所以__Block_byref_number_0也是一个对象
- __forwarding的指针指向自己本身，保存有nubmer的值，所以当__Block_byref_number_0发生改变时，__Block_byref_number_0的number值也会发生改变
_NSConcreteMallocBlock的block实现
- 当block被调用到其copy方法时，系统会把block赋值到堆上，而产生_NSConcreteMallocBlock的block。
变量的复制
- 对于block外的变量引用，block默认是将复制其数据结构来实现访问的。如果这个对象是引用类型，block的计数器会加1，这就是为什么会发生循环引用的原因，因为一个类有block的引用，然后block也有对这个类引用，会形成一个闭环阻塞，从而造成内存泄漏。
arc对block类型的影响
- 在arc开启时，只有有_NSConcreteGlobalBlock 和 _NSConcreteMallocBlock两种类型的block。
- 原本的_NSConcreteStackBlock会变成_NSConcreteMallocBlock两种类型的block类型的来替代
