引用相等比较字符串文字的两个 std::string_views 是否总是也相等？

Question

我有一个unordered_map ，它应该模仿一个过滤器，分别将键和值作为std::string_view 。 现在假设我想比较两个具有相同键值对的过滤器：它们是否总是比较相等？

我的想法如下：编译器尽力将具有相同字节信息的 const char* 合并到二进制文件中的一个位置，因此在特定的翻译单元内，字符串文字地址将始终匹配。 稍后我将这些地址传递给 std::string_view 的构造函数。 自然地，由于 std::string_view 没有实现比较运算符operator==() ，编译器将对类进行字节比较，只有当地址和长度完全匹配时，std::string_views 比较相等。

但是：如果我在这个翻译单元之外实例化一个过滤器，其内容与第一个过滤器完全相同，然后将文件链接在一起，会发生什么情况？ 编译器是否能够超越 TU 边界并合并字符串文字位置？ 或者相等比较是否会失败，因为底层字符串视图对其各自的字符串文字具有不同的地址？

演示

#include <unordered_map>
#include <string_view>
#include <cstdio>


using filter_t = std::unordered_map<std::string_view, std::string_view>;

int main()
{
    filter_t myfilter = {{ "key1", "value"}, {"key2", "value2" }};

    filter_t my_second_filter = {{ "key1", "value"}, {"key2", "value2" }};

    if (my_second_filter == myfilter) {
        printf("filters are the same!\n");
    }
}

Answer 1

相等比较按内容而不是地址匹配，因此您的相等操作仍然有效，但您可能有两个字符串副本，具体取决于您的编译器优化。

Answer 2

自然地，由于 std::string_view 没有实现比较运算符==()，编译器将对类进行字节比较

事实并非如此。 如果 class 类型没有可用的operator==重载（或者自 C++20 起重写的候选重载，例如operator<=> ），那么根本不可能将该类型与==进行比较。

即使对于非类类型，内置==也从不执行 object 表示的按位/字节比较（即存储字节的值占用对象）。 内置的==总是对对象持有的值进行比较。

获得 object 表示的按字节比较的唯一方法是显式定义一个operator== （或==可以重写的重载）来执行此比较（例如通过memcmp ）。 由于这显然对std::string_view （或大多数类型）没有意义，因此标准库不会像那样定义std::string_view的operator== 。 它定义了operator== （或自 C++20 以来的operator<=> ），而不是正确地执行它引用的字符串的比较，作为一个值，而不是字符串文字或字符数组的标识，请参阅https:// en.cppreference.com/w/cpp/string/basic_string_view/operator_cmp 。