背景
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,可能是為了跟其他地方保持一致性吧