一、block循环引用

场景：从viewController通过modal跳转到ModelViewController，然后点击屏幕返回ViewController。

ViewController

ModelViewController

如上两图，当从modelViewController点击屏幕返回viewController后，会调用dealloc方法，打印出销毁。说明ModelViewController在方法dismissViewController后，就销毁了。原因是从ViewController跳转到ModelViewController时，前者的self.presentedViewController属性指向了ModelViewController，强指针，不会释放。而当dismiss后，self.presentedViewController属性消失，没有强指针指向，所以ModelViewController销毁了。

而如下图，在block中打印一下self的值，dismiss后，就不会打印销毁了(不调用dealloc方法)，控制器没有销毁。问题就出在第25行代码，造成block循环利用：block会对代码块中的所有强指针变量都请引用一次。就是25行的self被_block属性指向了，而self又是ModelViewController，self指向了ModelViewController，控制器要销毁就要self释放，但是self被_block指向，无法释放。控制器无法销毁，也导致了_block属性不能释放，就造成了循环引用，造成内存泄漏。

解决办法如下，将self包装成一个弱指针，运行后，ModelViewController成功销毁。

但是当我们对block块中的代码有要求的时候，让block代码延时执行的话，就会因为控制器先销毁，拿不到相应的数据。如图

解决方法如图，将weakSelf包装成强指针，这样一来strongSelf又指向了model控制器，控制器又不会释放了，而strongSelf是_block属性方法体内的局部变量，只有延时执行完了，strongSelf才会释放，model控制器才会销毁释放。所以这样就会顺利的将_block方法执行完才会销毁控制器。

二、三种block

GlobalBlock:：没有使用局部变量 or 使用静态or全局变量

MallocBlock：使用了局部变量 or OC属性，并且使用__strong修饰的（被强引用的），在堆区

StackBlock：使用了局部变量，但是没有被强引用的

三、block变量截获

1.block的一个特性就是变量截获，注意是截获，而不是获取。看图

我们在block1块前创建int变量b，然后在调用block1();之前改变b的值，然而打印出来的b=0。block会截获block块之前的变量，一旦截获，后续的外部更改是没有用的。

2.经过第一点的描述，我们知道了block截获之后,外部的更改对截获值没有影响。那么在block内部进行更改呢？会发生什么呢？

可以看到，block中对变量b进行更改，编译直接报错。说明在block块中是不能对外部的变量值进行更改的，注意是变量的值，如果是外部的引用(非值类型)，会有一些不同，后面细说。

从代码中看出，block内部不能改变外部变量的值，会报错。但是为什么不能修改呢？上代码分析

从代码分析中我们可以发现，block块中的b的地址与block外部的b的地址打印是不一样的。其实block的变量截获，block进行了一些操作，block在内部创建了临时的变量，用于记录外部的截获到的变量值，本质上block块中的b和外部的b不是同一个变量，所以在block中无法改变外部的变量的值。

3.然后我们解决一下第2点中加黑的问题，前面举的例子都是值类型的变量截获以及操作，那么引用类型呢？我们这里使用NSMutableArray进行测试。上代码

是不是发现了不同？引用类型的变量block内外的地址是一致的。再测试一下能不能在block中进行更改？下面两个测试案例，两种更改方法，上代码

可以看到第一个图中，编译报错，第二个图中正常运行。我们首先要区分开值类型变量和引用类型变量的区别。值类型仅仅是栈中的一个数值，而引用变量的实质是一个指针，指针指向的(指针的值)是我们在堆中创建的对象的地址，而这个指针本身的地址是在栈中的。 是不是发现了点什么？block中不能改变外部变量的值其实指的是栈上变量的值？

图一中我们的做法，是重新创建了一个可变数组对象，然后让array更新指向，指向我们新创建的对象的地址。在这种做法中，我们实质上是试图更改array指针的值(因为我们要让他指向其他对象，指针的值就是它所指向对象的地址)，而array指针本身地址是在栈上的，我们对block外部的栈上的变量进行更改，就会导致编译错误，无法更改。

而图二中，表面上是对array进行操作，其实是我们对array指针所指向的地址(也就是数组对象，堆中)进行操作，并没有更改array的指向(值)，所以是可以正常运行的。证实了我们前面的猜测。block中不能改变外部变量的值，实质上是不能改变处在栈中的变量的值。

通过上面的分析，我们可以发现，其实我们上面对array进行%p的地址打印，其实打印出的是array所指向的堆中对象的地址的打印，并不是array变量本身的地址。所以我们对array指针本身地址进行打印，上代码。

发现了什么，是不是和之前第2点中，打印 值类型变量b地址 的结果是一致的？block仍然是在block内部生成了一个临时变量，保存了截获的arrar指针的值(让我们可以通过保存的值正常访问堆中的地址)，所以block里面和外面的&array的打印不一致。

四、__block底层原理

1.那么在上面的分析中，我们知道了，block中不能更改栈上变量的值。那么有没有办法进行更改呢？当然是有的，我们可以使用__block关键字修饰我们想更改的变量，就可以实现更改。

2.依旧是为什么？为什么使用__block修饰之后就可以更改了呢？？

简要概括一下，之前的分析，可以知道block中不能对栈上的变量进行更改。__block关键字的原理其实就是：进行了一个将栈上变量，拷贝到堆中的一个操作。即将栈上的基本数据类型，转变封装为一个对象类型的操作。以此来实现可以对变量进行更改。

总结：__block关键字其实就是进行了一个堆栈的转换操作，将栈中的数据拷贝到堆上，然后便可以进行更改。(就类似于函数传参，我们只有传入引用类型，在函数中才能对其进行真正的操作更改，否则是无法更改的)