iOS 底層原理 文章匯總

本文主要介紹block的類型、循環(huán)引用的解決方法以及block底層的分析

block 類型

block主要有三種類型

• __NSGlobalBlock__：全局block，存儲(chǔ)在全局區(qū)

void(^block)(void) = ^{
    NSLog(@"CJL");
};
NSLog(@"%@", block);

此時(shí)的block無參也無返回值碗降，屬于全局block

image

• __NSMallocBlock__：堆區(qū)block犁跪，因?yàn)閎lock既是函數(shù)饺窿，也是對(duì)象

int a = 10;
void(^block)(void) = ^{
    NSLog(@"CJL - %d", a);
};
NSLog(@"%@", block);

此時(shí)的block會(huì)訪問外界變量鲫咽，即底層拷貝a姨伤，所以是堆區(qū)block

image

• __NSStackBlock__：棧區(qū)block

 int a = 10;
void(^block)(void) = ^{
    NSLog(@"CJL - %d", a);
};
NSLog(@"%@", ^{
    NSLog(@"CJL - %d", a);
});

其中局部變量a在沒有處理之前（即沒有拷貝之前）是 棧區(qū)block劫恒， 處理后（即拷貝之后）是堆區(qū)block 贩幻，目前的棧區(qū)block越來越少了

image

這個(gè)情況下，可以通過__weak不進(jìn)行強(qiáng)持有两嘴，block就還是棧區(qū)block

image

總結(jié)

• block直接存儲(chǔ)在全局區(qū)

• 如果block訪問外界變量丛楚，并進(jìn)行block相應(yīng)拷貝，即copy

  • 如果此時(shí)的block是強(qiáng)引用憔辫，則block存儲(chǔ)在堆區(qū)趣些，即堆區(qū)block

  • 如果此時(shí)的block通過__weak變成了弱引用，則block存儲(chǔ)在棧區(qū)贰您，即棧區(qū)block

Block循環(huán)引用

• 正常釋放：是指A持有B的引用喧务，當(dāng)A調(diào)用dealloc方法，給B發(fā)送release信號(hào)枉圃，B收到release信號(hào)功茴，如果此時(shí)B的retainCount（即引用計(jì)數(shù)）為0時(shí)，則調(diào)用B的dealloc方法

• 循環(huán)引用：A孽亲、B相互持有坎穿，所以導(dǎo)致A無法調(diào)用dealloc方法給B發(fā)送release信號(hào)，而B也無法接收到release信號(hào)返劲。所以A玲昧、B此時(shí)都無法釋放

如下圖所示

image

解決循環(huán)引用

請(qǐng)問下面兩段代碼有循環(huán)引用嗎？

//代碼一
NSString *name = @"CJL";
self.block = ^(void){
    NSLog(@"%@",self.name);
};
self.block();

//代碼二
UIView animateWithDuration:1 animations:^{
    NSLog(@"%@",self.name);
};

代碼一種發(fā)生了循環(huán)引用篮绿，因?yàn)樵?code>block內(nèi)部使用了外部變量name孵延，導(dǎo)致block持有了self，而self原本是持有block的亲配，所以導(dǎo)致了self和block的相互持有尘应。代碼二中無循環(huán)引用惶凝，雖然也使用了外部變量，但是self并沒有持有animation的bblock犬钢，僅僅只有animation持有self苍鲜，不構(gòu)成相互持有

解決循環(huán)引用常見的方式有以下幾種;

• 【方式一】weak-strong-dance

• 【方式二】__block修飾對(duì)象（需要注意的是在block內(nèi)部需要置空對(duì)象，而且block必須調(diào)用）

• 【方式三】傳遞對(duì)象self作為block的參數(shù)玷犹，提供給block內(nèi)部使用

• 【方式四】使用NSProxy

方式一：weak-stong-dance

• 如果block內(nèi)部并未嵌套block混滔，直接使用__weak修飾self即可

typedef void(^CJLBlock)(void);

@property(nonatomic, copy) CJLBlock cjlBlock;

__weak typeof(self) weakSelf = self;
self.cjlBlock = ^(void){
     NSLog(@"%@",weakSelf.name);
}

此時(shí)的weakSelf 和 self 指向同一片內(nèi)存空間，且使用__weak不會(huì)導(dǎo)致self的引用計(jì)數(shù)發(fā)生變化歹颓，可以通過打印weakSelf和self的指針地址坯屿，以及self的引用計(jì)數(shù)來驗(yàn)證，如下所示

image

• 如果block內(nèi)部嵌套block巍扛，需要同時(shí)使用__weak 和 __strong

__weak typeof(self) weakSelf = self;
self.cjlBlock = ^(void){
    __strong typeof(weakSelf) strongSelf = weakSelf;
    dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
        NSLog(@"%@",strongSelf.name);
    });
};
self.cjlBlock();

其中strongSelf是一個(gè)臨時(shí)變量领跛，在cjlBlock的作用域內(nèi)，即內(nèi)部block執(zhí)行完就釋放strongSelf

這種方式屬于打破self對(duì)block的強(qiáng)引用电湘，依賴于中介者模式隔节，屬于自動(dòng)置為nil，即自動(dòng)釋放

方式二：__block修飾變量

這種方式同樣依賴于中介者模式寂呛，屬于手動(dòng)釋放怎诫，是通過__block修飾對(duì)象，主要是因?yàn)開_block修飾的對(duì)象是可以改變的

__block ViewController *vc = self;
self.cjlBlock = ^(void){
    dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
        NSLog(@"%@",vc.name);
        vc = nil;//手動(dòng)釋放
    });
};
self.cjlBlock();

需要注意的是這里的block必須調(diào)用贷痪，如果不調(diào)用block幻妓，vc就不會(huì)置空，那么依舊是循環(huán)引用劫拢，self和block都不會(huì)被釋放

方式三：對(duì)象self作為參數(shù)

主要是將對(duì)象self作為參數(shù)肉津，提供給block內(nèi)部使用，不會(huì)有引用計(jì)數(shù)問題

typedef void(^CJLBlock)(ViewController *);

@property(nonatomic, copy) CJLBlock cjlBlock;

self.cjlBlock = ^(ViewController *vc){
    dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(2 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
        NSLog(@"%@",vc.name);
    });
};
self.cjlBlock(self);

