iOS:Block变量捕获

这篇博客我们从一个很常见的题目入手。

int age = 10;   
void (^myblock)(void) =  ^{
  NSLog(@"%d",age);
};
age  = 20;
myblock();

这个题目就涉及到了block内访问外部变量,block有个变量捕获机制,

我们新建一个mac的命令行工程,把上面代码写进去,然后用clang把main.m文件编译为cpp的文件看一下。

具体的block底层结构上一篇文章我们已经说过了,这里我们针对结构就不在赘述,直接说核心点。

auto类型局部变量

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  int age;
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int _age, int flags=0) : age(_age) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

可以看到,在block的内部,多了一个age变量。而且从初始化的函数来看,这个__main_block_impl_0中age的值是外面传进来赋给他的。我们看一下main函数中。

 int age = 10;

void (*myblock)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, age));

age = 20;

((void (*)(__block_impl *))((__block_impl *)myblock)->FuncPtr)((__block_impl *)myblock);

可以看出来在这个block初始化的过程中,就把age的值,也就是10,传了进去,赋值给了block内部的age变量。

那我再看一下打印的时候的age是什么情况。

static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  int age = __cself->age; // bound by copy
  NSLog((NSString *)&__NSConstantStringImpl__var_folders_6l_80sfw0tn35bg4dxc51jlq_bw0000gn_T_main_3b5bf4_mi_0,age);
}

打印的这个age就是block自己内部的这个ege变量(值为10),所以我们在执行block之前,改变外面的age值为20,其实改变的不是内部要打印的这个age了,所以打印出来结果还是10。

好的,我们定义的这个age就是一个普通的局部变量,其实就是auto类型的局部变量(C语言基础)。那我们下面改变一下这个变量的属性,尝试一下静态变量(static)和全局变量。

static类型局部变量

首先是静态变量。

//定义变量时加static标识
static int age = 10;

运行结果是20。我们依然要看一下clang编译一下,看c++代码。

struct __main_block_impl_0 {
  struct __block_impl impl;
  struct __main_block_desc_0* Desc;
  int *age;
  __main_block_impl_0(void *fp, struct __main_block_desc_0 *desc, int *_age, int flags=0) : age(_age) {
    impl.isa = &_NSConcreteStackBlock;
    impl.Flags = flags;
    impl.FuncPtr = fp;
    Desc = desc;
  }
};

我们来分析一下两次的异同,首先block都对变量进行了捕获,但不同的是static类型的变量是捕获了变量的指针,那我们应该就可以理解了,一般情况下这种基本数据类型如果是传指针,就意味要修改值的。

我们从main函数中也可以看出来,在初始化block的时候传入了外部age的指针,

static int age = 10;
void (*myblock)(void) = ((void (*)())&__main_block_impl_0((void *)__main_block_func_0, &__main_block_desc_0_DATA, &age));

而且在打印的时候也是打印了这个指针指向的数据。

static void __main_block_func_0(struct __main_block_impl_0 *__cself) {
  int *age = __cself->age; // bound by copy

  NSLog((NSString *)&__NSConstantStringImpl__var_folders_6l_80sfw0tn35bg4dxc51jlq_bw0000gn_T_main_d618bf_mi_0,(*age));
}

所以我们在执行block之前更改了age的值,在执行block的时候打印的也是同一块内存的值,所以值改变了。

最后我们在试一下全局变量。

全局变量

在定义age的时候,定义成一个全局变量。(拿到main方法外面)。

int age = 10;


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

从编译后的代码可以看出,在底层其实也是生成了一个age=10的全局变量,然后在block内部并没有捕获这个变量。

在不管是重新赋值,还是输出打印,都是操作的这个全局的age,所以这个值也是能被改变的。

可能有人会问如果是

static int age = 10;

这个样子的全局变量呢?

全局变量加不加static都是一样的。这里就不上代码细说了。

小结

局部变量:

  1. 会被block捕获到内部
  2. auto类型的是值传递,内部不能修改值
  3. static是指针传递,可以修改值。

全局变量:

  1. 不会被捕获到block内部
  2. 可以修改值

上面我们使用的是基本数据类型,那对象是不是也一样呢?

其实对象类型的也是一样的,但是有一个小点我们需要了解一下。

看下面这个例子吧。

NSMutableArray * arr = [NSMutableArray new];
   
void (^myblcok)(void) = ^{
  [arr addObject:@"1"];
  NSLog(@"%@",arr);
};
   
myblcok();

按照我们上面总结的这种auto类型的局部变量是要被捕获到内部的,但是应该不可以修改值。

上面代码执行后打印数组,是有@“1”这个元素的,这里我们就要搞清楚,我们调用[arr addObject:@"1"];并没有修改arr的值,只是只用了这个指针。

如果我们在block的回调中让arr=nil;,这算是改变arr的值,但是xcode就会报错的了。

你可能感兴趣的:(iOS:Block变量捕获)