std :: hash保证在stdlib发行版中是相同的

Question

如果我使用libstdc++做了std::hash ，然后在即将推出的C++11 VS 2012库中做了一个 - 它们会匹配吗？

我假设哈希实现不是C ++规范的一部分，可以根据分布而变化？

Answer 1

不，这不能保证。 std::hash只需要遵守以下条件：

1. 接受Key类型的单个参数。
2. 返回size_t类型的值，该值表示参数的哈希值。
3. 调用时不抛出异常。
4. 对于两个相等的参数k1和k2，std :: hash（）（k1）== std :: hash（）（k2）。
5. 对于不相等的两个不同参数k1和k2，std :: hash（）（k1）== std :: hash（）（k2）的概率应该非常小，接近1.0 / std :: numeric_limits :: max （）。

http://en.cppreference.com/w/cpp/utility/hash

Answer 2

标准只说这个：

20.8.12类模板散列23.5中定义的无序关联容器使用类模板散列的特化作为默认散列函数。 对于所有对象类型存在特化散列的密钥，实例化散列应：

• 满足Hash要求（17.6.3.4），Key作为函数调用参数类型，DefaultConstructible要求（表19），CopyAssignable要求（表23），
• 对于左值，可以交换（17.6.3.2）
• 提供两个嵌套类型result_type和argument_type，它们分别是size_t和Key的同义词，
• 满足以下要求：如果k1 == k2为真，则h（k1）== h（k2）也为真，其中h是类型为散列的对象，k1和k2是Key类型的对象。

在17.6.3.4中，这是最重要的（表26）：

不要抛出异常。 返回的值仅取决于参数k。 [注意：因此，对于具有相同k值的表达式h（k）的所有评估产生相同的结果。 - 结束注释] [注意：对于两个不同的值t1和t2，h（t1）和h（t2）比较的概率应该非常小，接近1.0 / numeric_- limits :: max（）。 - 结束说明]

所以一般来说，不，计算本身没有定义，结果不需要在实现上保持一致。 就此而言，即使同一个库的两个不同版本也可能会产生不同的结果。

Answer 3

Hash函数返回的值的要求（ 17.6.3.4哈希要求[hash.requirements] ）是：

C ++ 11

表26 - 哈希要求[哈希]

返回的值仅取决于参数k 。 [注意：因此，对于具有相同k值的表达式h(k)所有评估产生相同的结果。 -end note] [注意：对于两个不同的值t1和t2 ， h(t1)和h(t2)比较的概率应该非常小，接近1.0 / numeric_limits<size_t>::max() 。 - 尾注]

实际上，对于整数类型， std::hash(k)等于k是很常见的，因为这是符合标准的最简单的可能实现。 对于其他类型，一切皆有可能。