如何获取std :: hash_set <pair<T1, T2> &gt;编译并运行

Question

问题域

我有一个（可能很长）的数据对列表，我需要合并这些数据对（并对其进行一些逻辑处理），以确保没有重复项。 配对是int类型的，但是由于数据量的增长，我将其转换为size_t配对，因此现在将我的数据类型声明为pair<size_t, size_t> 。

之前，该代码通过具有hash_set并对其进行探查来检查是否具有唯一性，以查看是否已查看和处理了给定的配对。 作为密钥，它方便地使用INT64并使用位移和打包来构建密钥：

INT64 key = ((INT64)pairsListEntry->first) << 32 | pairsListEntry->second;

这很有效，因为两个int完全适合INT64并产生了唯一的密钥。 但是出于明显的原因，这不再起作用了。

眼前的问题

为了调整新的大小，我尝试将hash_set重构并声明为：

std::hash_set<pair<size_t, size_t>> m_seenPairs;

但是，当编译使用以下错误消息创建该类的实例的代码时，此操作将失败：

C：\\ Program Files（x86）\\ Microsoft Visual Studio 9.0 \\ VC \\ include \\ xhash（71）：错误C2440：'类型转换'：无法从'const std :: pair <_Ty1，_Ty2>'转换为'size_t'

这发生在STL实现的深层内部，在以下函数中（在return行上）：

template<class _Kty> inline
size_t hash_value(const _Kty& _Keyval)
{   // hash _Keyval to size_t value one-to-one
return ((size_t)_Keyval ^ _HASH_SEED);
}

原因很明显： pair<T1, T2>不知道如何转换为size_t以计算哈希码。

在这一点上，我停留在如何使其工作上。 Google-foo的表现不高。 我在std::map和pair上看到了几篇关于SO的文章，但看来“行之有效”。

环境是VS2008，x64平台的非托管目标。

我尝试过的事情

我试图提供自己的比较器，因为我看到了一篇帖子，看起来至少与以下内容几乎没有相似之处 ：

struct pairs_equal_compare
{
    bool operator()(const pair<SampleIdIndex_t, SampleIdIndex_t> & p1, const pair<SampleIdIndex_t, SampleIdIndex_t> & p2) const
    {
        return (p1.first == p2.first) && (p1.second == p2.second);
    }
};

// Holds a set of pairs that are known to exist for deduplication purposes.
stdext::hash_set<pair<SampleIdIndex_t, SampleIdIndex_t>, 
    stdext::hash_compare<pair<SampleIdIndex_t, SampleIdIndex_t>, pairs_equal_compare>> m_seenPairs;

这（到我正确地声明了声明和struct时）导致了完全相同的错误-现在意识到，它实际上并不能真正帮助绕过内部调用hash_value来计算哈希码。

我也曾短暂尝试过使用pairs_equal_compare代替hash_compare ，但这会产生更多的编译错误，并且看起来像是错误的方向...

似乎必须有一种合理的方法来使hash_set pair （或任何非整数类型的数据）起作用，但这使我无法实现。

Answer 1

开箱即用， stdext::hash_set<>仅适用于隐式转换为size_t类型。 对于std::pair<> ，您需要向stdext::hash_compare<> （对于stdext::hash_set<>的Traits参数）提供一个参数，因为std::pair<>本身会不。

以下内容适用于VS2013，但我不明白为什么它不适用于VS2008：

#include <cstddef>
#include <utility>
#include <hash_set>

struct pair_hasher
{
    typedef std::pair<std::size_t, std::size_t> value_type;

    value_type value;

    pair_hasher(value_type const& v) : value(v) { }

    operator std::size_t() const
    {
        return (5381 * 33 ^ value.first) * 33 ^ value.second;
    }
};

bool operator <(pair_hasher const& a, pair_hasher const& b)
{
    return a.value < b.value;
}

然后，您需要这样声明stdext::hash_set<>实例：

stdext::hash_set<
    std::pair<std::size_t, std::size_t>,
    stdext::hash_compare<pair_hasher>
> s;

对于除积分类型的其他类型std::pair<>更新pair_hasher::operator std::size_t作为必要的（ operator <应该罚款原样，只要内的类型std::pair<>是本身已经具有可比性）。

Answer 2

您还可以使用行为类似于hash_compare的合适的Traits对象，即，它必须定义两个operator() ：

size_t operator()(const Key &key) const; // This one returns the hash of key
bool operator()(const Key &first, 
                const Key &second) const; // This one returns true if first is less than second

和两个整数常量，您可能可以从默认实现中获取它们：

const size_t bucket_size = 4;
const size_t min_buckets = 8;

请参阅hash_compare文档 。

该代码看起来像

struct pair_comparator{
    typedef std::pair<std::size_t, std::size_t> Key;
    size_t operator()(const Key &key) const { return /* your hash code here */; }
    bool operator()(const Key &first, 
                const Key &second) const { return first < second; }
    const size_t bucket_size = 4;
    const size_t min_buckets = 8;
};

stdext::hash_set<
    std::pair<std::size_t, std::size_t>,
    pair_comparator
> s;

编辑：文档说，您还可以从hash_compare的专业化hash_compare ，并且仅覆盖您不喜欢的成员，因此：

struct pair_comparator : public stdext::hash_compare<std::pair<std::size_t, std::size_t> >{
    typedef std::pair<std::size_t, std::size_t> Key;
    size_t operator()(const Key &key) const { return /* your hash code here */; }
    bool operator()(const Key &first, 
                const Key &second) const { return first < second; }
};

这应该避免必须定义const int成员的问题。