在 上一篇 中我們講了截獲變量特性,對于局部變量,變量不加__block修飾符,在block內部是無法修改變量的值。而且
對于成員變量,結果卻不一樣,加了__block和不加__block修飾符效果都是一樣的,而且不用區分是引用類型和值類型,block初始化后,對于block內部引用的變量的修改,也能同步到block內部,并且在block內部可以修改成員變量的值。
Demo:
聲明兩個變量:_person2、_person3
@interface KDBlockTest(){ NSString *_person2; __block NSString *_person3;}
添加測試方法,輸出變量的值、地址、指針地址
-(void )test3{ _person2=@"person2"; _person3=@"person3"; //初始值 NSLog(@"init _person2:%@,%p",_person2,_person2); NSLog(@"init _person3:%@,%p",_person3,_person3); void (^myBlock)(int) = ^(int num) { //block內賦值 _person3=@"person33"; NSLog(@"excuteing _person2:%@,%p",_person2,_person2); NSLog(@"excuteing _person3:%@,%p",_person3,_person3); }; //修改前賦值 _person2=@"person22"; NSLog(@"excutebefore _person2:%@,%p",_person2,_person2); NSLog(@"excutebefore _person3:%@,%p",_person3,_person3); myBlock(1); //block執行后 NSLog(@"excuteafter _person2:%@,%p",_person2,_person2); NSLog(@"excuteafter _person3:%@,%p",_person3,_person3);}
執行結果如下:
2014-07-29 12:06:11.526 Test[2575:60b] init _person2:person2,0x10790c2014-07-29 12:06:11.529 Test[2575:60b] init _person3:person3,0x10791c2014-07-29 12:06:11.530 Test[2575:60b] excutebefore _person2:person22,0x10797c2014-07-29 12:06:11.531 Test[2575:60b] excutebefore _person3:person3,0x10791c2014-07-29 12:06:11.532 Test[2575:60b] excuteing _person2:person22,0x10797c2014-07-29 12:06:11.534 Test[2575:60b] excuteing _person3:person33,0x10794c2014-07-29 12:06:11.535 Test[2575:60b] excuteafter _person2:person22,0x10797c2014-07-29 12:06:11.536 Test[2575:60b] excuteafter _person3:person33,0x10794c
從日志可以看出,
我們來看一下clang轉換后的代碼就會知道原因了
struct __KDBlockTest__test3_block_impl_0 { struct __block_impl impl; struct __KDBlockTest__test3_block_desc_0* Desc; KDBlockTest *self; __KDBlockTest__test3_block_impl_0(void *fp, struct __KDBlockTest__test3_block_desc_0 *desc, KDBlockTest *_self, int flags=0) : self(_self) { impl.isa = &_NSConcreteStackBlock; impl.Flags = flags; impl.FuncPtr = fp; Desc = desc; }};
對于局部變量,block結構體里對應一個變量,都會有一個成員。
對于成員變量,block結構體里只會有一個成員變量,即 KDBlockTest *self,不管你是否用__block修飾了,此時對self產生了強引用
void (*myBlock)(int) = (void (*)(int))&__KDBlockTest__test3_block_impl_0((void *)__KDBlockTest__test3_block_func_0, &__KDBlockTest__test3_block_desc_0_DATA, self, 570425344);
在初始化的時候,把self傳到block結構體構造函數里,block對象對self產生了引用,此時我們對成員變量進行修改
_person2=@"person22";_person3=@"person33";
轉換后代碼
(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person2))=(NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_3beba7_mi_8;
這段代碼大致是修改self的objc變量。下面開始執行block,即調用對應的函數指針。
((void (*)(__block_impl *, int))((__block_impl *)myBlock)->FuncPtr)((__block_impl *)myBlock, 1);
static void __KDBlockTest__test3_block_func_0(struct __KDBlockTest__test3_block_impl_0 *__cself, int num) { KDBlockTest *self = __cself->self; // bound by copy (*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person3))=(NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_3beba7_mi_5; NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_3beba7_mi_6,(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person2)),(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person2))); NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_3beba7_mi_7,(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person3)),(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person3))); }
函數實現里通過引用block結構體的成員self,再引用到對應的objc變量_person2和_person3。
小結:
新聞熱點
疑難解答