为什么 ARC 完全使用自动释放？

Question

我在 ARC 下使用 no 自动释放池运行此代码：

- (NSString*) outName {
    if (!outName) {
        outName = [[NSString alloc] initWithFormat:@"whatever"]; // or stringWithFormat
    }
    return outName;
}

调试器说它每次都在泄漏 single outName 实例，而没有适当的池。

如果我将代码更改为，则不会发生这种情况

- (NSString*) outName {
    if (!outName) {
        outName = @"whatever";
    }
    return outName;
}

这是我做不到的（这个例子显然被简化了）。此外，如果我在调用代码中创建一个自动释放池（我想避免），泄漏消息就会消失。

为什么 ARC 坚持自动释放这个对象，它保存在 strong 属性中？更重要的是，我怎样才能避免这个警告？

Answer 1

这是一个所有权问题。

让我们谈谈您首先分配给自己的 NSString。 当你分配一个对象时，堆中的内存是为那个对象保留的（除非你 allocWithZone: 到另一个位置）。保留计数隐式为 1，并且您拥有该对象，即您有责任在完成后释放它。如果您要返回指向该对象的指针，即返回该对象，您并没有完全放弃确保该对象不泄漏的责任。您不能释放它，因为保留计数将变为 0，并且该对象将被释放。你自动释放它，确保在你的运行循环结束时（或更早），对象将被释放并可能被释放。如果返回的对象需要存活更长时间，调用函数负责保留返回的对象。

如果没有自动释放池，您将泄漏，因为指定的 autoReleasePool 为 null（请记住它可以发送 null 消息，这就是为什么这不会只是崩溃而不是泄漏）。

带有固定@"whatever" 的示例不会泄漏，因为编译器会为该字符串保留程序内存，而-release 对它们没有影响。对于一些低价值的 NSNumbers 也是如此。

正如 James 所说，ARC 不会删除保留释放和自动释放概念。

编辑：outName 如何声明为 ivar/property？

Answer 2

Jared's 的回答很好，但 ARC 的部分工作方式是使用命名约定。 outName 的方法名意味着它返回一个 autoreleased 值，所以如果有一个 de-ARC-ifier，你的最后一行看起来像这样：

return [[outName retain] autorelease];

显然这需要一个自动释放池。

这在您的第二个示例中不会发生，因为您返回的是一个常量，因此保留/自动释放被优化掉了。

Answer 3

当 ARC 将 ivar（或任何对象）返回给调用方法时，它必须保证在当前 RunLoop 完成之前它不会被释放。作为程序员，您知道它永远不会发布，但 ARC 依赖于算法保证（最佳实践）。 ARC 将调用retain] autorelease]除非变量指向一个常量（没有用NARC 实例化），因此不存在被释放的风险。

您应该不避免此警告。你需要修复你的代码。您可以添加自动释放池。如果您不想这样做，另一种方法是将使用 ivar 的逻辑下推到实际持有 ivar 的对象。

Answer 4

奇怪，我有一个非常相似的方法，我使用它并没有泄漏。它看起来像这样：

-(NSString *) dataFilePath {

    NSString *appendPath;
    if (isPowerMode==YES) {
        appendPath = kDataFileNamePower;
    } else {
        appendPath = kDataFileNameClassic;
    }

    NSArray *paths = NSSearchPathForDirectoriesInDomains(NSDocumentDirectory, NSUserDomainMask, YES);
    NSString *documentsDirectory = [paths objectAtIndex:0];
    return [documentsDirectory stringByAppendingPathComponent:appendPath];
}       

所以也许从那里开始，您可能想在方法的开头声明一个空的 NSString 指针，然后填充并返回它而不是 outName。