例如,在以下结构中:
1)editLine是指向具有CLRF,
的数据行的指针
2)nDisplayLine是此editLine的显示行索引,
3)start是显示行中的偏移量,
4)len是文本的长度;
struct CacheKey {
const CEditLine* editLine;
int32 nDisplayLine;
int32 start;
int32 len;
friend bool operator==(const CacheKey& item1, const CacheKey& item2) {
return (item1.start == item2.start && item1.len == item2.len && item1.nDisplayLine == item2.nDisplayLine &&
item1.editLine == item2.editLine);
}
CacheKey() {
editLine = NULL;
nDisplayLine = 0;
start = 0;
len = 0;
}
CacheKey(const CEditLine* editLine, int32 dispLine, int32 start, int32 len) :
editLine(editLine), nDisplayLine(dispLine), start(start), len(len)
{
}
int hash() {
return (int)((unsigned char*)editLine - 0x10000) + nDisplayLine * nDisplayLine + start * 2 - len * 1000;
}
};
现在我需要将它放入std::unordered_map<int, CacheItem> cacheMap_
问题是如何为这个结构设计哈希函数,有没有指导?
我怎样才能确保哈希函数是无碰撞的?
答案 0 :(得分:2)
要创建哈希函数,可以使用为整数定义的std::hash。然后,你可以将它们组合起来“就像提升家伙一样”(因为做一个好的哈希是非常重要的事情),如下所述:http://en.cppreference.com/w/cpp/utility/hash。
这是一个hash_combine方法:
inline void hash_combine(std::size_t& seed, std::size_t v)
{
seed ^= v + 0x9e3779b9 + (seed << 6) + (seed >> 2);
}
所以“指南”或多或少都与cppreference有关。
您无法确定您的哈希函数是否完全无关。无分割意味着您不会丢失数据(或者您将自己局限于您的课程的一小部分可能性)。如果每个字段允许任何int32值,则无冲突哈希是一个巨大的索引,并且它不适合小表。让unordered_map处理冲突,并结合std :: hash hash,如上所述。
在你的情况下,它看起来像
std::size_t hash() const
{
std::size_t h1 = std::hash<CEditLine*>()(editLine);
//Your int32 type is probably a typedef of a hashable type. Otherwise,
// you'll have to static_cast<> it to a type supported by std::hash.
std::size_t h2 = std::hash<int32>()(nDisplayLine);
std::size_t h3 = std::hash<int32>()(start);
std::size_t h4 = std::hash<int32>()(len);
std::size_t hash = 0;
hash_combine(hash, h1);
hash_combine(hash, h2);
hash_combine(hash, h3);
hash_combine(hash, h4);
return hash;
}
然后,您可以为您的类专门化std :: hash运算符。
namespace std
{
template<>
struct hash<CacheKey>
{
public:
std::size_t operator()(CacheKey const& s) const
{
return s.hash();
}
};
}