下面介紹循環(huán)引用的第4種方式舱沧，即使用NSProxy虛擬類

NSProxy 虛擬類

• OC是只能單繼承的語言妹沙，但是它是基于運(yùn)行時(shí)的機(jī)制，所以可以通過NSProxy來實(shí)現(xiàn) 偽多繼承熟吏，填補(bǔ)了多繼承的空白

• NSProxy 和 NSObject是同級(jí)的一個(gè)類距糖，也可以說是一個(gè)虛擬類，只是實(shí)現(xiàn)了NSObject的協(xié)議

• NSProxy 其實(shí)是一個(gè)消息重定向封裝的一個(gè)抽象類牵寺，類似一個(gè)代理人悍引，中間件，可以通過繼承它帽氓，并重寫下面兩個(gè)方法來實(shí)現(xiàn)消息轉(zhuǎn)發(fā)到另一個(gè)實(shí)例

- (void)forwardInvocation:(NSInvocation *)invocation;
- (nullable NSMethodSignature *)methodSignatureForSelector:(SEL)sel

使用場(chǎng)景

NSProxy的使用場(chǎng)景主要有兩種

• 實(shí)現(xiàn)多繼承功能
• 解決了NSTimer&CADisplayLink創(chuàng)建時(shí)對(duì)self強(qiáng)引用問題趣斤，參考YYKit的YYWeakProxy。

循環(huán)引用解決原理

主要是通過自定義的NSProxy類的對(duì)象來代替self黎休，并使用方法實(shí)現(xiàn)消息轉(zhuǎn)發(fā)

下面是NSProxy子類的實(shí)現(xiàn)以及使用的場(chǎng)景

• 自定義一個(gè)NSProxy的子類CJLProxy

@interface CJLProxy : NSProxy

- (id)transformObjc:(NSObject *)objc;

+ (instancetype)proxyWithObjc:(id)objc;

@end

@interface CJLProxy ()

@property(nonatomic, weak, readonly) NSObject *objc;

@end

@implementation CJLProxy

- (id)transformObjc:(NSObject *)objc{
   _objc = objc;
    return self;
}

+ (instancetype)proxyWithObjc:(id)objc{
    return  [[self alloc] transformObjc:objc];
}



//2.有了方法簽名之后就會(huì)調(diào)用方法實(shí)現(xiàn)
- (void)forwardInvocation:(NSInvocation *)invocation{
    SEL sel = [invocation selector];
    if ([self.objc respondsToSelector:sel]) {
        [invocation invokeWithTarget:self.objc];
    }
}

//1浓领、查詢?cè)摲椒ǖ姆椒ê灻?- (NSMethodSignature *)methodSignatureForSelector:(SEL)sel{
    NSMethodSignature *signature;
    if (self.objc) {
        signature = [self.objc methodSignatureForSelector:sel];
    }else{
        signature = [super methodSignatureForSelector:sel];
    }
    return signature;
}

- (BOOL)respondsToSelector:(SEL)aSelector{
    return [self.objc respondsToSelector:aSelector];
}

@end

• 自定義Cat類和Dog類

//********Cat類********
@interface Cat : NSObject
@end

@implementation Cat
- (void)eat{
   NSLog(@"貓吃魚");
}
@end

//********Dog類********
@interface Dog : NSObject
@end

@implementation Dog
- (void)shut{
    NSLog(@"狗叫");
}
@end

• 通過CJLProxy實(shí)現(xiàn)多繼承功能

- (void)cjl_proxyTest{
    Dog *dog = [[Dog alloc] init];
    Cat *cat = [[Cat alloc] init];
    CJLProxy *proxy = [CJLProxy alloc];
    
    [proxy transformObjc:cat];
    [proxy performSelector:@selector(eat)];
    
    [proxy transformObjc:dog];
    [proxy performSelector:@selector(shut)];
}

• 通過CJLProxy解決定時(shí)器中self的強(qiáng)引用問題

self.timer = [NSTimer timerWithTimeInterval:1 target:[CJLProxy proxyWithObjc:self] selector:@selector(print) userInfo:nil repeats:YES];
    [[NSRunLoop currentRunLoop] addTimer:self.timer forMode:NSRunLoopCommonModes];

總結(jié)

循環(huán)應(yīng)用的解決方式從根本上來說就兩種玉凯，以self -> block -> self為例

• 打破self 對(duì) block的強(qiáng)引用，可以block屬性修飾符使用weak镊逝，但是這樣會(huì)導(dǎo)致block還每創(chuàng)建完就釋放了壮啊，所以從這里打破強(qiáng)引用行不通

• 打破block對(duì)self的強(qiáng)引用嫉鲸，主要就是self的作用域和block作用域的通訊撑蒜，通訊有代理、傳值、通知、傳參等幾種方式蜗元，用于解決循環(huán)讳嘱，常見的解決方式如下：

  • weak-strong-dance

  • __block(block內(nèi)對(duì)象置空，且調(diào)用block)

  • 將對(duì)象self作為block的參數(shù)

  • 通過NSProxy的子類代替self

Block 底層分析

主要是通過clang茂浮、斷點(diǎn)調(diào)試等方式分析Block底層

本質(zhì)

• 定義block.c文件

#include "stdio.h"

int main(){

    void(^block)(void) = ^{
        printf("CJL");
    };
    return 0;
}

• 通過xcrun -sdk iphonesimulator clang -arch x86_64 -rewrite-objc block.c，將block.c 編譯成 block.cpp，其中block在底層被編譯成了以下的形式

int main(){
    void(*block)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA));

     ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
    return 0;
}

static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
        printf("CJL");
}

//******簡(jiǎn)化******
void(*block)(void) = __main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA));//構(gòu)造函數(shù)

block->FuncPtr(block);//block調(diào)用執(zhí)行

相當(dāng)于block等于__main_block_impl_0升略，是一個(gè)函數(shù)

• 查看__main_block_impl_0，是一個(gè)結(jié)構(gòu)體屡限，同時(shí)可以說明block是一個(gè)__main_block_impl_0類型的對(duì)象品嚣，這也是為什么block能夠%@打印的原因

//**block代碼塊的結(jié)構(gòu)體類型**
struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int flags=0) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

