robin_set.h
1 
24 #ifndef PXR_TSL_ROBIN_SET_H
25 #define PXR_TSL_ROBIN_SET_H
26 
27 #include <cstddef>
28 #include <functional>
29 #include <initializer_list>
30 #include <memory>
31 #include <type_traits>
32 #include <utility>
33 
34 #include "robin_hash.h"
35 
36 // Pixar modification, modify namespace for isolation.
37 #include "pxr/pxr.h"
38 
39 PXR_NAMESPACE_OPEN_SCOPE
40 
41 namespace pxr_tsl {
42 
91 template <class Key, class Hash = std::hash<Key>,
92  class KeyEqual = std::equal_to<Key>,
93  class Allocator = std::allocator<Key>, bool StoreHash = false,
94  class GrowthPolicy = pxr_tsl::rh::power_of_two_growth_policy<2>>
95 class robin_set {
96  private:
97  template <typename U>
98  using has_is_transparent = pxr_tsl::detail_robin_hash::has_is_transparent<U>;
99 
100  class KeySelect {
101  public:
102  using key_type = Key;
103 
104  const key_type& operator()(const Key& key) const noexcept { return key; }
105 
106  key_type& operator()(Key& key) noexcept { return key; }
107  };
108 
109  using ht = detail_robin_hash::robin_hash<Key, KeySelect, void, Hash, KeyEqual,
110  Allocator, StoreHash, GrowthPolicy>;
111 
112  public:
113  using key_type = typename ht::key_type;
114  using value_type = typename ht::value_type;
115  using size_type = typename ht::size_type;
116  using difference_type = typename ht::difference_type;
117  using hasher = typename ht::hasher;
118  using key_equal = typename ht::key_equal;
119  using allocator_type = typename ht::allocator_type;
120  using reference = typename ht::reference;
121  using const_reference = typename ht::const_reference;
122  using pointer = typename ht::pointer;
123  using const_pointer = typename ht::const_pointer;
124  using iterator = typename ht::iterator;
125  using const_iterator = typename ht::const_iterator;
126 
127  /*
128  * Constructors
129  */
130  robin_set() : robin_set(ht::DEFAULT_INIT_BUCKETS_SIZE) {}
131 
132  explicit robin_set(size_type bucket_count, const Hash& hash = Hash(),
133  const KeyEqual& equal = KeyEqual(),
134  const Allocator& alloc = Allocator())
135  : m_ht(bucket_count, hash, equal, alloc) {}
136 
137  robin_set(size_type bucket_count, const Allocator& alloc)
138  : robin_set(bucket_count, Hash(), KeyEqual(), alloc) {}
139 
140  robin_set(size_type bucket_count, const Hash& hash, const Allocator& alloc)
141  : robin_set(bucket_count, hash, KeyEqual(), alloc) {}
142 
143  explicit robin_set(const Allocator& alloc)
144  : robin_set(ht::DEFAULT_INIT_BUCKETS_SIZE, alloc) {}
145 
146  template <class InputIt>
147  robin_set(InputIt first, InputIt last,
148  size_type bucket_count = ht::DEFAULT_INIT_BUCKETS_SIZE,
149  const Hash& hash = Hash(), const KeyEqual& equal = KeyEqual(),
150  const Allocator& alloc = Allocator())
151  : robin_set(bucket_count, hash, equal, alloc) {
152  insert(first, last);
153  }
154 
155  template <class InputIt>
156  robin_set(InputIt first, InputIt last, size_type bucket_count,
157  const Allocator& alloc)
158  : robin_set(first, last, bucket_count, Hash(), KeyEqual(), alloc) {}
159 
160  template <class InputIt>
161  robin_set(InputIt first, InputIt last, size_type bucket_count,
162  const Hash& hash, const Allocator& alloc)
163  : robin_set(first, last, bucket_count, hash, KeyEqual(), alloc) {}
164 
165  robin_set(std::initializer_list<value_type> init,
166  size_type bucket_count = ht::DEFAULT_INIT_BUCKETS_SIZE,
167  const Hash& hash = Hash(), const KeyEqual& equal = KeyEqual(),
168  const Allocator& alloc = Allocator())
169  : robin_set(init.begin(), init.end(), bucket_count, hash, equal, alloc) {}
170 
171  robin_set(std::initializer_list<value_type> init, size_type bucket_count,
172  const Allocator& alloc)
173  : robin_set(init.begin(), init.end(), bucket_count, Hash(), KeyEqual(),
174  alloc) {}
175 
176  robin_set(std::initializer_list<value_type> init, size_type bucket_count,
177  const Hash& hash, const Allocator& alloc)
178  : robin_set(init.begin(), init.end(), bucket_count, hash, KeyEqual(),
179  alloc) {}
180 
181  robin_set& operator=(std::initializer_list<value_type> ilist) {
182  m_ht.clear();
183 
184  m_ht.reserve(ilist.size());
185  m_ht.insert(ilist.begin(), ilist.end());
186 
187  return *this;
188  }
189 
190  allocator_type get_allocator() const { return m_ht.get_allocator(); }
191 
192  /*
193  * Iterators
194  */
195  iterator begin() noexcept { return m_ht.begin(); }
196  const_iterator begin() const noexcept { return m_ht.begin(); }
197  const_iterator cbegin() const noexcept { return m_ht.cbegin(); }
198 
199  iterator end() noexcept { return m_ht.end(); }
200  const_iterator end() const noexcept { return m_ht.end(); }
201  const_iterator cend() const noexcept { return m_ht.cend(); }
202 
203  /*
204  * Capacity
205  */
206  bool empty() const noexcept { return m_ht.empty(); }
207  size_type size() const noexcept { return m_ht.size(); }
208  size_type max_size() const noexcept { return m_ht.max_size(); }
209 
210  /*
211  * Modifiers
212  */
213  void clear() noexcept { m_ht.clear(); }
214 
215  std::pair<iterator, bool> insert(const value_type& value) {
216  return m_ht.insert(value);
217  }
218 
219  std::pair<iterator, bool> insert(value_type&& value) {
220  return m_ht.insert(std::move(value));
221  }
222 
223  iterator insert(const_iterator hint, const value_type& value) {
224  return m_ht.insert_hint(hint, value);
225  }
226 
227  iterator insert(const_iterator hint, value_type&& value) {
228  return m_ht.insert_hint(hint, std::move(value));
229  }
230 
231  template <class InputIt>
232  void insert(InputIt first, InputIt last) {
233  m_ht.insert(first, last);
234  }
235 
236  void insert(std::initializer_list<value_type> ilist) {
237  m_ht.insert(ilist.begin(), ilist.end());
238  }
239 
247  template <class... Args>
248  std::pair<iterator, bool> emplace(Args&&... args) {
249  return m_ht.emplace(std::forward<Args>(args)...);
250  }
251 
259  template <class... Args>
260  iterator emplace_hint(const_iterator hint, Args&&... args) {
261  return m_ht.emplace_hint(hint, std::forward<Args>(args)...);
262  }
263 
264  iterator erase(iterator pos) { return m_ht.erase(pos); }
265  iterator erase(const_iterator pos) { return m_ht.erase(pos); }
266  iterator erase(const_iterator first, const_iterator last) {
267  return m_ht.erase(first, last);
268  }
269  size_type erase(const key_type& key) { return m_ht.erase(key); }
270 
277  void erase_fast(iterator pos) { return m_ht.erase_fast(pos); }
278 
284  size_type erase(const key_type& key, std::size_t precalculated_hash) {
285  return m_ht.erase(key, precalculated_hash);
286  }
287 
293  template <
294  class K, class KE = KeyEqual,
295  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
296  size_type erase(const K& key) {
297  return m_ht.erase(key);
298  }
299 
307  template <
308  class K, class KE = KeyEqual,
309  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
310  size_type erase(const K& key, std::size_t precalculated_hash) {
311  return m_ht.erase(key, precalculated_hash);
312  }
313 
314  void swap(robin_set& other) { other.m_ht.swap(m_ht); }
315 
316  /*
317  * Lookup
318  */
319  size_type count(const Key& key) const { return m_ht.count(key); }
320 
326  size_type count(const Key& key, std::size_t precalculated_hash) const {
327  return m_ht.count(key, precalculated_hash);
328  }
329 
335  template <
336  class K, class KE = KeyEqual,
337  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
338  size_type count(const K& key) const {
339  return m_ht.count(key);
340  }
341 
349  template <
350  class K, class KE = KeyEqual,
351  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
352  size_type count(const K& key, std::size_t precalculated_hash) const {
353  return m_ht.count(key, precalculated_hash);
354  }
355 
356  iterator find(const Key& key) { return m_ht.find(key); }
357 
363  iterator find(const Key& key, std::size_t precalculated_hash) {
364  return m_ht.find(key, precalculated_hash);
365  }
366 
367  const_iterator find(const Key& key) const { return m_ht.find(key); }
368 
372  const_iterator find(const Key& key, std::size_t precalculated_hash) const {
373  return m_ht.find(key, precalculated_hash);
374  }
375 
381  template <
382  class K, class KE = KeyEqual,
383  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
384  iterator find(const K& key) {
385  return m_ht.find(key);
386  }
387 
395  template <
396  class K, class KE = KeyEqual,
397  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
398  iterator find(const K& key, std::size_t precalculated_hash) {
399  return m_ht.find(key, precalculated_hash);
400  }
401 
405  template <
406  class K, class KE = KeyEqual,
407  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
408  const_iterator find(const K& key) const {
409  return m_ht.find(key);
410  }
411 
419  template <
420  class K, class KE = KeyEqual,
421  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
422  const_iterator find(const K& key, std::size_t precalculated_hash) const {
423  return m_ht.find(key, precalculated_hash);
424  }
425 
426  bool contains(const Key& key) const { return m_ht.contains(key); }
427 
433  bool contains(const Key& key, std::size_t precalculated_hash) const {
434  return m_ht.contains(key, precalculated_hash);
435  }
436 
442  template <
443  class K, class KE = KeyEqual,
444  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
445  bool contains(const K& key) const {
446  return m_ht.contains(key);
447  }
448 
456  template <
457  class K, class KE = KeyEqual,
458  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
459  bool contains(const K& key, std::size_t precalculated_hash) const {
460  return m_ht.contains(key, precalculated_hash);
461  }
462 
463  std::pair<iterator, iterator> equal_range(const Key& key) {
464  return m_ht.equal_range(key);
465  }
466 
472  std::pair<iterator, iterator> equal_range(const Key& key,
473  std::size_t precalculated_hash) {
474  return m_ht.equal_range(key, precalculated_hash);
475  }
476 
477  std::pair<const_iterator, const_iterator> equal_range(const Key& key) const {
478  return m_ht.equal_range(key);
479  }
480 
484  std::pair<const_iterator, const_iterator> equal_range(
485  const Key& key, std::size_t precalculated_hash) const {
486  return m_ht.equal_range(key, precalculated_hash);
487  }
488 
494  template <
495  class K, class KE = KeyEqual,
496  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
497  std::pair<iterator, iterator> equal_range(const K& key) {
498  return m_ht.equal_range(key);
499  }
500 
508  template <
509  class K, class KE = KeyEqual,
510  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
511  std::pair<iterator, iterator> equal_range(const K& key,
512  std::size_t precalculated_hash) {
513  return m_ht.equal_range(key, precalculated_hash);
514  }
515 
519  template <
520  class K, class KE = KeyEqual,
521  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
522  std::pair<const_iterator, const_iterator> equal_range(const K& key) const {
523  return m_ht.equal_range(key);
524  }
525 
529  template <
530  class K, class KE = KeyEqual,
531  typename std::enable_if<has_is_transparent<KE>::value>::type* = nullptr>
532  std::pair<const_iterator, const_iterator> equal_range(
533  const K& key, std::size_t precalculated_hash) const {
534  return m_ht.equal_range(key, precalculated_hash);
535  }
536 
537  /*
538  * Bucket interface
539  */
540  size_type bucket_count() const { return m_ht.bucket_count(); }
541  size_type max_bucket_count() const { return m_ht.max_bucket_count(); }
542 
543  /*
544  * Hash policy
545  */
546  float load_factor() const { return m_ht.load_factor(); }
547 
548  float min_load_factor() const { return m_ht.min_load_factor(); }
549  float max_load_factor() const { return m_ht.max_load_factor(); }
550 
560  void min_load_factor(float ml) { m_ht.min_load_factor(ml); }
561  void max_load_factor(float ml) { m_ht.max_load_factor(ml); }
562 
563  void rehash(size_type count_) { m_ht.rehash(count_); }
564  void reserve(size_type count_) { m_ht.reserve(count_); }
565 
566  /*
567  * Observers
568  */
569  hasher hash_function() const { return m_ht.hash_function(); }
570  key_equal key_eq() const { return m_ht.key_eq(); }
571 
572  /*
573  * Other
574  */
575 
579  iterator mutable_iterator(const_iterator pos) {
580  return m_ht.mutable_iterator(pos);
581  }
582 
583  friend bool operator==(const robin_set& lhs, const robin_set& rhs) {
584  if (lhs.size() != rhs.size()) {
585  return false;
586  }
587 
588  for (const auto& element_lhs : lhs) {
589  const auto it_element_rhs = rhs.find(element_lhs);
590  if (it_element_rhs == rhs.cend()) {
591  return false;
592  }
593  }
594 
595  return true;
596  }
597 
611  template <class Serializer>
612  void serialize(Serializer& serializer) const {
613  m_ht.serialize(serializer);
614  }
615 
642  template <class Deserializer>
643  static robin_set deserialize(Deserializer& deserializer,
644  bool hash_compatible = false) {
645  robin_set set(0);
646  set.m_ht.deserialize(deserializer, hash_compatible);
647 
648  return set;
649  }
650 
651  friend bool operator!=(const robin_set& lhs, const robin_set& rhs) {
652  return !operator==(lhs, rhs);
653  }
654 
655  friend void swap(robin_set& lhs, robin_set& rhs) { lhs.swap(rhs); }
656 
657  private:
658  ht m_ht;
659 };
660 
665 template <class Key, class Hash = std::hash<Key>,
666  class KeyEqual = std::equal_to<Key>,
667  class Allocator = std::allocator<Key>, bool StoreHash = false>
668 using robin_pg_set = robin_set<Key, Hash, KeyEqual, Allocator, StoreHash,
670 
671 } // end namespace pxr_tsl
672 
673 PXR_NAMESPACE_CLOSE_SCOPE
674 
675 #endif
void min_load_factor(float ml)
Set the min_load_factor to ml.
Definition: robin_set.h:560
const_iterator find(const K &key) const
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:408
bool contains(const K &key, std::size_t precalculated_hash) const
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:459
iterator mutable_iterator(const_iterator pos)
Convert a const_iterator to an iterator.
Definition: robin_set.h:579
std::pair< const_iterator, const_iterator > equal_range(const Key &key, std::size_t precalculated_hash) const
Use the hash value 'precalculated_hash' instead of hashing the key.
Definition: robin_set.h:484
std::pair< iterator, iterator > equal_range(const K &key)
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:497
size_type erase(const K &key)
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:296
Grow the hash table by using prime numbers as bucket count.
robin_set< Key, Hash, KeyEqual, Allocator, StoreHash, pxr_tsl::rh::prime_growth_policy > robin_pg_set
Same as pxr_tsl::robin_set<Key, Hash, KeyEqual, Allocator, StoreHash, pxr_tsl::rh::prime_growth_polic...
Definition: robin_set.h:669
iterator find(const Key &key, std::size_t precalculated_hash)
Use the hash value 'precalculated_hash' instead of hashing the key.
Definition: robin_set.h:363
bool contains(const K &key) const
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:445
void serialize(Serializer &serializer) const
Serialize the set through the serializer parameter.
Definition: robin_set.h:612
std::pair< const_iterator, const_iterator > equal_range(const K &key) const
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:522
std::pair< iterator, iterator > equal_range(const Key &key, std::size_t precalculated_hash)
Use the hash value 'precalculated_hash' instead of hashing the key.
Definition: robin_set.h:472
size_type count(const Key &key, std::size_t precalculated_hash) const
Use the hash value 'precalculated_hash' instead of hashing the key.
Definition: robin_set.h:326
iterator find(const K &key)
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:384
void erase_fast(iterator pos)
Erase the element at position 'pos'.
Definition: robin_set.h:277
static robin_set deserialize(Deserializer &deserializer, bool hash_compatible=false)
Deserialize a previously serialized set through the deserializer parameter.
Definition: robin_set.h:643
const_iterator find(const Key &key, std::size_t precalculated_hash) const
Use the hash value 'precalculated_hash' instead of hashing the key.
Definition: robin_set.h:372
std::pair< iterator, bool > emplace(Args &&... args)
Due to the way elements are stored, emplace will need to move or copy the key-value once.
Definition: robin_set.h:248
std::pair< const_iterator, const_iterator > equal_range(const K &key, std::size_t precalculated_hash) const
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:532
bool contains(const Key &key, std::size_t precalculated_hash) const
Use the hash value 'precalculated_hash' instead of hashing the key.
Definition: robin_set.h:433
iterator emplace_hint(const_iterator hint, Args &&... args)
Due to the way elements are stored, emplace_hint will need to move or copy the key-value once.
Definition: robin_set.h:260
Implementation of a hash set using open-addressing and the robin hood hashing algorithm with backward...
Definition: robin_set.h:95
size_type erase(const K &key, std::size_t precalculated_hash)
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:310
size_type count(const K &key) const
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:338
std::pair< iterator, iterator > equal_range(const K &key, std::size_t precalculated_hash)
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:511
iterator erase(iterator pos)
Here to avoid template<class K> size_type erase(const K& key) being used when we use an iterator inst...
Definition: robin_hash.h:836
MIT License.
size_type count(const K &key, std::size_t precalculated_hash) const
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:352
size_type erase(const key_type &key, std::size_t precalculated_hash)
Use the hash value 'precalculated_hash' instead of hashing the key.
Definition: robin_set.h:284
iterator find(const K &key, std::size_t precalculated_hash)
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:398
const_iterator find(const K &key, std::size_t precalculated_hash) const
This overload only participates in the overload resolution if the typedef KeyEqual::is_transparent ex...
Definition: robin_set.h:422