ios - 为什么会有弱者和无主？为什么我们不能总是使用 weak？

Question

我刚刚阅读了 ARC section in the Swift book以及其他一些关于weak 和unowned 引用的相关文章。

在阅读之后，我确实清楚地了解了它们是什么以及它们各自在什么情况下使用(另请参阅 this SO post 对此给出了很好的解释)。

但是，我无法理解 为什么 Apple 甚至想出了这两种解决方案？本质上，从 MM 的角度来看，两者都归结为不创建对引用对象的强引用(即不增加其 retainCount)。那么，为什么还要在这里提供两个 MM 原语呢？

现在，开发人员需要了解何时使用两者中的哪一个，Apple 在解释不同场景方面做得很好，但他们没有说明原因。难道不是更简单吗？ 仅提供weak，以便开发人员无需深入研究文档并了解不同的用例？

我想，问题的另一种表达方式是，为什么我们应该使用 unowned，除非 Apple 告诉我们这样？至少从 MM 的角度来看，这不会有什么不同，并且在根据文档我们应该使用 unowned 的地方使用 weak 不会造成内存泄漏？!

Answer 1

区别在于变量的可选性。正如 Apple 在您提供的链接的“Unowned References”部分中所说:

Unlike a weak reference, however, an unowned reference is assumed to always have a value. Because of this, an unowned reference is always defined as a nonoptional type.

this 的用法在闭包 block 中更明显。这里你不用？运算符或获取对象的引用(如果您在闭包内使用它)。

而不是这样写:

UIView.animateWithDuration(0.2) {
    [weak self]
    () -> Void in
    self?.view.layoutIfNeeded()
}

但是，如果您可以确定对 self 的引用不会在动画之前被释放，那么您可以简单地写成 unowned 而不必使用 ?运算符或使用 if let 语句将其解包:

UIView.animateWithDuration(0.2) {
    [unowned self]
    () -> Void in
    self.view.layoutIfNeeded()
}