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

Question

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

1) 用户调用 RootViewController 中的操作这会导致 SecondaryViewController将通过 presentModalViewController:animated 创建和呈现.

2) SecondaryViewController包含 ActionsController这是一个 NSObject子类。

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

4) 用户解散SecondaryViewController返回 RootViewController .

关闭启用僵尸对象后，上述工作正常，所有对象都被释放。在 ActionsController 上启用僵尸对象即使 SecondaryViewController 也不会被释放被解除分配。

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

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

问题

这是启用僵尸对象的正确行为吗？

我应该如何实现这种类型的逻辑来消除问题。我想继续使用启用僵尸对象。

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

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

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

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

一个好的答案将解释如何确定性地知道在使用 ARC + NSZombieEnabled 时您需要对一个对象做一些特殊的事情，这样它就可以解决这个特定的例子，并且通常也适用于整个项目，而没有其他类似的可能性问题。

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

谢谢大家!

Answer 1

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

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

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

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

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

显然，设置 NSZombieEnabled至YES原因 .cxx_destruct根本不被调用——至少当我编辑你的示例项目时发生了这样的事情:
僵尸关闭导致回溯和两个dealloc，而僵尸不产生回溯并且只有一个dealloc。

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

原始(荒谬)答案:

这不是一个错误，而是一个功能。

它与ARC无关。
NSZombieEnabled基本上调酒dealloc对于一个实现，该实现反过来将该对象的类型转换为 _NSZombie ——一个虚拟类，一旦你向它发送任何消息，它就会爆炸。这是预期的行为，并且 - 如果我没有完全弄错的话 - 已记录在案。