首页 > 代码库 > block 解析 - 形参变量

block 解析 - 形参变量

block形参

之前漏了一篇block形参的介绍,这里给补上。

block形参就是定义block带的参数,和函数的参数使用一样,我们可以在block随意使用修改block形参。

我们来看个例子:

我们声明了两个NSString 指针_p1 _p2、int 型_p3、可变数组_p4,并把这些参数传入block,在block内修改。

-(void )test3{    NSString *_p1=[NSString stringWithFormat:@"hello %@",@"world11"];    NSString *_p2=[NSString stringWithFormat:@"hello %@",@"world12"];    int _p3=1;    NSMutableArray *_p4=[[NSMutableArray alloc]init];    //初始值    NSLog(@"init p1:%@,%p,%p",_p1,_p1,&_p1);    NSLog(@"init p2:%@,%p,%p",_p2,_p2,&_p2);    NSLog(@"init p3:%d,%p",_p3,&_p3);    NSLog(@"init p4:%@,%p,%p",_p4,_p4,&_p4);    void (^myBlock)(NSString *,NSString **,int,NSMutableArray *) = ^(NSString *p1,NSString **p2,int p3,NSMutableArray * p4) {        //block内赋值        p1=@"21";        *p2=@"22";        p3=23;        [p4 addObject:@"23"];        NSLog(@"excuteing p1:%@,%p,%p",p1,p1,&p1);        NSLog(@"excuteing p2:%@,%p,%p,%p",*p2,*p2,p2,&p2);        NSLog(@"excuteing p3:%d,%p",p3,&p3);        NSLog(@"excuteing p4:%@,%p,%p",p4,p4,&p4);    };    myBlock(_p1,&_p2,_p3,_p4);    //block执行后    NSLog(@"excuteafter p1:%@,%p,%p",_p1,_p1,&_p1);    NSLog(@"excuteafter p2:%@,%p,%p",_p2,_p2,&_p2);    NSLog(@"excuteafter p3:%d,%p",_p3,&_p3);    NSLog(@"excuteafter p4:%@,%p,%p",_p4,_p4,&_p4);}

 

输出日志:

2014-07-31 14:17:06.774 Test[3655:60b] init p1:hello world11,0x16537b20,0x27df89902014-07-31 14:17:06.776 Test[3655:60b] init p2:hello world12,0x1652d760,0x27df898c2014-07-31 14:17:06.778 Test[3655:60b] init p3:1,0x27df89882014-07-31 14:17:06.779 Test[3655:60b] init p4:(),0x1652b6d0,0x27df89842014-07-31 14:17:06.781 Test[3655:60b] excuteing p1:21,0x11a08,0x27df893c2014-07-31 14:17:06.782 Test[3655:60b] excuteing p2:22,0x11a18,0x27df897c,0x27df89382014-07-31 14:17:06.783 Test[3655:60b] excuteing p3:23,0x27df89342014-07-31 14:17:06.784 Test[3655:60b] excuteing p4:(    23),0x1652b6d0,0x27df89302014-07-31 14:17:06.785 Test[3655:60b] excuteafter p1:hello world11,0x16537b20,0x27df89902014-07-31 14:17:06.786 Test[3655:60b] excuteafter p2:22,0x11a18,0x27df898c2014-07-31 14:17:06.787 Test[3655:60b] excuteafter p3:1,0x27df89882014-07-31 14:17:06.788 Test[3655:60b] excuteafter p4:(    23),0x1652b6d0,0x27df8984

从日志可以看出:

  • 我们把指针_p1(NSString *)传入block,传参数的过程其实可以理解为用新的指针指向  _p1所指向的内存地址。这时候在block内部修改指针指向,只是修改了block形参的指针的指向,所以block内部p1的内容和block外部_p1的不一样。
  • 我们把指针_p4(NSMutableArray *)传入block,传参数的过程和上面一样,用了一个新的指针指向  参数所指向的内存地址,在block内部对 形参指针指向的内存进行修改,即操作的是同一片内存,所以能同步到block外部。
  • 我们把指针_p2(NSString **)传到了block内部,传递的是指针的地址,我们在block内部修改*p2,其实是修改 指针p2 指向的指针  指向的内存地址,也能同步到block外部。
  • 因为_p3是值传递,所以block内部修改不会影响外部,这个和函数一样。

 

我们来看看block对行参变量的处理:

这是block结构体,并没有生成成员 对形参进行引用

struct __KDBlockTest__test3_block_impl_0 {  struct __block_impl impl;  struct __KDBlockTest__test3_block_desc_0* Desc;  __KDBlockTest__test3_block_impl_0(void *fp, struct __KDBlockTest__test3_block_desc_0 *desc, int flags=0) {    impl.isa = &_NSConcreteStackBlock;    impl.Flags = flags;    impl.FuncPtr = fp;    Desc = desc;  }};

我们看block实现的函数,对变量的访问,都是通过形参来实现的,并没有通过结构体的成员

static void __KDBlockTest__test3_block_func_0(struct __KDBlockTest__test3_block_impl_0 *__cself, NSString *p1, NSString **p2, int p3, NSMutableArray *p4) {        p1=(NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_9;        *p2=(NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_10;        p3=23;        ((void (*)(id, SEL, id))(void *)objc_msgSend)((id)p4, sel_registerName("addObject:"), (id)(NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_11);        NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_12,p1,p1,&p1);        NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_13,*p2,*p2,p2,&p2);        NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_14,p3,&p3);        NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_15,p4,p4,&p4);    }

