3.3 _Block_copy

• 進(jìn)入源碼。搜索_Block_copy:

// Copy, or bump refcount, of a block.  If really copying, call the copy helper if present.
void *_Block_copy(const void *arg) {
    
    // block都是`Block_layout`類型
    struct Block_layout *aBlock;

    // 沒有內(nèi)容，直接返回空
    if (!arg) return NULL;
    
    // The following would be better done as a switch statement
    // 將內(nèi)容轉(zhuǎn)變?yōu)閌Block_layout`結(jié)構(gòu)體格式
    aBlock = (struct Block_layout *)arg;
    // 檢查是否需要釋放
    if (aBlock->flags & BLOCK_NEEDS_FREE) {
        latching_incr_int(&aBlock->flags);
        return aBlock;
    }
    // 如果是全局Block,直接返回
    else if (aBlock->flags & BLOCK_IS_GLOBAL) {
        return aBlock;
    }
    //
    else {
        // Its a stack block.  Make a copy.
        // 進(jìn)入的是棧區(qū)block，拷貝一份
        // 開辟一個(gè)大小空間的result對(duì)象
        struct Block_layout *result =
            (struct Block_layout *)malloc(aBlock->descriptor->size);
        // 開辟失敗，就返回
        if (!result) return NULL;
        // 內(nèi)存拷貝：將aBlock內(nèi)容拷貝到result中
        memmove(result, aBlock, aBlock->descriptor->size); // bitcopy first
#if __has_feature(ptrauth_calls)
        // Resign the invoke pointer as it uses address authentication.
        //result的invoke指向aBlock的invoke。
        result->invoke = aBlock->invoke;
#endif
        // reset refcount
        // BLOCK_REFCOUNT_MASK|BLOCK_DEALLOCATING ：前16位都為1
        // ~(BLOCK_REFCOUNT_MASK|BLOCK_DEALLOCATING)：前16位都為0
        // 與操作，結(jié)果為前16位都為0 應(yīng)用計(jì)數(shù)為0
        result->flags &= ~(BLOCK_REFCOUNT_MASK|BLOCK_DEALLOCATING);    // XXX not needed
        // 設(shè)置為需要釋放，引用計(jì)數(shù)為1
        result->flags |= BLOCK_NEEDS_FREE | 2;  // logical refcount 1
        // 生成desc，并記錄了result和aBlock
        _Block_call_copy_helper(result, aBlock); //
        // Set isa last so memory analysis tools see a fully-initialized object.
        // 設(shè)置isa為堆區(qū)Block
        result->isa = _NSConcreteMallocBlock;
        return result;
    }
}

1. 如果block需要釋放（表示已經(jīng)在堆區(qū)），就增加引用計(jì)數(shù)
2. 如果是全局Block，直接返回Block_layout結(jié)構(gòu)的aBlock
3. 其他情況，都是從棧區(qū)拷貝到堆區(qū)：
   malloc申請(qǐng)空間 -> memove內(nèi)存拷貝 -> invoke指針拷貝 ->
   flag引用計(jì)數(shù)設(shè)為1 -> 生成desc -> 設(shè)置isa為堆Block -> 返回堆區(qū)Block

4. block的參數(shù)處理（多次拷貝）

Q: block對(duì)外界捕獲變量怎么管理的？有哪些操作？

• 以__block修飾的NSArray為例，測試代碼如下：

- (void)demo {
    __block NSArray * arr = @[@"1"];
    void(^block)(void) = ^{
        NSLog(@"HT_Block %@",arr);  // 捕獲外界變量：arr
    };
    block();
    NSLog(@"%@",block);
}

• 使用clang將ViewController.m文件生成ViewController.cpp文件，分析：

clang -x objective-c -rewrite-objc -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/iPhoneSimulator.platform/Developer/SDKs/iPhoneSimulator.sdk ViewController.m

image.png

• 進(jìn)入源碼，搜索_Block_object_assign:

image.png

• 不同枚舉類型和組合，有不同的引用方式，其中最復(fù)雜的，是_Block_copy和_Block_byref_copy。

• _Block_copy上面已分析過了，我們搜索_Block_byref_copy：
  

  image.png

重點(diǎn)：

此處有2次拷貝+更深層次拷貝：

• 【第一次拷貝】：Block自身 (拷貝一份到)-> Block_byref結(jié)構(gòu)體（src棧區(qū)結(jié)構(gòu)體 ）
• 【第二次拷貝】: src棧區(qū)結(jié)構(gòu)體 (拷貝一份到)-> copy堆區(qū)結(jié)構(gòu)體
• 【更深次拷貝】：調(diào)用byref_keep方法，內(nèi)部又執(zhí)行_Block_object_assign函數(shù)，再判斷是否繼續(xù)往下拷貝嵌套

• 以上，就是Block的創(chuàng)建、調(diào)用。 Block的釋放調(diào)用_Block_object_dispose函數(shù)：
  
  image.png

關(guān)于Block的探索，都在這里了。有興趣可以一個(gè)個(gè)類型去測試和監(jiān)測