objective-c - 为什么 Objective-C ARC 释放取决于对象是否在函数中创建？

Question

我正在学习 ARC 内存管理并遇到了一些对我来说没有意义的事情。

在下面的示例代码中，一个在 main() 中本地分配的对象在其指针分配给 nil 时被释放，正如我所期望的那样。

但是如果在另一个函数中分配了相同类型的对象，并且在 main() 中定义了指向它的指针，并且该指针设置为 nil，则该对象在 main 函数退出之前不会被释放。这对我来说很神秘。

在下面的代码中，创建了类 GRMemoryChecker 的两个实例。在一种情况下，它直接在 main() 中分配，而在另一种情况下，main() 调用 itemMakerFunc() 进行分配。当您运行 main() 时，日志输出显示函数中分配的实例在其指针设置为 nil 时未被释放——它在函数退出时被释放。

我假设这意味着 itemMakerFunc() 创建的实例在指针设置为 nil 之前有 2 个所有者，而本地创建的实例只有 1 个。

但是为什么？在指针设置为 nil 时，还有哪个其他所有者仍然存在？或者如果没有其他所有者仍然存在，为什么计数器不存在时不递减？

GRMemoryChecker.h:

#import <Foundation/Foundation.h>

@interface GRMemoryChecker : NSObject
{
    NSString *name;
}
- (id)initWithName:(NSString *)str;

- (void)setName:(NSString *)str;

- (void) dealloc;
@end

GRMemoryChecker.m:

#import "GRMemoryChecker.h"

@implementation GRMemoryChecker

- (id)initWithName:(NSString *)str
{
    self = [super init];
    if (self)
    {
        [self setName:str];
    }
    return self;
}

- (void)setName:(NSString *)str
{
    name = str;
}

- (NSString *)description
{
    return name;
}

- (void) dealloc;
{
    NSLog(@"Destroyed: %@", self);
}
@end

ma​​in.m:

#import <Foundation/Foundation.h>
#import "GRMemoryChecker.h"

GRMemoryChecker *itemMakerFunc()
{
    return [[GRMemoryChecker alloc] initWithName:@"func-based checker" ];
}

int main(int argc, const char * argv[])
{
    @autoreleasepool {
        GRMemoryChecker *checkerLocallyCreated = [[GRMemoryChecker alloc] initWithName:@"locally-created checker"];
        GRMemoryChecker *checkerFuncBased = itemMakerFunc();

        NSLog(@"Before setting func-based checker pointer to nil");
        checkerFuncBased = nil;
        NSLog(@"After setting func-based checker pointer to nil");

        NSLog(@"Before setting locally-created checker pointer to nil");
        checkerLocallyCreated = nil;
        NSLog(@"After setting locally-created checker pointer to nil");
    }
    return 0;
}

控制台输出:

Before setting func-based checker pointer to nil
After setting func-based checker pointer to nil
Before setting locally-created checker pointer to nil
Destroyed: locally-created checker
After setting locally-created checker pointer to nil
Destroyed: func-based checker

Answer 1

它不依赖于对象是否在函数中创建，而是如果函数具有“保留的返回值”或“未保留的返回值”(参见 Objective-C Automatic Reference Counting)。

默认情况下，alloc、copy、init、mutableCopy中只有methods code> 和 new 系列保留了返回值，这意味着该函数返回一个 (+1) 保留对象。

所有其他函数都有一个未保留的返回值。稍微简化一下，你可以说这些函数返回一个自动释放的值(需要优化由 ARC 编译器生成)以确保返回值在调用函数中有效。

当当前自动释放池被销毁时，自动释放值被释放。

您可以使用 NS_RETURNS_RETAINED 属性更改函数的行为:

GRMemoryChecker *itemMakerFunc() NS_RETURNS_RETAINED;
GRMemoryChecker *itemMakerFunc()
{
    return [[GRMemoryChecker alloc] initWithName:@"func-based checker" ];
}

现在该函数返回一个保留值，该值已被释放当您通过设置 checkerFuncBased = nil 删除强引用时立即:

Before setting func-based checker pointer to nilDestroyed: func-based checkerAfter setting func-based checker pointer to nilBefore setting locally-created checker pointer to nilDestroyed: locally-created checkerAfter setting locally-created checker pointer to nil