Question

关于在std :: unordered_map中使用自定义散列函数，我有一个非常奇怪的问题。

我的密钥类型比int64大，所以我使用std :: array来表示它。为了获得它的哈希值，我创建了一个MyHash类：

class MyHash
{
public:
    std::size_t operator()(const std::array<char, 12>& oid) const
    {
        Convert t;
        std::memcpy(t.arr, oid.data(), 12);
        std::cout << t.a <<" "<<t.b << std::endl;
        return (std::hash<std::int32_t>()(t.a) ^ (std::hash<std::int64_t>()(t.b) << 1)) >> 1;
    }
    union Convert {
        struct {
            std::int32_t a;
            std::int64_t b;
        };
        char arr[12];
    };
};

首先，测试一下：

std::array<char, 12> arr = {1,2,3,4,5,6,7,8,9,10,11,12};
MyHash o;
o(arr);
o(arr);

没关系。它打印相同的t.a和t.b。现在将它与std :: unordered_map：

一起使用

std::unordered_map<std::array<char, 12>, int, MyHash> map;
std::array<char, 12> arr = {1,2,3,4,5,6,7,8,9,10,11,12};
map.insert(std::make_pair(arr, 1));
auto it = map.find(arr);
if(it == map.end())
    std::cout << "error";
else
    std::cout << it->second;

现在，它将打印error，原因是插入中的t.b与find不同。这只发生在vs release模式（或g ++ O2）

Answer 1

为避免未定义的行为，打包和对齐问题，您可以复制到单个整数：

#include <cstdint>
#include <cstring>
#include <array>

std::size_t array_hash(const std::array<char, 12>& array) {
    std::uint64_t u64;
    std::memcpy(&u64, array.data(), 8);
    std::uint32_t u32;
    std::memcpy(&u32, array.data() + 8, 4);
    // return (std::hash<std::uint32_t>()(u32) ^ (std::hash<std::uint64_t>()(u64) << 1)) >> 1;;
    return u64 + u32; // for simplicity
}

std::size_t uint_hash(std::uint64_t u64, std::uint32_t u32) {
    // return (std::hash<std::uint32_t>()(u32) ^ (std::hash<std::uint64_t>()(u64) << 1)) >> 1;;
    return u64 + u32; // for simplicity
}

使用（g ++版本4.8.4）g ++ -S --std = c ++ 11 -O3，你会得到：

_Z10array_hashRKSt5arrayIcLm24EE:
.LFB914:
        .cfi_startproc
        movl    8(%rdi), %eax
        addq    (%rdi), %rax
        ret
        .cfi_endproc

和

_Z9uint_hashmj:
.LFB915:
        .cfi_startproc
        movl    %esi, %eax
        addq    %rdi, %rax
        ret
        .cfi_endproc

......这是相当理想的。

另请参阅：Type Punning, Strict Aliasing, and Optimization

Answer 2

我们来看看这个

  union Convert {
        struct {
            std::int32_t a;
            std::int64_t b;
        };
        char arr[12];
    };

编译器可能打包 a和b之间的额外字节。因此，通过char数组的类型惩罚不一定会覆盖struct部分。类型punning也是C ++中的临界未定义行为;虽然我想你在这个特定的例子中没事。

发布版本的打包安排似乎与调试版本不同。

许多编译器允许您指定打包安排（#pragma pack？）但如果我是你，我就不会依赖它，因为它会破坏编译器的优化策略，而且基本上也是非标准的C ++。

Answer 3

这有点像黑客，但你可以尝试一下，看看它是如何工作的：

sizeof(uint32_t)

这只能起作用，因为12是Spinner spinnerOmadas=(Spinner) findViewById(R.id.spinnerOmadas); String omada = spinnerOmadas.getSelectedItem().toString(); Toast.makeText(getApplicationContext(), omada,Toast.LENGTH_SHORT).show();的倍数。如果尺寸发生变化，您将不得不进行调整。

散列std :: unordered_map中使用的std :: array

3 个答案: