123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992 |
- // Copyright 2017 The Chromium Authors. All rights reserved.
- // Use of this source code is governed by a BSD-style license that can be
- // found in the LICENSE file.
- #ifndef BASE_CONTAINERS_FLAT_TREE_H_
- #define BASE_CONTAINERS_FLAT_TREE_H_
- #include <algorithm>
- #include <iterator>
- #include <type_traits>
- #include <utility>
- #include <vector>
- #include "base/stl_util.h"
- #include "base/template_util.h"
- namespace base {
- namespace internal {
- // This is a convenience method returning true if Iterator is at least a
- // ForwardIterator and thus supports multiple passes over a range.
- template <class Iterator>
- constexpr bool is_multipass() {
- return std::is_base_of<
- std::forward_iterator_tag,
- typename std::iterator_traits<Iterator>::iterator_category>::value;
- }
- // Uses SFINAE to detect whether type has is_transparent member.
- template <typename T, typename = void>
- struct IsTransparentCompare : std::false_type {};
- template <typename T>
- struct IsTransparentCompare<T, void_t<typename T::is_transparent>>
- : std::true_type {};
- // Implementation -------------------------------------------------------------
- // Implementation for the sorted associative flat_set and flat_map using a
- // sorted vector as the backing store. Do not use directly.
- //
- // The use of "value" in this is like std::map uses, meaning it's the thing
- // contained (in the case of map it's a <Kay, Mapped> pair). The Key is how
- // things are looked up. In the case of a set, Key == Value. In the case of
- // a map, the Key is a component of a Value.
- //
- // The helper class GetKeyFromValue provides the means to extract a key from a
- // value for comparison purposes. It should implement:
- // const Key& operator()(const Value&).
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- class flat_tree {
- protected:
- using underlying_type = std::vector<Value>;
- public:
- // --------------------------------------------------------------------------
- // Types.
- //
- using key_type = Key;
- using key_compare = KeyCompare;
- using value_type = Value;
- // Wraps the templated key comparison to compare values.
- class value_compare : public key_compare {
- public:
- value_compare() = default;
- template <class Cmp>
- explicit value_compare(Cmp&& compare_arg)
- : KeyCompare(std::forward<Cmp>(compare_arg)) {}
- bool operator()(const value_type& left, const value_type& right) const {
- GetKeyFromValue extractor;
- return key_compare::operator()(extractor(left), extractor(right));
- }
- };
- using pointer = typename underlying_type::pointer;
- using const_pointer = typename underlying_type::const_pointer;
- using reference = typename underlying_type::reference;
- using const_reference = typename underlying_type::const_reference;
- using size_type = typename underlying_type::size_type;
- using difference_type = typename underlying_type::difference_type;
- using iterator = typename underlying_type::iterator;
- using const_iterator = typename underlying_type::const_iterator;
- using reverse_iterator = typename underlying_type::reverse_iterator;
- using const_reverse_iterator =
- typename underlying_type::const_reverse_iterator;
- // --------------------------------------------------------------------------
- // Lifetime.
- //
- // Constructors that take range guarantee O(N * log^2(N)) + O(N) complexity
- // and take O(N * log(N)) + O(N) if extra memory is available (N is a range
- // length).
- //
- // Assume that move constructors invalidate iterators and references.
- //
- // The constructors that take ranges, lists, and vectors do not require that
- // the input be sorted.
- flat_tree();
- explicit flat_tree(const key_compare& comp);
- template <class InputIterator>
- flat_tree(InputIterator first,
- InputIterator last,
- const key_compare& comp = key_compare());
- flat_tree(const flat_tree&);
- flat_tree(flat_tree&&) noexcept = default;
- flat_tree(const underlying_type& items,
- const key_compare& comp = key_compare());
- flat_tree(underlying_type&& items, const key_compare& comp = key_compare());
- flat_tree(std::initializer_list<value_type> ilist,
- const key_compare& comp = key_compare());
- ~flat_tree();
- // --------------------------------------------------------------------------
- // Assignments.
- //
- // Assume that move assignment invalidates iterators and references.
- flat_tree& operator=(const flat_tree&);
- flat_tree& operator=(flat_tree&&) noexcept(
- std::is_nothrow_move_assignable<underlying_type>::value);
- // Takes the first if there are duplicates in the initializer list.
- flat_tree& operator=(std::initializer_list<value_type> ilist);
- // --------------------------------------------------------------------------
- // Memory management.
- //
- // Beware that shrink_to_fit() simply forwards the request to the
- // underlying_type and its implementation is free to optimize otherwise and
- // leave capacity() to be greater that its size.
- //
- // reserve() and shrink_to_fit() invalidate iterators and references.
- void reserve(size_type new_capacity);
- size_type capacity() const;
- void shrink_to_fit();
- // --------------------------------------------------------------------------
- // Size management.
- //
- // clear() leaves the capacity() of the flat_tree unchanged.
- void clear();
- size_type size() const;
- size_type max_size() const;
- bool empty() const;
- // --------------------------------------------------------------------------
- // Iterators.
- //
- // Iterators follow the ordering defined by the key comparator used in
- // construction of the flat_tree.
- iterator begin();
- const_iterator begin() const;
- const_iterator cbegin() const;
- iterator end();
- const_iterator end() const;
- const_iterator cend() const;
- reverse_iterator rbegin();
- const_reverse_iterator rbegin() const;
- const_reverse_iterator crbegin() const;
- reverse_iterator rend();
- const_reverse_iterator rend() const;
- const_reverse_iterator crend() const;
- // --------------------------------------------------------------------------
- // Insert operations.
- //
- // Assume that every operation invalidates iterators and references.
- // Insertion of one element can take O(size). Capacity of flat_tree grows in
- // an implementation-defined manner.
- //
- // NOTE: Prefer to build a new flat_tree from a std::vector (or similar)
- // instead of calling insert() repeatedly.
- std::pair<iterator, bool> insert(const value_type& val);
- std::pair<iterator, bool> insert(value_type&& val);
- iterator insert(const_iterator position_hint, const value_type& x);
- iterator insert(const_iterator position_hint, value_type&& x);
- // This method inserts the values from the range [first, last) into the
- // current tree.
- template <class InputIterator>
- void insert(InputIterator first, InputIterator last);
- template <class... Args>
- std::pair<iterator, bool> emplace(Args&&... args);
- template <class... Args>
- iterator emplace_hint(const_iterator position_hint, Args&&... args);
- // --------------------------------------------------------------------------
- // Underlying type operations.
- //
- // Assume that either operation invalidates iterators and references.
- // Extracts the underlying_type and returns it to the caller. Ensures that
- // `this` is `empty()` afterwards.
- underlying_type extract() &&;
- // Replaces the underlying_type with `body`. Expects that `body` is sorted
- // and has no repeated elements with regard to value_comp().
- void replace(underlying_type&& body);
- // --------------------------------------------------------------------------
- // Erase operations.
- //
- // Assume that every operation invalidates iterators and references.
- //
- // erase(position), erase(first, last) can take O(size).
- // erase(key) may take O(size) + O(log(size)).
- //
- // Prefer base::EraseIf() or some other variation on erase(remove(), end())
- // idiom when deleting multiple non-consecutive elements.
- iterator erase(iterator position);
- iterator erase(const_iterator position);
- iterator erase(const_iterator first, const_iterator last);
- template <typename K>
- size_type erase(const K& key);
- // --------------------------------------------------------------------------
- // Comparators.
- key_compare key_comp() const;
- value_compare value_comp() const;
- // --------------------------------------------------------------------------
- // Search operations.
- //
- // Search operations have O(log(size)) complexity.
- template <typename K>
- size_type count(const K& key) const;
- template <typename K>
- iterator find(const K& key);
- template <typename K>
- const_iterator find(const K& key) const;
- template <typename K>
- bool contains(const K& key) const;
- template <typename K>
- std::pair<iterator, iterator> equal_range(const K& key);
- template <typename K>
- std::pair<const_iterator, const_iterator> equal_range(const K& key) const;
- template <typename K>
- iterator lower_bound(const K& key);
- template <typename K>
- const_iterator lower_bound(const K& key) const;
- template <typename K>
- iterator upper_bound(const K& key);
- template <typename K>
- const_iterator upper_bound(const K& key) const;
- // --------------------------------------------------------------------------
- // General operations.
- //
- // Assume that swap invalidates iterators and references.
- //
- // Implementation note: currently we use operator==() and operator<() on
- // std::vector, because they have the same contract we need, so we use them
- // directly for brevity and in case it is more optimal than calling equal()
- // and lexicograhpical_compare(). If the underlying container type is changed,
- // this code may need to be modified.
- void swap(flat_tree& other) noexcept;
- friend bool operator==(const flat_tree& lhs, const flat_tree& rhs) {
- return lhs.impl_.body_ == rhs.impl_.body_;
- }
- friend bool operator!=(const flat_tree& lhs, const flat_tree& rhs) {
- return !(lhs == rhs);
- }
- friend bool operator<(const flat_tree& lhs, const flat_tree& rhs) {
- return lhs.impl_.body_ < rhs.impl_.body_;
- }
- friend bool operator>(const flat_tree& lhs, const flat_tree& rhs) {
- return rhs < lhs;
- }
- friend bool operator>=(const flat_tree& lhs, const flat_tree& rhs) {
- return !(lhs < rhs);
- }
- friend bool operator<=(const flat_tree& lhs, const flat_tree& rhs) {
- return !(lhs > rhs);
- }
- friend void swap(flat_tree& lhs, flat_tree& rhs) noexcept { lhs.swap(rhs); }
- protected:
- // Emplaces a new item into the tree that is known not to be in it. This
- // is for implementing map operator[].
- template <class... Args>
- iterator unsafe_emplace(const_iterator position, Args&&... args);
- // Attempts to emplace a new element with key |key|. Only if |key| is not yet
- // present, construct value_type from |args| and insert it. Returns an
- // iterator to the element with key |key| and a bool indicating whether an
- // insertion happened.
- template <class K, class... Args>
- std::pair<iterator, bool> emplace_key_args(const K& key, Args&&... args);
- // Similar to |emplace_key_args|, but checks |hint| first as a possible
- // insertion position.
- template <class K, class... Args>
- std::pair<iterator, bool> emplace_hint_key_args(const_iterator hint,
- const K& key,
- Args&&... args);
- private:
- // Helper class for e.g. lower_bound that can compare a value on the left
- // to a key on the right.
- struct KeyValueCompare {
- // The key comparison object must outlive this class.
- explicit KeyValueCompare(const key_compare& key_comp)
- : key_comp_(key_comp) {}
- template <typename T, typename U>
- bool operator()(const T& lhs, const U& rhs) const {
- return key_comp_(extract_if_value_type(lhs), extract_if_value_type(rhs));
- }
- private:
- const key_type& extract_if_value_type(const value_type& v) const {
- GetKeyFromValue extractor;
- return extractor(v);
- }
- template <typename K>
- const K& extract_if_value_type(const K& k) const {
- return k;
- }
- const key_compare& key_comp_;
- };
- iterator const_cast_it(const_iterator c_it) {
- auto distance = std::distance(cbegin(), c_it);
- return std::next(begin(), distance);
- }
- // This method is inspired by both std::map::insert(P&&) and
- // std::map::insert_or_assign(const K&, V&&). It inserts val if an equivalent
- // element is not present yet, otherwise it overwrites. It returns an iterator
- // to the modified element and a flag indicating whether insertion or
- // assignment happened.
- template <class V>
- std::pair<iterator, bool> insert_or_assign(V&& val) {
- auto position = lower_bound(GetKeyFromValue()(val));
- if (position == end() || value_comp()(val, *position))
- return {impl_.body_.emplace(position, std::forward<V>(val)), true};
- *position = std::forward<V>(val);
- return {position, false};
- }
- // This method is similar to insert_or_assign, with the following differences:
- // - Instead of searching [begin(), end()) it only searches [first, last).
- // - In case no equivalent element is found, val is appended to the end of the
- // underlying body and an iterator to the next bigger element in [first,
- // last) is returned.
- template <class V>
- std::pair<iterator, bool> append_or_assign(iterator first,
- iterator last,
- V&& val) {
- auto position = std::lower_bound(first, last, val, value_comp());
- if (position == last || value_comp()(val, *position)) {
- // emplace_back might invalidate position, which is why distance needs to
- // be cached.
- const difference_type distance = std::distance(begin(), position);
- impl_.body_.emplace_back(std::forward<V>(val));
- return {std::next(begin(), distance), true};
- }
- *position = std::forward<V>(val);
- return {position, false};
- }
- // This method is similar to insert, with the following differences:
- // - Instead of searching [begin(), end()) it only searches [first, last).
- // - In case no equivalent element is found, val is appended to the end of the
- // underlying body and an iterator to the next bigger element in [first,
- // last) is returned.
- template <class V>
- std::pair<iterator, bool> append_unique(iterator first,
- iterator last,
- V&& val) {
- auto position = std::lower_bound(first, last, val, value_comp());
- if (position == last || value_comp()(val, *position)) {
- // emplace_back might invalidate position, which is why distance needs to
- // be cached.
- const difference_type distance = std::distance(begin(), position);
- impl_.body_.emplace_back(std::forward<V>(val));
- return {std::next(begin(), distance), true};
- }
- return {position, false};
- }
- void sort_and_unique(iterator first, iterator last) {
- // Preserve stability for the unique code below.
- std::stable_sort(first, last, value_comp());
- auto equal_comp = [this](const value_type& lhs, const value_type& rhs) {
- // lhs is already <= rhs due to sort, therefore
- // !(lhs < rhs) <=> lhs == rhs.
- return !value_comp()(lhs, rhs);
- };
- erase(std::unique(first, last, equal_comp), last);
- }
- // To support comparators that may not be possible to default-construct, we
- // have to store an instance of Compare. Using this to store all internal
- // state of flat_tree and using private inheritance to store compare lets us
- // take advantage of an empty base class optimization to avoid extra space in
- // the common case when Compare has no state.
- struct Impl : private value_compare {
- Impl() = default;
- template <class Cmp, class... Body>
- explicit Impl(Cmp&& compare_arg, Body&&... underlying_type_args)
- : value_compare(std::forward<Cmp>(compare_arg)),
- body_(std::forward<Body>(underlying_type_args)...) {}
- const value_compare& get_value_comp() const { return *this; }
- const key_compare& get_key_comp() const { return *this; }
- underlying_type body_;
- } impl_;
- // If the compare is not transparent we want to construct key_type once.
- template <typename K>
- using KeyTypeOrK = typename std::
- conditional<IsTransparentCompare<key_compare>::value, K, key_type>::type;
- };
- // ----------------------------------------------------------------------------
- // Lifetime.
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::flat_tree() = default;
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::flat_tree(
- const KeyCompare& comp)
- : impl_(comp) {}
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <class InputIterator>
- flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::flat_tree(
- InputIterator first,
- InputIterator last,
- const KeyCompare& comp)
- : impl_(comp, first, last) {
- sort_and_unique(begin(), end());
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::flat_tree(
- const flat_tree&) = default;
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::flat_tree(
- const underlying_type& items,
- const KeyCompare& comp)
- : impl_(comp, items) {
- sort_and_unique(begin(), end());
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::flat_tree(
- underlying_type&& items,
- const KeyCompare& comp)
- : impl_(comp, std::move(items)) {
- sort_and_unique(begin(), end());
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::flat_tree(
- std::initializer_list<value_type> ilist,
- const KeyCompare& comp)
- : flat_tree(std::begin(ilist), std::end(ilist), comp) {}
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::~flat_tree() = default;
- // ----------------------------------------------------------------------------
- // Assignments.
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::operator=(
- const flat_tree&) -> flat_tree& = default;
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::
- operator=(flat_tree&&) noexcept(
- std::is_nothrow_move_assignable<underlying_type>::value)
- -> flat_tree& = default;
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::operator=(
- std::initializer_list<value_type> ilist) -> flat_tree& {
- impl_.body_ = ilist;
- sort_and_unique(begin(), end());
- return *this;
- }
- // ----------------------------------------------------------------------------
- // Memory management.
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- void flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::reserve(
- size_type new_capacity) {
- impl_.body_.reserve(new_capacity);
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::capacity() const
- -> size_type {
- return impl_.body_.capacity();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- void flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::shrink_to_fit() {
- impl_.body_.shrink_to_fit();
- }
- // ----------------------------------------------------------------------------
- // Size management.
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- void flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::clear() {
- impl_.body_.clear();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::size() const
- -> size_type {
- return impl_.body_.size();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::max_size() const
- -> size_type {
- return impl_.body_.max_size();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- bool flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::empty() const {
- return impl_.body_.empty();
- }
- // ----------------------------------------------------------------------------
- // Iterators.
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::begin() -> iterator {
- return impl_.body_.begin();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::begin() const
- -> const_iterator {
- return impl_.body_.begin();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::cbegin() const
- -> const_iterator {
- return impl_.body_.cbegin();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::end() -> iterator {
- return impl_.body_.end();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::end() const
- -> const_iterator {
- return impl_.body_.end();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::cend() const
- -> const_iterator {
- return impl_.body_.cend();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::rbegin()
- -> reverse_iterator {
- return impl_.body_.rbegin();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::rbegin() const
- -> const_reverse_iterator {
- return impl_.body_.rbegin();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::crbegin() const
- -> const_reverse_iterator {
- return impl_.body_.crbegin();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::rend()
- -> reverse_iterator {
- return impl_.body_.rend();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::rend() const
- -> const_reverse_iterator {
- return impl_.body_.rend();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::crend() const
- -> const_reverse_iterator {
- return impl_.body_.crend();
- }
- // ----------------------------------------------------------------------------
- // Insert operations.
- //
- // Currently we use position_hint the same way as eastl or boost:
- // https://github.com/electronicarts/EASTL/blob/master/include/EASTL/vector_set.h#L493
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::insert(
- const value_type& val) -> std::pair<iterator, bool> {
- return emplace_key_args(GetKeyFromValue()(val), val);
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::insert(
- value_type&& val) -> std::pair<iterator, bool> {
- return emplace_key_args(GetKeyFromValue()(val), std::move(val));
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::insert(
- const_iterator position_hint,
- const value_type& val) -> iterator {
- return emplace_hint_key_args(position_hint, GetKeyFromValue()(val), val)
- .first;
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::insert(
- const_iterator position_hint,
- value_type&& val) -> iterator {
- return emplace_hint_key_args(position_hint, GetKeyFromValue()(val),
- std::move(val))
- .first;
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <class InputIterator>
- void flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::insert(
- InputIterator first,
- InputIterator last) {
- if (first == last)
- return;
- // Dispatch to single element insert if the input range contains a single
- // element.
- if (is_multipass<InputIterator>() && std::next(first) == last) {
- insert(end(), *first);
- return;
- }
- // Provide a convenience lambda to obtain an iterator pointing past the last
- // old element. This needs to be dymanic due to possible re-allocations.
- auto middle = [this, size = size()] { return std::next(begin(), size); };
- // For batch updates initialize the first insertion point.
- difference_type pos_first_new = size();
- // Loop over the input range while appending new values and overwriting
- // existing ones, if applicable. Keep track of the first insertion point.
- for (; first != last; ++first) {
- std::pair<iterator, bool> result = append_unique(begin(), middle(), *first);
- if (result.second) {
- pos_first_new =
- std::min(pos_first_new, std::distance(begin(), result.first));
- }
- }
- // The new elements might be unordered and contain duplicates, so post-process
- // the just inserted elements and merge them with the rest, inserting them at
- // the previously found spot.
- sort_and_unique(middle(), end());
- std::inplace_merge(std::next(begin(), pos_first_new), middle(), end(),
- value_comp());
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <class... Args>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::emplace(Args&&... args)
- -> std::pair<iterator, bool> {
- return insert(value_type(std::forward<Args>(args)...));
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <class... Args>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::emplace_hint(
- const_iterator position_hint,
- Args&&... args) -> iterator {
- return insert(position_hint, value_type(std::forward<Args>(args)...));
- }
- // ----------------------------------------------------------------------------
- // Underlying type operations.
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::
- extract() && -> underlying_type {
- return std::exchange(impl_.body_, underlying_type());
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- void flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::replace(
- underlying_type&& body) {
- // Ensure that |body| is sorted and has no repeated elements.
- DCHECK(std::is_sorted(body.begin(), body.end(), value_comp()));
- DCHECK(std::adjacent_find(body.begin(), body.end(),
- [this](const auto& lhs, const auto& rhs) {
- return !value_comp()(lhs, rhs);
- }) == body.end());
- impl_.body_ = std::move(body);
- }
- // ----------------------------------------------------------------------------
- // Erase operations.
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::erase(
- iterator position) -> iterator {
- CHECK(position != impl_.body_.end());
- return impl_.body_.erase(position);
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::erase(
- const_iterator position) -> iterator {
- CHECK(position != impl_.body_.end());
- return impl_.body_.erase(position);
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <typename K>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::erase(const K& val)
- -> size_type {
- auto eq_range = equal_range(val);
- auto res = std::distance(eq_range.first, eq_range.second);
- erase(eq_range.first, eq_range.second);
- return res;
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::erase(
- const_iterator first,
- const_iterator last) -> iterator {
- return impl_.body_.erase(first, last);
- }
- // ----------------------------------------------------------------------------
- // Comparators.
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::key_comp() const
- -> key_compare {
- return impl_.get_key_comp();
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::value_comp() const
- -> value_compare {
- return impl_.get_value_comp();
- }
- // ----------------------------------------------------------------------------
- // Search operations.
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <typename K>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::count(
- const K& key) const -> size_type {
- auto eq_range = equal_range(key);
- return std::distance(eq_range.first, eq_range.second);
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <typename K>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::find(const K& key)
- -> iterator {
- return const_cast_it(base::as_const(*this).find(key));
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <typename K>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::find(
- const K& key) const -> const_iterator {
- auto eq_range = equal_range(key);
- return (eq_range.first == eq_range.second) ? end() : eq_range.first;
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <typename K>
- bool flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::contains(
- const K& key) const {
- auto lower = lower_bound(key);
- return lower != end() && !key_comp()(key, GetKeyFromValue()(*lower));
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <typename K>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::equal_range(
- const K& key) -> std::pair<iterator, iterator> {
- auto res = base::as_const(*this).equal_range(key);
- return {const_cast_it(res.first), const_cast_it(res.second)};
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <typename K>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::equal_range(
- const K& key) const -> std::pair<const_iterator, const_iterator> {
- auto lower = lower_bound(key);
- GetKeyFromValue extractor;
- if (lower == end() || impl_.get_key_comp()(key, extractor(*lower)))
- return {lower, lower};
- return {lower, std::next(lower)};
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <typename K>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::lower_bound(
- const K& key) -> iterator {
- return const_cast_it(base::as_const(*this).lower_bound(key));
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <typename K>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::lower_bound(
- const K& key) const -> const_iterator {
- static_assert(std::is_convertible<const KeyTypeOrK<K>&, const K&>::value,
- "Requested type cannot be bound to the container's key_type "
- "which is required for a non-transparent compare.");
- const KeyTypeOrK<K>& key_ref = key;
- KeyValueCompare key_value(impl_.get_key_comp());
- return std::lower_bound(begin(), end(), key_ref, key_value);
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <typename K>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::upper_bound(
- const K& key) -> iterator {
- return const_cast_it(base::as_const(*this).upper_bound(key));
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <typename K>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::upper_bound(
- const K& key) const -> const_iterator {
- static_assert(std::is_convertible<const KeyTypeOrK<K>&, const K&>::value,
- "Requested type cannot be bound to the container's key_type "
- "which is required for a non-transparent compare.");
- const KeyTypeOrK<K>& key_ref = key;
- KeyValueCompare key_value(impl_.get_key_comp());
- return std::upper_bound(begin(), end(), key_ref, key_value);
- }
- // ----------------------------------------------------------------------------
- // General operations.
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- void flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::swap(
- flat_tree& other) noexcept {
- std::swap(impl_, other.impl_);
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <class... Args>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::unsafe_emplace(
- const_iterator position,
- Args&&... args) -> iterator {
- return impl_.body_.emplace(position, std::forward<Args>(args)...);
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <class K, class... Args>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::emplace_key_args(
- const K& key,
- Args&&... args) -> std::pair<iterator, bool> {
- auto lower = lower_bound(key);
- if (lower == end() || key_comp()(key, GetKeyFromValue()(*lower)))
- return {unsafe_emplace(lower, std::forward<Args>(args)...), true};
- return {lower, false};
- }
- template <class Key, class Value, class GetKeyFromValue, class KeyCompare>
- template <class K, class... Args>
- auto flat_tree<Key, Value, GetKeyFromValue, KeyCompare>::emplace_hint_key_args(
- const_iterator hint,
- const K& key,
- Args&&... args) -> std::pair<iterator, bool> {
- GetKeyFromValue extractor;
- if ((hint == begin() || key_comp()(extractor(*std::prev(hint)), key))) {
- if (hint == end() || key_comp()(key, extractor(*hint))) {
- // *(hint - 1) < key < *hint => key did not exist and hint is correct.
- return {unsafe_emplace(hint, std::forward<Args>(args)...), true};
- }
- if (!key_comp()(extractor(*hint), key)) {
- // key == *hint => no-op, return correct hint.
- return {const_cast_it(hint), false};
- }
- }
- // hint was not helpful, dispatch to hintless version.
- return emplace_key_args(key, std::forward<Args>(args)...);
- }
- // For containers like sets, the key is the same as the value. This implements
- // the GetKeyFromValue template parameter to flat_tree for this case.
- template <class Key>
- struct GetKeyFromValueIdentity {
- const Key& operator()(const Key& k) const { return k; }
- };
- } // namespace internal
- // ----------------------------------------------------------------------------
- // Free functions.
- // Erases all elements that match predicate. It has O(size) complexity.
- template <class Key,
- class Value,
- class GetKeyFromValue,
- class KeyCompare,
- typename Predicate>
- size_t EraseIf(
- base::internal::flat_tree<Key, Value, GetKeyFromValue, KeyCompare>&
- container,
- Predicate pred) {
- auto it = std::remove_if(container.begin(), container.end(), pred);
- size_t removed = std::distance(it, container.end());
- container.erase(it, container.end());
- return removed;
- }
- } // namespace base
- #endif // BASE_CONTAINERS_FLAT_TREE_H_
|