//**block的結(jié)構(gòu)體類型**
struct __block_impl {
  void *isa;
  int Flags;
  int Reserved;
  void *FuncPtr;
};

總結(jié)：block的本質(zhì)是對(duì)象、函數(shù)钧大、結(jié)構(gòu)體翰撑，由于block函數(shù)沒有名稱，也被稱為匿名函數(shù)

block通過clang編譯后的源碼間的關(guān)系如下所示啊央，以__block修飾的變量為例

關(guān)系圖示

1眶诈、block為什么需要調(diào)用

在底層block的類型__main_block_impl_0結(jié)構(gòu)體，通過其同名構(gòu)造函數(shù)創(chuàng)建瓜饥，第一個(gè)傳入的block的內(nèi)部實(shí)現(xiàn)代碼塊逝撬，即__main_block_func_0，用fp表示乓土，然后賦值給impl的FuncPtr屬性宪潮，然后在main中進(jìn)行了調(diào)用，這也是block為什么需要調(diào)用的原因帐我。如果不調(diào)用坎炼，block內(nèi)部實(shí)現(xiàn)的代碼塊將無法執(zhí)行，可以總結(jié)為以下兩點(diǎn)

• 函數(shù)聲明：即block內(nèi)部實(shí)現(xiàn)聲明成了一個(gè)函數(shù)__main_block_func_0

• 執(zhí)行具體的函數(shù)實(shí)現(xiàn)：通過調(diào)用block的FuncPtr指針拦键，調(diào)用block執(zhí)行

2谣光、block是如何獲取外界變量的

• 定義一個(gè)變量，并在block中調(diào)用

int main(){
    int a = 11;
    void(^block)(void) = ^{
        printf("CJL - %d", a);
    };
    
     block();
    return 0;
}

• 底層編譯成下面這樣

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  int a;//編譯時(shí)就自動(dòng)生成了相應(yīng)的變量
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _a, int flags=0) : a(_a) {
    impl.isa = &_NSConcreteStackBlock;//block的isa默認(rèn)是stackBlock
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  int a = __cself->a; // bound by copy 值拷貝芬为，即 a = 10萄金，此時(shí)的a與傳入的__cself的a并不是同一個(gè)

        printf("CJL - %d", a);
}
    
int main(){

    int a = 11;
    void(*block)(void) = __main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA, a));

     block)->FuncPtr(block);
    return 0;
}

__main_block_func_0中的a是值拷貝蟀悦，如果此時(shí)在block內(nèi)部實(shí)現(xiàn)中作 a++操作，是有問題的氧敢，會(huì)造成編譯器的代碼歧義日戈，即此時(shí)的a是只讀的

總結(jié)：block捕獲外界變量時(shí)，在內(nèi)部會(huì)自動(dòng)生成同一個(gè)屬性來保存

__block的原理

• 對(duì)a加一個(gè)__block孙乖，然后在block中對(duì)a進(jìn)行++操作

int main(){

    __block int a = 11;
    void(^block)(void) = ^{
        a++;
        printf("CJL - %d", a);
    };
    
     block();
    return 0;
}

• 底層編譯為如下

  • main中的a是通過外界變量封裝的對(duì)象

  • __main_block_impl_0中浙炼，將對(duì)象a的地址&a給構(gòu)造函數(shù)

  • 在__main_block_func_0內(nèi)部對(duì)a的處理是指針拷貝，此時(shí)創(chuàng)建的對(duì)象a與傳入對(duì)象的a指向同一片內(nèi)存空間

struct __Block_byref_a_0 {//__block修飾的外界變量的結(jié)構(gòu)體
  void *__isa;
__Block_byref_a_0 *__forwarding;
 int __flags;
 int __size;
 int a;
};

struct __main_block_impl_0 {//block的結(jié)構(gòu)體類型
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  __Block_byref_a_0 *a; // by ref
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, __Block_byref_a_0 *_a, int flags=0) : a(_a->__forwarding) {//構(gòu)造方法
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {//block內(nèi)部實(shí)現(xiàn)
  __Block_byref_a_0 *a = __cself->a; // bound by ref 指針拷貝唯袄，此時(shí)的對(duì)象a 與 __cself對(duì)象的a 指向同一片地址空間
        //等同于 外界的 a++
        (a->__forwarding->a)++;
        printf("CJL - %d", (a->__forwarding->a));
    }
static void __main_block_copy_0(struct __main_block_impl_0*dst, struct __main_block_impl_0*src) {_Block_object_assign((void*)&dst->a, (void*)src->a, 8/*BLOCK_FIELD_IS_BYREF*/);}

static void __main_block_dispose_0(struct __main_block_impl_0*src) {_Block_object_dispose((void*)src->a, 8/*BLOCK_FIELD_IS_BYREF*/);}

int main(){
    //__Block_byref_a_0 是結(jié)構(gòu)體弯屈，a 等于 結(jié)構(gòu)體的賦值，即將外界變量a 封裝成對(duì)象
    //&a 是外界變量a的地址
    __attribute__((__blocks__(byref))) __Block_byref_a_0 a = {(void*)0,(__Block_byref_a_0 *)&a, 0, sizeof(__Block_byref_a_0), 11};
    //__main_block_impl_0中的第三個(gè)參數(shù)&a恋拷，是封裝的對(duì)象a的地址
    void(*block)(void) = __main_block_impl_0(__main_block_func_0, &__main_block_desc_0_DATA, (__Block_byref_a_0 *)&a, 570425344));

     ((void (*)(__block_impl *))((__block_impl *)block)->FuncPtr)((__block_impl *)block);
    return 0;
}

總結(jié)：

• 外界變量會(huì)生成__Block_byref_a_0結(jié)構(gòu)體

• 結(jié)構(gòu)體用來保存原始變量的指針和值

• 將變量生成的結(jié)構(gòu)體對(duì)象的指針地址 傳遞給block资厉，然后在block內(nèi)部就可以對(duì)外界變量進(jìn)行操作了

兩種拷貝對(duì)比如下

• 值拷貝 - 深拷貝，只是拷貝數(shù)值蔬顾，且拷貝的值不可更改宴偿，指向不同的內(nèi)存空間，案例中普通變量a就是值拷貝

