ARC 在哪里写发布说明？

Question

我知道每次我在键盘上按 CMD + B：

1. Xcode 确实唤醒了 ARC
2. ARC 分析我的代码并编写所有 retain/release/autorelease 调用
3. 代码终于被LLVM编译了

在这个过程中还发生了一些事情，但是我要问的是......

ARC在哪里写发布说明？

1. 就在引用类实例的变量超出范围之前
2. 就在上次使用该变量之后

示例

class HugeObject {
    func doVeryImportantStuff() { print("The answer is \((10*4)+2)") }
}

func foo() {
    let a = HugeObject()
    a.doVeryImportantStuff()

    // <-- Point A

    let b = HugeObject()
    b.doVeryImportantStuff()

    // <-- Point B
}

ARC 将在哪里写入 a.release() 行？

• Point B?
• 或者，更好的是，它能够理解a.release 可以安全地移动到Point A？

我怀疑足迹可能会产生重要影响，但我找不到任何相关信息。

Answer 1

首先：ARC是编译器的一部分，它的名字叫clang，而不是LLWM。它是在编译时完成的。

---

致你的问题：

简短回答：这取决于您为编译器提供的注释。默认不会太早也不会太晚。

长答案：

当本地变量的范围丢失时，发送本地变量（本地范围，自动）的释放。但这是优化的。因此，从技术上讲，可能会更早发送版本，这意味着在本地 var 的最后一次可见使用和范围丢失之间。

如果你有理由将retain保留到extent，你必须注解objc_precise_lifetime。

通常，ARC 维护一个不变量，即 __strong 对象中的可保留对象指针将在对象的完整正式生命周期内保留。受此不变量约束的对象具有精确的生命周期语义。

默认情况下，自动存储持续时间的局部变量没有精确的生命周期语义。这些对象只是简单的强引用，它保存可保留对象指针类型的值，并且这些值仍然完全受制于本地控制下的值的优化。

[…]

可保留对象所有者类型和自动存储持续时间的局部变量可以使用 objc_precise_lifetime 属性进行注释，以指示应将其视为具有精确生命周期语义的对象。

http://clang.llvm.org/docs/AutomaticReferenceCounting.html#precise-lifetime-semantics