这几天为了巩固知识，从 iOS 的各个知识点开始学习，希望自己对每一个知识理解的更加深入的了解。这次来分享一下 block 的学习笔记。
block 简介
block 被当做扩展特性而被加入 GCC 编译器中的。自从 OS X 10.4 和 iOS 4.0 之后，这个特性被加入了 Clang 中。因此我们今天使用的 block 在 C、C++、Objective-C 和 Objective-C++ 中均可使用。
对于 block 的语法，只放一张图即可。在之后的 block 系列文章中会详细说明其用法。
C 中的 block
说起 Xcode 的默认编译器 clang ，不得不提及 clang 在整个 编译 – 链接 过程中所起到的作用。在编译期， clang 首先对 Objective-C 代码做分析检查，确保代码中没有任何明显的错误，然后将其转换成为低级的类汇编代码，即我们经常说的中间码。
在学习 Objective-C 中的 block ，会经常使用的 clang 的 -rewrite-objc 命令来将 block 的语法转换成C语言的 struct 结构，从而供我们学习参考。
先从最简单的C语言中的 block 看起：
#include
void (^outside)(void) = ^{
printf("Hello block! ");
};
int main () {
outside();
return 0;
}
然后使用 clang -rewrite-objc 命令对 blockTest.c 进行 block 语法转换，得到 blockTest.cpp 这个文件。
在精简代码后，选取出主要关注的代码片段。
struct __block_impl {
void *isa;
int Flags;
int Reserved;
void *FuncPtr;
};
struct __outside_block_impl_0 {
struct __block_impl impl;
struct __outside_block_desc_0* Desc;
__outside_block_impl_0(void *fp, struct __outside_block_desc_0 *desc, int flags=0) {
impl.isa = &_NSConcreteGlobalBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
static void __outside_block_func_0(struct __outside_block_impl_0 *__cself) {
printf("Hello block! ");
}
static struct __outside_block_desc_0 {
size_t reserved;
size_t Block_size;
} __outside_block_desc_0_DATA = {
0,
sizeof(struct __outside_block_impl_0)
};
int main () {
((void (*)(__block_impl *))((__block_impl *)outside)->FuncPtr)((__block_impl *)outside);
return 0;
}
代码可能有些难懂，逐一来分析。
static void __outside_block_func_0(struct __outside_block_impl_0 *__cself) {
printf("Hello block! ");
}
这个函数应该是和源代码最相近的部分。并且，源代码中的 block 名被重新组合成一种新的字符串形式，而生成了这个函数的函数名。在参数上发现其实这个参数名又是一种新的字符串组合形式（__xxx_block_impl_y：这里的 xxx 是 block 名称，y 是该函数出现的顺序值）。
继续来看看参数 __cself 的声明：
struct __outside_block_impl_0 {
struct __block_impl impl;
struct __outside_block_desc_0* Desc;
// 构造函数
__outside_block_impl_0(void *fp, struct __outside_block_desc_0 *desc, int flags=0) {
impl.isa = &_NSConcreteGlobalBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
};
第一个成员impl，是 __block_impl 类型，结构体在生成文件中也是出现的：
struct __block_impl {
void *isa;
int Flags;
int Reserved;
void *FuncPtr;
};
-
isa指针：指向一个类对象。在非 GC 模式下有三种类型：_NSConcreteStackBlock、_NSConcreteGlobalBlock、_NSConcreteMallocBlock。
-
Flags：block 的负载信息（引用计数和类型信息），按位存储。在下面有详细说明。
-
Reserved：保留变量。
-
FuncPtr：指向 block 函数地址的指针。
在 runtime 的源码中，对于 Flags 的枚举要比文档中描述的更加详细，其定义如下。
enum {
BLOCK_DEALLOCATING = (0x0001), // runtime
BLOCK_REFCOUNT_MASK = (0xfffe), // runtime
BLOCK_NEEDS_FREE = (1 << 24), // runtime
BLOCK_HAS_COPY_DISPOSE = (1 << 25), // compiler
BLOCK_HAS_CTOR = (1 << 26), // compiler: helpers have C++ code
BLOCK_IS_GC = (1 << 27), // runtime
BLOCK_IS_GLOBAL = (1 << 28), // compiler
BLOCK_USE_STRET = (1 << 29), // compiler: undefined if !BLOCK_HAS_SIGNATURE
BLOCK_HAS_SIGNATURE = (1 << 30) // compiler
};
在 clang 的官方文档中，有这么一句话：
The flags field is set to zero unless there are variables imported into the Block that need helper functions for program level
Block_copy()andBlock_release()operations, in which case the (1<<25) flags bit is set.
也就是说，一般情况下，一个 block 的 flags 成员默认设置为 0。如果当 block 需要 Block_copy() 和 Block_release 这类拷贝辅助函数，则会设置成 1 ，也就是 BLOCK_HAS_COPY_DISPOSE 类型。可以搜索到大量讲述 Block_copy 方法的博文，其中涉及到了 BLOCK_HAS_COPY_DISPOSE 。
总结一下枚举类的用法，前 16 位即起到标记作用，又可记录引用计数：
-
BLOCK_DEALLOCATING：释放标记。一般常用 BLOCK_NEEDS_FREE 做 位与 操作，一同传入 Flags ，告知该 block 可释放。
-
BLOCK_REFCOUNT_MASK：一般参与判断引用计数，是一个可选用参数。
-
BLOCK_NEEDS_FREE：通过设置该枚举位，来告知该 block 可释放。意在说明 block 是 heap block ，即我们常说的 _NSConcreteMallocBlock 。
-
BLOCK_HAS_COPY_DISPOSE：是否拥有拷贝辅助函数（a copy helper function）。
-
BLOCK_HAS_CTOR：是否拥有 block 析构函数（dispose function）。
-
BLOCK_IS_GC：是否启用 GC 机制（Garbage Collection）。
-
BLOCK_HAS_SIGNATURE：与 BLOCK_USE_STRET 相对，判断是否当前 block 拥有一个签名。用于 runtime 时动态调用。
我们返回结构体 __outside_block_impl_0 继续看第二个成员 Desc 指针。以下是 __outside_block_desc_0 结构体声明。
static struct __outside_block_desc_0 {
size_t reserved;
size_t Block_size;
} __outside_block_desc_0_DATA = {
0,
sizeof(struct __outside_block_impl_0)
};
其中两个成员也可以从名字看出，描述的是 block 的预留区空间和 block 的大小。其中size_t类型在64位环境下应为long unsigned int，该宏定义在 C标准库 的 stddef.h 中。__outside_block_desc_0_DATA 是该结构体类型的环境量，使用成员对齐方式进行快捷构造。
再来看最重要的部分，即 __outside_block_impl_0 的构造函数。
// 构造函数
__outside_block_impl_0(void *fp, struct __outside_block_desc_0 *desc, int flags=0) {
impl.isa = &_NSConcreteGlobalBlock;
impl.Flags = flags;
impl.FuncPtr = fp;
Desc = desc;
}
这里的所有过程除了 &_NSConcreteGlobalBlock 以外都比较好理解。先跳过这部分，放在文章最后进行分析。继续看一下入口函数 main()。
int main () {
((void (*)(__block_impl *))((__block_impl *)outside)->FuncPtr)((__block_impl *)outside);
return 0;
}
去掉强制转换部分，增强可读性：
outside -> FuncPtr(outside);
也就是说，在执行我们定义的 block 的时候，会访问 impl 的 FuncPrt 这个函数指针。而在初始化（析构）时，这个函数会被指向 block 的执行函数体，也就是一开始分析的 __outside_block_func_0 方法。并且传入自身为参数。所以上文所提及的 __cself 参数，其实可以理解为面向对象中的所属对象，在 C++ 中我们常用 this 指针描述；而在 Objective-C 中，常常使用 self 。
写到这里，笔者有一些很有意思的联想。在 Objective-C 的设计中，为了突出对象与方法间的所属关系，经常会传递一个指针作为参数。例如在许多 Foundation 框架中的 Delegate 方法，第一个参数往往是委托方法的发起者本身。
最后再来看一下之前略过的 _NSConcreteGlobalBlock 。
对于任意一个对象的 isa 指针，其指向的对象是自身的类对象；而类对象的 isa 指针，指向的是元类（meta class）。而 block 虽然也是对象，但其结构是异于 NSObject 的。最新版本的 object 结构如下：
struct objc_class : objc_object {
// Class ISA;
Class superclass;
cache_t cache; // formerly cache pointer and vtable
class_data_bits_t bits; // class_rw_t * plus custom rr/alloc flags
}
其中 object 的 isa 指针是从 objc_objcet 中继承而来的。而 block 为了模拟 object 结构，也用到了 isa 对其进行了分类。其中 _NSConcreteGlobalBlock 就是其中之一。
关于 block 类型将会在 block 系列其他文中介绍，这里由于我们的 block 是处在全局位置，所以其类型为 _NSConcreteGlobalBlock。
在学习 C 中的 block ，通过 clang 的语义转换将 block 语法使用 C 语言描述，使得我们更进一步的深入学习 block 的内部实现。
对于 clang -rewrite-objc 一种误区
很多时候，会想当然的认为，在编译期，clang 对代码进行语义判断之后，会像 -rewrite-objc 一样对代码进行转译成 C 语言，进而转换成中间码。但是，该命令并不能代表编译后所执行的代码。
在巧哥很久之前谈Objective-C Block的实现的文中，有这么一个代码片段：
http://blog.devtang.com/2013/07/28/a-look-inside-blocks/
#include
int main() {
^{ printf("Hello, World! "); } ();
return 0;
}
在使用 -rewrite-objc 进行语法转换后，所显示的 block 类型为 _NSConcreteStackBlock 。而根据我们对于 block 的认知，当 block 没有引用外部的变量对象时，其类型应为 _NSConcreteGlobalBlock。难道，clang 对于 Objective-C 中的 block 和 C 中的 block 处理，会有差异吗？其实不是的，我们来做这个实验：
#include
void (^outside)(void) = ^(void) {
printf("Hello, block! ");
};
int main() {
void (^inside)(void) = ^(void) {
printf("Hello, block! ");
};
printf("outside: %p ", outside);
printf("inside: %p ", inside);
return 0;
}
outside: 0x10d48e040
inside: 0x10d48e080
从输出结果上看，两个 block 被存储在同一区域，也就是 .data 常量区。
可是在 main 函数内声明的 block 类型，通过 clang -rewrite-objc 工具转换后仍为 _NSConcreteStackBlock 栈存储 block 类型。从这个侧面，可以明白其实 clang 对语法的解释转换，不一定出现在编译过程中。而在编译期间转换成中间码的过程中，在新版本的 clang 编译器已经不需要解释成c的语法进行过度，从而翻译成中间码。而是，在语法检测后，直接转至中间码，提交至 llvm 进行链接处理。
所以，通过 clang -rewrite-objc 命令，仅将扩展语法通过可读性更高的 C 语法进行改写，而不是编译期中的子编译过程。我们仅仅通过他来了解 block 真正的结构就已经足够了。
尾声
这篇文章讲述了 block 的结构以及指向 block 函数体的具体方式。在以后的 block 系列学习笔记中，还会继续记录 block 类型、 block 使用等相关知识。
参考资料
A look inside blocks (Block_copy)
http://t.cn/zQZYfN4
clang官方文档：block 扩展语法
http://t.cn/RzhtuNt
若想查看更多的iOS Source Probe文章，收录在这个Github仓库中。
https://github.com/Desgard/iOS-Source-Probe