block 解析 - 成員變數

標籤：des   style   blog   http   color   2014   for   html   

成員變數

在 上一篇 中我們講了截獲變數特性，對於局部變數，變數不加__block修飾符，在block內部是無法修改變數的值，而且初始化block之後，對變數修改，就無法同步到block內部，但是對於成員變數，結果卻不一樣，即時不加__block修飾符，block初始化後，對於block內部引用的變數的修改，也能同步到block內部,並且在block內部可以修改成員變數的值。

Demo：

聲明兩個變數：_person2、_p1

@interface KDBlockTest(){    NSString *_person2;    int _p1;}@end

 

添加測試方法，輸出變數的值、地址、指標地址

-(void )test3{    _person2=@"person2";    _p1=2;    //初始值    NSLog(@"init _person2:%@,%p,%p",_person2,&_person2,_person2);    void (^myBlock)(int) = ^(int num) {        //block內賦值        _person2=@"person222";        NSLog(@"excuteing _p1:%d,%p",_p1,&_p1);        NSLog(@"excuteing _person2:%@,%p,%p",_person2,&_person2,_person2);    };    //修改前賦值    _person2=@"person22";    _p1=3;    NSLog(@"excutebefore _p1:%d,%p",_p1,&_p1);    NSLog(@"excutebefore _person2:%@,%p,%p",_person2,&_person2,_person2);    myBlock(1);    //block執行後    NSLog(@"excuteafter _p1:%d,%p",_p1,&_p1);    NSLog(@"excuteafter _person2:%@,%p,%p",_person2,&_person2,_person2);}

執行結果如下：

2014-07-28 15:45:21.216 Test[2266:60b] init _person2:person2,0x17d83824,0xe290c2014-07-28 15:45:21.218 Test[2266:60b] excutebefore _p1:3,0x17d838282014-07-28 15:45:21.219 Test[2266:60b] excutebefore _person2:person22,0x17d83824,0xe295c2014-07-28 15:45:21.220 Test[2266:60b] excuteing _p1:3,0x17d838282014-07-28 15:45:21.222 Test[2266:60b] excuteing _person2:person222,0x17d83824,0xe292c2014-07-28 15:45:21.223 Test[2266:60b] excuteafter _p1:3,0x17d838282014-07-28 15:45:21.224 Test[2266:60b] excuteafter _person2:person222,0x17d83824,0xe292c

從日誌可以看出，

1. block內部修改了成員變數_person2（沒有用__block修飾符）
2. block初始化後，執行前，修改成員變數_p1的值，可以同步到block內部（沒有用__block修飾符）

我們來看一下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;

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";

轉換後代碼

(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person2))=(NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_35ecd9_mi_5;

這段代碼大致是修改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$_person2))=(NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_7e1ee6_mi_3;        NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_7e1ee6_mi_4,(*(int *)((char *)self + OBJC_IVAR_$_KDBlockTest$_p1)),&(*(int *)((char *)self + OBJC_IVAR_$_KDBlockTest$_p1)));        NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_7e1ee6_mi_5,(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person2)),&(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person2)),(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person2)));    }

函數實現裡通過引用block結構體的成員self，再引用到對應的objc變數_person2和_p1。

小結:

1. 對於一個、多個成員變數，block結構體會產生一個成員 :self,並且會引用成員變數所屬的對象執行個體 self。
2. 對於成員變數的修改都是通過對象self指標引用來實現的。
3. block內部對於成員變數的訪問也是通過block結構體對象的成員self 指標引用來實現的。