回顧
在 上一篇 中我們講了截獲變量特性，對於局部變量，變量不加__block修飾符，在block內部是無法修改變量的值。而且
- 對值類型的修改，如果block初始化后，無法同步到block內部
- 對於指針類型的修改，如果block初始化后，修改指針指向，即指向另外一塊內存，這樣也是無法同步到block內部
- 對於指針類型的修改，如果block初始化后，對指針指向的內存進行修改，即NSMutableArray add 、remove操作，這樣是可以用同步到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,0x10790c 2014-07-29 12:06:11.529 Test[2575:60b] init _person3:person3,0x10791c 2014-07-29 12:06:11.530 Test[2575:60b] excutebefore _person2:person22,0x10797c 2014-07-29 12:06:11.531 Test[2575:60b] excutebefore _person3:person3,0x10791c 2014-07-29 12:06:11.532 Test[2575:60b] excuteing _person2:person22,0x10797c 2014-07-29 12:06:11.534 Test[2575:60b] excuteing _person3:person33,0x10794c 2014-07-29 12:06:11.535 Test[2575:60b] excuteafter _person2:person22,0x10797c 2014-07-29 12:06:11.536 Test[2575:60b] excuteafter _person3:person33,0x10794c
從日志可以看出，
- block內部修改了成員變量_person3（沒有用__block修飾符），並且同步到block外部，修改前和修改后地址是一樣的。
- block初始化后，執行前，修改成員變量_person2的值，可以同步到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，不管你是否用__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。
小結:
- 對於一個、多個成員變量，不管是否用__block修飾（用不用都沒任何影響），block結構體會生成一個成員 :self,並且會引用成員變量所屬的對象實例 self。
- 對於成員變量的修改都是通過對象self指針引用來實現的。
- block內部對於成員變量的訪問也是通過block結構體對象的成員self 指針引用來實現的。