• 指針拷貝 - 淺拷貝诀豁，生成的對(duì)象指向同一片內(nèi)存空間窄刘，案例中經(jīng)過__block修飾的變量a就是指針拷貝

block底層真正類型

分析block源碼所在位置

• 通過在block處打斷點(diǎn)，分析運(yùn)行時(shí)的block

  
  
  image

• 加objc_retainBlock 符號(hào)斷點(diǎn)且叁，發(fā)現(xiàn)會(huì)走到_Block_copy
  

  image

• 加_Block_copy符號(hào)斷點(diǎn)都哭，運(yùn)行斷住，在libsystem_blocks.dylib源碼中
  

  image

可以到蘋果開源網(wǎng)站下載最新的libclosure-74源碼,通過查看_Block_copy的源碼實(shí)現(xiàn)逞带，發(fā)現(xiàn)block在底層的真正類型是Block_layout

Block真正類型

查看Block_layout類型的定義欺矫，是一個(gè)結(jié)構(gòu)體

// CJL注釋:Block 結(jié)構(gòu)體
struct Block_layout {
    //指向表明block類型的類
    void *isa;//8字節(jié)
    //用來作標(biāo)識(shí)符的，類似于isa中的位域,按bit位表示一些block的附加信息
    volatile int32_t flags; // contains ref count 4字節(jié)
    //保留信息展氓，可以理解預(yù)留位置穆趴，用于存儲(chǔ)block內(nèi)部變量信息
    int32_t reserved;//4字節(jié)
    //函數(shù)指針，指向具體的block實(shí)現(xiàn)的調(diào)用地址
    BlockInvokeFunction invoke;
    //block的附加信息
    struct Block_descriptor_1 *descriptor;
    // imported variables
};

• isa：指向表明block類型的類
• flags：標(biāo)識(shí)符遇汞，按bit位表示一些block的附加信息未妹，類似于isa中的位域，其中flags的種類有以下幾種空入，主要重點(diǎn)關(guān)注BLOCK_HAS_COPY_DISPOSE 和 BLOCK_HAS_SIGNATURE络它。 BLOCK_HAS_COPY_DISPOSE 決定是否有 Block_descriptor_2。BLOCK_HAS_SIGNATURE 決定是否有 Block_descriptor_3

  • 第1 位 - BLOCK_DEALLOCATING歪赢，釋放標(biāo)記化戳，-般常用 BLOCK_NEEDS_FREE 做 位與 操作，一同傳入 Flags 埋凯， 告知該 block 可釋放点楼。

  • 低16位 - BLOCK_REFCOUNT_MASK扫尖，存儲(chǔ)引用計(jì)數(shù)的值;是一個(gè)可選用參數(shù)

  • 第24位 - BLOCK_NEEDS_FREE，低16是否有效的標(biāo)志掠廓，程序根據(jù)它來決定是否增加或是減少引用計(jì)數(shù)位的 值;

  • 第25位 - BLOCK_HAS_COPY_DISPOSE换怖，是否擁有拷貝輔助函數(shù)(a copy helper function);

  • 第26位 - BLOCK_IS_GC，是否擁有 block 析構(gòu)函數(shù);

  • 第27位蟀瞧，標(biāo)志是否有垃圾回收;//OS X

  • 第28位 - BLOCK_IS_GLOBAL沉颂，標(biāo)志是否是全局block;

  • 第30位 - BLOCK_HAS_SIGNATURE，與 BLOCK_USE_STRET 相對(duì)黄橘，判斷當(dāng)前 block 是否擁有一個(gè)簽名兆览。用于 runtime 時(shí)動(dòng)態(tài)調(diào)用屈溉。

// CJL注釋: flags 標(biāo)識(shí)
// Values for Block_layout->flags to describe block objects
enum {
    //釋放標(biāo)記塞关，一般常用于BLOCK_BYREF_NEEDS_FREE做位與運(yùn)算，一同傳入flags子巾，告知該block可釋放
    BLOCK_DEALLOCATING =      (0x0001),  // runtime
    //存儲(chǔ)引用引用計(jì)數(shù)的 值帆赢，是一個(gè)可選用參數(shù)
    BLOCK_REFCOUNT_MASK =     (0xfffe),  // runtime
    //低16位是否有效的標(biāo)志，程序根據(jù)它來決定是否增加或者減少引用計(jì)數(shù)位的值
    BLOCK_NEEDS_FREE =        (1 << 24), // runtime
    //是否擁有拷貝輔助函數(shù)线梗，（a copy helper function）決定block_description_2
    BLOCK_HAS_COPY_DISPOSE =  (1 << 25), // compiler
    //是否擁有block C++析構(gòu)函數(shù)
    BLOCK_HAS_CTOR =          (1 << 26), // compiler: helpers have C++ code
    //標(biāo)志是否有垃圾回收椰于，OSX
    BLOCK_IS_GC =             (1 << 27), // runtime
    //標(biāo)志是否是全局block
    BLOCK_IS_GLOBAL =         (1 << 28), // compiler
    //與BLOCK_HAS_SIGNATURE相對(duì)，判斷是否當(dāng)前block擁有一個(gè)簽名仪搔，用于runtime時(shí)動(dòng)態(tài)調(diào)用
    BLOCK_USE_STRET =         (1 << 29), // compiler: undefined if !BLOCK_HAS_SIGNATURE
    //是否有簽名
    BLOCK_HAS_SIGNATURE  =    (1 << 30), // compiler
    //使用有拓展瘾婿，決定block_description_3
    BLOCK_HAS_EXTENDED_LAYOUT=(1 << 31)  // compiler
};

• reserved：保留信息，可以理解預(yù)留位置烤咧，猜測(cè)是用于存儲(chǔ)block內(nèi)部變量信息

• invoke：是一個(gè)函數(shù)指針偏陪，指向block的執(zhí)行代碼

• descriptor：block的附加信息，比如保留變量數(shù)煮嫌、block的大小笛谦、進(jìn)行copy或dispose的輔助函數(shù)指針。有三類

  • Block_descriptor_1是必選的
  • Block_descriptor_2 和 Block_descriptor_3都是可選的

#define BLOCK_DESCRIPTOR_1 1
struct Block_descriptor_1 {
    uintptr_t reserved;//保留信息
    uintptr_t size;//block大小
};

