刨根问底--block（一）

时间充裕||英语好的朋友可以先看看block的定义.

struct Block_descriptor {

unsigned long int reserved;

unsigned long int size;

void (*copy)(void *dst, void *src);

void (*dispose)(void *);

};

struct Block_layout {

void *isa;

int flags;

int reserved;

void (*invoke)(void *, ...);

struct Block_descriptor *descriptor;

/* Imported variables. */

};

实际上block就是上面这个俩东西

今天在网上看到了这张图片。感觉画的更清晰。贴出来给一起看看

通过该图，我们可以知道，一个block实例实际上由6部分构成：

1.isa指针，所有对象都有该指针，用于实现对象相关的功能。（所以有人说block是对象）

2.flags，用于按bit位表示一些block的附加信息，本文后面介绍block copy的实现代码可以看到对该变量的使用。

3.reserved，保留变量。

4.invoke，函数指针，指向具体的block实现的函数调用地址。

5.descriptor， 表示该block的附加描述信息，主要是size大小，以及copy和dispose函数的指针。

6.variables，capture过来的变量，block能够访问它外部的局部变量，就是因为将这些变量（或变量的地址）复制到了结构体中。

举个栗子

简单的打印Hello World

使用clang命令

clang -rewrite-objc main.m        得到一个.cpp文件

打开这个文件就看到block了

你定义完block之后，其实是创建了一个函数，在创建结构体的时候把函数的指针一起传给了block，所以之后可以拿出来调用。

再看看值捕获的问题

定义block的时候，变量a的值就传递到了block结构体中，仅仅是值传递，所以在block中修改a是不会影响到外面的a变量的。

再看看加上__block前缀吧。

并不是直接传递a的值了，而是把a的地址传过去了，所以在block内部便可以修改到外面的变量了。

其实就是传值和传址的区别。。

根据isa指针，block一共有3种类型的block

_NSConcreteGlobalBlock 全局静态

_NSConcreteStackBlock 保存在栈中，出函数作用域就销毁

_NSConcreteMallocBlock 保存在堆中，retainCount == 0销毁

而ARC和MRC中，还略有不同

/在Block中, 如果只使用全局或静态变量或不使用外部变量, 那么Block块的代码会存储在全局区;

如果使用了外部变量, 在ARC中, Block块的代码会存储在堆区;

在MRC中, Block快的代码会存储在栈区;

block默认情况下不能修改外部变量, 只能读取外部变量:

在ARC中, 外部变量存在堆中, 这个变量在Block块内与在Block块外地址相同;

外部变量存在栈中, 这个变量会被copy到为Block代码块所分配的堆中;

在MRC中, 外部变量存在堆中, 这个变量在Block块内与Block块外相同;

外部变量存在栈中, 这个变量会被copy到为Block代码块所分配的栈中;

如果需要修改外部变量, 需要在外部变量前面声明 __block

在ARC中, 外部变量存在堆中, 这个变量在Block块内与Block块外地址相同;

外部变量存在栈中, 这个变量会被转移到堆区, 不是复制, 是转移.

在MRC中, 外部变量存在堆中, 这个变量在Block块内与Block块外地址相同;

外部变量存在栈中, 这个变量在Block块内与Block块外地址相同;

--如有补充，欢迎来搞。。