Block的本质是什么吗？__Block底层又做了什么呢？

在上一篇博客中，已经探索到block的本质是结构体(__main_block_impl_0)继承自__block_impl，block可以捕获外部变量，通过__block修饰内部可以变更外部变量的值。 那么本篇博客将对继续对block的底层原理进行分析。

Block探索分析

iOS底层探索之Block(二)——如何解决Block循环引用问题？

iOS底层探索之Block(三)——Block的本质

1. block追根溯源

在以往的分析都是找到分析对象的出处，然后看相应的源码进行分析，那么block是来自哪个库呢，现在还不得而知，我们现在尝试的去寻找一下。

汇编查看流程

block代码举例

objc_retainBlock

下符号断点验证

下符号断点

通过符号断点，也验证了确实是来自我们熟悉的libobjc.A.dylib源码库，如下所示：

符号断点跟踪

objc_retainBlock

从源码中可以知道调用objc_retainBlock返回的是_Block_copy，但是在源码中并没有搜索到_Block_copy的方法实现在哪里。

搜索_Block_copy

_Block_copy符号断点

libclosure源码工程

在libclosure-79的工程中搜索_Block_copy是可以找到的，来自于Block_layout的结构体，是在Block_private.h文件中。

Block_layout

在clang获取的cpp文件中也可以看到block源码的出处，来自Block_private.h，如下图所示：

cpp 文件查看block出处

通过对比还发现，在cpp文件中block定义的结构体__block_impl和源码中Block_layout的结构体是一致的，如下图所示：

对比图

2. 汇编查看block捕获变量前后变化

block 捕获外部变量，在编译时是栈block，在运行时会copy到堆区，变成堆block。

变化前

读寄存器看 block类型变化

通过汇编调试，读取寄存器，发现当调用objc_retainBlock时，读取寄存器x0这里是模拟器就是rax，分析block的数据状态还是在栈区的，那么继续往下走流程，看看调用_Block_copy之后是有什么样的变化。

变化后

继续走，当调用_Block_copy之后变化如下：

读寄存器看 block类型变化

这也就验证了 block捕获了外部变量，在编译时是栈block，在运行时通过_Block_copy会copy到堆区，变成堆block。

3. _Block_copy源码分析

上面已经定位到 block的源码了，那么具体看看源码吧

• Block_layout

truct Block_layout {
    void * __ptrauth_objc_isa_pointer isa;
    volatile int32_t flags; // contains ref count
    int32_t reserved;
    BlockInvokeFunction invoke;
    struct Block_descriptor_1 *descriptor;
    // imported variables
};

• isa isa指向确定block类型
• flags 标识码
• reserved 保留字段
• invoke 函数，也就是FuncPtr
• descriptor 相关附加信息
  
  BLOCK_DESCRIPTOR

• flags

  
  
  在这里插入图片描述

• _Block_copy源码分析

  
  
  _Block_copy源码分析

1. 对flags也就是引用计数进行判断，如果是BLOCK_NEEDS_FREE已经释放了，直接返回aBlock
2. 是否是全局的 block，也是直接返回aBlock
3. 如果不是全局的那么就是栈 block或者是堆 block，但是此时是编译期不可能是堆区的block，如果编译期就开辟内存，对编译器压力太大了。所以编译器就标记为栈 block，当编译器知道你捕获到外部变量，到运行时就进行相关的内存开辟操作(malloc)，在进行memmove拷贝一份
4. 对其他一些信息，包括invoke、签名(ptrauth_signed_block_descriptors)信息也包装进result
5. 最后isa = _NSConcreteMallocBlock返回一堆区的 block

在上面汇编查看的时候，打印了捕获变量的前后变化，lldb调试打印信息中有signature、 invoke、 copy、 dispose等信息，这些是什么呢？

在这里插入图片描述

这个signature就是签名，还记得消息转发的时候这种[NSMethodSignature signatureWithObjCTypes:"v8@?0"];代码吗？

这是Type Encodings，类型编码。iOS提供了一个叫@encode的指令，可以将具体的类型表示成字符串编码！在分析类的结构的时候也介绍过。

• v 表示viod，无返回值
• 8 表示占了8个字节
• @ 表示 参数id self
• ？未知类型（用于函数指针）
• 0 表示id从0号位开始

从下图中也可以看出这些信息，如下：

signature

在控制台可以通过 po 打印po [NSMethodSignature signatureWithObjCTypes:"v8@?0"]查看signature具体信息。

还记得上面介绍了flags和 descriptor 相关附加信息吗

#define BLOCK_DESCRIPTOR_1 1
struct Block_descriptor_1 {
    uintptr_t reserved;
    uintptr_t size;
};

在Block_descriptor_1里面reserved就是保留字段，size为block的大小。

如果#define BLOCK_DESCRIPTOR_2 1，也就是为Block_descriptor_2的时候，才有上面控制台打印的copy和dispose。

#define BLOCK_DESCRIPTOR_2 1
struct Block_descriptor_2 {
    // requires BLOCK_HAS_COPY_DISPOSE
    BlockCopyFunction copy;
    BlockDisposeFunction dispose;
};

Block_descriptor_3是可选的参数。而这里就通过flag字段来判断block是否存在Block_descriptor_3的相关属性

#define BLOCK_DESCRIPTOR_3 1
struct Block_descriptor_3 {
    // requires BLOCK_HAS_SIGNATURE
    const char *signature;
    const char *layout;     // contents depend on BLOCK_HAS_EXTENDED_LAYOUT
};

Block_descriptor的get方法

• 通过Block_descriptor的get方法可以发现，Block_descriptor_2可以通过Block_descriptor_1地址平移的方式获取
• 获取Block_descriptor_3时会判断Block_descriptor_2是否存在，如果不存在，就不需要添加Block_descriptor_2的地址空间。

lldb调试验证，如下

地址平移

更多内容持续更新

🌹 喜欢就点个赞吧👍🌹

🌹 觉得有收获的，可以来一波，收藏+关注，评论 + 转发，以免你下次找不到我😁🌹

🌹欢迎大家留言交流，批评指正，互相学习😁，提升自我🌹