为什么 C++20 知道如何散列 string_view，但不知道如何散列 span<char>？

问题描述

我最好的猜测是委员会要么忘记了这个用例，要么不想使用概念/要求将 span 类型限制为可以安全散列的内容（POD，无填充），或者他们确实这样做了不想要半解（等待反思）...

如果有人对此感兴趣，这里有 godbolt 链接，其中包含无用的错误消息和代码，但我认为我的问题很清楚，无需任何代码。

#include <span>
#include <unordered_set>
#include <string_view>
int main() {
    std::hash<std::string_view> h1;
    std::hash<std::span<char>> h2; // error here
}

注意：我知道 C++ std:: 库在涉及散列的情况下是缺乏的，例如它不能散列 std::pair<int,int>，但我的问题特别是关于 std::span。

解决方法

string_view 绝对是一个字符串； span<char> 只是一个 char 数组。它可能具有与 string_view 相同的概念含义，但您不能说这对于类型来说本质上是正确的。因此，标准假设每个 span<char> 都应该被等同于一个字符串是不合理的。

大多数容器没有标准定义的散列（字符串容器是唯一的例外）。原因是对于 T 序列没有好的默认哈希算法。即使有，使用该算法的 span<char> 几乎肯定不会产生与 string_view 相同的散列值。

此外，这两种类型对待等价性的方式不同。 string_view 有一个 operator== 重载； span<T> 没有。散列在概念上基于相等：如果两个对象比较相等，则这些对象产生的散列必须相等。但由于 span 根本没有相等性测试，因此散列 span 没有什么意义。