首页 > 代码库 > block 解析 - 成员变量

block 解析 - 成员变量

2024-07-14 11:27:20   222人阅读

成员变量

在 上一篇 中我们讲了截获变量特性，对于局部变量，变量不加__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 指针引用来实现的。

 


联系
我们