Objective-C 中的自动引用计数

近日，出现在 Clang 站点上的一篇文章探讨了对 Objective-C 中自动引用计数的需求。自动引用计数提供了一种类似于C++ auto 的服务，可以让对象自动参与到retain/release/autorelease 周期中而无需用户显示操纵对象。

Objective-C 使用了一种以约定为基础的引用计数。被持有的对象会被保留下来，这会增加其引用计数。当对象被释放时，其引用也会被释放。当保留的计数归零时，该对象就会被销毁。

为了使用工厂方法（会返回创建好的实例但却不会控制其生命周期的方法），Objective-C 提出了自动释放池的概念。他们是对象的局部栈列表，在处理循环结束时（通常是处理完事件队列中的某个事件时），该池就会被清空，这会减少列表中对象的引用计数。如果引用计数降为 0，那么对象就会被销毁。另一方面，如果对象还被循环处理中的其他代码所持有，那么该对象还可以供后续使用。

Objective-C 对于方法有一个非正式的命名约定以标识其用途。调用者希望能够控制诸如 init 与 new 所返回的对象。带有 with 的方法（如 NSString 的 stringWithFormat）会返回一个自动释放的对象。

Objective-C 2.0 向语言中添加了大量内容，如块与属性，他们具有自动的保持与释放语法。但借助于自动的引用计数，编译器现在可以推断出（这种情况数量不多，但应用却很广）应该在何处使用恰当的 retain/release 调用。

此外，如果编译器能够判明出在一对函数间的调用动作序列，那么就可以优化自动插入的 retain/release 调用。为了实现这一点，某些调用（如 init 与 new）就会被分配给类成员，这些新扩展可以给编译器一定的指示。但这么做的副作用就是调用未被注解的 init 方法时，如果他们没有响应正常的 init 方法行为，那么就会出现警告。

新的行为会在即将发布的 Clang 中得以实现，可以通过 -fobjc-arc 参数启用。内存受限的设备可以使用它来代替 Objective-C 的垃圾收集，而在桌面平台上则可以通过 -fobjc-gc 参数继续使用 Objective-C 的垃圾收集。

查看英文原文： Automatic Reference Counting in Objective-C