|
| bhopscotch_set () |
|
| bhopscotch_set (size_type bucket_count, const Hash &hash=Hash(), const KeyEqual &equal=KeyEqual(), const Allocator &alloc=Allocator(), const Compare &comp=Compare()) |
|
| bhopscotch_set (size_type bucket_count, const Allocator &alloc) |
|
| bhopscotch_set (size_type bucket_count, const Hash &hash, const Allocator &alloc) |
|
| bhopscotch_set (const Allocator &alloc) |
|
template<class InputIt > |
| bhopscotch_set (InputIt first, InputIt last, size_type bucket_count=ht::DEFAULT_INIT_BUCKETS_SIZE, const Hash &hash=Hash(), const KeyEqual &equal=KeyEqual(), const Allocator &alloc=Allocator()) |
|
template<class InputIt > |
| bhopscotch_set (InputIt first, InputIt last, size_type bucket_count, const Allocator &alloc) |
|
template<class InputIt > |
| bhopscotch_set (InputIt first, InputIt last, size_type bucket_count, const Hash &hash, const Allocator &alloc) |
|
| bhopscotch_set (std::initializer_list< value_type > init, size_type bucket_count=ht::DEFAULT_INIT_BUCKETS_SIZE, const Hash &hash=Hash(), const KeyEqual &equal=KeyEqual(), const Allocator &alloc=Allocator()) |
|
| bhopscotch_set (std::initializer_list< value_type > init, size_type bucket_count, const Allocator &alloc) |
|
| bhopscotch_set (std::initializer_list< value_type > init, size_type bucket_count, const Hash &hash, const Allocator &alloc) |
|
bhopscotch_set & | operator= (std::initializer_list< value_type > ilist) |
|
allocator_type | get_allocator () const |
|
iterator | begin () noexcept |
|
const_iterator | begin () const noexcept |
|
const_iterator | cbegin () const noexcept |
|
iterator | end () noexcept |
|
const_iterator | end () const noexcept |
|
const_iterator | cend () const noexcept |
|
bool | empty () const noexcept |
|
size_type | size () const noexcept |
|
size_type | max_size () const noexcept |
|
void | clear () noexcept |
|
std::pair< iterator, bool > | insert (const value_type &value) |
|
std::pair< iterator, bool > | insert (value_type &&value) |
|
iterator | insert (const_iterator hint, const value_type &value) |
|
iterator | insert (const_iterator hint, value_type &&value) |
|
template<class InputIt > |
void | insert (InputIt first, InputIt last) |
|
void | insert (std::initializer_list< value_type > ilist) |
|
template<class... Args> |
std::pair< iterator, bool > | emplace (Args &&... args) |
|
template<class... Args> |
iterator | emplace_hint (const_iterator hint, Args &&... args) |
|
iterator | erase (iterator pos) |
|
iterator | erase (const_iterator pos) |
|
iterator | erase (const_iterator first, const_iterator last) |
|
size_type | erase (const key_type &key) |
|
size_type | erase (const key_type &key, std::size_t precalculated_hash) |
|
template<class K , class KE = KeyEqual, class CP = Compare, typename std::enable_if< has_is_transparent< KE >::value &&has_is_transparent< CP >::value >::type * = nullptr> |
size_type | erase (const K &key) |
|
template<class K , class KE = KeyEqual, class CP = Compare, typename std::enable_if< has_is_transparent< KE >::value &&has_is_transparent< CP >::value >::type * = nullptr> |
size_type | erase (const K &key, std::size_t precalculated_hash) |
|
void | swap (bhopscotch_set &other) |
|
size_type | count (const Key &key) const |
|
size_type | count (const Key &key, std::size_t precalculated_hash) const |
|
template<class K , class KE = KeyEqual, class CP = Compare, typename std::enable_if< has_is_transparent< KE >::value &&has_is_transparent< CP >::value >::type * = nullptr> |
size_type | count (const K &key) const |
|
template<class K , class KE = KeyEqual, class CP = Compare, typename std::enable_if< has_is_transparent< KE >::value &&has_is_transparent< CP >::value >::type * = nullptr> |
size_type | count (const K &key, std::size_t precalculated_hash) const |
|
iterator | find (const Key &key) |
|
iterator | find (const Key &key, std::size_t precalculated_hash) |
|
const_iterator | find (const Key &key) const |
|
const_iterator | find (const Key &key, std::size_t precalculated_hash) const |
|
template<class K , class KE = KeyEqual, class CP = Compare, typename std::enable_if< has_is_transparent< KE >::value &&has_is_transparent< CP >::value >::type * = nullptr> |
iterator | find (const K &key) |
|
template<class K , class KE = KeyEqual, class CP = Compare, typename std::enable_if< has_is_transparent< KE >::value &&has_is_transparent< CP >::value >::type * = nullptr> |
iterator | find (const K &key, std::size_t precalculated_hash) |
|
template<class K , class KE = KeyEqual, class CP = Compare, typename std::enable_if< has_is_transparent< KE >::value &&has_is_transparent< CP >::value >::type * = nullptr> |
const_iterator | find (const K &key) const |
|
template<class K , class KE = KeyEqual, class CP = Compare, typename std::enable_if< has_is_transparent< KE >::value &&has_is_transparent< CP >::value >::type * = nullptr> |
const_iterator | find (const K &key, std::size_t precalculated_hash) const |
|
std::pair< iterator, iterator > | equal_range (const Key &key) |
|
std::pair< iterator, iterator > | equal_range (const Key &key, std::size_t precalculated_hash) |
|
std::pair< const_iterator, const_iterator > | equal_range (const Key &key) const |
|
std::pair< const_iterator, const_iterator > | equal_range (const Key &key, std::size_t precalculated_hash) const |
|
template<class K , class KE = KeyEqual, class CP = Compare, typename std::enable_if< has_is_transparent< KE >::value &&has_is_transparent< CP >::value >::type * = nullptr> |
std::pair< iterator, iterator > | equal_range (const K &key) |
|
template<class K , class KE = KeyEqual, class CP = Compare, typename std::enable_if< has_is_transparent< KE >::value &&has_is_transparent< CP >::value >::type * = nullptr> |
std::pair< iterator, iterator > | equal_range (const K &key, std::size_t precalculated_hash) |
|
template<class K , class KE = KeyEqual, class CP = Compare, typename std::enable_if< has_is_transparent< KE >::value &&has_is_transparent< CP >::value >::type * = nullptr> |
std::pair< const_iterator, const_iterator > | equal_range (const K &key) const |
|
template<class K , class KE = KeyEqual, class CP = Compare, typename std::enable_if< has_is_transparent< KE >::value &&has_is_transparent< CP >::value >::type * = nullptr> |
std::pair< const_iterator, const_iterator > | equal_range (const K &key, std::size_t precalculated_hash) const |
|
size_type | bucket_count () const |
|
size_type | max_bucket_count () const |
|
float | load_factor () const |
|
float | max_load_factor () const |
|
void | max_load_factor (float ml) |
|
void | rehash (size_type count_) |
|
void | reserve (size_type count_) |
|
hasher | hash_function () const |
|
key_equal | key_eq () const |
|
key_compare | key_comp () const |
|
iterator | mutable_iterator (const_iterator pos) |
|
size_type | overflow_size () const noexcept |
|
template<class Key, class Hash = std::hash<Key>, class KeyEqual = std::equal_to<Key>, class Compare = std::less<Key>, class Allocator = std::allocator<Key>, unsigned int NeighborhoodSize = 62, bool StoreHash = false, class GrowthPolicy = tsl::hh::power_of_two_growth_policy<2>>
class tsl::bhopscotch_set< Key, Hash, KeyEqual, Compare, Allocator, NeighborhoodSize, StoreHash, GrowthPolicy >
Similar to tsl::hopscotch_set but instead of using a list for overflowing elements it uses a binary search tree. It thus needs an additional template parameter Compare. Compare should be arithmetically coherent with KeyEqual.
The binary search tree allows the set to have a worst-case scenario of O(log n) for search and delete, even if the hash function maps all the elements to the same bucket. For insert, the amortized worst case is O(log n), but the worst case is O(n) in case of rehash.
This makes the set resistant to DoS attacks (but doesn't preclude you to have a good hash function, as an element in the bucket array is faster to retrieve than in the tree).
Implementation of a hash set using the hopscotch hashing algorithm.
The Key must be either nothrow move-constructible, copy-constuctible or both.
The size of the neighborhood (NeighborhoodSize) must be > 0 and <= 62 if StoreHash is false. When StoreHash is true, 32-bits of the hash will be stored alongside the neighborhood limiting the NeighborhoodSize to <= 30. There is no memory usage difference between 'NeighborhoodSize 62; StoreHash false' and 'NeighborhoodSize 30; StoreHash true'.
Storing the hash may improve performance on insert during the rehash process if the hash takes time to compute. It may also improve read performance if the KeyEqual function takes time (or incurs a cache-miss). If used with simple Hash and KeyEqual it may slow things down.
StoreHash can only be set if the GrowthPolicy is set to tsl::power_of_two_growth_policy.
GrowthPolicy defines how the set grows and consequently how a hash value is mapped to a bucket. By default the set uses tsl::power_of_two_growth_policy. This policy keeps the number of buckets to a power of two and uses a mask to set the hash to a bucket instead of the slow modulo. You may define your own growth policy, check tsl::power_of_two_growth_policy for the interface.
If the destructor of Key throws an exception, behaviour of the class is undefined.
Iterators invalidation:
- clear, operator=, reserve, rehash: always invalidate the iterators.
- insert, emplace, emplace_hint, operator[]: if there is an effective insert, invalidate the iterators if a displacement is needed to resolve a collision (which mean that most of the time, insert will invalidate the iterators). Or if there is a rehash.
- erase: iterator on the erased element is the only one which become invalid.