为什么会有弱者和无主？为什么我们不能总是使用 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 在您提供的 link 的无主参考部分中所说：

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 的用法在闭包块中更为明显。这里你不用？如果在闭包内使用运算符或获取对象的引用。

而不是这样写：

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()
}

Answer 2

@Kádi 关于弱变量可选的回答是正确的，但不完整。

Weak 和 unowned 在 Swift 的可选语义之外具有不同的含义。弱参考更准确地命名为自动归零弱参考。系统知道存储在弱变量中的对象，并且当对象被释放时，会进行额外的工作以将值清零。结果，弱变量在 Swift.

中是可选的

无主指针根本不是内存管理的。它们是可以取任何值的原始内存指针。（它们仍然可以被键入以指向特定类型的结构，因此它们并不总是 "raw" C void 指针是原始的。）无主指针对于指向 malloc 的内存很有用，指针算术之类的。将指针类型声明为 unowned 基本上告诉编译器 "Don't worry about it. I know what I'm doing." 在尝试取消引用之前，确保指针始终有效的负担就落在了你身上，并且你自己管理指针后面的内存。

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

Why are there weak _and_ unowned? Why can we just not always use weak?

ios

swift

memory-management

automatic-ref-counting