objective-c - 为什么这不会崩溃？

Question

我试图将错误缩小到最小可重现的情况，但发现了一些奇怪的事情。

考虑这段代码:

static NSString *staticString = nil;
int main (int argc, const char * argv[]) {
    NSAutoreleasePool * pool = [[NSAutoreleasePool alloc] init];

    if (staticString == nil) {
        staticString = [[NSArray arrayWithObjects:@"1", @"2", @"3", nil] componentsJoinedByString:@","];
    }   

    [pool drain];

    NSLog(@"static: %@", staticString);
    return 0;
}

我预计这段代码会崩溃。相反，它记录:

2011-01-18 14:41:06.311 EmptyFoundation[61419:a0f] static: static: 

但是，如果我将 NSLog() 更改为:

NSLog(@"static: %s", [staticString UTF8String]);

然后它确实崩溃了。

编辑更多信息:

排干水池后:

NSLog(@"static: %@", staticString);  //this logs "static: static: "
NSLog(@"static: %@", [staticString description]); //this crashes

显然，在字符串上调用一个方法足以让它崩溃。在那种情况下，为什么不直接记录字符串导致它崩溃？ NSLog() 不应该调用 -description 方法吗？

第二个“静态:”来自哪里？为什么这没有崩溃？

---

结果:

Kevin Ballard 和 Graham Lee 都是正确的。 Graham 正确地意识到 NSLog() 是 not 调用 -description(正如我错误地假设的那样)，而 Kevin 几乎肯定是正确的复制格式字符串和 va_list 是一个奇怪的堆栈相关问题。

1. NSLogging 和 NSString 不调用 -description。 Graham 优雅地展示了这一点，如果您跟踪进行日志记录的 Core Foundation 源代码，您会发现情况确实如此。源自 NSLog 的任何回溯显示它调用了 NSLogv => _CFLogvEx => _CFStringCreateWithFormatAndArgumentsAux => _CFStringAppendFormatAndArgumentsAux 。 _CFStringAppendFormatAndArgumentsAux() (第 5365 行)是所有魔法发生的地方。您可以看到它正在手动查找所有 % 替换项。如果替换的类型是 CFFormatObjectType，它只会调用描述复制函数，描述函数是非零的，并且替换还没有被另一种类型处理。因为我们已经证明描述没有被复制，所以可以合理地假设一个 NSString 被更早地处理了(在这种情况下它可能会进行原始字节复制)，这导致我们相信...
2. 正如 Kevin 推测的那样，这里发生了堆栈错误。不知何故， 指向自动释放字符串的指针被替换为另一个对象，碰巧 是 NSString。所以，它不会崩溃。诡异的。但是，如果我们将静态变量的类型更改为其他类型，例如 NSArray，则 -description 方法会被调用，程序会如预期的那样崩溃。

真是太奇怪了。 Kevin 对行为的根本原因 提出了最正确的看法，并感谢 Graham 纠正了我的错误想法。我希望我能接受两个答案......

Answer 1

我对您所看到的情况的最佳猜测是 NSLog() 复制格式字符串(可能作为可变副本)，然后解析参数。由于您已经释放了 staticString，格式字符串的副本恰好被放置在同一位置。这导致您看到您描述的 "static: static: " 输出。当然，此行为是未定义的 - 不能保证它会始终为此使用相同的内存位置。

另一方面，您的 NSLog(@"static: %s", [staticString UTF8String]) 在格式字符串复制发生之前访问 staticString，这意味着它正在访问垃圾内存。