Obj-C __block 变量保留行为

Question

我在尝试从修改它的块外部访问 __block（块可变）变量时遇到了一个奇怪的问题。这是一个非常简单的示例，我使用它只是为了更好地理解块，但目前我有一个使用这种方法的控制器，它创建一个包含NSDictionary 内容的字符串，它使用NSDictionary's enumerateKeysAndObjectsUsingBlock:

- (NSString*) contentsOfDictionary:(NSDictionary*)dictionary
{
    __block NSString *content = @"";

    [dictionary enumerateKeysAndObjectsUsingBlock:^(id key, id obj, BOOL *stop){
        NSString* contentToAppend = [NSString stringWithFormat:@"Object:%@ for key:%@\n", obj, key];
        content = [content stringByAppendingString:contentToAppend];
        NSLog(@"Content in block:\n%@", content);
    }];

    NSLog(@"Content out of block:\n%@", content);

    return content;
}

当我使用包含内容的字典运行此方法时：

Value    Key
"Queen"  "card"
"Hearts" "suit"
"10"     "value"

content 变量在块内被正确修改，每次迭代我都会得到这个输出：

...块中的内容：

Object:Queen for key:card

...块中的内容：

Object:Queen for key:card
Object:Hearts for key:suit

...块中的内容：

Object:Queen for key:card
Object:Hearts for key:suit
Object:10 for key:value

一旦代码跳出代码块，访问content 字符串会抛出EXC_BAD_ACCESS，并且在一次运行时它似乎打印了一些垃圾内存（无法重现）...

是什么导致这个变量被提前释放？我的印象是，给它一个 __block 定义意味着它在块中使用时被保留，并在块退出时释放 - 但是变量被保留并自动释放以开始，因为它是一个字符串文字所以我希望在此方法最早退出之前不会释放它。

Answer 1

这是你的问题：

content = [content stringByAppendingString:contentToAppend];

-stringByAppendingString: 返回一个新的、自动释放的对象。该对象的地址存储在content 中。每一次都经过这个（隐式）循环——也就是说，每次调用所提供的块——都在创建一个全新的对象，然后将该新对象的地址分配给content。这些对象都没有超过其包含的自动释放池。

您应该做的是使用NSMutableString 并将contentToAppend 直接附加到可变字符串。例如：

- (NSString*) contentsOfDictionary:(NSDictionary*)dictionary
{
    NSMutableString *content = [NSMutableString string];
    [dictionary enumerateKeysAndObjectsUsingBlock:
    ^(id key, id obj, BOOL *stop){
        NSString* contentToAppend = [NSString stringWithFormat:
            @"Object:%@ for key:%@\n", obj, key];
        [content appendString:contentToAppend];

        NSLog(@"Content in block:\n%@", content);
    }];

    NSLog(@"Content out of block:\n%@", content);
    return content;
}

请注意，不再需要 __block，因为您不会在块内的任何位置分配 content。

Answer 2

在内部，-enumerateKeysAndObjectsUsingBlock: 正在使用自动释放池。 __block 范围内的对象在块的生命周期结束后不会保留，因此您最终会在块的范围内创建一个对象，然后在字典的自动释放池耗尽时释放该对象，这一切都发生在您尝试打印之前content 的值。