背景

block的問題算是老生常談了，本以為對block很熟悉了，但是前幾天跟同事聊到幾個block的很有意思的點，一開始還真的感覺一臉懵逼。想了很久才想出來自以為能解釋的原因，大家也可以一起探討

block內嵌block的變量捕獲

- (void)embeddedBlock
{
    void (^blockA)() = ^{
        void (^blockB)() = ^{
            NSLog(@"%@",self);
        };
    };
}

上面是一段很有意思的代碼，blockB會捕獲self，這是大家都了解的，但是blockA會捕獲self么？為什么？

一開始聽到這個問題也是一臉懵逼，到底外面的block會不會捕獲self呢？

我們來看源碼：

struct __ClassA__embeddedBlock_block_impl_0 {
  struct __block_impl impl;
  struct __ClassA__embeddedBlock_block_desc_0* Desc;
  // ③ 定義成員變量self
  ClassA *self;
  __ClassA__embeddedBlock_block_impl_0(void *fp, struct __ClassA__embeddedBlock_block_desc_0 *desc, ClassA *_self, int flags=0) : self(_self) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __ClassA__embeddedBlock_block_func_0(struct __ClassA__embeddedBlock_block_impl_0 *__cself) {
  ClassA *self = __cself->self; // bound by copy

            NSLog((NSString *)&__NSConstantStringImpl__var_folders_pv_88jpx_sn429_1nx8xzc8g7w00000gn_T_ClassA_64c0bc_mi_0,self);
        }
static void __ClassA__embeddedBlock_block_copy_0(struct __ClassA__embeddedBlock_block_impl_0*dst, struct __ClassA__embeddedBlock_block_impl_0*src) {_Block_object_assign((void*)&dst->self, (void*)src->self, 3/*BLOCK_FIELD_IS_OBJECT*/);}

static void __ClassA__embeddedBlock_block_dispose_0(struct __ClassA__embeddedBlock_block_impl_0*src) {_Block_object_dispose((void*)src->self, 3/*BLOCK_FIELD_IS_OBJECT*/);}

static struct __ClassA__embeddedBlock_block_desc_0 {
  size_t reserved;
  size_t Block_size;
  void (*copy)(struct __ClassA__embeddedBlock_block_impl_0*, struct __ClassA__embeddedBlock_block_impl_0*);
  void (*dispose)(struct __ClassA__embeddedBlock_block_impl_0*);
} __ClassA__embeddedBlock_block_desc_0_DATA = { 0, sizeof(struct __ClassA__embeddedBlock_block_impl_0), __ClassA__embeddedBlock_block_copy_0, __ClassA__embeddedBlock_block_dispose_0};

struct __ClassA__embeddedBlock_block_impl_1 {
  struct __block_impl impl;
  struct __ClassA__embeddedBlock_block_desc_1* Desc;
  // ① 定義成員變量self
  ClassA *self; 
  __ClassA__embeddedBlock_block_impl_1(void *fp, struct __ClassA__embeddedBlock_block_desc_1 *desc, ClassA *_self, int flags=0) : self(_self) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};
static void __ClassA__embeddedBlock_block_func_1(struct __ClassA__embeddedBlock_block_impl_1 *__cself) {
  ClassA *self = __cself->self; // bound by copy
    // 將self從blockA中傳入到blockB中，blockB捕獲self
        void (*blockB)() = ((void (*)())&__ClassA__embeddedBlock_block_impl_0((void *)__ClassA__embeddedBlock_block_func_0, &__ClassA__embeddedBlock_block_desc_0_DATA, self, 570425344));
    }

static struct __ClassA__embeddedBlock_block_desc_1 {
  size_t reserved;
  size_t Block_size;
} __ClassA__embeddedBlock_block_desc_1_DATA = { 0, sizeof(struct __ClassA__embeddedBlock_block_impl_1)};

static void _I_ClassA_embeddedBlock(ClassA * self, SEL _cmd) {
// ②將self從外界傳入到blockA中，blockA捕獲self
    void (*blockA)() = ((void (*)())&__ClassA__embeddedBlock_block_impl_1((void *)__ClassA__embeddedBlock_block_func_1, &__ClassA__embeddedBlock_block_desc_1_DATA, self, 570425344));
}

可以看到，①和③處，blockA，blockB都定義了成員變量self。②，③處變量的傳遞，先將self從外界傳入到blockA中。再從blockA的中傳入到blockB中。

blockB只能從blockA的作用域里捕獲變量。因此blockB中捕獲的任何東西，blockA必須也捕獲一份。

成員變量的捕獲

- (void)catchIvar
{
    void (^blockA)() = ^{
        NSLog(@"%@",_ivarA);
    };
}

我們知道，上面的代碼實際會捕獲self。他跟下面的代碼等價

- (void)catchIvar
{
    void (^blockA)() = ^{
        NSLog(@"%@",self->_ivarA);
    };
}

但是系統為什么要轉化成self->_ivarA的形式去捕獲self呢？而不是直接捕獲_ivarA呢？他這么設計的目的在哪？

這個問題我想了很久，最后想到了一個可以自圓其說的解釋，也歡迎大家一起交流討論

正常的方法中，直接使用成員變量ivar，編譯器都會自動轉為self->ivar。之所以這樣做，是因為正常的消息發生中，self是會作為一個參數，傳遞到所有方法中的。所以在任何方法方法中都可以直接獲取到self。而成員變量ivar，并沒有作為任何參數傳入到方法中。所以為了訪問到ivar，正常都會轉化為self->ivar來訪問。

這個轉化從iOS很早的版本就有了。而block是iOS4才開始出現。所以block里面的ivar轉化為self->ivar，可能是為了跟其他地方保持一致性吧