如何解决为什么 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
没有什么意义。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。