c++ - 玩 unordered_multimap

Question

所以，伙计们，我玩 std::unordered multimap 只是为了好玩。我想存储(在本例中)unsigned short，带有自定义哈希值和相等值。

有趣的部分是什么？如果两个项目都是偶数或奇数，则两个项目相等。

因此，据我所知，我不能使用 std::unordered_map，即使实际值不同:自定义谓词另有说明。 (显然，如果我错了，请纠正我!)

回顾一下:我存储不同整数，因此存储不同散列，但它们在谓词下的值可能相同。 p>

#include <iostream>
#include <unordered_map>

class tt
{
public:

    tt(const unsigned short v = 0) : i(v) { };

    unsigned short i;
};

class tt_hash
{
public:
    size_t operator()(const tt &v) const
    {
        auto f = std::hash<unsigned short>();
        return f(v.i);
    };
};

class tt_equal
{
public:
    bool operator()(const tt &u, const tt &v) const
    {
        return (u.i % 2) == (v.i % 2);
    };
};

typedef std::unordered_multimap<tt, bool, tt_hash, tt_equal> mymap;

// Print all values that match a criteria
void f(const mymap &m, unsigned short c)
{
    auto range = m.equal_range(c);

    auto target = range.first;

    if (target == m.end())
    {
        std::cout << "not found : " << (int) c << std::endl;
    }
    else
    {
        for (auto i = target; i != range.second; i++)
            std::cout << "there is  : " << (int) i->first.i << " : " << i->second << std::endl;
    }

}

int main(int argc, const char * argv[])
{    
    mymap m;

    m.emplace(std::make_pair(tt(3), false));
    m.emplace(std::make_pair(tt(10), true));
    m.emplace(std::make_pair(tt(4), true));
    m.emplace(std::make_pair(tt(23), false));

    std::cout << "size " << m.size() << std::endl;
    std::cout << "buck " << m.bucket_count() << std::endl;

    int c = 0;

    for (auto i = m.begin(); i != m.end(); i++)
        std::cout << "# " << c++ << " : " << (int) i->first.i << " : " << i->second << std::endl;

    f(m, 3);

    return 0;
}

所以，当我执行上面的代码时，我找到了正确的值，3、10、4、23(当然不是这个顺序)。

出乎意料的是，当调用 f() 打印所有匹配 3 的值时，我得到了两个答案，3 和 23；但是当我要求 1000 时，我希望打印出所有偶数，但我错了:

size 4
buck 5
# 0 : 4 : 1
# 1 : 10 : 1
# 2 : 3 : 0
# 3 : 23 : 0
there is  : 10 : 1

我是不是漏掉了什么？ (答案显然是肯定的)

Answer 1

你正在做的是未定义的行为:相等的元素应该有相等的散列值。根据标准(强调我的)

23.2.5 无序关联容器[unord.req]

5 Two values k1 and k2 of type Key are considered equivalent if the container’s key equality predicate returns true when passed those values. If k1 and k2 are equivalent, the container’s hash function shall return the same value for both.

由于您根据模 2 定义等价性，因此您还需要对传递的整数的模 2 使用散列函数。这也意味着只要您拥有 2 个以上的元素，您就需要 std::unordered_multimap。