Objective - C block(二)block的類型及捕獲變量

(一)block 捕獲變量類型

為了保證block內(nèi)部能夠正確訪問外部的變量，block有一個(gè)變量捕獲機(jī)制


不同的變量類型捕獲
(1)變量捕獲為auto
int main(int argc, const char * argv[]) {
    @autoreleasepool {
      int age = 10;//auto 變量
      void(^block2)(int,int) = ^(int a,int b){
        NSLog(@"this is a block == %d" , age);
      };
      block2(20,30);
    }  
  return 0;
}

轉(zhuǎn)為C++代碼（只截取重要部分）：

//block底層結(jié)構(gòu)
struct __main_block_impl_1 {
  struct __block_impl impl;
  struct __main_block_desc_1* Desc;
  int age;  //捕獲age的值
  __main_block_impl_1(void *fp, struct __main_block_desc_1 *desc, int _age, int flags=0) : age(_age) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

static void __main_block_func_1(struct __main_block_impl_1 *__cself, int a, int b) {
    int age = __cself->age; // bound by copy
    NSLog((NSString *)&__NSConstantStringImpl__var_folders_f9__q8q2xr131vf4h1cy7837sm00000gn_T_main_142399_mi_1 , age);
  }
(2)變量捕獲為static
int main(int argc, const char * argv[]) {
    @autoreleasepool {
      static int age = 10;//static 局部變量
      void(^block2)(int,int) = ^(int a,int b){
        NSLog(@"this is a block == %d" , age);
      };
      block2(20,30);
  }
  return 0;
}

轉(zhuǎn)為C++代碼（只截取重要部分）：

struct __main_block_impl_1 {
  struct __block_impl impl;
  struct __main_block_desc_1* Desc;
  int *age;  //捕獲age的地址
  __main_block_impl_1(void *fp, struct __main_block_desc_1 *desc, int *_age, int flags=0) : age(_age) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __main_block_func_1(struct __main_block_impl_1 *__cself, int a, int b) {
  int *age = __cself->age; // bound by copy

            NSLog((NSString *)&__NSConstantStringImpl__var_folders_f9__q8q2xr131vf4h1cy7837sm00000gn_T_main_b17032_mi_1 , (*age));
        }
(3)變量捕獲為static
int age = 10;//全局變量
static int height = 10;//靜態(tài)全局變量

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        
        void(^block)(void) = ^{
            NSLog(@"hello,world!");
        };
        block();
        

        void(^block2)(int,int) = ^(int a,int b){
            NSLog(@"this is a block a == %d height == %d" , age, height);
        };
        block2(20,30);
    }
    return 0;
}

轉(zhuǎn)為C++代碼（只截取重要部分）：

int age = 10;
static int height = 10;

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;
  }
};
static void __main_block_func_0(struct __main_block_impl_0 *__cself) {

            NSLog((NSString *)&__NSConstantStringImpl__var_folders_f9__q8q2xr131vf4h1cy7837sm00000gn_T_main_3a42c5_mi_0);
        }

通過上面的3種不同變量進(jìn)行block內(nèi)部訪問的時(shí)候：（從正確的訪問值的角度來看）

  1. auto變量會(huì)隨著函數(shù)的生命周期結(jié)束，為了保證正確訪問，所以會(huì)捕獲其值
  2. static局部變量，會(huì)長期保存，但是無法直接訪問，所以需要捕獲變量的地址
  3. 全局變量可以直接訪問，所以不需要捕獲
