为什么 `equal` 在 C++ 中适用于 const char*？

Question

代码是这样的，它输出1:

int main(int argc, char *argv[])
{
    vector <const char*> vec = {"nima","123"};
    vector <const char*> vec2 = {"nima","123"};
    auto result = equal(vec.cbegin(), vec.cend(), vec2.cbegin());
    cout << result << endl;
    return 0;
}

我知道只有使用strcmp 才能测试两个c 风格的字符串是否相等（因为char* 不是我理解的对象）。但这里equal 是来自<algorithm> 的函数。它是否重载了== 运算符，以便它可以测试两个char* 的相等性？

@Damon 说它们是相等的，因为我理解将相同的字符串文字合并到相同的地址。但是，当我尝试使用不同地址的char* 时，它仍然给了我相同的结果：

int main(int argc, char *argv[])
{
char* k = "123";
char* b = "123";
vector <const char*> vec = {"nima"};
vector <const char*> vec2 = {"nima"};
cout << &k << endl;
cout << &b << endl;
vec.push_back(k);
vec2.push_back(b);

auto result = equal(vec.cbegin(), vec.cend(), vec2.cbegin());
cout << result << endl;
return 0;
}

结果是：

 0x7fff5f73b370
 0x7fff5f73b368
 1

Answer 1

这里可能发生的是编译器/链接器将其中两个相同的四个字符串文字合并为两个文字。因此，"nima" 和 "123" 都具有相同的地址。

您将地址存储在向量中并比较它们（地址上的operator==）。由于地址相同，所以比较相等。

请注意，这是意外。它之所以“有效”，有两个原因：

1. 字符串是文字（也就是说，不是从例如stdin 读取的某些字符串）。
2. 允许使用编译器，但不需要合并相同的文字（是否发生这种情况由实现定义）。

这可能会导致两种情况让您感到意外（如果您必须找出为什么它在一直“工作”时突然无法工作，那就不是那么有趣了），或者当您使用不同的编译器或即使是具有不同优化设置的相同编译器，或者当您分配非文字字符串时。