为什么使用 ARC + NSZombieEnabled 时对象未释放

我将我的应用程序转换为 ARC，并注意到当视图控制器被释放时，在我的视图控制器之一中分配的对象没有被释放。我花了一段时间才弄清楚原因。我在调试时为我的项目启用了“启用僵尸对象”，结果证明这就是原因。考虑以下应用程序逻辑：

1）用户调用actionRootViewController这会导致SecondaryViewController通过创建和呈现presentModalViewController:animated.

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

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

4）用户拒绝SecondaryViewController返回到RootViewController.

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

这导致我的应用程序 b/c 出现问题NSNotificationCenter继续发送通知至ActionsController生成的处理程序会导致应用程序崩溃。

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

问题）

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

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

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

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

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

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

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

谢谢大家！

原来我写了一些严重的废话

如果僵尸像我原来写的那样工作的话，打开僵尸会直接导致无数误报……

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

有趣的是，如果您进行一些日志记录，您实际上会发现即使启用了 ARC，您的实现dealloc将调用它的超类的实现。

我实际上假设根本看不到这一点：因为 ARC 生成了这些时髦的.cxx_destruct方法来处置任何__strong一个班级的伊瓦尔，我期待看到this方法调用dealloc——如果实施的话。

显然，设置NSZombieEnabled to YES causes .cxx_destruct根本不被调用——至少当我编辑你的示例项目时发生了这样的情况：
僵尸关闭导致回溯和两次释放，而僵尸打开则不产生回溯并且仅产生一次释放。

如果您有兴趣，附加日志记录包含在示例项目的一个分支 https://github.com/danyowdee/XJARCTestApp- 只需运行即可工作：有两种用于僵尸开/关的共享方案。

原始（无意义）答案：

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

而且和ARC没有任何关系。

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