比较相同的字符串文字总是正确的吗？ [复制]

Question

在 C 语言中，编译器/链接器是否有义务将多次使用的相同字符串文字放入单个内存位置？

const char* a = "abcdef";
const char* b = "abcdef";

//Compare pointers
if (a == b) {
    printf("True\r\n");
} else {
    printf("False\r\n");
}

在这种情况下，上面的陈述总是正确的（在 MSVC 2017 中是）还是一般未定义的行为？

我们在2 不同的内存位置有字符串文字abcdef 会发生吗？当然，我不计算像12abcdefgh˛这样的字符串，其中abcdef 是字符串的一部分，而是独立的。

Answer 1

您在这里比较的是 指针 到字符串文字。字符串文字被静态分配在一些不应该被写入的内存中。优化编译器可能只分配一次相同的字符串文字，因为它假设这些文字永远不会改变，并且拥有多个副本没有意义，这就是您在这里观察到的。但不能保证。

Answer 2

这是未指定的行为，但大多数编译器会对此进行优化，使其成为真的。如果您正在对特定编译器进行编码，您可能会找到一个开关或 #pragma 来控制此类字符串的折叠，从而为您提供确定性。