123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699 |
- // Copyright (C) 2022-2023 Christian Mazakas
- // Distributed under the Boost Software License, Version 1.0. (See accompanying
- // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- #ifndef BOOST_UNORDERED_UNORDERED_NODE_SET_HPP_INCLUDED
- #define BOOST_UNORDERED_UNORDERED_NODE_SET_HPP_INCLUDED
- #include <boost/config.hpp>
- #if defined(BOOST_HAS_PRAGMA_ONCE)
- #pragma once
- #endif
- #include <boost/unordered/detail/foa/element_type.hpp>
- #include <boost/unordered/detail/foa/node_handle.hpp>
- #include <boost/unordered/detail/foa/node_set_types.hpp>
- #include <boost/unordered/detail/foa/table.hpp>
- #include <boost/unordered/detail/serialize_container.hpp>
- #include <boost/unordered/detail/type_traits.hpp>
- #include <boost/unordered/unordered_node_set_fwd.hpp>
- #include <boost/core/allocator_access.hpp>
- #include <boost/container_hash/hash.hpp>
- #include <boost/throw_exception.hpp>
- #include <initializer_list>
- #include <iterator>
- #include <type_traits>
- #include <utility>
- namespace boost {
- namespace unordered {
- #if defined(BOOST_MSVC)
- #pragma warning(push)
- #pragma warning(disable : 4714) /* marked as __forceinline not inlined */
- #endif
- namespace detail {
- template <class TypePolicy, class Allocator>
- struct node_set_handle
- : public detail::foa::node_handle_base<TypePolicy, Allocator>
- {
- private:
- using base_type = detail::foa::node_handle_base<TypePolicy, Allocator>;
- using typename base_type::type_policy;
- template <class Key, class Hash, class Pred, class Alloc>
- friend class boost::unordered::unordered_node_set;
- public:
- using value_type = typename TypePolicy::value_type;
- constexpr node_set_handle() noexcept = default;
- node_set_handle(node_set_handle&& nh) noexcept = default;
- node_set_handle& operator=(node_set_handle&&) noexcept = default;
- value_type& value() const
- {
- BOOST_ASSERT(!this->empty());
- return const_cast<value_type&>(this->data());
- }
- };
- } // namespace detail
- template <class Key, class Hash, class KeyEqual, class Allocator>
- class unordered_node_set
- {
- using set_types = detail::foa::node_set_types<Key,
- typename boost::allocator_void_pointer<Allocator>::type>;
- using table_type = detail::foa::table<set_types, Hash, KeyEqual,
- typename boost::allocator_rebind<Allocator,
- typename set_types::value_type>::type>;
- table_type table_;
- template <class K, class H, class KE, class A>
- bool friend operator==(unordered_node_set<K, H, KE, A> const& lhs,
- unordered_node_set<K, H, KE, A> const& rhs);
- template <class K, class H, class KE, class A, class Pred>
- typename unordered_node_set<K, H, KE, A>::size_type friend erase_if(
- unordered_node_set<K, H, KE, A>& set, Pred pred);
- public:
- using key_type = Key;
- using value_type = typename set_types::value_type;
- using init_type = typename set_types::init_type;
- using size_type = std::size_t;
- using difference_type = std::ptrdiff_t;
- using hasher = Hash;
- using key_equal = KeyEqual;
- using allocator_type = Allocator;
- using reference = value_type&;
- using const_reference = value_type const&;
- using pointer = typename boost::allocator_pointer<allocator_type>::type;
- using const_pointer =
- typename boost::allocator_const_pointer<allocator_type>::type;
- using iterator = typename table_type::iterator;
- using const_iterator = typename table_type::const_iterator;
- using node_type = detail::node_set_handle<set_types,
- typename boost::allocator_rebind<Allocator,
- typename set_types::value_type>::type>;
- using insert_return_type =
- detail::foa::insert_return_type<iterator, node_type>;
- unordered_node_set() : unordered_node_set(0) {}
- explicit unordered_node_set(size_type n, hasher const& h = hasher(),
- key_equal const& pred = key_equal(),
- allocator_type const& a = allocator_type())
- : table_(n, h, pred, a)
- {
- }
- unordered_node_set(size_type n, allocator_type const& a)
- : unordered_node_set(n, hasher(), key_equal(), a)
- {
- }
- unordered_node_set(size_type n, hasher const& h, allocator_type const& a)
- : unordered_node_set(n, h, key_equal(), a)
- {
- }
- template <class InputIterator>
- unordered_node_set(
- InputIterator f, InputIterator l, allocator_type const& a)
- : unordered_node_set(f, l, size_type(0), hasher(), key_equal(), a)
- {
- }
- explicit unordered_node_set(allocator_type const& a)
- : unordered_node_set(0, a)
- {
- }
- template <class Iterator>
- unordered_node_set(Iterator first, Iterator last, size_type n = 0,
- hasher const& h = hasher(), key_equal const& pred = key_equal(),
- allocator_type const& a = allocator_type())
- : unordered_node_set(n, h, pred, a)
- {
- this->insert(first, last);
- }
- template <class InputIt>
- unordered_node_set(
- InputIt first, InputIt last, size_type n, allocator_type const& a)
- : unordered_node_set(first, last, n, hasher(), key_equal(), a)
- {
- }
- template <class Iterator>
- unordered_node_set(Iterator first, Iterator last, size_type n,
- hasher const& h, allocator_type const& a)
- : unordered_node_set(first, last, n, h, key_equal(), a)
- {
- }
- unordered_node_set(unordered_node_set const& other) : table_(other.table_)
- {
- }
- unordered_node_set(
- unordered_node_set const& other, allocator_type const& a)
- : table_(other.table_, a)
- {
- }
- unordered_node_set(unordered_node_set&& other)
- noexcept(std::is_nothrow_move_constructible<table_type>::value)
- : table_(std::move(other.table_))
- {
- }
- unordered_node_set(unordered_node_set&& other, allocator_type const& al)
- : table_(std::move(other.table_), al)
- {
- }
- unordered_node_set(std::initializer_list<value_type> ilist,
- size_type n = 0, hasher const& h = hasher(),
- key_equal const& pred = key_equal(),
- allocator_type const& a = allocator_type())
- : unordered_node_set(ilist.begin(), ilist.end(), n, h, pred, a)
- {
- }
- unordered_node_set(
- std::initializer_list<value_type> il, allocator_type const& a)
- : unordered_node_set(il, size_type(0), hasher(), key_equal(), a)
- {
- }
- unordered_node_set(std::initializer_list<value_type> init, size_type n,
- allocator_type const& a)
- : unordered_node_set(init, n, hasher(), key_equal(), a)
- {
- }
- unordered_node_set(std::initializer_list<value_type> init, size_type n,
- hasher const& h, allocator_type const& a)
- : unordered_node_set(init, n, h, key_equal(), a)
- {
- }
- ~unordered_node_set() = default;
- unordered_node_set& operator=(unordered_node_set const& other)
- {
- table_ = other.table_;
- return *this;
- }
- unordered_node_set& operator=(unordered_node_set&& other) noexcept(
- noexcept(std::declval<table_type&>() = std::declval<table_type&&>()))
- {
- table_ = std::move(other.table_);
- return *this;
- }
- allocator_type get_allocator() const noexcept
- {
- return table_.get_allocator();
- }
- /// Iterators
- ///
- iterator begin() noexcept { return table_.begin(); }
- const_iterator begin() const noexcept { return table_.begin(); }
- const_iterator cbegin() const noexcept { return table_.cbegin(); }
- iterator end() noexcept { return table_.end(); }
- const_iterator end() const noexcept { return table_.end(); }
- const_iterator cend() const noexcept { return table_.cend(); }
- /// Capacity
- ///
- BOOST_ATTRIBUTE_NODISCARD bool empty() const noexcept
- {
- return table_.empty();
- }
- size_type size() const noexcept { return table_.size(); }
- size_type max_size() const noexcept { return table_.max_size(); }
- /// Modifiers
- ///
- void clear() noexcept { table_.clear(); }
- BOOST_FORCEINLINE std::pair<iterator, bool> insert(
- value_type const& value)
- {
- return table_.insert(value);
- }
- BOOST_FORCEINLINE std::pair<iterator, bool> insert(value_type&& value)
- {
- return table_.insert(std::move(value));
- }
- template <class K>
- BOOST_FORCEINLINE typename std::enable_if<
- detail::transparent_non_iterable<K, unordered_node_set>::value,
- std::pair<iterator, bool> >::type
- insert(K&& k)
- {
- return table_.try_emplace(std::forward<K>(k));
- }
- BOOST_FORCEINLINE iterator insert(const_iterator, value_type const& value)
- {
- return table_.insert(value).first;
- }
- BOOST_FORCEINLINE iterator insert(const_iterator, value_type&& value)
- {
- return table_.insert(std::move(value)).first;
- }
- template <class K>
- BOOST_FORCEINLINE typename std::enable_if<
- detail::transparent_non_iterable<K, unordered_node_set>::value,
- iterator>::type
- insert(const_iterator, K&& k)
- {
- return table_.try_emplace(std::forward<K>(k)).first;
- }
- template <class InputIterator>
- void insert(InputIterator first, InputIterator last)
- {
- for (auto pos = first; pos != last; ++pos) {
- table_.emplace(*pos);
- }
- }
- void insert(std::initializer_list<value_type> ilist)
- {
- this->insert(ilist.begin(), ilist.end());
- }
- insert_return_type insert(node_type&& nh)
- {
- if (nh.empty()) {
- return {end(), false, node_type{}};
- }
- BOOST_ASSERT(get_allocator() == nh.get_allocator());
- auto itp = table_.insert(std::move(nh.element()));
- if (itp.second) {
- nh.reset();
- return {itp.first, true, node_type{}};
- } else {
- return {itp.first, false, std::move(nh)};
- }
- }
- iterator insert(const_iterator, node_type&& nh)
- {
- if (nh.empty()) {
- return end();
- }
- BOOST_ASSERT(get_allocator() == nh.get_allocator());
- auto itp = table_.insert(std::move(nh.element()));
- if (itp.second) {
- nh.reset();
- return itp.first;
- } else {
- return itp.first;
- }
- }
- template <class... Args>
- BOOST_FORCEINLINE std::pair<iterator, bool> emplace(Args&&... args)
- {
- return table_.emplace(std::forward<Args>(args)...);
- }
- template <class... Args>
- BOOST_FORCEINLINE iterator emplace_hint(const_iterator, Args&&... args)
- {
- return table_.emplace(std::forward<Args>(args)...).first;
- }
- BOOST_FORCEINLINE typename table_type::erase_return_type erase(
- const_iterator pos)
- {
- return table_.erase(pos);
- }
- iterator erase(const_iterator first, const_iterator last)
- {
- while (first != last) {
- this->erase(first++);
- }
- return iterator{detail::foa::const_iterator_cast_tag{}, last};
- }
- BOOST_FORCEINLINE size_type erase(key_type const& key)
- {
- return table_.erase(key);
- }
- template <class K>
- BOOST_FORCEINLINE typename std::enable_if<
- detail::transparent_non_iterable<K, unordered_node_set>::value,
- size_type>::type
- erase(K const& key)
- {
- return table_.erase(key);
- }
- void swap(unordered_node_set& rhs) noexcept(
- noexcept(std::declval<table_type&>().swap(std::declval<table_type&>())))
- {
- table_.swap(rhs.table_);
- }
- node_type extract(const_iterator pos)
- {
- BOOST_ASSERT(pos != end());
- node_type nh;
- auto elem = table_.extract(pos);
- nh.emplace(std::move(elem), get_allocator());
- return nh;
- }
- node_type extract(key_type const& key)
- {
- auto pos = find(key);
- return pos != end() ? extract(pos) : node_type();
- }
- template <class K>
- typename std::enable_if<
- boost::unordered::detail::transparent_non_iterable<K,
- unordered_node_set>::value,
- node_type>::type
- extract(K const& key)
- {
- auto pos = find(key);
- return pos != end() ? extract(pos) : node_type();
- }
- template <class H2, class P2>
- void merge(unordered_node_set<key_type, H2, P2, allocator_type>& source)
- {
- BOOST_ASSERT(get_allocator() == source.get_allocator());
- table_.merge(source.table_);
- }
- template <class H2, class P2>
- void merge(unordered_node_set<key_type, H2, P2, allocator_type>&& source)
- {
- BOOST_ASSERT(get_allocator() == source.get_allocator());
- table_.merge(std::move(source.table_));
- }
- /// Lookup
- ///
- BOOST_FORCEINLINE size_type count(key_type const& key) const
- {
- auto pos = table_.find(key);
- return pos != table_.end() ? 1 : 0;
- }
- template <class K>
- BOOST_FORCEINLINE typename std::enable_if<
- detail::are_transparent<K, hasher, key_equal>::value, size_type>::type
- count(K const& key) const
- {
- auto pos = table_.find(key);
- return pos != table_.end() ? 1 : 0;
- }
- BOOST_FORCEINLINE iterator find(key_type const& key)
- {
- return table_.find(key);
- }
- BOOST_FORCEINLINE const_iterator find(key_type const& key) const
- {
- return table_.find(key);
- }
- template <class K>
- BOOST_FORCEINLINE typename std::enable_if<
- boost::unordered::detail::are_transparent<K, hasher, key_equal>::value,
- iterator>::type
- find(K const& key)
- {
- return table_.find(key);
- }
- template <class K>
- BOOST_FORCEINLINE typename std::enable_if<
- boost::unordered::detail::are_transparent<K, hasher, key_equal>::value,
- const_iterator>::type
- find(K const& key) const
- {
- return table_.find(key);
- }
- BOOST_FORCEINLINE bool contains(key_type const& key) const
- {
- return this->find(key) != this->end();
- }
- template <class K>
- BOOST_FORCEINLINE typename std::enable_if<
- boost::unordered::detail::are_transparent<K, hasher, key_equal>::value,
- bool>::type
- contains(K const& key) const
- {
- return this->find(key) != this->end();
- }
- std::pair<iterator, iterator> equal_range(key_type const& key)
- {
- auto pos = table_.find(key);
- if (pos == table_.end()) {
- return {pos, pos};
- }
- auto next = pos;
- ++next;
- return {pos, next};
- }
- std::pair<const_iterator, const_iterator> equal_range(
- key_type const& key) const
- {
- auto pos = table_.find(key);
- if (pos == table_.end()) {
- return {pos, pos};
- }
- auto next = pos;
- ++next;
- return {pos, next};
- }
- template <class K>
- typename std::enable_if<
- detail::are_transparent<K, hasher, key_equal>::value,
- std::pair<iterator, iterator> >::type
- equal_range(K const& key)
- {
- auto pos = table_.find(key);
- if (pos == table_.end()) {
- return {pos, pos};
- }
- auto next = pos;
- ++next;
- return {pos, next};
- }
- template <class K>
- typename std::enable_if<
- detail::are_transparent<K, hasher, key_equal>::value,
- std::pair<const_iterator, const_iterator> >::type
- equal_range(K const& key) const
- {
- auto pos = table_.find(key);
- if (pos == table_.end()) {
- return {pos, pos};
- }
- auto next = pos;
- ++next;
- return {pos, next};
- }
- /// Hash Policy
- ///
- size_type bucket_count() const noexcept { return table_.capacity(); }
- float load_factor() const noexcept { return table_.load_factor(); }
- float max_load_factor() const noexcept
- {
- return table_.max_load_factor();
- }
- void max_load_factor(float) {}
- size_type max_load() const noexcept { return table_.max_load(); }
- void rehash(size_type n) { table_.rehash(n); }
- void reserve(size_type n) { table_.reserve(n); }
- /// Observers
- ///
- hasher hash_function() const { return table_.hash_function(); }
- key_equal key_eq() const { return table_.key_eq(); }
- };
- template <class Key, class Hash, class KeyEqual, class Allocator>
- bool operator==(
- unordered_node_set<Key, Hash, KeyEqual, Allocator> const& lhs,
- unordered_node_set<Key, Hash, KeyEqual, Allocator> const& rhs)
- {
- return lhs.table_ == rhs.table_;
- }
- template <class Key, class Hash, class KeyEqual, class Allocator>
- bool operator!=(
- unordered_node_set<Key, Hash, KeyEqual, Allocator> const& lhs,
- unordered_node_set<Key, Hash, KeyEqual, Allocator> const& rhs)
- {
- return !(lhs == rhs);
- }
- template <class Key, class Hash, class KeyEqual, class Allocator>
- void swap(unordered_node_set<Key, Hash, KeyEqual, Allocator>& lhs,
- unordered_node_set<Key, Hash, KeyEqual, Allocator>& rhs)
- noexcept(noexcept(lhs.swap(rhs)))
- {
- lhs.swap(rhs);
- }
- template <class Key, class Hash, class KeyEqual, class Allocator,
- class Pred>
- typename unordered_node_set<Key, Hash, KeyEqual, Allocator>::size_type
- erase_if(unordered_node_set<Key, Hash, KeyEqual, Allocator>& set, Pred pred)
- {
- return erase_if(set.table_, pred);
- }
- template <class Archive, class Key, class Hash, class KeyEqual,
- class Allocator>
- void serialize(Archive& ar,
- unordered_node_set<Key, Hash, KeyEqual, Allocator>& set,
- unsigned int version)
- {
- detail::serialize_container(ar, set, version);
- }
- #if defined(BOOST_MSVC)
- #pragma warning(pop) /* C4714 */
- #endif
- #if BOOST_UNORDERED_TEMPLATE_DEDUCTION_GUIDES
- template <class InputIterator,
- class Hash =
- boost::hash<typename std::iterator_traits<InputIterator>::value_type>,
- class Pred =
- std::equal_to<typename std::iterator_traits<InputIterator>::value_type>,
- class Allocator = std::allocator<
- typename std::iterator_traits<InputIterator>::value_type>,
- class = std::enable_if_t<detail::is_input_iterator_v<InputIterator> >,
- class = std::enable_if_t<detail::is_hash_v<Hash> >,
- class = std::enable_if_t<detail::is_pred_v<Pred> >,
- class = std::enable_if_t<detail::is_allocator_v<Allocator> > >
- unordered_node_set(InputIterator, InputIterator,
- std::size_t = boost::unordered::detail::foa::default_bucket_count,
- Hash = Hash(), Pred = Pred(), Allocator = Allocator())
- -> unordered_node_set<
- typename std::iterator_traits<InputIterator>::value_type, Hash, Pred,
- Allocator>;
- template <class T, class Hash = boost::hash<T>,
- class Pred = std::equal_to<T>, class Allocator = std::allocator<T>,
- class = std::enable_if_t<detail::is_hash_v<Hash> >,
- class = std::enable_if_t<detail::is_pred_v<Pred> >,
- class = std::enable_if_t<detail::is_allocator_v<Allocator> > >
- unordered_node_set(std::initializer_list<T>,
- std::size_t = boost::unordered::detail::foa::default_bucket_count,
- Hash = Hash(), Pred = Pred(), Allocator = Allocator())
- -> unordered_node_set<T, Hash, Pred, Allocator>;
- template <class InputIterator, class Allocator,
- class = std::enable_if_t<detail::is_input_iterator_v<InputIterator> >,
- class = std::enable_if_t<detail::is_allocator_v<Allocator> > >
- unordered_node_set(InputIterator, InputIterator, std::size_t, Allocator)
- -> unordered_node_set<
- typename std::iterator_traits<InputIterator>::value_type,
- boost::hash<typename std::iterator_traits<InputIterator>::value_type>,
- std::equal_to<typename std::iterator_traits<InputIterator>::value_type>,
- Allocator>;
- template <class InputIterator, class Hash, class Allocator,
- class = std::enable_if_t<detail::is_hash_v<Hash> >,
- class = std::enable_if_t<detail::is_input_iterator_v<InputIterator> >,
- class = std::enable_if_t<detail::is_allocator_v<Allocator> > >
- unordered_node_set(
- InputIterator, InputIterator, std::size_t, Hash, Allocator)
- -> unordered_node_set<
- typename std::iterator_traits<InputIterator>::value_type, Hash,
- std::equal_to<typename std::iterator_traits<InputIterator>::value_type>,
- Allocator>;
- template <class T, class Allocator,
- class = std::enable_if_t<detail::is_allocator_v<Allocator> > >
- unordered_node_set(std::initializer_list<T>, std::size_t, Allocator)
- -> unordered_node_set<T, boost::hash<T>, std::equal_to<T>, Allocator>;
- template <class T, class Hash, class Allocator,
- class = std::enable_if_t<detail::is_hash_v<Hash> >,
- class = std::enable_if_t<detail::is_allocator_v<Allocator> > >
- unordered_node_set(std::initializer_list<T>, std::size_t, Hash, Allocator)
- -> unordered_node_set<T, Hash, std::equal_to<T>, Allocator>;
- template <class InputIterator, class Allocator,
- class = std::enable_if_t<detail::is_input_iterator_v<InputIterator> >,
- class = std::enable_if_t<detail::is_allocator_v<Allocator> > >
- unordered_node_set(InputIterator, InputIterator, Allocator)
- -> unordered_node_set<
- typename std::iterator_traits<InputIterator>::value_type,
- boost::hash<typename std::iterator_traits<InputIterator>::value_type>,
- std::equal_to<typename std::iterator_traits<InputIterator>::value_type>,
- Allocator>;
- template <class T, class Allocator,
- class = std::enable_if_t<detail::is_allocator_v<Allocator> > >
- unordered_node_set(std::initializer_list<T>, Allocator)
- -> unordered_node_set<T, boost::hash<T>, std::equal_to<T>, Allocator>;
- #endif
- } // namespace unordered
- } // namespace boost
- #endif
|