为什么const char []和const char *之间的比较不同？

Question

假设我有以下代码：

const char str1[] = "asdasd";
const char str2[] = "asdasd";
const char* str3 = "dsadsa";
const char* str4 = "dsadsa";
if (str1 == str2)
{
    cout << "str1 == str2" << endl;
}
if (str3 == str4)
{
    cout << "str3 == str4" << endl;
}

结果是“ str3 == str4”。为什么？

Answer 1

对于C ++

str3和str4指向相同的string literals，

  

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

这意味着str3 == str4是true还是false是未指定，这取决于实现，而您使用的是{{1 }}。

另一方面，true和str1是独立的数组。

  

字符串文字可用于初始化字符数组。如果像str2这样初始化数组，则char str[] = "foo";将包含字符串str的副本。

因此，保证"foo"为str1 == str2。

Answer 2

字符串文字池。编译器倾向于合并相同的字符串文字，因此程序中只有一个副本。这是允许的，但不是必需的；依靠这种情况是不明智的。