回顾在 上一篇 中我们讲了截获变量特性，对于局部变量，变量不加__block修饰符，在block内部是无法修改变量的值。而且
对值类型的修改，如果block初始化后，无法同步到block内部对于指针类型的修改，如果block初始化后，修改指针指向，即指向另外一块内存，这样也是无法同步到block内部对于指针类型的修改，如果block初始化后，对指针指向的内存进行修改，即NSMutableArray add 、remove操作，这样是可以用同步到block内部，但block内部同样无法修改。成员变量对于成员变量，结果却不一样，加了__block和不加__block修饰符效果都是一样的，而且不用区分是引用类型和值类型，block初始化后，对于block内部引用的变量的修改，也能同步到block内部,并且在block内部可以修改成员变量的值。
Demo：
声明两个变量：_person2、_person3
@interfaceKDBlockTest()
{
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) = ^(intnum) {//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-2912:06:11.526Test[2575:60b] init _person2:person2,0x10790c2014-07-2912:06:11.529Test[2575:60b] init _person3:person3,0x10791c2014-07-2912:06:11.530Test[2575:60b] excutebefore _person2:person22,0x10797c2014-07-2912:06:11.531Test[2575:60b] excutebefore _person3:person3,0x10791c2014-07-2912:06:11.532Test[2575:60b] excuteing _person2:person22,0x10797c2014-07-2912:06:11.534Test[2575:60b] excuteing _person3:person33,0x10794c2014-07-2912:06:11.535Test[2575:60b] excuteafter _person2:person22,0x10797c2014-07-2912:06:11.536Test[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,intflags=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);
staticvoid__KDBlockTest__test3_block_func_0(struct__KDBlockTest__test3_block_impl_0 *__cself,intnum) {
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 指针引用来实现的。