下面是我们的测试函数,看红色部分,是通过函数参数传递,和函数调用一样,和block内使用局部变量、静态变量、成员变量还是有很大区别的,并没有截获变量。

static void _I_KDBlockTest_test3(KDBlockTest * self, SEL _cmd) {    NSString *_p1=((NSString *(*)(id, SEL, NSString *, ...))(void *)objc_msgSend)((id)objc_getClass("NSString"), sel_registerName("stringWithFormat:"), (NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_1, (NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_2);    NSString *_p2=((NSString *(*)(id, SEL, NSString *, ...))(void *)objc_msgSend)((id)objc_getClass("NSString"), sel_registerName("stringWithFormat:"), (NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_3, (NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_4);    int _p3=1;    NSMutableArray *_p4=((id (*)(id, SEL))(void *)objc_msgSend)((id)((id (*)(id, SEL))(void *)objc_msgSend)((id)objc_getClass("NSMutableArray"), sel_registerName("alloc")), sel_registerName("init"));    NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_5,_p1,_p1,&_p1);    NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_6,_p2,_p2,&_p2);    NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_7,_p3,&_p3);    NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_8,_p4,_p4,&_p4);    void (*myBlock)(NSString *,NSString **,int,NSMutableArray *) = (void (*)(NSString *, NSString **, int, NSMutableArray *))&__KDBlockTest__test3_block_impl_0((void *)__KDBlockTest__test3_block_func_0, &__KDBlockTest__test3_block_desc_0_DATA);    ((void (*)(__block_impl *, NSString *, NSString **, int, NSMutableArray *))((__block_impl *)myBlock)->FuncPtr)((__block_impl *)myBlock, _p1, &_p2, _p3, _p4);//block 执行    NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_16,_p1,_p1,&_p1);    NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_17,_p2,_p2,&_p2);    NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_18,_p3,&_p3);    NSLog((NSString *)&__NSConstantStringImpl__var_folders_5l_2l25j3tn0wl_3zy1hpsq1rhc0000gp_T_KDBlockTest_654672_mi_19,_p4,_p4,&_p4);}

 

总结:

  • 对于block形参,block不会对形参、实参强引用,调用是通过参数传递实现的(block结构体内部没有成员引用)
  • 和函数调用一样,block内部可以修改形参,并且影响到实参。