objective-c - 新的自动引用计数机制如何工作？

Question

有人可以向我简单解释一下 ARC 的工作原理吗？我知道它与垃圾收集不同，但我只是想知道它到底是如何工作的。

另外，如果 ARC 能做 GC 所做的事情而不影响性能，那么为什么 Java 还要使用 GC？为什么它不也使用 ARC？

Answer 1

每个接触 Objective-C 的新开发人员都必须学习何时保留、释放和自动释放对象的严格规则。这些规则甚至指定了暗示从方法返回的对象的保留计数的命名约定。一旦您牢记这些规则并一致应用它们，Objective-C 中的内存管理就会成为第二天性，但即使是最有经验的 Cocoa 开发人员也会时不时地犯错。

通过 Clang 静态分析器，LLVM 开发人员意识到这些规则足够可靠，他们可以构建一个工具来指出代码所采用的路径中的内存泄漏和过度释放。

Automatic reference counting (ARC) 是下一个合乎逻辑的步骤。如果编译器可以识别您应该在哪里保留和释放对象，为什么不让它为您插入该代码呢？严格的、重复性的任务是编译器及其兄弟所擅长的。人类会忘记事情并犯错误，但计算机的一致性要高得多。

但是，这并不能完全免除您对这些平台上的内存管理的担忧。我在我的回答 here 中描述了需要注意的主要问题(保留周期) ，这可能需要您花点心思来标记弱指针。然而，与您在 ARC 中获得的 yield 相比，这只是微不足道的。

与手动内存管理和垃圾收集相比，ARC 为您提供了两全其美的优点，无需编写保留/释放代码，同时又不会出现垃圾收集环境中出现的停止和锯齿状内存配置文件。垃圾收集相对于此的唯一优点是它处理保留周期的能力以及原子属性分配成本低廉的事实(如讨论的 here )。我知道我将用 ARC 实现替换所有现有的 Mac GC 代码。

至于是否可以扩展到其他语言，它似乎是围绕 Objective-C 中的引用计数系统而设计的。将其应用到 Java 或其他语言可能很困难，但我对低级编译器的细节了解不够，无法在那里做出明确的声明。鉴于 Apple 是在 LLVM 中插入这一努力的人，Objective-C 将是第一位的，除非另一方为此投入大量资源。

此功能的发布震惊了 WWDC 上的开发人员，因此人们并不知道可以完成这样的事情。随着时间的推移，它可能会出现在其他平台上，但目前它是 LLVM 和 Objective-C 独有的。