OC-從記憶體角度理解block可作為方法傳入引數的原因

机械心發表於2024-07-08
記憶體BloC

從記憶體管理的角度來看，block可以作為方法的傳入引數是因為block在Objective-C中被設計為一種特殊的物件，它們可以在堆（heap）上分配和管理。這使得block可以像其他物件一樣被傳遞、複製和持有。以下是一些關鍵點，解釋為什麼block可以作為方法的傳入引數：

1. Block的型別和記憶體管理

在Objective-C中，block有三種型別：

  • 棧上的block（Stack Block）：預設情況下，block是在棧上分配的。這種block的生命週期與其作用域相同，當作用域結束時，block會被銷燬。
  • 堆上的block（Heap Block）：當block被複制（使用Block_copy或[block copy]）時，它會被移動到堆上。堆上的block可以在作用域之外存在，並且可以被多個物件持有。
  • 全域性block（Global Block）：如果block不捕獲任何外部變數，它會被最佳化為全域性block，類似於全域性函式。

2. Block的複製

當block作為方法引數傳遞時，通常會被複制到堆上，以確保它在方法執行期間和之後仍然有效。複製block會將其從棧移動到堆，並增加其引用計數。這樣，即使方法返回後，block仍然可以被安全地呼叫。

void (^myBlock)(void) = ^{
    NSLog(@"Hello, World!");
};

// 將block複製到堆上
void (^heapBlock)(void) = [myBlock copy];

3. ARC和Block

在使用自動引用計數（ARC）時，編譯器會自動處理block的記憶體管理。當block作為方法引數傳遞時，ARC會自動複製block並管理其生命週期。

- (void)performOperationWithCompletion:(void (^)(BOOL success))completion {
    // ARC會自動複製completion block到堆上
    if (completion) {
        completion(YES);
    }
}

4. 捕獲變數

block可以捕獲其作用域中的變數，並在block內部使用這些變數。捕獲的變數會被複制到block的內部結構中，以確保它們在block執行時仍然有效。

int multiplier = 7;
int (^myBlock)(int) = ^(int num) {
    return num * multiplier; // multiplier被捕獲並複製到block內部
};

5. Block作為引數的記憶體管理

當block作為方法引數傳遞時，通常會發生以下步驟：

  1. 複製block：如果block在棧上，ARC會自動將其複製到堆上。
  2. 傳遞block：複製後的block被傳遞給方法，並增加其引用計數。
  3. 持有block：方法可以選擇持有block（例如，將其儲存在例項變數中），以便在方法返回後繼續使用。
  4. 釋放block：當block不再需要時，ARC會自動減少其引用計數，並在引用計數為零時釋放block。

示例程式碼

以下是一個示例，展示了block作為方法引數的記憶體管理：

@interface MyClass : NSObject
@property (nonatomic, copy) void (^completionBlock)(BOOL success);
- (void)performOperationWithCompletion:(void (^)(BOOL success))completion;
@end

@implementation MyClass

- (void)performOperationWithCompletion:(void (^)(BOOL success))completion {
    // 複製block並持有
    self.completionBlock = completion;
    
    // 模擬非同步操作
    dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_DEFAULT, 0), ^{
        // 操作完成後呼叫block
        if (self.completionBlock) {
            self.completionBlock(YES);
        }
    });
}

@end

// 使用示例
MyClass *myObject = [[MyClass alloc] init];
[myObject performOperationWithCompletion:^(BOOL success) {
    if (success) {
        NSLog(@"Operation was successful");
    }
}];

在這個示例中，completion block被複制到堆上，並由self.completionBlock持有。即使performOperationWithCompletion:方法返回後，block仍然有效，並可以在非同步操作完成後被呼叫。

總結

從記憶體管理的角度來看，block可以作為方法的傳入引數是因為block在Objective-C中被設計為一種特殊的物件，可以在堆上分配和管理。ARC會自動處理block的複製和引用計數，使得block可以安全地在方法之間傳遞和持有。這種設計使得block在處理非同步操作和回撥時非常靈活和強大。

相關文章