Objective-C Block内存布局与生命周期解析

1. Block内存布局深度解析

在Objective-C和Swift混编的iOS/macOS开发中，Block作为一种特殊的闭包实现，其内存管理机制一直是开发者必须掌握的硬核知识。最近在排查一个野指针崩溃时，我不得不重新审视Block的内存结构，发现很多团队对__block变量的处理存在严重误区。本文将结合Clang源码和实际调试案例，彻底拆解Block从栈到堆的完整生命周期。

1.1 Block的底层结构体

通过clang -rewrite-objc命令转换以下代码：

objective-c复制void (^exampleBlock)(int) = ^(int param) {
    NSLog(@"Received: %d", param);
};

可以看到编译器生成的底层结构：

c复制struct __block_impl {
    void *isa;
    int Flags;
    int Reserved;
    void *FuncPtr;
};

struct __exampleBlock_block_impl_0 {
    struct __block_impl impl;
    struct __exampleBlock_block_desc_0 *Desc;
    // 捕获的变量会出现在这里
};

关键点在于：

• isa指针决定Block类型（全局/栈/堆）
• FuncPtr指向实际执行的函数地址
• Flags字段包含BLOCK_HAS_COPY_DISPOSE等关键标记

实测发现：在ARM64架构下，Block的isa指针偏移量是8字节而非通常认为的0字节，这是由结构体对齐导致的常见误解。

1.2 三种Block类型的内存特征

通过lldb调试可以验证不同类型Block的isa指向：

bash复制(lldb) p/x ((__bridge void *)globalBlock)->isa
(void *) $1 = 0x000000010d56b0e8  # 指向_NSConcreteGlobalBlock

(lldb) p/x ((__bridge void *)stackBlock)->isa 
(void *) $2 = 0x000000010d56b0c0  # 指向_NSConcreteStackBlock

(lldb) p/x ((__bridge void *)heapBlock)->isa
(void *) $3 = 0x000000010d56b0a8  # 指向_NSConcreteMallocBlock

内存分布规律：

1. 全局Block（_NSConcreteGlobalBlock）

   • 存储在数据段（DATA section）
   • 不捕获任何外部变量
   • 生命周期与程序相同

2. 栈Block（_NSConcreteStackBlock）

   • 存储在栈空间
   • 函数返回后可能被覆盖
   • Xcode调试时常见EXC_BAD_ACCESS崩溃源

3. 堆Block（_NSConcreteMallocBlock)

   • 通过Block_copy()自动晋升
   • 受ARC管理引用计数
   • 可安全跨函数传递

1.3 __block变量的存储突变

当使用__block修饰变量时，会发生惊人的存储变化：

objective-c复制__block int counter = 0;
void (^block)(void) = ^{ counter++; };