疑問(1)：如果是對象方法內(nèi)部調(diào)用block，block內(nèi)部訪問self，會(huì)捕獲嗎？
此時(shí)self會(huì)被捕獲嗎？
struct __ZQPerson__test_block_impl_0 {
  struct __block_impl impl;
  struct __ZQPerson__test_block_desc_0* Desc;
  ZQPerson *self;//self被捕獲
  __ZQPerson__test_block_impl_0(void *fp, struct __ZQPerson__test_block_desc_0 *desc, ZQPerson *_self, int flags=0) : self(_self) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

static void __ZQPerson__test_block_func_0(struct __ZQPerson__test_block_impl_0 *__cself) {
  ZQPerson *self = __cself->self; // bound by copy

        NSLog((NSString *)&__NSConstantStringImpl__var_folders_f9__q8q2xr131vf4h1cy7837sm00000gn_T_ZQPerson_b92927_mi_0,self);
    }
疑問(2)：如果是對象方法內(nèi)部調(diào)用block，block內(nèi)部訪問成員變量，會(huì)捕獲什么呢？
捕獲self
static void __ZQPerson__test_block_func_0(struct __ZQPerson__test_block_impl_0 *__cself) {
  ZQPerson *self = __cself->self; // bound by copy

        NSLog((NSString *)&__NSConstantStringImpl__var_folders_f9__q8q2xr131vf4h1cy7837sm00000gn_T_ZQPerson_2c7733_mi_0,(*(NSInteger *)((char *)self + OBJC_IVAR_$_ZQPerson$_age)));
    }//從self的IVAR列表中找到對應(yīng)的成員變量
疑問(2)：如果是對象方法內(nèi)部調(diào)用block，block內(nèi)部使用點(diǎn)語法，會(huì)捕獲什么呢？
捕獲self
static void __ZQPerson__test_block_func_0(struct __ZQPerson__test_block_impl_0 *__cself) {
  ZQPerson *self = __cself->self; // bound by copy

        NSLog((NSString *)&__NSConstantStringImpl__var_folders_f9__q8q2xr131vf4h1cy7837sm00000gn_T_ZQPerson_1c2f87_mi_0,((NSInteger (*)(id, SEL))(void *)objc_msgSend)((id)self, sel_registerName("age")));//給捕獲的self發(fā)送一條消息 調(diào)用age方法
    }

OC對象所有的方法，其實(shí)內(nèi)部傳遞了兩個(gè)參數(shù)，self和_cmd（方法調(diào)用者和方法名），所以這里捕獲的self就是局部變量


ZQPerson的setAge和age方法底層傳參

(二)block 類型

我們在上一章可以知道block是一個(gè)OC對象，繼承自NSObject

int main(int argc, const char * argv[]) {
    @autoreleasepool {
        
        void(^block1)(void) = ^{
            NSLog(@"hello,world");
        };
        block1();
        
        int age = 10;
        void(^block2)(int,int) = ^(int a,int b){
            NSLog(@"this is a block a == %d" , age);
        };
        block2(20,30);
        
        NSLog(@"%@ %@ %@",[block1 class],[block2 class],[^{
            NSLog(@"%d",age);
        } class]);
        
    }
    return 0;
}

輸出結(jié)果：

__NSGlobalBlock__ __NSMallocBlock__ __NSStackBlock__

可以知道block一共有3種類型：__NSGlobalBlock__、__NSMallocBlock__、__NSStackBlock__，但是我們在轉(zhuǎn)化為C++代碼后發(fā)現(xiàn)，3中block的impl.isa均為_NSConcreteStackBlock，是為什么呢？

底層均為_NSConcreteStackBlock

（1）block的3種類型

block有3種類型，可以通過調(diào)用class方法或者isa指針查看具體類型，最終都是繼承自NSBlock類型

  • NSGlobalBlock （ _NSConcreteGlobalBlock ）
  • NSStackBlock （ _NSConcreteStackBlock ）
  • NSMallocBlock （ _NSConcreteMallocBlock ）
    三種block內(nèi)存存儲(chǔ)區(qū)域

    那么三種block是如何定義的呢？
    image.png

沒有訪問auto變量的NSGlobalBlock實(shí)際使用場景意義不大，所以不再深入研究。我們首先需要關(guān)閉ARC，因?yàn)锳RC實(shí)際為開發(fā)者做了很多事情，無法研究其本質(zhì)

ARC -> MRC (Build Setting -> automatic reference Counting 設(shè)置為NO)

當(dāng)前環(huán)境為MRC的情況下，上面的代碼輸出結(jié)果為：

__NSGlobalBlock__   __NSStackBlock__   __NSStackBlock__

因此，由此可見，訪問了auto變量的block即為NSStackBlock

NSStackBlock存在什么問題呢？或者說在ARC環(huán)境下，為什么有些stackBlock會(huì)變成mallocBlock呢？

void (^block2)(void);

void test(){
    int age = 10;
    block2 = ^{
        NSLog(@"age is %d",age);//輸出結(jié)果:age is -272632600
    };
}

int main(int argc, const char * argv[]) {
    @autoreleasepool {

        
        
        int age = 10;
        void(^block1)(int,int) = ^(int a,int b){
            NSLog(@"this is a block a == %d" , age);
        };
        block1(20,30);
        
        test();
        block2();
    }
    return 0;
}

在上面的代碼(MRC環(huán)境下)，block2隨著函數(shù)調(diào)用完畢，block2的內(nèi)存即被釋放，因此訪問age即為垃圾數(shù)據(jù)。因此我們將block2進(jìn)行copy操作，block2就成為NSMallocBlock

void (^block2)(void);

void test(){
    int age = 10;
    block2 = [^{
        NSLog(@"age is %d",age);//輸出結(jié)果:age is 10
    } copy];
}

int main(int argc, const char * argv[]) {
    @autoreleasepool {

        
        
        int age = 10;
        void(^block1)(int,int) = ^(int a,int b){
            NSLog(@"this is a block a == %d" , age);
        };
        block1(20,30);
        
        test();
        block2();
    }
    return 0;
}
疑問(1)如果對globalBlock、mallocBlock進(jìn)行copy操作，又會(huì)是什么效果呢？
不同的block進(jìn)行copy的效果

ARC環(huán)境下,系統(tǒng)會(huì)根據(jù)自動(dòng)將部分stackblock進(jìn)行copy操作

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成，瀏覽時(shí)請結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明：文章內(nèi)容（如有圖片或視頻亦包括在內(nèi)）由作者上傳并發(fā)布，文章內(nèi)容僅代表作者本人觀點(diǎn)，簡書系信息發(fā)布平臺(tái)，僅提供信息存儲(chǔ)服務(wù)。

友情鏈接更多精彩內(nèi)容