为什么block要用copy修饰?

简单的答案:首先在官方文档《Programming with Objective-C》里面写到,初学阅读的时候没有注意到这个细节:You should specify copy as the property attribute, because a block needs to be copied to keep track of its captured state outside of the original scope. This isn’t something you need to worry about when using Automatic Reference Counting, as it will happen automatically, but it’s best practice for the property attribute to show the resultant behavior .
在这里官方叫我们使用copy修饰符,虽然在ARC时代已经不需要再显式声明了,也就是使用strong是没有问题的,但是仍然建议我们使用copy以显示相关拷贝行为。问题到这里就基本结束了。目前使用strong和copy都是没有问题的。
深入探索: 但是在这里仍然无法解答我的疑惑,需要使用copy修饰符的根本原因是什么。所以继续探索。
最终得到的答案是这与block对象在创建时是stack对象有关。
所以,其实Objective-C是有它的Stack object的。是的,那就是block.
首先我们先对block进行进一步的认识。

在Objective-C语言中,一共有3种类型的block:

_NSConcreteGlobalBlock 全局的静态block,不会访问任何外部变量。

_NSConcreteStackBlock 保存在栈中的block,当函数返回时会被销毁。

_NSConcreteMallocBlock 保存在堆中的block,当引用计数为0时会被销毁。

这里我们主要基于内存管理的角度对它们进行分类。

NSConcreteGlobalBlock,这种不捕捉外界变量的block是不需要内存管理的,这种block不存在于Heap或是Stack而是作为代码片段存在,类似于C函数。

NSConcreteStackBlock。这就是这次探索的重点了,需要涉及到外界变量的block在创建的时候是在stack上面分配空间的,也就是一旦所在函数返回,则会被摧毁。这就导致内存管理的问题,如果我们希望保存这个block或者是返回它,如果没有做进一步的copy处理,则必然会出现问题。

NSConcreteMallocBlock,因此为了解决block作为Stack object的这个问题,我们最终需要把它拷贝到堆上面来。而此时NSConcreteMallocBlock扮演的就是这个角色。
真正的答案: 因此答案便是因为block在创建时是stack对象,如果我们需要在离开当前函数仍能够使用我们创建的block。我们就需要把它拷贝到堆上以便进行以引用计数为基础的内存管理。

ARC的疑团:
解答完最初的问题后,新的问题又出现在我的脑海。那就是ARC是如何进行block的内存管理的呢,对于普通的OC对象之前已经总结过

那么block在ARC下是如何从栈管理正确过渡到堆的管理的呢:

我在网上查阅了许多资料与博文,有部分总结是:

在ARC下NSConcreteStackBlock类型的block会替换成NSConcreteMallocBlock类型

其实这是不够准确的,来自苹果LLVM ARC的文档中谈到:
With the exception of retains done as part of initializing a __strong parameter variable or reading a __weak variable, whenever these semantics call for retaining a value of block-pointer type, it has the effect of a Block_copy. The optimizer may remove such copies when it sees that the result is used only as an argument to a call.
也就是说ARC帮助我们完成了copy的工作,在ARC下,即使你声明的修饰符是strong,实际上效果是与声明为copy一样的。

因此在ARC情况下,创建的block仍然是NSConcreteStackBlock类型,只不过当block被引用或返回时,ARC帮助我们完成了copy和内存管理的工作。

总结和心得:
其实用一句话总结便是:
在ARC下,我们可以将block看做一个正常的OC对象,与其他对象的内存管理没什么不同。

有时我们可能简单地从博客和文档上面得到一句简单的结论就够了。但是如果我们不断探索,不断思考,那么我们的收获会更大,更深。可能不仅仅是一句知识点,更多的是探索的方法和过程。对一件事情剥茧抽丝,还原本质的过程对我来说也是一种享受,一种修行。

经过了一系列探索,最终理解了block的概念,了解了block的实现,弄懂了block的内存管理。
加油,继续修行~

你可能感兴趣的:(为什么block要用copy修饰?)