block 解析 - 形参变量

时间：2023-03-08 21:03:45
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=;

    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=@"";

        *p2=@"";

        p3=;

        [p4 addObject:@""];

        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);

}

输出日志：

-- ::06.774 Test[:60b] init p1:hello world11,0x16537b20,0x27df8990

-- ::06.776 Test[:60b] init p2:hello world12,0x1652d760,0x27df898c

-- ::06.778 Test[:60b] init p3:,0x27df8988

-- ::06.779 Test[:60b] init p4:(

),0x1652b6d0,0x27df8984

-- ::06.781 Test[:60b] excuteing p1:,0x11a08,0x27df893c

-- ::06.782 Test[:60b] excuteing p2:,0x11a18,0x27df897c,0x27df8938

-- ::06.783 Test[:60b] excuteing p3:,0x27df8934

-- ::06.784 Test[:60b] excuteing p4:(

),0x1652b6d0,0x27df8930

-- ::06.785 Test[:60b] excuteafter p1:hello world11,0x16537b20,0x27df8990

-- ::06.786 Test[:60b] excuteafter p2:,0x11a18,0x27df898c

-- ::06.787 Test[:60b] excuteafter p3:,0x27df8988

-- ::06.788 Test[:60b] excuteafter p4:(

),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=) {

    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=;

    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内部可以修改形参，并且影响到实参。

相关文章