为什么 boost::hash_value 默认不支持 boost::unordered_set？

Question

一个人应该能够使用集合的集合似乎很直观，实际上std::set 被设计为默认支持这种使用（因为默认实现了字典顺序。）同样，期待相同的功能似乎是合理的的boost::unordered_set。默认情况下 boost 没有为boost::unordered_set 实现通用哈希函数是否有充分的理由，例如：

// DEFINE A HASH FUNCTION FOR A HASH-SET THAT COMBINES THE HASH VALUES
// OF THE ELEMENTS OF THAT SET
namespace boost {
    template<typename T>
    size_t hash_value(const boost::unordered_set<T> & set) {
        typename boost::unordered_set<T>::const_iterator it, itend;
        size_t seed = 0;
        for ( it = set.begin(), itend = set.end(); it != itend; it++ ){
            boost::hash_combine(seed,boost::hash_value(*it));
        }
        return seed;
    }
}

Answer 1

通常，您希望哈希值很快，最好是恒定时间。

在string 上，您可以做的一件事是获取长度，然后仅在其长度上采样 X 次（假设非病态输入，这将非常适合避免冲突）。

unordered_set 缺少get_nth，这将允许类似的策略将散列时间降低到 O(1)。或者，unordered_set 可以保留其内容散列的异或并将其用作自己的散列（不是 hash_combine，因为这取决于顺序，并且当有 100 个元素时，很难从组合散列中删除第三个元素在 O(1) 时间内）。

由于缺乏良好的 O(1) 实现，默认公开 hash_value 对 unordered_set<unordered_set<foo>> 的构建者来说似乎过于令人鼓舞，而实际上他们应该编写 unordered_set< my_unordered_set_wrapper<foo> >，其中 unordered_set_wrapper 执行上述“xor”内容散列”以产生 O(1) hash_value。要么，要么扩展unordered_set。

至于为什么boost 实际上 没有包含它，您必须询问所有曾经向boost 添加内容的人。他们似乎不存在。