-当拥有数组 dealloc 时，不会调用 dealloc 方法...应该吗？

Question

以下是 Foundation 应用程序中的两段 Objective-C 代码。这段代码位于一个函数中：

    [arrayOfObjects addObject:[[TheShape alloc] init]];
    NSLog(@"%@", arrayOfObjects); // log verifies "<TheShape..." is in the array
    [arrayOfObjects release];

在我的 TheShape 类中，我有这个 dealloc 重写方法：

    - (void)dealloc {
        NSLog(@"TheShape dealloc called.");
        [super dealloc];
    }

虽然我的程序可以以其他方式工作，但它不会按照我期望的方式工作。当发送 [arrayOfObjects release] 消息时，我希望看到“TheShape dealloc...”字符串出现在日志中。事实并非如此。

问题一：为什么不呢？

所以我深入挖掘并简化了事情。如果我做这样更简单的事情：

    TheShape *aShape = [[TheShape alloc] init];
    [aShape release];

调试消息仍然不会出现在日志中。

Q2：为什么不呢？

但如果我这样做：

    TheShape *aShape = [TheShape new];
    [aShape release];

调试消息确实出现在日志中。如果我将第一个示例中的 alloc/init 也更改为 new，调试消息也会出现在日志中。

问题 3：为什么？

显然，我在 alloc/init/release 周期（Q 1 和 2）以及 new 和 alloc/init 的假定等效性（Q3）中遗漏了一些概念性的东西。有人能给我指点一个教程，可以为像我这样的困难思维者提供更多解释吗？

谢谢，

比尔

Answer 1

您是否有机会在您的课程上覆盖 +new ？它应该做与 +alloc/-init 完全相同的事情。

无论如何，您的第一行

[arrayOfObjects addObject:[[TheShape alloc] init]];

正在泄漏您的 TheShape 实例。你应该把它变成

[arrayOfObjects addObject:[[[TheShape alloc] init] autorelease]];

Answer 2

没有理由调用 dealloc 方法：您的对象仍然具有非零引用计数。

每当创建一个对象时，它的引用计数都是从 1 开始的。一旦该计数达到 0，它就会被释放。内存管理有一些特定的规则可以帮助我们保持理智。这些规则谈到“对象所有权”。

基本上，如果您满足以下条件之一，您就成为对象的所有者：

• 您对对象调用 retain；
• 您可以通过调用另一个对象的 copy 或 mutableCopy 来获取一个对象；
• 您对对象调用alloc方法。

每当您拥有一个对象时，您有责任在不再需要它时释放它。只有当不再有人需要时才会将其删除。

在您的代码片段中，您创建了传递给数组的对象。您的数组开始使用它，因此它对其调用 retain （因此它在被保留时保持活动状态）。但是，一旦您释放数组，您的对象仍然需要由您释放，因为您调用了alloc方法。

---

编辑 简单的片段：

TheShape *aShape = [[TheShape alloc] init];
[aShape release];

不过应该显示消息。 :/

我认为这种情况没有发生有两个原因：

• 您使用 alloc、init 或 release 方法做了一些奇怪的事情（其中案例，发布您的代码）；
• 您在垃圾收集环境中运行，并且永远不会调用dealloc（在这种情况下您应该使用finalize）。虽然我不明白为什么 +new then release 会给出预期的结果。