2014-12-28 10:51:16 -06:00
|
|
|
// This is free and unencumbered software released into the public domain.
|
|
|
|
//
|
|
|
|
// Anyone is free to copy, modify, publish, use, compile, sell, or
|
|
|
|
// distribute this software, either in source code form or as a compiled
|
|
|
|
// binary, for any purpose, commercial or non-commercial, and by any
|
|
|
|
// means.
|
|
|
|
|
|
|
|
// -------------------------------------------------------
|
|
|
|
// Written by Clifford Wolf <clifford@clifford.at> in 2014
|
|
|
|
// -------------------------------------------------------
|
|
|
|
|
|
|
|
#ifndef HASHLIB_H
|
2014-12-26 12:28:52 -06:00
|
|
|
|
2014-12-26 14:35:22 -06:00
|
|
|
#include <stdexcept>
|
2014-12-26 12:28:52 -06:00
|
|
|
#include <string>
|
|
|
|
#include <vector>
|
|
|
|
|
2014-12-28 10:51:16 -06:00
|
|
|
namespace hashlib {
|
|
|
|
|
2014-12-30 06:22:33 -06:00
|
|
|
const int hashtable_size_trigger = 2;
|
|
|
|
const int hashtable_size_factor = 3;
|
2014-12-26 20:04:50 -06:00
|
|
|
|
2014-12-27 05:02:57 -06:00
|
|
|
// The XOR version of DJB2
|
2014-12-26 12:28:52 -06:00
|
|
|
inline unsigned int mkhash(unsigned int a, unsigned int b) {
|
|
|
|
return ((a << 5) + a) ^ b;
|
|
|
|
}
|
|
|
|
|
2014-12-30 11:51:24 -06:00
|
|
|
// traditionally 5381 is used as starting value for the djb2 hash
|
|
|
|
const unsigned int mkhash_init = 5381;
|
|
|
|
|
2014-12-27 05:02:57 -06:00
|
|
|
// The ADD version of DJB2
|
2014-12-30 11:51:24 -06:00
|
|
|
// (usunsigned int mkhashe this version for cache locality in b)
|
2014-12-27 05:02:57 -06:00
|
|
|
inline unsigned int mkhash_add(unsigned int a, unsigned int b) {
|
|
|
|
return ((a << 5) + a) + b;
|
|
|
|
}
|
|
|
|
|
2014-12-28 17:12:36 -06:00
|
|
|
inline unsigned int mkhash_xorshift(unsigned int a) {
|
|
|
|
if (sizeof(a) == 4) {
|
|
|
|
a ^= a << 13;
|
|
|
|
a ^= a >> 17;
|
|
|
|
a ^= a << 5;
|
|
|
|
} else if (sizeof(a) == 8) {
|
|
|
|
a ^= a << 13;
|
|
|
|
a ^= a >> 7;
|
|
|
|
a ^= a << 17;
|
|
|
|
} else
|
|
|
|
throw std::runtime_error("mkhash_xorshift() only implemented for 32 bit and 64 bit ints");
|
|
|
|
return a;
|
|
|
|
}
|
|
|
|
|
2014-12-26 12:28:52 -06:00
|
|
|
template<typename T> struct hash_ops {
|
2014-12-26 14:35:22 -06:00
|
|
|
bool cmp(const T &a, const T &b) const {
|
2014-12-26 12:28:52 -06:00
|
|
|
return a == b;
|
|
|
|
}
|
2014-12-26 14:35:22 -06:00
|
|
|
unsigned int hash(const T &a) const {
|
2014-12-26 12:28:52 -06:00
|
|
|
return a.hash();
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<> struct hash_ops<int> {
|
2014-12-28 10:51:16 -06:00
|
|
|
template<typename T>
|
|
|
|
bool cmp(T a, T b) const {
|
2014-12-26 12:28:52 -06:00
|
|
|
return a == b;
|
|
|
|
}
|
2014-12-30 16:45:43 -06:00
|
|
|
template<typename T>
|
|
|
|
unsigned int hash(T a) const {
|
2014-12-26 12:28:52 -06:00
|
|
|
return a;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template<> struct hash_ops<std::string> {
|
2014-12-26 14:35:22 -06:00
|
|
|
bool cmp(const std::string &a, const std::string &b) const {
|
2014-12-26 12:28:52 -06:00
|
|
|
return a == b;
|
|
|
|
}
|
2014-12-26 14:35:22 -06:00
|
|
|
unsigned int hash(const std::string &a) const {
|
2014-12-26 12:28:52 -06:00
|
|
|
unsigned int v = 0;
|
|
|
|
for (auto c : a)
|
|
|
|
v = mkhash(v, c);
|
|
|
|
return v;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2014-12-28 19:01:42 -06:00
|
|
|
template<typename P, typename Q> struct hash_ops<std::pair<P, Q>> {
|
|
|
|
bool cmp(std::pair<P, Q> a, std::pair<P, Q> b) const {
|
|
|
|
return a == b;
|
|
|
|
}
|
|
|
|
unsigned int hash(std::pair<P, Q> a) const {
|
|
|
|
hash_ops<P> p_ops;
|
|
|
|
hash_ops<Q> q_ops;
|
|
|
|
return mkhash(p_ops.hash(a.first), q_ops.hash(a.second));
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2014-12-30 16:45:43 -06:00
|
|
|
template<typename T> struct hash_ops<std::vector<T>> {
|
|
|
|
bool cmp(std::vector<T> a, std::vector<T> b) const {
|
|
|
|
return a == b;
|
|
|
|
}
|
|
|
|
unsigned int hash(std::vector<T> a) const {
|
|
|
|
hash_ops<T> t_ops;
|
|
|
|
unsigned int h = mkhash_init;
|
|
|
|
for (auto k : a)
|
|
|
|
h = mkhash(h, t_ops.hash(k));
|
|
|
|
return h;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2014-12-26 14:59:41 -06:00
|
|
|
struct hash_cstr_ops {
|
|
|
|
bool cmp(const char *a, const char *b) const {
|
|
|
|
for (int i = 0; a[i] || b[i]; i++)
|
|
|
|
if (a[i] != b[i])
|
|
|
|
return false;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
unsigned int hash(const char *a) const {
|
2014-12-30 11:51:24 -06:00
|
|
|
unsigned int hash = mkhash_init;
|
2014-12-26 14:59:41 -06:00
|
|
|
while (*a)
|
|
|
|
hash = mkhash(hash, *(a++));
|
|
|
|
return hash;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2014-12-26 14:35:22 -06:00
|
|
|
struct hash_ptr_ops {
|
|
|
|
bool cmp(const void *a, const void *b) const {
|
|
|
|
return a == b;
|
|
|
|
}
|
|
|
|
unsigned int hash(const void *a) const {
|
|
|
|
return (unsigned long)a;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2014-12-26 20:04:50 -06:00
|
|
|
struct hash_obj_ops {
|
|
|
|
bool cmp(const void *a, const void *b) const {
|
|
|
|
return a == b;
|
|
|
|
}
|
|
|
|
template<typename T>
|
|
|
|
unsigned int hash(const T *a) const {
|
2014-12-28 10:51:16 -06:00
|
|
|
return a->hash();
|
2014-12-26 20:04:50 -06:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2014-12-30 06:22:33 -06:00
|
|
|
inline int hashtable_size(int min_size)
|
2014-12-26 16:21:23 -06:00
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
static std::vector<int> zero_and_some_primes = {
|
|
|
|
0, 23, 29, 37, 47, 59, 79, 101, 127, 163, 211, 269, 337, 431, 541, 677,
|
2014-12-30 06:22:33 -06:00
|
|
|
853, 1069, 1361, 1709, 2137, 2677, 3347, 4201, 5261, 6577, 8231, 10289,
|
|
|
|
12889, 16127, 20161, 25219, 31531, 39419, 49277, 61603, 77017, 96281,
|
|
|
|
120371, 150473, 188107, 235159, 293957, 367453, 459317, 574157, 717697,
|
|
|
|
897133, 1121423, 1401791, 1752239, 2190299, 2737937, 3422429, 4278037,
|
|
|
|
5347553, 6684443, 8355563, 10444457, 13055587, 16319519, 20399411,
|
|
|
|
25499291, 31874149, 39842687, 49803361, 62254207, 77817767, 97272239,
|
|
|
|
121590311, 151987889, 189984863, 237481091, 296851369, 371064217
|
|
|
|
};
|
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
for (auto p : zero_and_some_primes)
|
|
|
|
if (p >= min_size) return p;
|
2014-12-30 06:22:33 -06:00
|
|
|
|
|
|
|
if (sizeof(int) == 4)
|
|
|
|
throw std::length_error("hash table exceeded maximum size. use a ILP64 abi for larger tables.");
|
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
for (auto p : zero_and_some_primes)
|
2014-12-30 06:22:33 -06:00
|
|
|
if (100129 * p > min_size) return 100129 * p;
|
|
|
|
|
|
|
|
throw std::length_error("hash table exceeded maximum size.");
|
2014-12-26 16:21:23 -06:00
|
|
|
}
|
|
|
|
|
2014-12-26 12:28:52 -06:00
|
|
|
template<typename K, typename T, typename OPS = hash_ops<K>>
|
2014-12-26 14:35:22 -06:00
|
|
|
class dict
|
2014-12-26 12:28:52 -06:00
|
|
|
{
|
|
|
|
struct entry_t
|
|
|
|
{
|
|
|
|
std::pair<K, T> udata;
|
2014-12-30 20:58:29 -06:00
|
|
|
int next;
|
2014-12-26 14:35:22 -06:00
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
entry_t() { }
|
|
|
|
entry_t(const std::pair<K, T> &udata, int next) : udata(udata), next(next) { }
|
2014-12-26 12:28:52 -06:00
|
|
|
};
|
|
|
|
|
|
|
|
std::vector<int> hashtable;
|
|
|
|
std::vector<entry_t> entries;
|
|
|
|
OPS ops;
|
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
#if 0
|
|
|
|
static inline void do_assert(bool cond) {
|
|
|
|
if (!cond) throw std::runtime_error("dict<> assert failed.");
|
2014-12-26 12:28:52 -06:00
|
|
|
}
|
2014-12-30 20:58:29 -06:00
|
|
|
#else
|
|
|
|
static inline void do_assert(bool) { }
|
|
|
|
#endif
|
2014-12-26 12:28:52 -06:00
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
int do_hash(const K &key) const
|
2014-12-26 14:35:22 -06:00
|
|
|
{
|
|
|
|
unsigned int hash = 0;
|
|
|
|
if (!hashtable.empty())
|
|
|
|
hash = ops.hash(key) % (unsigned int)(hashtable.size());
|
|
|
|
return hash;
|
2014-12-26 12:28:52 -06:00
|
|
|
}
|
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
void do_rehash()
|
2014-12-29 13:24:28 -06:00
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
hashtable.clear();
|
|
|
|
hashtable.resize(hashtable_size(entries.size() * hashtable_size_factor), -1);
|
2014-12-29 13:24:28 -06:00
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
for (int i = 0; i < int(entries.size()); i++) {
|
|
|
|
do_assert(-1 <= entries[i].next && entries[i].next < int(entries.size()));
|
|
|
|
int hash = do_hash(entries[i].udata.first);
|
|
|
|
entries[i].next = hashtable[hash];
|
|
|
|
hashtable[hash] = i;
|
|
|
|
}
|
2014-12-29 13:24:28 -06:00
|
|
|
}
|
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
int do_erase(int index, int hash)
|
2014-12-26 12:28:52 -06:00
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
do_assert(index < int(entries.size()));
|
|
|
|
if (hashtable.empty() || index < 0)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
int k = hashtable[hash];
|
|
|
|
if (k == index) {
|
|
|
|
hashtable[hash] = entries[index].next;
|
|
|
|
} else {
|
|
|
|
while (entries[k].next != index) {
|
|
|
|
k = entries[k].next;
|
|
|
|
do_assert(0 <= k && k < int(entries.size()));
|
|
|
|
}
|
|
|
|
entries[k].next = entries[index].next;
|
|
|
|
}
|
2014-12-30 06:22:33 -06:00
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
int back_idx = entries.size()-1;
|
2014-12-26 12:28:52 -06:00
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
if (index != back_idx)
|
|
|
|
{
|
|
|
|
int back_hash = do_hash(entries[back_idx].udata.first);
|
2014-12-26 12:28:52 -06:00
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
k = hashtable[back_hash];
|
|
|
|
if (k == back_idx) {
|
|
|
|
hashtable[back_hash] = index;
|
2014-12-26 12:28:52 -06:00
|
|
|
} else {
|
2014-12-30 20:58:29 -06:00
|
|
|
while (entries[k].next != back_idx) {
|
|
|
|
k = entries[k].next;
|
|
|
|
do_assert(0 <= k && k < int(entries.size()));
|
|
|
|
}
|
|
|
|
entries[k].next = index;
|
2014-12-26 12:28:52 -06:00
|
|
|
}
|
2014-12-29 13:24:28 -06:00
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
entries[index] = std::move(entries[back_idx]);
|
|
|
|
}
|
|
|
|
|
|
|
|
entries.pop_back();
|
|
|
|
|
|
|
|
if (entries.empty())
|
|
|
|
hashtable.clear();
|
2014-12-29 13:24:28 -06:00
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
return 1;
|
2014-12-26 12:28:52 -06:00
|
|
|
}
|
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
int do_lookup(const K &key, int &hash) const
|
2014-12-26 12:28:52 -06:00
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
if (hashtable.empty())
|
|
|
|
return -1;
|
|
|
|
|
|
|
|
if (entries.size() * hashtable_size_trigger > hashtable.size()) {
|
|
|
|
((dict*)this)->do_rehash();
|
|
|
|
hash = do_hash(key);
|
2014-12-26 12:28:52 -06:00
|
|
|
}
|
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
int index = hashtable[hash];
|
|
|
|
|
|
|
|
while (index >= 0 && !ops.cmp(entries[index].udata.first, key)) {
|
|
|
|
index = entries[index].next;
|
|
|
|
do_assert(-1 <= index && index < int(entries.size()));
|
2014-12-26 12:28:52 -06:00
|
|
|
}
|
2014-12-30 20:58:29 -06:00
|
|
|
|
|
|
|
return index;
|
2014-12-26 12:28:52 -06:00
|
|
|
}
|
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
int do_insert(const std::pair<K, T> &value, int &hash)
|
2014-12-26 12:28:52 -06:00
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
if (hashtable.empty()) {
|
|
|
|
entries.push_back(entry_t(value, -1));
|
|
|
|
do_rehash();
|
|
|
|
hash = do_hash(value.first);
|
|
|
|
} else {
|
|
|
|
entries.push_back(entry_t(value, hashtable[hash]));
|
|
|
|
hashtable[hash] = entries.size() - 1;
|
2014-12-26 12:28:52 -06:00
|
|
|
}
|
2014-12-30 20:58:29 -06:00
|
|
|
return entries.size() - 1;
|
2014-12-26 12:28:52 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
public:
|
|
|
|
class iterator
|
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
friend dict;
|
2014-12-30 20:58:29 -06:00
|
|
|
protected:
|
2014-12-30 21:19:04 -06:00
|
|
|
dict *ptr;
|
2014-12-26 12:28:52 -06:00
|
|
|
int index;
|
|
|
|
public:
|
2014-12-26 14:35:22 -06:00
|
|
|
iterator() { }
|
2014-12-30 21:19:04 -06:00
|
|
|
iterator(dict *ptr, int index) : ptr(ptr), index(index) { }
|
2014-12-30 20:58:29 -06:00
|
|
|
iterator operator++() { index--; return *this; }
|
2014-12-26 12:28:52 -06:00
|
|
|
bool operator==(const iterator &other) const { return index == other.index; }
|
|
|
|
bool operator!=(const iterator &other) const { return index != other.index; }
|
|
|
|
std::pair<K, T> &operator*() { return ptr->entries[index].udata; }
|
2014-12-26 14:35:22 -06:00
|
|
|
std::pair<K, T> *operator->() { return &ptr->entries[index].udata; }
|
|
|
|
const std::pair<K, T> &operator*() const { return ptr->entries[index].udata; }
|
|
|
|
const std::pair<K, T> *operator->() const { return &ptr->entries[index].udata; }
|
2014-12-26 12:28:52 -06:00
|
|
|
};
|
|
|
|
|
2014-12-26 14:35:22 -06:00
|
|
|
class const_iterator
|
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
friend dict;
|
2014-12-30 20:58:29 -06:00
|
|
|
protected:
|
2014-12-30 21:19:04 -06:00
|
|
|
const dict *ptr;
|
2014-12-26 14:35:22 -06:00
|
|
|
int index;
|
|
|
|
public:
|
|
|
|
const_iterator() { }
|
2014-12-30 21:19:04 -06:00
|
|
|
const_iterator(const dict *ptr, int index) : ptr(ptr), index(index) { }
|
2014-12-30 20:58:29 -06:00
|
|
|
const_iterator operator++() { index--; return *this; }
|
2014-12-26 14:35:22 -06:00
|
|
|
bool operator==(const const_iterator &other) const { return index == other.index; }
|
|
|
|
bool operator!=(const const_iterator &other) const { return index != other.index; }
|
|
|
|
const std::pair<K, T> &operator*() const { return ptr->entries[index].udata; }
|
|
|
|
const std::pair<K, T> *operator->() const { return &ptr->entries[index].udata; }
|
|
|
|
};
|
|
|
|
|
|
|
|
dict()
|
2014-12-26 12:28:52 -06:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
dict(const dict &other)
|
2014-12-26 14:35:22 -06:00
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
entries = other.entries;
|
|
|
|
do_rehash();
|
2014-12-26 14:35:22 -06:00
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
dict(dict &&other)
|
2014-12-26 14:35:22 -06:00
|
|
|
{
|
|
|
|
swap(other);
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
dict &operator=(const dict &other) {
|
2014-12-30 20:58:29 -06:00
|
|
|
entries = other.entries;
|
|
|
|
do_rehash();
|
2014-12-26 14:35:22 -06:00
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
dict &operator=(dict &&other) {
|
2014-12-26 14:35:22 -06:00
|
|
|
clear();
|
|
|
|
swap(other);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
dict(const std::initializer_list<std::pair<K, T>> &list)
|
|
|
|
{
|
|
|
|
for (auto &it : list)
|
|
|
|
insert(it);
|
|
|
|
}
|
|
|
|
|
2014-12-26 12:28:52 -06:00
|
|
|
template<class InputIterator>
|
2014-12-26 14:35:22 -06:00
|
|
|
dict(InputIterator first, InputIterator last)
|
2014-12-26 12:28:52 -06:00
|
|
|
{
|
|
|
|
insert(first, last);
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class InputIterator>
|
|
|
|
void insert(InputIterator first, InputIterator last)
|
|
|
|
{
|
|
|
|
for (; first != last; ++first)
|
|
|
|
insert(*first);
|
|
|
|
}
|
|
|
|
|
2014-12-28 10:51:16 -06:00
|
|
|
std::pair<iterator, bool> insert(const std::pair<K, T> &value)
|
2014-12-26 12:28:52 -06:00
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
int hash = do_hash(value.first);
|
|
|
|
int i = do_lookup(value.first, hash);
|
2014-12-26 12:28:52 -06:00
|
|
|
if (i >= 0)
|
2014-12-28 10:51:16 -06:00
|
|
|
return std::pair<iterator, bool>(iterator(this, i), false);
|
2014-12-30 20:58:29 -06:00
|
|
|
i = do_insert(value, hash);
|
2014-12-28 10:51:16 -06:00
|
|
|
return std::pair<iterator, bool>(iterator(this, i), true);
|
2014-12-26 12:28:52 -06:00
|
|
|
}
|
|
|
|
|
2014-12-28 15:26:09 -06:00
|
|
|
int erase(const K &key)
|
2014-12-26 12:28:52 -06:00
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
int hash = do_hash(key);
|
|
|
|
int index = do_lookup(key, hash);
|
|
|
|
return do_erase(index, hash);
|
2014-12-26 12:28:52 -06:00
|
|
|
}
|
|
|
|
|
2014-12-28 15:26:09 -06:00
|
|
|
iterator erase(iterator it)
|
2014-12-26 14:35:22 -06:00
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
int hash = do_hash(it->first);
|
|
|
|
do_erase(it.index, hash);
|
2014-12-28 15:26:09 -06:00
|
|
|
return ++it;
|
2014-12-26 14:35:22 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
int count(const K &key) const
|
2014-12-26 12:28:52 -06:00
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
int hash = do_hash(key);
|
|
|
|
int i = do_lookup(key, hash);
|
2014-12-26 12:28:52 -06:00
|
|
|
return i < 0 ? 0 : 1;
|
|
|
|
}
|
|
|
|
|
2014-12-26 14:35:22 -06:00
|
|
|
iterator find(const K &key)
|
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
int hash = do_hash(key);
|
|
|
|
int i = do_lookup(key, hash);
|
2014-12-26 14:35:22 -06:00
|
|
|
if (i < 0)
|
|
|
|
return end();
|
|
|
|
return iterator(this, i);
|
|
|
|
}
|
|
|
|
|
|
|
|
const_iterator find(const K &key) const
|
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
int hash = do_hash(key);
|
|
|
|
int i = do_lookup(key, hash);
|
2014-12-26 14:35:22 -06:00
|
|
|
if (i < 0)
|
|
|
|
return end();
|
|
|
|
return const_iterator(this, i);
|
|
|
|
}
|
|
|
|
|
|
|
|
T& at(const K &key)
|
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
int hash = do_hash(key);
|
|
|
|
int i = do_lookup(key, hash);
|
2014-12-26 14:35:22 -06:00
|
|
|
if (i < 0)
|
|
|
|
throw std::out_of_range("dict::at()");
|
|
|
|
return entries[i].udata.second;
|
|
|
|
}
|
|
|
|
|
|
|
|
const T& at(const K &key) const
|
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
int hash = do_hash(key);
|
|
|
|
int i = do_lookup(key, hash);
|
2014-12-26 14:35:22 -06:00
|
|
|
if (i < 0)
|
|
|
|
throw std::out_of_range("dict::at()");
|
|
|
|
return entries[i].udata.second;
|
|
|
|
}
|
|
|
|
|
2014-12-26 12:28:52 -06:00
|
|
|
T& operator[](const K &key)
|
|
|
|
{
|
2014-12-30 20:58:29 -06:00
|
|
|
int hash = do_hash(key);
|
|
|
|
int i = do_lookup(key, hash);
|
2014-12-26 12:28:52 -06:00
|
|
|
if (i < 0)
|
2014-12-30 20:58:29 -06:00
|
|
|
i = do_insert(std::pair<K, T>(key, T()), hash);
|
2014-12-26 12:28:52 -06:00
|
|
|
return entries[i].udata.second;
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
void swap(dict &other)
|
2014-12-26 14:35:22 -06:00
|
|
|
{
|
|
|
|
hashtable.swap(other.hashtable);
|
|
|
|
entries.swap(other.entries);
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
bool operator==(const dict &other) const {
|
2014-12-30 20:58:29 -06:00
|
|
|
if (size() != other.size())
|
2014-12-26 14:35:22 -06:00
|
|
|
return false;
|
2014-12-30 20:58:29 -06:00
|
|
|
for (auto &it : entries) {
|
|
|
|
auto oit = other.find(it.udata.first);
|
|
|
|
if (oit == other.end() || oit->second != it.udata.second)
|
|
|
|
return false;
|
|
|
|
}
|
2014-12-26 14:35:22 -06:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
bool operator!=(const dict &other) const {
|
2014-12-26 14:35:22 -06:00
|
|
|
return !(*this == other);
|
|
|
|
}
|
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
size_t size() const { return entries.size(); }
|
|
|
|
bool empty() const { return entries.empty(); }
|
|
|
|
void clear() { hashtable.clear(); entries.clear(); }
|
2014-12-26 14:35:22 -06:00
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
iterator begin() { return iterator(this, int(entries.size())-1); }
|
2014-12-30 06:30:22 -06:00
|
|
|
iterator end() { return iterator(nullptr, -1); }
|
2014-12-26 14:35:22 -06:00
|
|
|
|
2014-12-30 20:58:29 -06:00
|
|
|
const_iterator begin() const { return const_iterator(this, int(entries.size())-1); }
|
2014-12-30 06:30:22 -06:00
|
|
|
const_iterator end() const { return const_iterator(nullptr, -1); }
|
2014-12-26 12:28:52 -06:00
|
|
|
};
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
// ********************************************************************************
|
|
|
|
// ********************************************************************************
|
|
|
|
// ********************************************************************************
|
|
|
|
// ********************************************************************************
|
|
|
|
// ********************************************************************************
|
|
|
|
|
|
|
|
|
2014-12-26 14:59:41 -06:00
|
|
|
template<typename K, typename OPS = hash_ops<K>>
|
|
|
|
class pool
|
|
|
|
{
|
|
|
|
struct entry_t
|
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
K udata;
|
|
|
|
int next;
|
2014-12-26 14:59:41 -06:00
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
entry_t() { }
|
|
|
|
entry_t(const K &udata, int next) : udata(udata), next(next) { }
|
2014-12-26 14:59:41 -06:00
|
|
|
};
|
|
|
|
|
|
|
|
std::vector<int> hashtable;
|
|
|
|
std::vector<entry_t> entries;
|
|
|
|
OPS ops;
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
#if 0
|
|
|
|
static inline void do_assert(bool cond) {
|
|
|
|
if (!cond) throw std::runtime_error("pool<> assert failed.");
|
2014-12-26 14:59:41 -06:00
|
|
|
}
|
2014-12-30 21:19:04 -06:00
|
|
|
#else
|
|
|
|
static inline void do_assert(bool) { }
|
|
|
|
#endif
|
2014-12-26 14:59:41 -06:00
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
int do_hash(const K &key) const
|
2014-12-26 14:59:41 -06:00
|
|
|
{
|
|
|
|
unsigned int hash = 0;
|
|
|
|
if (!hashtable.empty())
|
|
|
|
hash = ops.hash(key) % (unsigned int)(hashtable.size());
|
|
|
|
return hash;
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
void do_rehash()
|
2014-12-29 13:24:28 -06:00
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
hashtable.clear();
|
|
|
|
hashtable.resize(hashtable_size(entries.size() * hashtable_size_factor), -1);
|
|
|
|
|
|
|
|
for (int i = 0; i < int(entries.size()); i++) {
|
|
|
|
do_assert(-1 <= entries[i].next && entries[i].next < int(entries.size()));
|
|
|
|
int hash = do_hash(entries[i].udata);
|
|
|
|
entries[i].next = hashtable[hash];
|
|
|
|
hashtable[hash] = i;
|
2014-12-29 13:24:28 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
int do_erase(int index, int hash)
|
2014-12-29 13:24:28 -06:00
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
do_assert(index < int(entries.size()));
|
|
|
|
if (hashtable.empty() || index < 0)
|
|
|
|
return 0;
|
2014-12-29 13:24:28 -06:00
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
int k = hashtable[hash];
|
|
|
|
if (k == index) {
|
|
|
|
hashtable[hash] = entries[index].next;
|
|
|
|
} else {
|
|
|
|
while (entries[k].next != index) {
|
|
|
|
k = entries[k].next;
|
|
|
|
do_assert(0 <= k && k < int(entries.size()));
|
|
|
|
}
|
|
|
|
entries[k].next = entries[index].next;
|
|
|
|
}
|
2014-12-30 06:22:33 -06:00
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
int back_idx = entries.size()-1;
|
2014-12-26 14:59:41 -06:00
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
if (index != back_idx)
|
|
|
|
{
|
|
|
|
int back_hash = do_hash(entries[back_idx].udata);
|
2014-12-26 14:59:41 -06:00
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
k = hashtable[back_hash];
|
|
|
|
if (k == back_idx) {
|
|
|
|
hashtable[back_hash] = index;
|
2014-12-26 14:59:41 -06:00
|
|
|
} else {
|
2014-12-30 21:19:04 -06:00
|
|
|
while (entries[k].next != back_idx) {
|
|
|
|
k = entries[k].next;
|
|
|
|
do_assert(0 <= k && k < int(entries.size()));
|
|
|
|
}
|
|
|
|
entries[k].next = index;
|
2014-12-26 14:59:41 -06:00
|
|
|
}
|
2014-12-29 13:24:28 -06:00
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
entries[index] = std::move(entries[back_idx]);
|
2014-12-26 14:59:41 -06:00
|
|
|
}
|
2014-12-30 21:19:04 -06:00
|
|
|
|
|
|
|
entries.pop_back();
|
|
|
|
|
|
|
|
if (entries.empty())
|
|
|
|
hashtable.clear();
|
|
|
|
|
|
|
|
return 1;
|
2014-12-26 14:59:41 -06:00
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
int do_lookup(const K &key, int &hash) const
|
2014-12-26 14:59:41 -06:00
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
if (hashtable.empty())
|
|
|
|
return -1;
|
|
|
|
|
|
|
|
if (entries.size() * hashtable_size_trigger > hashtable.size()) {
|
|
|
|
((pool*)this)->do_rehash();
|
|
|
|
hash = do_hash(key);
|
2014-12-26 14:59:41 -06:00
|
|
|
}
|
2014-12-30 21:19:04 -06:00
|
|
|
|
|
|
|
int index = hashtable[hash];
|
|
|
|
|
|
|
|
while (index >= 0 && !ops.cmp(entries[index].udata, key)) {
|
|
|
|
index = entries[index].next;
|
|
|
|
do_assert(-1 <= index && index < int(entries.size()));
|
|
|
|
}
|
|
|
|
|
|
|
|
return index;
|
2014-12-26 14:59:41 -06:00
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
int do_insert(const K &value, int &hash)
|
2014-12-26 14:59:41 -06:00
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
if (hashtable.empty()) {
|
|
|
|
entries.push_back(entry_t(value, -1));
|
|
|
|
do_rehash();
|
|
|
|
hash = do_hash(value);
|
|
|
|
} else {
|
|
|
|
entries.push_back(entry_t(value, hashtable[hash]));
|
|
|
|
hashtable[hash] = entries.size() - 1;
|
2014-12-26 14:59:41 -06:00
|
|
|
}
|
2014-12-30 21:19:04 -06:00
|
|
|
return entries.size() - 1;
|
2014-12-26 14:59:41 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
public:
|
|
|
|
class iterator
|
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
friend pool;
|
|
|
|
protected:
|
|
|
|
pool *ptr;
|
2014-12-26 14:59:41 -06:00
|
|
|
int index;
|
|
|
|
public:
|
|
|
|
iterator() { }
|
2014-12-30 21:19:04 -06:00
|
|
|
iterator(pool *ptr, int index) : ptr(ptr), index(index) { }
|
|
|
|
iterator operator++() { index--; return *this; }
|
2014-12-26 14:59:41 -06:00
|
|
|
bool operator==(const iterator &other) const { return index == other.index; }
|
|
|
|
bool operator!=(const iterator &other) const { return index != other.index; }
|
2014-12-30 21:19:04 -06:00
|
|
|
const K &operator*() const { return ptr->entries[index].udata; }
|
|
|
|
const K *operator->() const { return &ptr->entries[index].udata; }
|
2014-12-26 14:59:41 -06:00
|
|
|
};
|
|
|
|
|
|
|
|
class const_iterator
|
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
friend pool;
|
|
|
|
protected:
|
|
|
|
const pool *ptr;
|
2014-12-26 14:59:41 -06:00
|
|
|
int index;
|
|
|
|
public:
|
|
|
|
const_iterator() { }
|
2014-12-30 21:19:04 -06:00
|
|
|
const_iterator(const pool *ptr, int index) : ptr(ptr), index(index) { }
|
|
|
|
const_iterator operator++() { index--; return *this; }
|
2014-12-26 14:59:41 -06:00
|
|
|
bool operator==(const const_iterator &other) const { return index == other.index; }
|
|
|
|
bool operator!=(const const_iterator &other) const { return index != other.index; }
|
2014-12-30 21:19:04 -06:00
|
|
|
const K &operator*() const { return ptr->entries[index].udata; }
|
|
|
|
const K *operator->() const { return &ptr->entries[index].udata; }
|
2014-12-26 14:59:41 -06:00
|
|
|
};
|
|
|
|
|
|
|
|
pool()
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
pool(const pool &other)
|
2014-12-26 14:59:41 -06:00
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
entries = other.entries;
|
|
|
|
do_rehash();
|
2014-12-26 14:59:41 -06:00
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
pool(pool &&other)
|
2014-12-26 14:59:41 -06:00
|
|
|
{
|
|
|
|
swap(other);
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
pool &operator=(const pool &other) {
|
|
|
|
entries = other.entries;
|
|
|
|
do_rehash();
|
2014-12-26 14:59:41 -06:00
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
pool &operator=(pool &&other) {
|
2014-12-26 14:59:41 -06:00
|
|
|
clear();
|
|
|
|
swap(other);
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
pool(const std::initializer_list<K> &list)
|
|
|
|
{
|
|
|
|
for (auto &it : list)
|
|
|
|
insert(it);
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class InputIterator>
|
|
|
|
pool(InputIterator first, InputIterator last)
|
|
|
|
{
|
|
|
|
insert(first, last);
|
|
|
|
}
|
|
|
|
|
|
|
|
template<class InputIterator>
|
|
|
|
void insert(InputIterator first, InputIterator last)
|
|
|
|
{
|
|
|
|
for (; first != last; ++first)
|
|
|
|
insert(*first);
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
std::pair<iterator, bool> insert(const K &value)
|
2014-12-26 14:59:41 -06:00
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
int hash = do_hash(value);
|
|
|
|
int i = do_lookup(value, hash);
|
2014-12-26 14:59:41 -06:00
|
|
|
if (i >= 0)
|
2014-12-28 10:51:16 -06:00
|
|
|
return std::pair<iterator, bool>(iterator(this, i), false);
|
2014-12-30 21:19:04 -06:00
|
|
|
i = do_insert(value, hash);
|
2014-12-28 10:51:16 -06:00
|
|
|
return std::pair<iterator, bool>(iterator(this, i), true);
|
2014-12-26 14:59:41 -06:00
|
|
|
}
|
|
|
|
|
2014-12-28 15:26:09 -06:00
|
|
|
int erase(const K &key)
|
2014-12-26 14:59:41 -06:00
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
int hash = do_hash(key);
|
|
|
|
int index = do_lookup(key, hash);
|
|
|
|
return do_erase(index, hash);
|
2014-12-26 14:59:41 -06:00
|
|
|
}
|
|
|
|
|
2014-12-28 15:26:09 -06:00
|
|
|
iterator erase(iterator it)
|
2014-12-26 14:59:41 -06:00
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
int hash = do_hash(it->first);
|
|
|
|
do_erase(it.index, hash);
|
2014-12-28 15:26:09 -06:00
|
|
|
return ++it;
|
2014-12-26 14:59:41 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
int count(const K &key) const
|
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
int hash = do_hash(key);
|
|
|
|
int i = do_lookup(key, hash);
|
2014-12-26 14:59:41 -06:00
|
|
|
return i < 0 ? 0 : 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
iterator find(const K &key)
|
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
int hash = do_hash(key);
|
|
|
|
int i = do_lookup(key, hash);
|
2014-12-26 14:59:41 -06:00
|
|
|
if (i < 0)
|
|
|
|
return end();
|
|
|
|
return iterator(this, i);
|
|
|
|
}
|
|
|
|
|
|
|
|
const_iterator find(const K &key) const
|
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
int hash = do_hash(key);
|
|
|
|
int i = do_lookup(key, hash);
|
2014-12-26 14:59:41 -06:00
|
|
|
if (i < 0)
|
|
|
|
return end();
|
|
|
|
return const_iterator(this, i);
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
bool operator[](const K &key)
|
2014-12-26 14:59:41 -06:00
|
|
|
{
|
2014-12-30 21:19:04 -06:00
|
|
|
int hash = do_hash(key);
|
|
|
|
int i = do_lookup(key, hash);
|
2014-12-26 14:59:41 -06:00
|
|
|
return i >= 0;
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
void swap(pool &other)
|
2014-12-26 14:59:41 -06:00
|
|
|
{
|
|
|
|
hashtable.swap(other.hashtable);
|
|
|
|
entries.swap(other.entries);
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
bool operator==(const pool &other) const {
|
|
|
|
if (size() != other.size())
|
2014-12-26 14:59:41 -06:00
|
|
|
return false;
|
2014-12-30 21:19:04 -06:00
|
|
|
for (auto &it : entries)
|
|
|
|
if (!other.count(it.udata))
|
|
|
|
return false;
|
2014-12-26 14:59:41 -06:00
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
bool operator!=(const pool &other) const {
|
2014-12-26 14:59:41 -06:00
|
|
|
return !(*this == other);
|
|
|
|
}
|
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
size_t size() const { return entries.size(); }
|
|
|
|
bool empty() const { return entries.empty(); }
|
|
|
|
void clear() { hashtable.clear(); entries.clear(); }
|
2014-12-26 14:59:41 -06:00
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
iterator begin() { return iterator(this, int(entries.size())-1); }
|
2014-12-30 06:30:22 -06:00
|
|
|
iterator end() { return iterator(nullptr, -1); }
|
2014-12-26 14:59:41 -06:00
|
|
|
|
2014-12-30 21:19:04 -06:00
|
|
|
const_iterator begin() const { return const_iterator(this, int(entries.size())-1); }
|
2014-12-30 06:30:22 -06:00
|
|
|
const_iterator end() const { return const_iterator(nullptr, -1); }
|
2014-12-26 14:59:41 -06:00
|
|
|
};
|
|
|
|
|
2014-12-28 10:51:16 -06:00
|
|
|
} /* namespace hashlib */
|
|
|
|
|
2014-12-26 12:28:52 -06:00
|
|
|
#endif
|