截获成员变量

在第一篇中我们讲了截获变量特性，对于局部变量，变量不加__block修饰符，在block内部是无法修改变量的值，而且初始化block之后，对变量修改，就无法同步到block内部，但是对于成员变量，结果却不一样，即时不加__block修饰符，block初始化后，对于block内部引用的变量的修改，也能同步到block内部。

Demo：

声明两个变量：_person2、_person3

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

添加测试方法，输出变量的值、地址、指针地址

-(void )test3
{
    _person2=@"person2";
    NSLog(@"init _person2:%@,%p,%p",_person2,&_person2,_person2);
    void (^myBlock)(int) = ^(int num) {
//        _person2＝@"121";不能修改
        NSLog(@"excuteing _person2:%@,%p,%p",_person2,&_person2,_person2);
        NSLog(@"excuteing _person3:%@,%p,%p",_person3,&_person3,_person3);
    };
    _person2=@"person22";
    NSLog(@"excutebefore _person2:%@,%p,%p",_person2,&_person2,_person2);
    myBlock(1);
    NSLog(@"excuteafter _person2:%@,%p,%p",_person2,&_person2,_person2);
}

执行结果如下：

2014-07-28 14:18:05.181 Test[2084:60b] init _person2:person2,0x15666164,0xd690c
2014-07-28 14:18:05.183 Test[2084:60b] excutebefore _person2:person22,0x15666164,0xd694c
2014-07-28 14:18:05.184 Test[2084:60b] excuteing _person2:person22,0x15666164,0xd694c
2014-07-28 14:18:05.185 Test[2084:60b] excuteing _person3:(null),0x15666168,0x0
2014-07-28 14:18:05.186 Test[2084:60b] excuteafter _person2:person22,0x15666164,0xd694c

从日志可以看出，_person2初始化值是person2,block内部使用了这个变量，block初始化后，我们又修改了_person2的值为person22，此时执行block，可以看出，block内部使用的变量_person2的值也是person22。

也就是说对于成员变量，即时不加__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

        NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_35ecd9_mi_3,(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person2)),&(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person2)),(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person2)));
        NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_35ecd9_mi_4,(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person3)),&(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person3)),(*(NSString **)((char *)self + OBJC_IVAR_$_KDBlockTest$_person3)));
    }

函数实现里通过引用block结构体的成员self，再引用到对应的objc变量_person2和_person3。

总结，对于一个、多个成员变量，block结构体会生成一个成员 :self,并且会引用成员变量所属的对象实例 self，而对于成员变量的修改都是通过对象self指针引用来实现的，当然block内部对于成员变量的访问也是通过block结构体对象的成员self 指针引用来实现的。