ARC 并释放方法中创建的对象

我偶然发现了一个在其他地方找不到答案的问题。当我调用一个返回指向稍后使用的对象的指针并最终设置为 nil 的方法时，它仍然分配在内存中（根据 Instruments）。我正在使用 XCode 4.6.3 和 iOS 6.1。 ARC 已打开。

这是示例代码：

ClassA.h

@interface ClassA : NSObject
    -(void)runSomething;
@end

ClassA.m

#import "ClassA.h"
#import "ClassB.h"

@implementation ClassA

-(void)runSomething {
    int counter = 0;
    while (true) {
        ClassB *instance = [self makeClassBWithNumber:counter];
        NSLog(@"%d", [instance getNumber]);
        [NSThread sleepForTimeInterval:0.01];
        instance = nil;
        counter++;
    }
}

-(ClassB*) makeClassBWithNumber:(int)number {
    return [[ClassB alloc] initWithNumber:number];
}

@end

ClassB.h

@interface ClassB : NSObject
@property int number;
    -(id)initWithNumber:(int)number;
    -(int)getNumber;
@end

ClassB.m

#import "ClassB.h"

@implementation ClassB

-(id)initWithNumber:(int)number {
    self = [super init];
    if(self) {
        _number = number;
    }
    return self;
}

-(int)getNumber {
    return [self number];
}

@end

ClassB 在视图控制器中创建，并调用 runSomething 方法。此示例代码表明创建的对象 (ClassB) 永远不会从内存中释放。如果我更改代码

ClassB *instance = [self makeClassBWithNumber:counter];

to

ClassB *instance = [[ClassB alloc] initWithNumber:counter];

创建的对象在每个循环周期中都被正确释放。这种行为的原因是什么？我在 stackoverflow 上找到了一些旧答案makeClassBWithNumber应该返回调用自动释放的结果return [result autorelease]，但是如果启用了 ARC，则无法完成此操作。

不同之处在于+alloc返回一个带有+1保留的对象，ARC将在其范围结束时通过释放来平衡该对象，因此立即释放。+make…返回一个带有 +1 保留和匹配自动释放的对象。自动释放池将发送一个release当它耗尽时的消息。由于您停留在“while true”循环中，因此自动释放池永远不会耗尽并且您会积累内存。

解决方案是为您的循环提供一个自动释放池：

while (true) {
    @autoreleasepool { // <== Add an autorelease block here.
      ClassB *instance = [self makeClassBWithNumber:counter];
      //NSLog(@"%d", [instance getNumber]);
      NSLog(@"%d", [instance number]); // Fix naming; do not prefix accessors with `get`
      [NSThread sleepForTimeInterval:0.01];
      // instance = nil; // Does nothing in this loop.
      counter++;
    }
}

这将导致池在每次迭代时耗尽。无论如何instance=nil是不必要的。

编辑：请阅读 MartinR 的答案。它提供了有关实现细节的更多详细信息，特别是为什么它可能会根据优化级别而表现不同，以及被调用的方法是否与调用方法位于同一编译单元（.m 文件）中。这只是一个优化细节；你还需要把这个@autoreleasepool在循环中以确保正确性。