让咱们来深刻浅出block吧

开始以前，我想先提几个问题，看看你们是否对此有疑惑。唐巧已经写过一篇对block颇有研究的文章，你们能够去看看（本文会部分引用巧哥文中出现的图和代码）。在巧哥的基础上，我补充一些block相关的知识点和代码，而且归纳并修正一些观点。

1.block是什么？block是对象吗？

2.block分为哪几种？__blcok关键字的做用？

3.block在ARC和MRC下的区别？

4.block的生命周期？

5.block对于以参数形式传进来的对象，会不会强引用？？

---

block是什么？block是对象吗？

先介绍一下什么是闭包。在 wikipedia 上，闭包的定义) 是:

In programming languages, a closure is a function or reference to a function together with a referencing environment—a table storing a reference to each of the non-local variables (also called free variables or upvalues) of that function.

翻译过来，闭包是一个函数（或指向函数的指针），再加上该函数执行的外部的上下文变量（有时候也称做自由变量）。

block 实际上就是 Objective-C 语言对于闭包的实现。

block是否是对象？答案显而易见：是的。

下图是block的数据结构定义，显而易见，在Block_layout里，咱们看到了isa指针，这里咱们不具体对isa指针展开，也不对block具体数据结构展开，想了解详细能够看唐巧的文章。

回到上文，为何说block是对象呢，缘由就在于isa指针。那么这个isa指针是何物呢？

全部对象的都有isa 指针，用于实现对象相关的功能。

看到这，你应该明白，block其实就是objc对于闭包的对象实现。

---

block分为哪几种？__blcok关键字的做用？

分为三种，即NSConcreteGlobalBlock、NSConcreteStackBlock、NSConcreteMallocBlock。

详细剖析这三种block，首先是NSConcreteGlobalBlock：

简单地讲，若是一个block钟没有引用外部变量 而且没有被其余对象持有 ，就是NSConcreteGlobalBlock。

以下图所示：

须要注意的是，NSConcreteGlobalBlock是全局的block，在编译期间就已经决定了，如同宏同样。

什么是NSConcreteStackBlock呢：

能够这么理解，NSConcreteStackBlock就是引用了外部变量的block，上代码：

OK，咱们已经知道了NSConcreteStackBlock，那么它和NSConcreteGlobalBlock有什么区别呢？难道仅仅是引用了外部变量与否的区别吗？答案是否认的。

其实NSConcreteStackBlock内部会有一个结构体__main_block_impl_0，这个结构体会保存外部变量，使其体积变大。而这就致使了NSConcreteStackBlock并不像宏同样，而是一个动态的对象。而它因为没有被持有，因此在它的内部，它也不会持有其外部引用的对象。

证据以下：

从打印的日志能够看出，引用计数始终没变。

NSConcreteMallocBlock:

看似最为神秘的NSConcreteMallocBlock其实就是一个block被copy时，将生成NSConcreteMallocBlock（block没有retain）。怎么样，是否是很简单0 0

须要注意的是，NSConcreteMallocBlock会持有外部对象！

看到了吧，只要这个NSConcreteMallocBlock存在，内部对象的引用计数就会+1。

下面来讲说__block这个关键字：

先上一个例子，大家很快就会明白了

没错，前文说过，block引用外部是以捕获的形式来捕捉的，而没有声明block，则会将外部变量copy进block，若用了block，则是复制其引用地址来实现访问。这就是为何声明了__block，在block内部改变就会对外有影响的缘由了。

注意！！这里须要知道的是，在MRC环境下，若是没有用block，会对外部对象采用copy的操做，而用了block则不会用copy的操做。

上代码：

哈哈哈，怎么样，因此从更底层的角度来讲，在MRC环境下，__block根本不会对指针所指向的对象执行copy操做，而只是把指针进行的复制。而这一点每每是不少新手&老手所不知道的！

而在ARC环境下，对于声明为__block的外部对象，在block内部会进行retain，以致于在block环境内能安全的引用外部对象，因此要谨防循环引用的问题！

---

block在ARC和MRC下的区别？

首先要指正下巧哥博客的观点：

在 ARC 开启的状况下，将只会有 NSConcreteGlobalBlock 和 NSConcreteMallocBlock 类型的 block。

在上面介绍NSConcreteStackBlock的时候，是在ARC环境下跑的，而打印出来的日志明确的显示出，当时的block类型为NSConcreteStackBlock。

而实际上，为何你们广泛会认为ARC下不存在NSConcreteStackBlock呢？

这是由于自己咱们经常将block赋值给变量，而ARC下默认的赋值操做是strong的，到了block身上天然就成了copy，因此经常打印出来的block就是NSConcreteMallocBlock了。

so，在ARC下，大部分的应用场景下，几乎能够说是所有都为NSConcreteMallocBlock或者是NSConcreteGlobalBlock。那么问题来了，咱们知道NSConcreteMallocBlock是会持有外部变量的，而此时若是它所持有的外部变量正好又持有它，就会产生循环引用的问题。

让咱们来聊聊block的生命周期！

---

block的生命周期？

谈到block生命周期，其实这是一个很是严肃的话题，虽然block简单易用，老小皆宜，可是一旦使用不慎容易形成“强撸灰飞烟灭”的后果（内存泄露）。

ps：接下来的例子都用ARC来展现了

首先展现：

不用看了，这个object永远也不会被释放，这是一个很典型的循环引用情形。object持有了block（读者能够想象此处为什么为NSConcreteMallocBlock，提示：在ARC环境下），而block又持有了object，因而形成死锁，object不再会被释放了。此时机智的编译器给了你warning，可是在不少复杂的状况下，编译器并不能识别出循环引用的场景。而此时你就须要注意了！

那么，我是如何来处理block的生命周期相关问题的呢，首先前文提到，block是一个对象，既然是一个对象，它必然有着和对象同样的生命周期即若是没有被引用就会被释放。

因此block的生命周期归结起来很简单，只要看持有block的对象是否是也被block持有，若是没有持有，就不用担忧循环引用问题了。

可是像上面的状况，若是产生相互持有的状况该肿么办！

你能够用weak(ARC)或block(MRC)来解决:

看，如今就能够愉快的释放了。

---

block对于以参数形式传进来的对象，会不会强引用？

唉，不知不觉已经快半夜2点了，对于这部分的话，其实也是闲着蛋疼在想这个问题。

其实block与函数和方法同样，对于传进来的参数，并不会持有

证据以下：

---

总结：

到这里，对于block的介绍结束了。实际运用中其实不用太关心这些原理的，只须要正确掌握好block的生命周期就能够灵活地运用block了。可是对于一个资深开发者来讲，block的深层次掌握仍是必须的！

好的，下次再见！

欢迎你们关注@kuailejim，我会常常在上面分享一些你们感兴趣的东西。