#define BLOCK_DESCRIPTOR_2 1
struct Block_descriptor_2 {
    // requires BLOCK_HAS_COPY_DISPOSE
    BlockCopyFunction copy;//拷貝函數(shù)指針
    BlockDisposeFunction dispose;
};

#define BLOCK_DESCRIPTOR_3 1
struct Block_descriptor_3 {
    // requires BLOCK_HAS_SIGNATURE
    const char *signature;//簽名
    const char *layout;     // contents depend on BLOCK_HAS_EXTENDED_LAYOUT 布局
};

以上關(guān)于descriptor的可以從其構(gòu)造函數(shù)中體現(xiàn)昌阿，其中Block_descriptor_2和Block_descriptor_3都是通過Block_descriptor_1的地址饥脑，經(jīng)過內(nèi)存平移得到的

static struct Block_descriptor_1 * _Block_descriptor_1(struct Block_layout *aBlock)
{
    return aBlock->descriptor;//默認(rèn)打印
}
#endif

// CJL注釋:Block 的描述 : copy 和 dispose 函數(shù)
static struct Block_descriptor_2 * _Block_descriptor_2(struct Block_layout *aBlock)
{
    if (! (aBlock->flags & BLOCK_HAS_COPY_DISPOSE)) return NULL;
    uint8_t *desc = (uint8_t *)aBlock->descriptor;//descriptor_1的地址
    desc += sizeof(struct Block_descriptor_1);//通過內(nèi)存平移獲取
    return (struct Block_descriptor_2 *)desc;
}

// CJL注釋: Block 的描述 : 簽名相關(guān)
static struct Block_descriptor_3 * _Block_descriptor_3(struct Block_layout *aBlock)
{
    if (! (aBlock->flags & BLOCK_HAS_SIGNATURE)) return NULL;
    uint8_t *desc = (uint8_t *)aBlock->descriptor;
    desc += sizeof(struct Block_descriptor_1);
    if (aBlock->flags & BLOCK_HAS_COPY_DISPOSE) {
        desc += sizeof(struct Block_descriptor_2);
    }
    return (struct Block_descriptor_3 *)desc;
}

內(nèi)存變化

• 打斷點(diǎn)運(yùn)行，走到objc_retainBlock懦冰，block斷點(diǎn)處讀取寄存器x0灶轰，此時(shí)的block 是全局block ，即__NSGlobalBlock__類型
  

  image

• 增加外部變量a刷钢，并在block內(nèi)打印

int a = 10;
void (^block1)(void) = ^{
    NSLog(@"CJL - %d", a);
};
block1();

此時(shí)讀取block斷點(diǎn)處的x0 -- 棧block -- __NSStackBlock__

image

• 執(zhí)行到符號(hào)斷點(diǎn)objc_retainBlock時(shí)笋颤，還是棧區(qū)block
  

  image

• 增加_Block_copy符號(hào)斷點(diǎn)并斷住，直接在最后的ret加斷點(diǎn)闯捎，讀取x0椰弊，發(fā)現(xiàn)經(jīng)過_Block_copy之后许溅，變成了 堆block，即__NSMallocBlock__秉版，主要是因?yàn)?code>block地址發(fā)生了改變贤重，為堆block
  

  image

調(diào)用情況

• 同樣也可以通過斷點(diǎn)來驗(yàn)證

  
  
  image

  • register read x0 讀取x0，為堆block

  • register read x9 讀取x9
    [站外圖片上傳中...(image-b14a19-1605377133592)]

  • register read x11 清焕，此時(shí)是指向一片內(nèi)存空間并蝗，用于存儲(chǔ)_block_invoke
    

    image

• 按住control + step into，進(jìn)入 _block_invoke秸妥，可以得出是通過內(nèi)存平移得到的block內(nèi)部實(shí)現(xiàn)
  

  image
  
  前面提到的Block_layout的結(jié)構(gòu)體源碼,從源碼中可以看出滚停，有個(gè)屬性invoke，即block的執(zhí)行者粥惧，是從isa的首地址平移 16字節(jié)取到invoke键畴，然后進(jìn)行調(diào)用執(zhí)行的

簽名

• 繼續(xù)操作，讀取x0寄存器,看內(nèi)存布局,通過 內(nèi)存平移 3*8 就可獲得Block_layout的屬性descriptor,主要是為了查看是否有Block_descriptor_2 和Block_descriptor_3突雪，其中3中有block的簽名

  • register read x0起惕，讀取寄存器x0
  • po 0x00000002828a2160 ， 打印block
  • x/8gx 0x00000002828a2160 咏删，即打印block內(nèi)存情況
    
    image
  • x/8gx 0x00000001008a0010 惹想， 查看descriptor的內(nèi)存情況，其中第三個(gè)0x000000010089f395表示簽名
    
    image

• 判斷是否有Block_descriptor_2督函，即flags的BLOCK_HAS_COPY_DISPOSE（拷貝輔助函數(shù)）是否有值

  • p/x 1<<25 嘀粱，即1左移25位，其十六進(jìn)制為0x2000000
  • p 0x02000000 & 0x00000000c1000002 辰狡，即BLOCK_HAS_COPY_DISPOSE & flags 锋叨，等于0，表示沒有Block_descriptor_2
    
    image

• 判斷是否有Block_descriptor_3

  • p/x 1<<30搓译，即1左移30位
  • p 0x40000000 & 0x00000000c1000002 悲柱，即BLOCK_HAS_SIGNATURE & flags ，有值些己，說明有Block_descriptor_3
    
    image
  • p (char *)0x000000010089f395 -- 獲取Block_descriptor_3中的屬性signature簽名
    
    image
  • po [NSMethodSignature signatureWithObjCTypes:"v8@?0"] 豌鸡，即打印簽名
    
    image

其中簽名的部分說明如下

//無返回值
return value: -------- -------- -------- --------
    type encoding (v) 'v'
    flags {}
    modifiers {}
    frame {offset = 0, offset adjust = 0, size = 0, size adjust = 0}
    memory {offset = 0, size = 0}
argument 0: -------- -------- -------- --------
    //encoding = (@),類型是 @?
    type encoding (@) '@?'
    //@是isObject ，段标？是isBlock涯冠，代表 isBlockObject
    flags {isObject, isBlock}
    modifiers {}
    frame {offset = 0, offset adjust = 0, size = 8, size adjust = 0}
    //所在偏移位置是8字節(jié)
    memory {offset = 0, size = 8}

