代码示例：为什么我释放这个 NSString 对象后仍然可以访问它？

Question

我只是编写了一些探索性代码来巩固我对 Objective-C 的理解，但我遇到了这个我不太明白的例子。我定义此方法并运行代码：

- (NSString *)stringMethod
{
    NSString *stringPointer = [[NSString alloc] initWithFormat:@"string inside stringPointer"];
    [stringPointer release];
    [stringPointer release];
    NSLog(@"retain count of stringPointer is %i", [stringPointer retainCount]);
    return stringPointer;
}

运行代码并调用此方法后，我注意到一些事情：

1. 通常，如果我尝试访问在达到零保留计数后应该释放的内容，我会收到 EXC_BAD_ACCESS 错误。在这里，我收到了 malloc“双重释放”错误。为什么会这样？

2. 无论我向代码中添加多少行“[stringPointer release]”，NSLog 都会报告保留计数为 1。当我添加更多版本时，我只会收到更多“双重释放”错误。为什么发布语句没有按预期工作？

3. 虽然我已经过度释放了 stringPointer 并且收到了一堆“双重释放”错误，但返回值仍然像什么都没发生一样工作（我在主代码中有另一个 NSLog 报告返回值）。程序继续正常运行。再次，有人可以解释为什么会发生这种情况吗？

这些例子相当琐碎，但我试图完全掌握正在发生的事情。谢谢！

Answer 1

您收到了双重释放错误，因为您释放了两次并导致了两条释放消息。 =P

请记住，释放并不意味着其内存地址处的数据会立即被销毁。它只是被标记为未使用，这样内核就知道，在将来的某个时刻，它可以自由地用于另一条数据。在那之前（这在您的应用程序空间中完全是不确定的），数据将保留在那里。

再说一遍：释放（和解除分配）并不需要立即销毁字节级别的数据。它只是内核的一个标记。

Answer 2

这里发生了一些事情。首先，释放对象并不一定会清除该对象以前占用的任何内存。它只是将其标记为免费。除非您执行其他操作导致内存被重新使用，否则旧数据将一直存在。

在 NSString 的特定情况下，它是一个类簇，这意味着您从 alloc/init 返回的实际类是 NSString 的某个具体子类，而不是 NSString 实例。对于“常量”字符串，这是一个极其轻量级的结构，仅维护一个指向 C 字符串常量的指针。无论您复制该字符串多少次，或者释放它多少次，都不会影响指向常量 C 字符串的指针的有效性。

在这种情况下，以及在可变字符串或实际使用格式字符和参数的格式化字符串的情况下，尝试检查 [stringPointer 类]。也许这三个人都会有不同的班级。

Answer 3

keepCount 总是打印 1 可能是由优化引起的 - 当release注意到它将被释放时，没有理由将retainCount更新为零（因为此时没有人应该拥有对该对象的引用）而不是更新retainCount只是解除分配它。