在 上一篇 中我们讲了截获变量特性，对于局部变量，变量不加__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,0xe290c 2014-07-28 15:45:21.218 Test[2266:60b] excutebefore _p1:3,0x17d83828 2014-07-28 15:45:21.219 Test[2266:60b] excutebefore _person2:person22,0x17d83824,0xe295c 2014-07-28 15:45:21.220 Test[2266:60b] excuteing _p1:3,0x17d83828 2014-07-28 15:45:21.222 Test[2266:60b] excuteing _person2:person222,0x17d83824,0xe292c 2014-07-28 15:45:21.223 Test[2266:60b] excuteafter _p1:3,0x17d83828 2014-07-28 15:45:21.224 Test[2266:60b] excuteafter _person2:person222,0x17d83824,0xe292c
从日志可以看出，
我们来看一下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。
小结:
block 解析 - 成员变量,布布扣,bubuko.com
原文：http://www.cnblogs.com/NarutoYq/p/3873090.html