block的簽名信息類似于方法的簽名信息，主要是體現(xiàn)block的返回值逼庞，參數(shù)以及類型等信息

block三次copy分析

_Block_copy源碼分析

• 進(jìn)入_Block_copy源碼蛇更，將block 從棧區(qū)拷貝至堆區(qū)

  • 如果需要釋放，如果需要?jiǎng)t直接釋放

  • 如果是globalBlock -- 不需要copy，直接返回

  • 反之派任，只有兩種情況：棧區(qū)block or 堆區(qū)block砸逊，由于堆區(qū)block需要申請(qǐng)空間，前面并沒有申請(qǐng)空間的相關(guān)代碼掌逛，所以只能是棧區(qū)block师逸，

    • 通過malloc申請(qǐng)內(nèi)存空間用于接收block

    • 通過memmove將block拷貝至新申請(qǐng)的內(nèi)存中

    • 設(shè)置block對(duì)象的類型為堆區(qū)block，即result->isa = _NSConcreteMallocBlock

// Copy, or bump refcount, of a block.  If really copying, call the copy helper if present.
// CJL重點(diǎn)提示: 這里是核心重點(diǎn) block的拷貝操作: 棧Block -> 堆Block
void *_Block_copy(const void *arg) {
    struct Block_layout *aBlock;

    if (!arg) return NULL;
    
    // The following would be better done as a switch statement
    aBlock = (struct Block_layout *)arg;//強(qiáng)轉(zhuǎn)為Block_layout類型對(duì)象豆混，防止對(duì)外界造成影響
    if (aBlock->flags & BLOCK_NEEDS_FREE) {//是否需要釋放
        // latches on high
        latching_incr_int(&aBlock->flags);
        return aBlock;
    }
    else if (aBlock->flags & BLOCK_IS_GLOBAL) {//如果是全局block篓像，直接返回
        return aBlock;
    }
    else {//為棧block 或者 堆block，由于堆區(qū)需要申請(qǐng)內(nèi)存皿伺，所以只可能是棧區(qū)
        // Its a stack block.  Make a copy. 它是一個(gè)堆棧塊block员辩，拷貝。
        struct Block_layout *result =
            (struct Block_layout *)malloc(aBlock->descriptor->size);//申請(qǐng)空間并接收
        if (!result) return NULL;
        //通過memmove內(nèi)存拷貝鸵鸥，將 aBlock 拷貝至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;//可以直接調(diào)起invoke
#endif
        // reset refcount
        result->flags &= ~(BLOCK_REFCOUNT_MASK|BLOCK_DEALLOCATING);    // XXX not needed 告知可釋放
        result->flags |= BLOCK_NEEDS_FREE | 2;  // logical refcount 1
        _Block_call_copy_helper(result, aBlock);
        // Set isa last so memory analysis tools see a fully-initialized object.
        result->isa = _NSConcreteMallocBlock;//設(shè)置block對(duì)象類型為堆區(qū)block
        return result;
    }
}

_Block_object_assign 分析

想要分析block的三層copy奠滑，首先需要知道外部變量的種類有哪些，其中用的最多的是BLOCK_FIELD_IS_OBJECT和BLOCK_FIELD_IS_BYREF

// CJL注釋: Block 捕獲的外界變量的種類
// Runtime support functions used by compiler when generating copy/dispose helpers

// Values for _Block_object_assign() and _Block_object_dispose() parameters
enum {
    // see function implementation for a more complete description of these fields and combinations
    //普通對(duì)象脂男，即沒有其他的引用類型
    BLOCK_FIELD_IS_OBJECT   =  3,  // id, NSObject, __attribute__((NSObject)), block, ...
    //block類型作為變量
    BLOCK_FIELD_IS_BLOCK    =  7,  // a block variable
    //經(jīng)過__block修飾的變量
    BLOCK_FIELD_IS_BYREF    =  8,  // the on stack structure holding the __block variable
    //weak 弱引用變量
    BLOCK_FIELD_IS_WEAK     = 16,  // declared __weak, only used in byref copy helpers
    //返回的調(diào)用對(duì)象 - 處理block_byref內(nèi)部對(duì)象內(nèi)存會(huì)加的一個(gè)額外標(biāo)記养叛，配合flags一起使用
    BLOCK_BYREF_CALLER      = 128, // called from __block (byref) copy/dispose support routines.
};

而_Block_object_assign是在底層編譯代碼中，外部變量拷貝時(shí)調(diào)用的方法就是它

• 進(jìn)入_Block_object_assign源碼

  • 如果是普通對(duì)象宰翅，則交給系統(tǒng)arc處理，并拷貝對(duì)象指針爽室，即引用計(jì)數(shù)+1汁讼，所以外界變量不能釋放

  • 如果是block類型的變量，則通過_Block_copy操作阔墩，將block從棧區(qū)拷貝到堆區(qū)

  • 如果是__block修飾的變量嘿架，調(diào)用_Block_byref_copy函數(shù) 進(jìn)行內(nèi)存拷貝以及常規(guī)處理

static struct Block_byref *_Block_byref_copy(const void *arg) {
    
    //強(qiáng)轉(zhuǎn)為Block_byref結(jié)構(gòu)體類型，保存一份
    struct Block_byref *src = (struct Block_byref *)arg;

