为什么（仅）某些编译器对相同的字符串文本使用相同的地址？

Question

https://godbolt.org/z/cyBiWY

我可以在MSVC生成的汇编代码中看到两个“一些”文本，但只有一个带有叮当声和gcc。这会导致完全不同的代码执行结果。

static const char *A = "some";
static const char *B = "some";

void f() {
    if (A == B) {
        throw "Hello, string merging!";
    }
}

谁能解释一下这些编译输出之间的差异和相似之处？为什么叮当/gcc 即使在没有请求优化的情况下也会优化某些东西？这是某种未定义的行为吗？

我还注意到，如果我将声明更改为如下所示的声明，clang / gcc / msvc根本不会在汇编器代码中留下任何“一些”。为什么行为不同？

static const char A[] = "some";
static const char B[] = "some";

Answer 1

编译器是否选择对 A 和 B 使用相同的字符串位置取决于实现。形式上，你可以说你的代码的行为是未指定的。

这两种选择都正确地实现了C标准。

Answer 2

其他答案解释了为什么你不能期望指针地址是不同的。然而，您可以很容易地重写它，以保证< code>A和< code>B不相等:

static const char A[] = "same";
static const char B[] = "same";// but different

void f() {
    if (A == B) {
        throw "Hello, string merging!";
    }
}

区别在于< code>A和< code>B现在是字符数组。这意味着它们不是指针，它们的地址必须不同，就像两个整型变量的地址一样。c混淆了这一点，因为它使指针和数组看起来可以互换(< code>operator*和< code>operator[]看起来行为相同)，但它们实际上是不同的。比如< code>const char *A = "foo "之类的；a；是完全合法的，但是< code > const char A[]= " bar "；a；不是。

考虑差异的一种方法是，字符A[] = “...”说“给我一个内存块，并用字符填充它......后跟\0“，而字符 *A= ”...“表示”给我一个地址，我可以在其中找到字符...后跟 \0“。

Answer 3

这不是未定义的行为，而是未指定的行为。对于字符串文字，

允许（但不要求）编译器组合存储以存储相等或重叠的字符串文本。这意味着，当通过指针进行比较时，相同的字符串文本可能会或可能不会相等。

这意味着A == B的结果可能是真的，也可能是假的，你不应该依赖它。

从标准来看，[字符串]/16：

是否所有的字符串文字都是不同的(即，存储在不重叠的对象中)，以及字符串文字的连续计算是产生相同的还是不同的对象，都是未指定的。