iphone - 为什么在使用 ARC + NSZombieEnabled 时对象没有被释放

Question

我将我的应用程序转换为 ARC，并注意到在我的一个 View Controller 中分配的对象在该 View Controller 被解除分配时没有被解除分配。花了一段时间才弄清楚原因。我在调试时为我的项目启用了僵尸对象，结果证明这是原因。考虑以下应用逻辑:

1) 用户调用 RootViewController 中的操作，导致创建 SecondaryViewController 并通过 presentModalViewController:animated 呈现。

2) SecondaryViewController 包含一个 ActionsController，它是 NSObject 的子类。

3) ActionsController 在初始化时通过 NSNotificationCenter 观察通知，并在释放时停止观察。

4) 用户关闭 SecondaryViewController 以返回到 RootViewController。

关闭 Enable Zombie Objects 后，上述工作正常，所有对象都被释放。在 ActionsController 上启用 Zombie Objects 时，即使 SecondaryViewController 被释放，也不会被释放。

这导致我的应用出现问题 b/c NSNotificationCenter 继续向 ActionsController 发送通知，由此产生的处理程序导致应用崩溃。

我在 https://github.com/xjones/XJARCTestApp 创建了一个简单的应用程序来说明这一点.查看启用/关闭启用僵尸对象的控制台日志以验证这一点。

问题(S)

1. 这是启用僵尸对象的正确行为吗？
2. 我应该如何实现这种逻辑来消除问题。我想继续使用启用僵尸对象。

编辑 #1:根据 Kevin 的建议，我已将此提交给 Apple 和 openradar http://openradar.appspot.com/10537635 .

编辑#2:澄清一个好的答案

首先，我是一名经验丰富的 iOS 开发人员，我完全理解 ARC、僵尸对象等。如果我遗漏了什么，当然，我很感激任何启发。

其次，针对此特定崩溃的解决方法确实是在释放 secondaryViewController 时将 actionsController 作为观察者移除。我还发现，如果我在 secondaryViewController 被解除分配时显式设置 actionsController = nil，它将被解除分配。这两个都不是很好的解决方法 b/c 它们实际上要求您使用 ARC，但编码时就好像您没有使用 ARC(例如，在 dealloc 中显式地为 nil iVars)。特定的解决方案也无助于确定其他 Controller 何时会出现此问题，因此开发人员无法确定何时/如何解决此问题。

一个很好的答案会解释如何确定性地知道在使用 ARC + NSZombieEnabled 时你需要对一个对象做一些特殊的事情，这样它就可以解决这个具体的例子，并且也普遍适用于整个项目而不留下潜在的可能性对于其他类似问题。

完全有可能不存在一个好的答案，因为这可能是 XCode 中的一个错误。

谢谢大家!

Answer 1

原来，我写了一些严肃的废话

如果僵尸像我最初写的那样工作，打开僵尸会直接导致无数误报......

有一些 isa-swizzling 正在进行，可能在 _objc_rootRelease 中，所以任何对 dealloc 的覆盖都应该在启用僵尸的情况下调用。僵尸唯一不会发生的事情是对 object_dispose 的实际调用——至少默认情况下不会。

有趣的是，如果您做一些日志记录，您实际上会看到，即使启用了 ARC，您的 dealloc 实现也会调用它的父类(super class)实现。

我实际上假设根本看不到这一点:因为 ARC 生成这些时髦的 .cxx_destruct 方法来处理类的任何 __strong ivars，我期待查看 this 方法调用 dealloc — 如果已实现。

显然，将 NSZombieEnabled 设置为 YES 会导致根本不调用 .cxx_destruct — 至少我编辑时是这样的您的示例项目:
zombies off 导致回溯和两个 dealloc，而 zombies on 不产生回溯，只有一个 dealloc。

如果您有兴趣，额外的日志记录包含在 a fork of the sample project 中— 只需运行即可工作:僵尸开/关有两种共享方案。

---

原始(无意义的)答案:

这不是错误，而是功能。

而且它与 ARC 无关。

NSZombieEnabled 基本上将 dealloc 调换为一个实现，反过来，isa-swizzles 该对象的类型为 _NSZombie — 一个虚构的类向上，只要你向它发送任何消息。这是预期的行为，并且——如果我没有完全弄错的话——已记录在案。