    if ((src->forwarding->flags & BLOCK_REFCOUNT_MASK) == 0) {
        // src points to stack 申請(qǐng)內(nèi)存
        struct Block_byref *copy = (struct Block_byref *)malloc(src->size);
        copy->isa = NULL;
        // byref value 4 is logical refcount of 2: one for caller, one for stack
        copy->flags = src->flags | BLOCK_BYREF_NEEDS_FREE | 4;
        //block內(nèi)部持有的Block_byref 和 外界的Block_byref 所持有的對(duì)象是同一個(gè)啸箫，這也是為什么__block修飾的變量具有修改能力
        //copy 和 scr 的地址指針達(dá)到了完美的同一份拷貝耸彪，目前只有持有能力
        copy->forwarding = copy; // patch heap copy to point to itself
        src->forwarding = copy;  // patch stack to point to heap copy
        copy->size = src->size;
        //如果有copy能力
        if (src->flags & BLOCK_BYREF_HAS_COPY_DISPOSE) {
            // Trust copy helper to copy everything of interest
            // If more than one field shows up in a byref block this is wrong XXX
            //Block_byref_2是結(jié)構(gòu)體，__block修飾的可能是對(duì)象忘苛，對(duì)象通過byref_keep保存蝉娜，在合適的時(shí)機(jī)進(jìn)行調(diào)用
            struct Block_byref_2 *src2 = (struct Block_byref_2 *)(src+1);
            struct Block_byref_2 *copy2 = (struct Block_byref_2 *)(copy+1);
            copy2->byref_keep = src2->byref_keep;
            copy2->byref_destroy = src2->byref_destroy;

            if (src->flags & BLOCK_BYREF_LAYOUT_EXTENDED) {
                struct Block_byref_3 *src3 = (struct Block_byref_3 *)(src2+1);
                struct Block_byref_3 *copy3 = (struct Block_byref_3*)(copy2+1);
                copy3->layout = src3->layout;
            }
            //等價(jià)于 __Block_byref_id_object_copy
            (*src2->byref_keep)(copy, src);
        }
        else {
            // Bitwise copy.
            // This copy includes Block_byref_3, if any.
            memmove(copy+1, src+1, src->size - sizeof(*src));
        }
    }
    // already copied to heap
    else if ((src->forwarding->flags & BLOCK_BYREF_NEEDS_FREE) == BLOCK_BYREF_NEEDS_FREE) {
        latching_incr_int(&src->forwarding->flags);
    }
    
    return src->forwarding;
}

• 進(jìn)入_Block_byref_copy源碼

  • 將傳入的對(duì)象，強(qiáng)轉(zhuǎn)為Block_byref結(jié)構(gòu)體類型對(duì)象扎唾，保存一份

  • 沒有將外界變量拷貝到堆召川，需要申請(qǐng)內(nèi)存，其進(jìn)行拷貝

  • 如果已經(jīng)拷貝過了胸遇，則進(jìn)行處理并返回

  • 其中copy 和 src的forwarding指針都指向同一片內(nèi)存荧呐，這也是為什么__block修飾的對(duì)象具有修改能力的原因

static struct Block_byref *_Block_byref_copy(const void *arg) {
    
    //強(qiáng)轉(zhuǎn)為Block_byref結(jié)構(gòu)體類型，保存一份
    struct Block_byref *src = (struct Block_byref *)arg;

    if ((src->forwarding->flags & BLOCK_REFCOUNT_MASK) == 0) {
        // src points to stack 申請(qǐng)內(nèi)存
        struct Block_byref *copy = (struct Block_byref *)malloc(src->size);
        copy->isa = NULL;
        // byref value 4 is logical refcount of 2: one for caller, one for stack
        copy->flags = src->flags | BLOCK_BYREF_NEEDS_FREE | 4;
        //block內(nèi)部持有的Block_byref 和 外界的Block_byref 所持有的對(duì)象是同一個(gè)，這也是為什么__block修飾的變量具有修改能力
        //copy 和 scr 的地址指針達(dá)到了完美的同一份拷貝倍阐，目前只有持有能力
        copy->forwarding = copy; // patch heap copy to point to itself
        src->forwarding = copy;  // patch stack to point to heap copy
        copy->size = src->size;
        //如果有copy能力
        if (src->flags & BLOCK_BYREF_HAS_COPY_DISPOSE) {
            // Trust copy helper to copy everything of interest
            // If more than one field shows up in a byref block this is wrong XXX
            //Block_byref_2是結(jié)構(gòu)體概疆，__block修飾的可能是對(duì)象，對(duì)象通過byref_keep保存峰搪，在合適的時(shí)機(jī)進(jìn)行調(diào)用
            struct Block_byref_2 *src2 = (struct Block_byref_2 *)(src+1);
            struct Block_byref_2 *copy2 = (struct Block_byref_2 *)(copy+1);
            copy2->byref_keep = src2->byref_keep;
            copy2->byref_destroy = src2->byref_destroy;

            if (src->flags & BLOCK_BYREF_LAYOUT_EXTENDED) {
                struct Block_byref_3 *src3 = (struct Block_byref_3 *)(src2+1);
                struct Block_byref_3 *copy3 = (struct Block_byref_3*)(copy2+1);
                copy3->layout = src3->layout;
            }
            //等價(jià)于 __Block_byref_id_object_copy
            (*src2->byref_keep)(copy, src);
        }
        else {
            // Bitwise copy.
            // This copy includes Block_byref_3, if any.
            memmove(copy+1, src+1, src->size - sizeof(*src));
        }
    }
    // already copied to heap
    else if ((src->forwarding->flags & BLOCK_BYREF_NEEDS_FREE) == BLOCK_BYREF_NEEDS_FREE) {
        latching_incr_int(&src->forwarding->flags);
    }
    
    return src->forwarding;
}

代碼調(diào)試

• 定義一個(gè)__block修飾的NSString對(duì)象

 __block NSString *cjl_name = [NSString stringWithFormat:@"CJL"];
void (^block1)(void) = ^{ // block_copy
    lg_name = @"CJL";
    NSLog(@"CJL - %@",lg_name);
    
    // block 內(nèi)存
};
block1();

• xcrun編譯結(jié)果如下届案，

  • 編譯后的cjl_name比普通變量多了__Block_byref_id_object_copy_131 和 __Block_byref_id_object_dispose_131

  • __Block_byref_cjl_name_0結(jié)構(gòu)體中多了__Block_byref_id_object_copy和__Block_byref_id_object_dispose

//********編譯后的cjl_name********
 __Block_byref_cjl_name_0 cjl_name =
        {(void*)0,
            (__Block_byref_cjl_name_0 *)&cjl_name,
            33554432,
            sizeof(__Block_byref_cjl_name_0),
            __Block_byref_id_object_copy_131,
            __Block_byref_id_object_dispose_131,
            ((NSString * _Nonnull (*)(id, SEL, NSString * _Nonnull, ...))(void *)objc_msgSend)((id)objc_getClass("NSString"), sel_registerName("stringWithFormat:"), (NSString *)&__NSConstantStringImpl__var_folders_hr_l_56yp8j4y11491njzqx6f880000gn_T_main_9f330d_mi_0)};
            
