1. 项目概述从“黑盒”到“白盒”的Block探索在iOS和macOS开发中Block是一个既熟悉又陌生的存在。熟悉是因为我们每天都在用它写回调、做异步、实现链式调用代码简洁优雅。陌生则在于它看起来像函数用起来像对象底层实现却像一团迷雾。很多开发者对Block的认知停留在“它是一个可以捕获外部变量的匿名函数”这个层面至于它为什么能捕获、捕获后变量去了哪里、内存如何管理往往语焉不详。这就导致在遇到循环引用、野指针访问或者需要深度优化性能时只能凭感觉和试错来解决问题心里没底。我自己在早期开发中就踩过不少坑。比如在一个网络请求的回调Block里直接使用了self而没有弱引用导致控制器无法释放又比如试图在Block内部修改一个捕获的基本类型int变量发现修改无效当时也是一头雾水。这些问题的根源都在于对Block的底层机制理解不透彻。Block绝不是语法糖那么简单它是Objective-C运行时和编译器紧密协作的产物是一个有完整内存布局和生命周期的“对象”。因此这次我们不满足于表面的使用而是要彻底拆解Block。我们将深入到Clang编译后的中间代码LLVM IR的简化版和内存结构搞清楚三件事第一Block在内存中究竟长什么样底层实现第二它用什么魔法把外部变量“装”进自己的口袋捕获机制第三不同类型的变量自动变量、静态变量、全局变量、__block变量被捕获时待遇有何不同。理解这些你就能真正驾驭Block写出安全、高效、内存管理清晰的高质量代码从“会用”进阶到“精通”。2. Block的底层实现结构解剖要理解Block首先得把它从“概念”还原成“结构”。在Objective-C中Block本质上是一个对象但它比普通的NSObject要复杂因为它同时承载了可执行代码和相关的数据环境。当我们声明一个Block时编译器在背后为我们做了大量的工作。2.1 Block的编译器魔法从源码到结构体当你写下这样一段代码时int multiplier 6; int (^myBlock)(int) ^(int num) { return num * multiplier; };编译器Clang会对其进行重写生成一个对应的C结构体。我们可以使用Clang的-rewrite-objc命令来一窥究竟。虽然直接看LLVM IR过于复杂但其转换逻辑是清晰的。编译后上面的代码大致会被转换成以下形式为清晰起见这是概念模型非精确输出首先编译器会生成一个描述Block本身的结构体struct __block_impl { void *isa; int Flags; int Reserved; void *FuncPtr; // 指向Block执行函数体的指针 };接着生成一个包含了所有捕获变量和__block_impl的“主”结构体以我们的Block为例struct __main_block_impl_0 { struct __block_impl impl; struct __main_block_desc_0* Desc; int multiplier; // 捕获的自动变量 };这里的关键点在于捕获的自动变量multiplier成为了Block结构体的一个成员变量。这意味着当Block被创建时这些外部变量的值对于基本数据类型或指针对于对象类型被“拷贝”到了这个结构体实例的内存空间中。这就是“捕获”的物理体现。然后编译器会生成Block的描述信息结构体主要用于内存管理static struct __main_block_desc_0 { size_t reserved; size_t Block_size; // Block结构体的大小至关重要 // 如果Block捕获了需要特殊管理的对象如__strong修饰的OC对象这里还会有copy和dispose函数指针 } __main_block_desc_0_DATA { 0, sizeof(struct __main_block_impl_0)};最后生成Block的执行函数static int __main_block_func_0(struct __main_block_impl_0 *__cself, int num) { int multiplier __cself-multiplier; // 从自身结构体中取出捕获的变量 return num * multiplier; }注意这个函数的第一个参数是__main_block_impl_0 *__cself这非常类似于C中的this指针或Objective-C中的self。它指向Block结构体实例自身从而让函数体能够访问到捕获的变量。我们最初写的Block赋值语句int (^myBlock)(int) ...在底层就变成了// 初始化Block结构体实例 struct __main_block_impl_0 tmp { .impl {...}, // 初始化isa, Flags等 .Desc __main_block_desc_0_DATA, .multiplier multiplier // 创建时将外部变量multiplier的值6拷贝进来 }; // myBlock指针实际上指向了这个结构体实例 myBlock (int (*)(int))tmp;注意这个转换过程清晰地解释了为什么Block可以访问外部变量——它把变量变成了自己“身体”的一部分。同时也解释了为什么默认情况下无法修改捕获的自动变量因为函数内部操作的是结构体成员multiplier的一个副本修改这个副本不影响原始的局部变量。2.2 Block的“对象”身份isa指针与类型观察__block_impl结构体第一个成员是void *isa。在Objective-C中isa指针是对象的标志它指向对象的类从而关联到该对象的类方法、实例方法等信息。Block拥有isa指针这坐实了它的对象身份。Block的isa指针在初始化时被赋予以下值之一这决定了Block的类型和存储域_NSConcreteStackBlock最初Block是在栈上创建的。栈Block捕获了外部变量但其生命周期与函数栈帧绑定。函数返回后栈帧销毁如果再访问这个Block就会崩溃。在MRC时代需要手动调用copy将其复制到堆上。在ARC下大多数情况下编译器会自动帮我们完成这个操作但理解其来源很重要。_NSConcreteGlobalBlock当Block没有捕获任何外部变量或只捕获全局变量、静态变量时它会被编译器优化为全局Block。全局Block存储在程序的数据区生命周期与整个程序相同对其执行copy操作是无效的返回自身。它就像是一个单例。_NSConcreteMallocBlock这是栈Block执行了copy操作后的结果。它位于堆内存中由引用计数管理生命周期是我们开发中最常打交道的Block类型。ARC环境下将Block赋值给一个__strong修饰的指针、作为返回值返回、或被系统API如GCD捕获时通常都会触发从栈到堆的复制。理解Block的类型对于调试和性能优化很有帮助。例如在非ARC代码或某些边缘情况下如果你错误地持有一个栈Block并在其作用域外使用就会引发难以追踪的崩溃。2.3 Block的描述信息内存管理的关键__main_block_desc_0结构体中的Block_size字段至关重要。当Block需要从栈复制到堆时copy操作系统需要知道要分配多少内存来存放这个Block结构体。Block_size就提供了这个信息。更关键的是当Block捕获了Objective-C对象或其他需要管理生命周期的数据如C对象时__main_block_desc_0中还会增加两个函数指针copy和dispose在LLVM生成代码中常命名为__main_block_copy_0和__main_block_dispose_0。copy函数当Block被复制到堆上时调用。如果Block捕获了一个__strong修饰的OC对象那么在这个函数里会对该对象执行retain操作增加其引用计数防止对象在Block存活期间被释放。dispose函数当堆上的Block被释放时调用。它的作用与copy相反会对捕获的__strong对象执行release操作减少其引用计数。这两个函数是Block能够正确管理捕获对象生命周期的基石也是自动处理循环引用需要配合__weak的基础设施。编译器会根据Block捕获的变量类型自动生成相应复杂度的copy和dispose函数逻辑。3. Block的变量捕获机制深度解析理解了Block的物理结构后我们再来看它最核心的特性变量捕获。捕获不是简单的“记住”而是根据变量的存储类型和作用域采取不同的策略。这直接影响了你在Block内部能对变量做什么。3.1 捕获规则总览四种变量的不同命运变量根据其存储类别和修饰符被Block区别对待。我们可以用下面的表格来清晰对比变量类型捕获方式是否可修改生命周期管理底层原理简述局部自动变量(auto, 默认)值捕获不可修改(编译错误)与Block结构体共存将变量的值拷贝进Block结构体成员。修改操作的是副本。静态局部变量(static)指针捕获可以修改与程序数据区共存将变量的内存地址拷贝进Block结构体。通过地址间接访问和修改原变量。全局变量(global)不捕获可以修改与程序共存直接访问。全局变量处处可见无需额外操作。__block修饰的变量“对象式”捕获可以修改由Block系统管理编译器将变量包装成一个结构体对象Block捕获该对象的指针通过其内部__forwarding指针实现堆栈协同。3.2 自动变量的值捕获一次性的快照这是最常用也最容易让人困惑的情况。如我们之前例子中的int multiplier它被值捕获。这意味着在定义Block的那一刻multiplier当前的值比如6被复制到了__main_block_impl_0结构体的multiplier成员中。此后Block内部访问的始终是这个副本。这就解释了以下现象int value 10; void (^block)(void) ^{ NSLog(Value inside block: %d, value); // 输出 10 }; value 20; // 在Block定义后修改原变量 block(); // 输出仍然是 10 因为Block内部使用的是创建时拷贝的值并且如果你尝试在Block内部修改value编译器会报错因为从逻辑上你修改的只是副本这通常不是程序员的本意所以语言层面直接禁止了。实操心得当你需要一个在Block内部使用的、初始化后就不再变化的“配置值”或“上下文信息”时使用自动变量值捕获是完美且高效的。它简单、安全没有额外的内存管理开销。3.3 静态变量与全局变量的访问超越作用域静态局部变量static int staticVar和全局变量int globalVar的存储域不在栈上而是在程序的数据区它们的生命周期与整个程序的生命周期相同。静态局部变量虽然作用域局限于函数内但其内存地址是固定的。Block捕获的是这个地址的指针。因此在Block内部可以通过这个指针间接地读取和修改原始变量。因为大家操作的是同一块内存。全局变量作用域和生命周期都是全局的Block根本不需要“捕获”它。Block的函数体可以直接像普通函数一样访问全局变量。在编译后的代码里你看不到任何将全局变量作为Block结构体成员的痕迹。3.4__block修饰符的魔力实现可变捕获如果我们真的需要在Block内部修改一个自动变量就需要请出__block存储类型修饰符。__block的底层实现最为精巧它彻底改变了变量的身份。当你声明__block int mutableValue 10;时编译器会将其重写为一个结构体struct __Block_byref_mutableValue_0 { void *__isa; __Block_byref_mutableValue_0 *__forwarding; int __flags; int __size; int mutableValue; // 原始的变量值被包装在这里 };这个__Block_byref_mutableValue_0结构体在栈上创建。而你的Block捕获的不再是int值而是这个结构体的指针__Block_byref_mutableValue_0 *mutableValue。__forwarding指针的精妙设计 这是__block实现中最关键的一环。在栈上时结构体的__forwarding指针指向自己。当这个Block被复制到堆上时系统会在堆上也创建一份这个__block变量结构体的副本并将栈上结构体的__forwarding指针指向堆上的副本。同时堆上副本的__forwarding指向自己。这样无论后续是通过栈上的变量在原始作用域内还是通过堆上的Block来访问mutableValue代码都会通过__forwarding指针最终访问到堆上的那个副本。// 概念性代码解释访问过程 mutableValue-__forwarding-mutableValue 20;这就保证了无论是在Block内部、外部还是在Block拷贝前后对__block变量的修改都是统一且可见的完美解决了栈变量生命周期短和堆Block生命周期长之间的矛盾。注意事项使用__block修饰对象变量时需格外小心循环引用。__block本身不会对对象进行retain在MRC下但在ARC下为了确保__block变量在Block执行期间存活编译器可能会对其进行强引用。更安全的方式是结合__weak使用。例如先__weak typeof(self) weakSelf self;再__block __weak typeof(weakSelf) blockWeakSelf weakSelf;这种用法较少见通常直接使用__weak即可。对于需要修改的变量优先考虑使用局部__block基本类型或指针而非对象。4. Block的内存管理实战与循环引用Block作为对象其内存管理是开发中的重中之重尤其是循环引用问题堪称iOS开发者的“经典面试题”和“常见崩溃源”。4.1 Block的存储域与copy操作如前所述Block有三种类型对应不同存储域_NSConcreteGlobalBlock未捕获自动变量或仅捕获静态/全局变量。存储在数据区无需管理内存。对其执行copy返回自身。_NSConcreteStackBlock捕获了自动变量且在定义时未发生拷贝如直接定义而不赋值给强引用。存储在栈上函数返回后失效。在MRC下你必须手动对其执行[block copy]将其复制到堆上才能安全使用。在ARC下编译器在大多数合理场景下会自动为你插入copy操作。_NSConcreteMallocBlock栈Block执行copy后的结果。存储在堆上由引用计数管理。ARC下的自动拷贝规则通常将Block赋值给__strong修饰的指针时。将Block作为函数返回值时。将Block作为参数传递给需要“长期持有”它的Cocoa框架方法或GCD API时如dispatch_async。一个简单的判断方法是如果你定义的Block能在定义它的作用域之外被安全地调用那么它很可能已经是一个堆Block了。你可以通过打印Block的class来验证NSLog(%, [block class]);输出会是__NSMallocBlock__、__NSStackBlock__或__NSGlobalBlock__。4.2 循环引用的形成与破解之道循环引用发生在两个或多个对象相互强引用导致引用计数无法降为零从而内存无法释放。Block的循环引用通常模式是对象A强引用了一个Block而这个Block内部又直接捕获并强引用了对象A或A的强引用成员。// 典型循环引用示例 interface MyViewController : UIViewController property (nonatomic, copy) void (^completionBlock)(void); property (nonatomic, strong) SomeData *data; end implementation MyViewController - (void)setupBlock { // self 强引用 completionBlock self.completionBlock ^{ // Block 内部捕获了 self 在ARC下默认是强引用 [self.data process]; // 导致Block强引用self }; } end // MyViewController实例和completionBlock相互强引用都无法释放。解决方案的核心是打破强引用环__weak/__strong舞步最常用、最标准的模式。- (void)setupBlock { __weak typeof(self) weakSelf self; // 1. 创建弱引用 self.completionBlock ^{ __strong typeof(weakSelf) strongSelf weakSelf; // 2. 在Block内部转为强引用 if (strongSelf) { // 3. 安全检查 [strongSelf.data process]; } }; }原理在Block外部通过__weak创建一个不增加引用计数的弱指针指向self。Block捕获这个弱指针因此不会造成循环引用。在Block执行开始时立即用__strong将弱指针转换为一个局部的强指针strongSelf。这个转换确保了在Block执行期间self对象不会被释放如果它还存在的话。strongSelf是局部变量Block执行完毕即销毁不会造成长期强引用。__block引用配合手动置空这是一种较老的在MRC时代常用的技巧在ARC下也可以使用但不如__weak方案优雅。- (void)setupBlock { __block id blockSelf self; // __block变量Block内部可修改 self.completionBlock ^{ [blockSelf.data process]; blockSelf nil; // 关键执行一次后主动打破循环 }; }这种方式要求Block确保会执行并且在执行后需要将blockSelf置为nil来释放对self的强引用。如果Block永远不会被执行循环引用就永远无法打破。因此风险较高不推荐作为首选。将self作为参数传递从根本上避免捕获。- (void)setupBlock { self.completionBlock ^(MyViewController *vc) { // 将self作为参数 [vc.data process]; }; // 调用时需要传入self // self.completionBlock(self); }这种方法将依赖关系显式化完全避免了Block对self的隐式捕获逻辑更清晰但会改变Block的签名不一定适用于所有场景如作为无参数的回调。避坑技巧对于NSNotificationCenter的addObserverForName:object:queue:usingBlock:方法其返回的观察者对象会强持有你提供的Block。如果Block里捕获了self就会形成observer - block - self的循环而self可能并没有强引用这个observer但observer被系统持有同样导致self无法释放。处理方式同样是在Block中使用弱引用的self。4.3 Block捕获对象的内存管理语义Block对捕获的Objective-C对象的内存管理语义取决于对象变量本身的修饰符默认在ARC下捕获__strong变量Block的copy助手函数会retain它dispose函数会release它。这是导致循环引用的根源。__weak捕获__weak变量Block不会增加其引用计数。这是解决循环引用的关键。__unsafe_unretained与__weak类似但不归零对象释放后指针不变访问会崩溃不安全不推荐使用。__autoreleasing在Block捕获场景中很少见。理解这些语义你就能预判Block对对象生命周期的干预从而写出内存安全的代码。5. 高级话题、调试与性能考量掌握了基础和内存管理后我们再看一些深入的话题和实战技巧。5.1 Block的拷贝开销与优化将栈Block拷贝到堆copy操作是有开销的包括在堆上分配内存。复制Block结构体本身包括其描述信息。如果Block捕获了__block变量还需拷贝__block变量结构体到堆。如果Block捕获了对象会调用retain操作。因此对于性能敏感的代码例如在循环中频繁创建Block可以考虑使用全局Block如果Block不捕获自动变量它就是全局Block没有拷贝开销。可以将其定义为static常量。避免不必要的捕获只捕获真正需要的变量。谨慎使用__block__block变量的拷贝成本比普通值捕获更高。5.2 在MRC环境下的特殊处理在手动引用计数MRC环境下你需要显式管理Block的内存如果要将一个栈Block存储起来在以后使用比如设置为属性必须对其执行copy[block copy]或Block_copy(block)。对应的当不再需要时需要对其执行release[block release]或Block_release(block)。捕获的对象变量在Block内部如果需要保持可能需要手动retain取决于修饰符__block在MRC下不会retain。5.3 使用Clang Rewrite-Objc进行调试当遇到复杂的Block相关问题时终极的调试手段是让编译器“告诉”你它生成了什么。使用以下命令clang -rewrite-objc -fobjc-arc -stdliblibc -mmacosx-version-min10.7 -fobjc-runtimemacosx-10.7 -Wno-deprecated-declarations YourFile.m这会生成一个YourFile.cpp文件里面包含了Objective-C代码转换后的C实现。你可以在这个文件中搜索__block_impl、__main_block_impl_0等结构体定义直观地看到变量是如何被捕获的copy/dispose函数是如何生成的。这是理解Block底层最直接的方式。5.4 Block与GCD的配合Grand Central Dispatch (GCD) 是Block的主要“消费者”。将Block提交到队列时系统会自动管理其生命周期执行copy和release。需要注意的是在Block内部访问外部变量时同样要遵循上述捕获规则。在并发队列中修改共享数据时如果数据是被捕获的__block变量或静态/全局变量需要考虑线程安全问题通常需要使用锁或串行队列来保护。5.5 常见问题排查速查表现象可能原因排查方向与解决方案EXC_BAD_ACCESS崩溃尤其在Block被异步执行时使用了已释放的栈BlockMRC下常见或Block内访问了已释放的对象。1. 检查Block类型确保使用的是堆BlockMRC下手动copy。2. 检查Block内部捕获的对象是否已被释放使用弱引用或确保对象生命周期。内存泄漏对象无法释放Block循环引用。1. 使用__weak打破强引用环。2. 检查NSTimer、NSNotificationCenter的Block版本等是否被正确清理。修改捕获的自动变量编译错误默认自动变量是值捕获不可修改。1. 使用__block修饰符。2. 或将需要修改的值包装在可变对象如NSMutableArray中。Block内部变量值与预期不符混淆了值捕获和指针捕获。对于自动变量Block保存的是定义时的值。1. 确认变量类型。如需最新值考虑使用__block或传递变量指针。性能瓶颈在循环中大量创建Block频繁的堆内存分配和拷贝。1. 尝试将不捕获自动变量的Block提升为全局静态Block。2. 重构代码减少不必要的Block创建和捕获。理解Block的底层最终是为了更好地使用它。它不是一个黑盒魔法而是一套设计精巧的机制。从结构体到捕获从内存管理到循环引用每一环都逻辑自洽。下次当你写下^{}时希望你的脑海里能浮现出__block_impl、__forwarding指针和copy/dispose函数的运作图景。这不仅能让你避免坑更能让你在架构设计、性能调优时游刃有余真正发挥出Block简洁而强大的威力。