存布局與實現(xiàn)原理詳解)
1. Block內(nèi)存布局深度解析在編程領(lǐng)域Block是一種特殊的語法結(jié)構(gòu)它允許我們將代碼塊作為參數(shù)傳遞或存儲在變量中。理解Block的內(nèi)存布局對于編寫高效、安全的代碼至關(guān)重要。今天我們就來徹底拆解Block在內(nèi)存中的組織方式。Block本質(zhì)上是一個對象它包含了執(zhí)行代碼和捕獲的變量。在內(nèi)存中Block由多個部分組成每個部分都有其特定的作用。我們先來看一個簡單的Block示例void (^myBlock)(void) ^{ NSLog(This is a block); };這個看似簡單的Block在內(nèi)存中其實有著復雜的結(jié)構(gòu)。接下來我們將從底層角度分析Block的內(nèi)存布局。2. Block內(nèi)存布局的核心結(jié)構(gòu)2.1 Block的基本內(nèi)存布局一個Block在內(nèi)存中的典型布局包含以下幾個關(guān)鍵部分Block描述符(Block Descriptor)捕獲的變量(Captured Variables)函數(shù)指針(Invoke Function Pointer)標志位(Flags)在64位系統(tǒng)上一個Block的頭部通常占用24字節(jié)的內(nèi)存空間。我們可以用以下結(jié)構(gòu)體來表示struct Block_layout { void *isa; volatile int32_t flags; int32_t reserved; void (*invoke)(void *, ...); struct Block_descriptor *descriptor; // 捕獲的變量會跟隨在這里 };2.2 各組成部分詳解2.2.1 isa指針每個Block對象都包含一個isa指針指向它的類。這與其他Objective-C對象的行為一致。根據(jù)Block的類型不同isa指針可能指向_NSConcreteGlobalBlock全局Block_NSConcreteStackBlock棧Block_NSConcreteMallocBlock堆Block2.2.2 flags字段flags字段包含了Block的各種屬性信息常見的標志位包括enum { BLOCK_HAS_COPY_DISPOSE (1 25), // 有copy和dispose輔助函數(shù) BLOCK_HAS_CTOR (1 26), // 有C構(gòu)造函數(shù) BLOCK_IS_GLOBAL (1 28), // 是全局Block BLOCK_HAS_STRET (1 29), // 有stret返回值 BLOCK_HAS_SIGNATURE (1 30) // 有簽名信息 };2.2.3 invoke函數(shù)指針invoke是一個函數(shù)指針指向Block的實現(xiàn)代碼。當Block被調(diào)用時實際上就是通過這個指針來執(zhí)行對應的函數(shù)。2.2.4 descriptor描述符descriptor指針指向Block的描述信息包含以下內(nèi)容struct Block_descriptor { unsigned long int reserved; unsigned long int size; void (*copy)(void *dst, void *src); void (*dispose)(void *); const char *signature; };3. Block的三種內(nèi)存類型3.1 全局Block(NSGlobalBlock)全局Block具有以下特點不捕獲任何外部變量生命周期與程序相同存儲在程序的全局數(shù)據(jù)區(qū)多次使用同一個全局Block實際上是使用同一個對象示例void (^globalBlock)(void) ^{ NSLog(This is a global block); };3.2 棧Block(NSStackBlock)棧Block的特點捕獲了外部變量存儲在棧上生命周期與所在函數(shù)相同函數(shù)返回后棧Block就無效了示例int a 10; void (^ __weak stackBlock)(void) ^{ NSLog(This is a stack block: %d, a); };注意在ARC環(huán)境下編譯器會自動將棧Block復制到堆上所以很難直接觀察到棧Block。3.3 堆Block(NSMallocBlock)堆Block的特點由棧Block通過copy操作創(chuàng)建存儲在堆上需要手動管理內(nèi)存(在MRC下)可以跨函數(shù)使用示例int b 20; void (^heapBlock)(void) [^{ NSLog(This is a heap block: %d, b); } copy];4. Block的內(nèi)存管理4.1 Block的copy操作Block的copy操作會根據(jù)不同類型有不同的行為全局Blockcopy操作什么也不做直接返回原Block棧Blockcopy操作會將Block從棧復制到堆上堆Blockcopy操作會增加引用計數(shù)在MRC環(huán)境下我們需要手動管理Block的內(nèi)存// MRC下 void (^block)(void) [^{ /* ... */ } copy]; // 使用完后需要release [block release];在ARC環(huán)境下編譯器會自動插入適當?shù)腸opy/release調(diào)用。4.2 Block的循環(huán)引用問題由于Block會強引用它捕獲的對象因此容易造成循環(huán)引用。常見解決方案使用__weak修飾符__weak typeof(self) weakSelf self; self.block ^{ [weakSelf doSomething]; };使用__block修飾符(僅限MRC)__block id blockSelf self; self.block ^{ [blockSelf doSomething]; blockSelf nil; // 打破循環(huán) };5. Block的變量捕獲機制5.1 自動變量捕獲Block會捕獲使用的外部變量但默認情況下是以const方式捕獲的即在Block內(nèi)部不能修改這些變量int value 10; void (^block)(void) ^{ // value 20; // 編譯錯誤 NSLog(%d, value); };5.2 __block變量使用__block修飾的變量可以在Block內(nèi)部修改__block int mutableValue 10; void (^block)(void) ^{ mutableValue 20; // 可以修改 NSLog(%d, mutableValue); };在底層__block變量會被包裝成一個結(jié)構(gòu)體struct __Block_byref_mutableValue_0 { void *__isa; __Block_byref_mutableValue_0 *__forwarding; int __flags; int __size; int mutableValue; };5.3 對象類型的捕獲當Block捕獲對象時會根據(jù)修飾符不同而有不同的行為默認是強引用id obj [[NSObject alloc] init]; void (^block)(void) ^{ NSLog(%, obj); // 強引用obj };使用__weak修飾符__weak id weakObj obj; void (^block)(void) ^{ NSLog(%, weakObj); // 弱引用obj };6. Block的底層實現(xiàn)原理6.1 Block的編譯轉(zhuǎn)換編譯器會將Block轉(zhuǎn)換為一個結(jié)構(gòu)體和一個函數(shù)。例如int a 10; void (^block)(void) ^{ NSLog(%d, a); };會被轉(zhuǎn)換為類似下面的代碼struct __block_impl { void *isa; int Flags; int Reserved; void *FuncPtr; }; struct __main_block_impl_0 { struct __block_impl impl; struct __main_block_desc_0 *Desc; int a; }; static void __main_block_func_0(struct __main_block_impl_0 *__cself) { int a __cself-a; NSLog(%d, a); }6.2 Block的調(diào)用機制當調(diào)用一個Block時實際上是調(diào)用了Block結(jié)構(gòu)體中的FuncPtr函數(shù)指針并將Block自身作為參數(shù)傳遞// block-invoke(block, ...);這就是為什么在Block內(nèi)部可以訪問到捕獲的變量 - 因為它們都存儲在Block結(jié)構(gòu)體中。7. 實際應用中的注意事項7.1 性能優(yōu)化建議避免在循環(huán)中創(chuàng)建Block特別是捕獲了大量變量的Block對于不捕獲變量的Block使用全局Block合理使用__weak避免不必要的強引用7.2 調(diào)試技巧使用po [block copy]可以在lldb中查看Block的詳細信息通過xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc file.m命令可以查看Block的C實現(xiàn)使用Instruments的Allocations工具可以跟蹤Block的內(nèi)存分配情況7.3 常見問題排查EXC_BAD_ACCESS錯誤可能是使用了已經(jīng)釋放的棧Block內(nèi)存泄漏檢查是否有循環(huán)引用變量值不符合預期確認變量捕獲方式是否正確8. 不同語言中的Block實現(xiàn)對比8.1 Objective-C與Swift閉包比較雖然Swift的閉包與Objective-C的Block概念相似但在實現(xiàn)上有一些差異Swift閉包不區(qū)分全局/棧/堆閉包Swift的捕獲列表語法更明確Swift閉包默認捕獲的變量是可變的8.2 C lambda表達式C11引入的lambda表達式與Block類似但有以下區(qū)別lambda可以按值或按引用捕獲變量lambda可以有模板參數(shù)lambda沒有自動的內(nèi)存管理9. 高級話題Block的ABI與跨平臺兼容性Block的ABI(應用程序二進制接口)在不同平臺上有細微差異iOS/macOS使用統(tǒng)一的Block ABI其他平臺可能需要特殊的編譯器標志跨語言調(diào)用需要注意內(nèi)存管理和調(diào)用約定在編寫跨平臺代碼時需要特別注意Block的內(nèi)存管理方式和調(diào)用約定。10. 實戰(zhàn)案例自定義Block內(nèi)存分配器對于需要高性能的場景我們可以實現(xiàn)自定義的Block內(nèi)存分配器#import Block.h typedef void (^CustomBlock)(void); CustomBlock CreateCustomBlock(void (^original)(void)) { // 獲取原始Block的大小 size_t size Block_size(original); // 分配內(nèi)存 CustomBlock newBlock Block_copy(original); // 自定義初始化 // ... return newBlock; }這種技術(shù)可以用于特殊的內(nèi)存管理策略或性能優(yōu)化場景。 Objective-C Block內(nèi)存布局與實現(xiàn)原理詳解
1. Block內(nèi)存布局深度解析在編程領(lǐng)域Block是一種特殊的語法結(jié)構(gòu)它允許我們將代碼塊作為參數(shù)傳遞或存儲在變量中。理解Block的內(nèi)存布局對于編寫高效、安全的代碼至關(guān)重要。今天我們就來徹底拆解Block在內(nèi)存中的組織方式。Block本質(zhì)上是一個對象它包含了執(zhí)行代碼和捕獲的變量。在內(nèi)存中Block由多個部分組成每個部分都有其特定的作用。我們先來看一個簡單的Block示例void (^myBlock)(void) ^{ NSLog(This is a block); };這個看似簡單的Block在內(nèi)存中其實有著復雜的結(jié)構(gòu)。接下來我們將從底層角度分析Block的內(nèi)存布局。2. Block內(nèi)存布局的核心結(jié)構(gòu)2.1 Block的基本內(nèi)存布局一個Block在內(nèi)存中的典型布局包含以下幾個關(guān)鍵部分Block描述符(Block Descriptor)捕獲的變量(Captured Variables)函數(shù)指針(Invoke Function Pointer)標志位(Flags)在64位系統(tǒng)上一個Block的頭部通常占用24字節(jié)的內(nèi)存空間。我們可以用以下結(jié)構(gòu)體來表示struct Block_layout { void *isa; volatile int32_t flags; int32_t reserved; void (*invoke)(void *, ...); struct Block_descriptor *descriptor; // 捕獲的變量會跟隨在這里 };2.2 各組成部分詳解2.2.1 isa指針每個Block對象都包含一個isa指針指向它的類。這與其他Objective-C對象的行為一致。根據(jù)Block的類型不同isa指針可能指向_NSConcreteGlobalBlock全局Block_NSConcreteStackBlock棧Block_NSConcreteMallocBlock堆Block2.2.2 flags字段flags字段包含了Block的各種屬性信息常見的標志位包括enum { BLOCK_HAS_COPY_DISPOSE (1 25), // 有copy和dispose輔助函數(shù) BLOCK_HAS_CTOR (1 26), // 有C構(gòu)造函數(shù) BLOCK_IS_GLOBAL (1 28), // 是全局Block BLOCK_HAS_STRET (1 29), // 有stret返回值 BLOCK_HAS_SIGNATURE (1 30) // 有簽名信息 };2.2.3 invoke函數(shù)指針invoke是一個函數(shù)指針指向Block的實現(xiàn)代碼。當Block被調(diào)用時實際上就是通過這個指針來執(zhí)行對應的函數(shù)。2.2.4 descriptor描述符descriptor指針指向Block的描述信息包含以下內(nèi)容struct Block_descriptor { unsigned long int reserved; unsigned long int size; void (*copy)(void *dst, void *src); void (*dispose)(void *); const char *signature; };3. Block的三種內(nèi)存類型3.1 全局Block(NSGlobalBlock)全局Block具有以下特點不捕獲任何外部變量生命周期與程序相同存儲在程序的全局數(shù)據(jù)區(qū)多次使用同一個全局Block實際上是使用同一個對象示例void (^globalBlock)(void) ^{ NSLog(This is a global block); };3.2 棧Block(NSStackBlock)棧Block的特點捕獲了外部變量存儲在棧上生命周期與所在函數(shù)相同函數(shù)返回后棧Block就無效了示例int a 10; void (^ __weak stackBlock)(void) ^{ NSLog(This is a stack block: %d, a); };注意在ARC環(huán)境下編譯器會自動將棧Block復制到堆上所以很難直接觀察到棧Block。3.3 堆Block(NSMallocBlock)堆Block的特點由棧Block通過copy操作創(chuàng)建存儲在堆上需要手動管理內(nèi)存(在MRC下)可以跨函數(shù)使用示例int b 20; void (^heapBlock)(void) [^{ NSLog(This is a heap block: %d, b); } copy];4. Block的內(nèi)存管理4.1 Block的copy操作Block的copy操作會根據(jù)不同類型有不同的行為全局Blockcopy操作什么也不做直接返回原Block棧Blockcopy操作會將Block從棧復制到堆上堆Blockcopy操作會增加引用計數(shù)在MRC環(huán)境下我們需要手動管理Block的內(nèi)存// MRC下 void (^block)(void) [^{ /* ... */ } copy]; // 使用完后需要release [block release];在ARC環(huán)境下編譯器會自動插入適當?shù)腸opy/release調(diào)用。4.2 Block的循環(huán)引用問題由于Block會強引用它捕獲的對象因此容易造成循環(huán)引用。常見解決方案使用__weak修飾符__weak typeof(self) weakSelf self; self.block ^{ [weakSelf doSomething]; };使用__block修飾符(僅限MRC)__block id blockSelf self; self.block ^{ [blockSelf doSomething]; blockSelf nil; // 打破循環(huán) };5. Block的變量捕獲機制5.1 自動變量捕獲Block會捕獲使用的外部變量但默認情況下是以const方式捕獲的即在Block內(nèi)部不能修改這些變量int value 10; void (^block)(void) ^{ // value 20; // 編譯錯誤 NSLog(%d, value); };5.2 __block變量使用__block修飾的變量可以在Block內(nèi)部修改__block int mutableValue 10; void (^block)(void) ^{ mutableValue 20; // 可以修改 NSLog(%d, mutableValue); };在底層__block變量會被包裝成一個結(jié)構(gòu)體struct __Block_byref_mutableValue_0 { void *__isa; __Block_byref_mutableValue_0 *__forwarding; int __flags; int __size; int mutableValue; };5.3 對象類型的捕獲當Block捕獲對象時會根據(jù)修飾符不同而有不同的行為默認是強引用id obj [[NSObject alloc] init]; void (^block)(void) ^{ NSLog(%, obj); // 強引用obj };使用__weak修飾符__weak id weakObj obj; void (^block)(void) ^{ NSLog(%, weakObj); // 弱引用obj };6. Block的底層實現(xiàn)原理6.1 Block的編譯轉(zhuǎn)換編譯器會將Block轉(zhuǎn)換為一個結(jié)構(gòu)體和一個函數(shù)。例如int a 10; void (^block)(void) ^{ NSLog(%d, a); };會被轉(zhuǎn)換為類似下面的代碼struct __block_impl { void *isa; int Flags; int Reserved; void *FuncPtr; }; struct __main_block_impl_0 { struct __block_impl impl; struct __main_block_desc_0 *Desc; int a; }; static void __main_block_func_0(struct __main_block_impl_0 *__cself) { int a __cself-a; NSLog(%d, a); }6.2 Block的調(diào)用機制當調(diào)用一個Block時實際上是調(diào)用了Block結(jié)構(gòu)體中的FuncPtr函數(shù)指針并將Block自身作為參數(shù)傳遞// block-invoke(block, ...);這就是為什么在Block內(nèi)部可以訪問到捕獲的變量 - 因為它們都存儲在Block結(jié)構(gòu)體中。7. 實際應用中的注意事項7.1 性能優(yōu)化建議避免在循環(huán)中創(chuàng)建Block特別是捕獲了大量變量的Block對于不捕獲變量的Block使用全局Block合理使用__weak避免不必要的強引用7.2 調(diào)試技巧使用po [block copy]可以在lldb中查看Block的詳細信息通過xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc file.m命令可以查看Block的C實現(xiàn)使用Instruments的Allocations工具可以跟蹤Block的內(nèi)存分配情況7.3 常見問題排查EXC_BAD_ACCESS錯誤可能是使用了已經(jīng)釋放的棧Block內(nèi)存泄漏檢查是否有循環(huán)引用變量值不符合預期確認變量捕獲方式是否正確8. 不同語言中的Block實現(xiàn)對比8.1 Objective-C與Swift閉包比較雖然Swift的閉包與Objective-C的Block概念相似但在實現(xiàn)上有一些差異Swift閉包不區(qū)分全局/棧/堆閉包Swift的捕獲列表語法更明確Swift閉包默認捕獲的變量是可變的8.2 C lambda表達式C11引入的lambda表達式與Block類似但有以下區(qū)別lambda可以按值或按引用捕獲變量lambda可以有模板參數(shù)lambda沒有自動的內(nèi)存管理9. 高級話題Block的ABI與跨平臺兼容性Block的ABI(應用程序二進制接口)在不同平臺上有細微差異iOS/macOS使用統(tǒng)一的Block ABI其他平臺可能需要特殊的編譯器標志跨語言調(diào)用需要注意內(nèi)存管理和調(diào)用約定在編寫跨平臺代碼時需要特別注意Block的內(nèi)存管理方式和調(diào)用約定。10. 實戰(zhàn)案例自定義Block內(nèi)存分配器對于需要高性能的場景我們可以實現(xiàn)自定義的Block內(nèi)存分配器#import Block.h typedef void (^CustomBlock)(void); CustomBlock CreateCustomBlock(void (^original)(void)) { // 獲取原始Block的大小 size_t size Block_size(original); // 分配內(nèi)存 CustomBlock newBlock Block_copy(original); // 自定義初始化 // ... return newBlock; }這種技術(shù)可以用于特殊的內(nèi)存管理策略或性能優(yōu)化場景。