//********__Block_byref_cjl_name_0結(jié)構(gòu)體********
struct __Block_byref_cjl_name_0 {
  void *__isa;
__Block_byref_cjl_name_0 *__forwarding;
 int __flags;
 int __size;
 void (*__Block_byref_id_object_copy)(void*, void*);
 void (*__Block_byref_id_object_dispose)(void*);  // 5*8 = 40
 NSString *cjl_name;
};
 
 //********__Block_byref_id_object_copy_131********
 //block自身拷貝（_Block_copy） -- __block bref結(jié)構(gòu)體拷貝(_Block_object_assign) -- _Block_object_assign中對(duì)外部變量（存儲(chǔ)在bref）拷貝一份到內(nèi)存
static void __Block_byref_id_object_copy_131(void *dst, void *src) {
    //dst 外部捕獲的變量，即結(jié)構(gòu)體 - 5*8 = 40罢艾，然后就找到了cjl_name(cjl_name在bref初始化時(shí)就賦值了)
    _Block_object_assign((char*)dst + 40, *(void * *) ((char*)src + 40), 131);
}

 //********__Block_byref_id_object_dispose_131********
static void __Block_byref_id_object_dispose_131(void *src) {
 _Block_object_dispose(*(void * *) ((char*)src + 40), 131);
}

• 通過libclosure-74可編譯源碼斷點(diǎn)調(diào)試楣颠，關(guān)鍵方法的執(zhí)行順序?yàn)椋?code>_Block_copy -> _Block_byref_copy -> _Block_object_assign,正好對(duì)應(yīng)上述的三層copy

綜上所述，block是如何取到 cjl_name的咐蚯？

• 1童漩、通過_Block_copy方法，將block拷貝一份至堆區(qū)

• 2春锋、通過_Block_object_assign方法正辰门颍拷貝，因?yàn)?code>__block修飾的外界變量在底層是 Block_byref結(jié)構(gòu)體

• 3期奔、發(fā)現(xiàn)外部變量還存有一個(gè)對(duì)象侧馅，從bref中取出相應(yīng)對(duì)象cjl_name，拷貝至block空間呐萌，才能使用（相同空間才能使用馁痴，不同則不能使用）时呀。最后通過內(nèi)存平移就得到了cjl_name寿桨，此時(shí)的cjl_name 和 外界的cjl_name是同一片內(nèi)存空間（從_Block_object_assign方法中的*dest = object;看出）

三層copy總結(jié)

所以，綜上所述憔儿，block的三層拷貝是指以下三層：

• 【第一層】通過_Block_copy實(shí)現(xiàn)對(duì)象的自身拷貝,從棧區(qū)拷貝至堆區(qū)

• 【第二層】通過_Block_byref_copy方法赠堵，將對(duì)象拷貝為Block_byref結(jié)構(gòu)體類型

• 【第三層】調(diào)用_Block_object_assign方法小渊，對(duì)__block修飾的當(dāng)前變量的拷貝

注：只有__block修飾的對(duì)象，block的copy才有三層

_Block_object_dispose 分析

同一般的retain和release一樣茫叭，_Block_object_object其本質(zhì)主要是retain酬屉，所以對(duì)應(yīng)的還有一個(gè)release，即_Block_object_dispose方法揍愁，其源碼實(shí)現(xiàn)如下呐萨，也是通過區(qū)分block種類，進(jìn)行不同釋放操作

// When Blocks or Block_byrefs hold objects their destroy helper routines call this entry point
// to help dispose of the contents 當(dāng)Blocks或Block_byrefs持有對(duì)象時(shí)吗垮，其銷毀助手例程將調(diào)用此入口點(diǎn)以幫助處置內(nèi)容
void _Block_object_dispose(const void *object, const int flags) {
    switch (os_assumes(flags & BLOCK_ALL_COPY_DISPOSE_FLAGS)) {
      case BLOCK_FIELD_IS_BYREF | BLOCK_FIELD_IS_WEAK:
      case BLOCK_FIELD_IS_BYREF://__block修飾的變量垛吗，即bref類型的
        // get rid of the __block data structure held in a Block
        _Block_byref_release(object);
        break;
      case BLOCK_FIELD_IS_BLOCK://block類型的變量
        _Block_release(object) ;
        break;
      case BLOCK_FIELD_IS_OBJECT://普通對(duì)象
        _Block_release_object(object);
        break;
      case BLOCK_BYREF_CALLER | BLOCK_FIELD_IS_OBJECT:
      case BLOCK_BYREF_CALLER | BLOCK_FIELD_IS_BLOCK:
      case BLOCK_BYREF_CALLER | BLOCK_FIELD_IS_OBJECT | BLOCK_FIELD_IS_WEAK:
      case BLOCK_BYREF_CALLER | BLOCK_FIELD_IS_BLOCK  | BLOCK_FIELD_IS_WEAK:
        break;
      default:
        break;
    }
}

• 進(jìn)入_Block_byref_release源碼，主要就是對(duì)象烁登、變量的釋放銷毀

static void _Block_byref_release(const void *arg) {
    //對(duì)象強(qiáng)轉(zhuǎn)為Block_byref類型結(jié)構(gòu)體
    struct Block_byref *byref = (struct Block_byref *)arg;

    // dereference the forwarding pointer since the compiler isn't doing this anymore (ever?)
    byref = byref->forwarding;//取消指針引用
    
    if (byref->flags & BLOCK_BYREF_NEEDS_FREE) {
        int32_t refcount = byref->flags & BLOCK_REFCOUNT_MASK;
        os_assert(refcount);
        if (latching_decr_int_should_deallocate(&byref->flags)) {
            if (byref->flags & BLOCK_BYREF_HAS_COPY_DISPOSE) {//是否有拷貝輔助函數(shù)
                struct Block_byref_2 *byref2 = (struct Block_byref_2 *)(byref+1);
                (*byref2->byref_destroy)(byref);//銷毀拷貝對(duì)象
            }
            free(byref);//釋放
        }
    }
}

所以怯屉，綜上所述蔚舀，Block的三層copy的流程如下圖所示

三層copy流程