objective-c - NSString 地址问题

Question

我正在尝试将地址打印到字符串，但我在第一个 NSLog 中得到不同的地址，在第二个 NSLog 中得到相同的地址。那么你能告诉我这是怎么回事吗？这真的让我很困惑。非常感谢您的努力。

NSString *str1 = [[NSString alloc] init];
NSString *str2 = [[NSString alloc] init];
NSString *str3 = [[NSString alloc] init];

NSLog(@"str1 = %p , str2 = %p, str3 = %p",&str1,&str2,&str3);
NSLog(@"str1 = %p , str2 = %p, str3 = %p",str1,str2,str3);

输出

str1 = 0x7fff565b9c88 , str2 = 0x7fff565b9c80, str3 = 0x7fff565b9c78
str1 = 0x10c0a7060 , str2 = 0x10c0a7060, str3 = 0x10c0a7060

我不明白为什么str1、str2和str3都指向相同的内存位置。

Answer 1

为什么应该 str1、str2、str3 都驻留在不同的内存地址？它们都是相同的不可变字符串。

参见 bbum's comment here :

Right... one implementation detail of relevant interest (but, by no means, invalidates the answer in anyway); [[NSString alloc] initWithString:@"Hello world"] won't actually create a string on the heap. It'll just return the __NSCFConstantString (or whatever it is called) that was laid down in the mach-o file by the compiler. It is merely an interesting detail in that it does not change anything about your consumption of said string; it should be treated just like any other object.

强调我的。

这里发生的事情是，当编译器可以在编译时确定什么是不可变的 NSString 对象时，它会以不同的方式创建该字符串。正如 bbum 所说，最终它是一个实现细节，您在编写程序时不应该担心。

但这样做的副作用意味着编译器能够使我的程序更有效地存储内存，因为它能够找到所有这些实例并使它知道的所有 NSString 指针都是应该持有相同的不可变值都指向相同的单个内存地址。

我们可能可以通过以下方式获得相同的结果:

NSString *str1 = [[NSString alloc] init];
NSString *str2 = [NSString new];
NSString *str3 = [[NSString alloc] initWithString:@""];
NSString *str4 = [NSString stringWithString:@""];
NSString *str5 = @"";

这些实际上都是同一件事。

但是，如果我们创建另一个字符串:

NSString *str6 = [NSString stringWithFormat:@"%@", @""];

如果我们将 str6 作为指针打印，这将(很可能......我上次检查时)以不同的值结束。

还有其他方法可以生成不可变的 NSString 对象，这些对象在编译时不会像这样进行优化。这里的要点是，如果编译可以在编译时知道字符串将是什么，它将在内存管理之外的后台创建一个 __NSCFConstantString，并将指向该单个实例尽其所能。一旦开始运行，如果您直接将它指向此处 (str6 = str1)，它只会指向其他任何内容。否则，它不会浪费执行时间来确定字符串是否相等。如果一个新的 NSString 碰巧是相等的，而且它不是在编译时发生的，它只会被 ARC 处理。

编译器无法确定 str6 是与其他字符串相同的不可变字符串。这只是一个构建时间暗示，其他人都以相同的地址结束。

另一个需要注意的有趣的事情是，您永远不会看到编译器正在为以您声明它们的方式声明的变量创建的__NSCFConstantString 调用dealloc。因此，从内存的角度来看，编译器不仅使您的代码更高效，而且还删除了与跟上这些字符串相关的所有内存管理代码。