diff options
author | Abseil Team <absl-team@google.com> | 2023-05-03 09:56:12 -0700 |
---|---|---|
committer | Copybara-Service <copybara-worker@google.com> | 2023-05-03 09:57:08 -0700 |
commit | 20c087a795638e904792c471d8de158cc97c208a (patch) | |
tree | a7cc86492bf1461087b91e144c6905f3ddb57e5a /absl/container/internal/btree.h | |
parent | 3e9f08d9fb77b685e14e87630036e7b6cf09c2c6 (diff) | |
download | abseil-20c087a795638e904792c471d8de158cc97c208a.tar.gz abseil-20c087a795638e904792c471d8de158cc97c208a.tar.bz2 abseil-20c087a795638e904792c471d8de158cc97c208a.zip |
Add lifetimebound attribute to some Abseil containers
PiperOrigin-RevId: 529119690
Change-Id: If585274c409e2a344c8d60759da6f8f990023d29
Diffstat (limited to 'absl/container/internal/btree.h')
-rw-r--r-- | absl/container/internal/btree.h | 71 |
1 files changed, 45 insertions, 26 deletions
diff --git a/absl/container/internal/btree.h b/absl/container/internal/btree.h index 6071247c..e927c44a 100644 --- a/absl/container/internal/btree.h +++ b/absl/container/internal/btree.h @@ -1444,43 +1444,54 @@ class btree { btree &operator=(const btree &other); btree &operator=(btree &&other) noexcept; - iterator begin() { return iterator(leftmost()); } - const_iterator begin() const { return const_iterator(leftmost()); } - iterator end() { return iterator(rightmost(), rightmost()->finish()); } - const_iterator end() const { + iterator begin() ABSL_ATTRIBUTE_LIFETIME_BOUND { + return iterator(leftmost()); + } + const_iterator begin() const ABSL_ATTRIBUTE_LIFETIME_BOUND { + return const_iterator(leftmost()); + } + iterator end() ABSL_ATTRIBUTE_LIFETIME_BOUND { + return iterator(rightmost(), rightmost()->finish()); + } + const_iterator end() const ABSL_ATTRIBUTE_LIFETIME_BOUND { return const_iterator(rightmost(), rightmost()->finish()); } - reverse_iterator rbegin() { return reverse_iterator(end()); } - const_reverse_iterator rbegin() const { + reverse_iterator rbegin() ABSL_ATTRIBUTE_LIFETIME_BOUND { + return reverse_iterator(end()); + } + const_reverse_iterator rbegin() const ABSL_ATTRIBUTE_LIFETIME_BOUND { return const_reverse_iterator(end()); } - reverse_iterator rend() { return reverse_iterator(begin()); } - const_reverse_iterator rend() const { + reverse_iterator rend() ABSL_ATTRIBUTE_LIFETIME_BOUND { + return reverse_iterator(begin()); + } + const_reverse_iterator rend() const ABSL_ATTRIBUTE_LIFETIME_BOUND { return const_reverse_iterator(begin()); } // Finds the first element whose key is not less than `key`. template <typename K> - iterator lower_bound(const K &key) { + iterator lower_bound(const K &key) ABSL_ATTRIBUTE_LIFETIME_BOUND { return internal_end(internal_lower_bound(key).value); } template <typename K> - const_iterator lower_bound(const K &key) const { + const_iterator lower_bound(const K &key) const ABSL_ATTRIBUTE_LIFETIME_BOUND { return internal_end(internal_lower_bound(key).value); } // Finds the first element whose key is not less than `key` and also returns // whether that element is equal to `key`. template <typename K> - std::pair<iterator, bool> lower_bound_equal(const K &key) const; + std::pair<iterator, bool> lower_bound_equal(const K &key) const + ABSL_ATTRIBUTE_LIFETIME_BOUND; // Finds the first element whose key is greater than `key`. template <typename K> - iterator upper_bound(const K &key) { + iterator upper_bound(const K &key) ABSL_ATTRIBUTE_LIFETIME_BOUND { return internal_end(internal_upper_bound(key)); } template <typename K> - const_iterator upper_bound(const K &key) const { + const_iterator upper_bound(const K &key) const ABSL_ATTRIBUTE_LIFETIME_BOUND { return internal_end(internal_upper_bound(key)); } @@ -1488,9 +1499,11 @@ class btree { // the returned pair is equal to lower_bound(key). The second member of the // pair is equal to upper_bound(key). template <typename K> - std::pair<iterator, iterator> equal_range(const K &key); + std::pair<iterator, iterator> equal_range(const K &key) + ABSL_ATTRIBUTE_LIFETIME_BOUND; template <typename K> - std::pair<const_iterator, const_iterator> equal_range(const K &key) const { + std::pair<const_iterator, const_iterator> equal_range(const K &key) const + ABSL_ATTRIBUTE_LIFETIME_BOUND { return const_cast<btree *>(this)->equal_range(key); } @@ -1499,7 +1512,8 @@ class btree { // Requirement: if `key` already exists in the btree, does not consume `args`. // Requirement: `key` is never referenced after consuming `args`. template <typename K, typename... Args> - std::pair<iterator, bool> insert_unique(const K &key, Args &&...args); + std::pair<iterator, bool> insert_unique(const K &key, Args &&...args) + ABSL_ATTRIBUTE_LIFETIME_BOUND; // Inserts with hint. Checks to see if the value should be placed immediately // before `position` in the tree. If so, then the insertion will take @@ -1509,7 +1523,8 @@ class btree { // Requirement: `key` is never referenced after consuming `args`. template <typename K, typename... Args> std::pair<iterator, bool> insert_hint_unique(iterator position, const K &key, - Args &&...args); + Args &&...args) + ABSL_ATTRIBUTE_LIFETIME_BOUND; // Insert a range of values into the btree. // Note: the first overload avoids constructing a value_type if the key @@ -1526,11 +1541,12 @@ class btree { // Inserts a value into the btree. template <typename ValueType> - iterator insert_multi(const key_type &key, ValueType &&v); + iterator insert_multi(const key_type &key, + ValueType &&v) ABSL_ATTRIBUTE_LIFETIME_BOUND; // Inserts a value into the btree. template <typename ValueType> - iterator insert_multi(ValueType &&v) { + iterator insert_multi(ValueType &&v) ABSL_ATTRIBUTE_LIFETIME_BOUND { return insert_multi(params_type::key(v), std::forward<ValueType>(v)); } @@ -1539,30 +1555,33 @@ class btree { // amortized constant time. If not, the insertion will take amortized // logarithmic time as if a call to insert_multi(v) were made. template <typename ValueType> - iterator insert_hint_multi(iterator position, ValueType &&v); + iterator insert_hint_multi(iterator position, + ValueType &&v) ABSL_ATTRIBUTE_LIFETIME_BOUND; // Insert a range of values into the btree. template <typename InputIterator> - void insert_iterator_multi(InputIterator b, InputIterator e); + void insert_iterator_multi(InputIterator b, + InputIterator e); // Erase the specified iterator from the btree. The iterator must be valid // (i.e. not equal to end()). Return an iterator pointing to the node after // the one that was erased (or end() if none exists). // Requirement: does not read the value at `*iter`. - iterator erase(iterator iter); + iterator erase(iterator iter) ABSL_ATTRIBUTE_LIFETIME_BOUND; // Erases range. Returns the number of keys erased and an iterator pointing // to the element after the last erased element. - std::pair<size_type, iterator> erase_range(iterator begin, iterator end); + std::pair<size_type, iterator> erase_range(iterator begin, iterator end) + ABSL_ATTRIBUTE_LIFETIME_BOUND; // Finds an element with key equivalent to `key` or returns `end()` if `key` // is not present. template <typename K> - iterator find(const K &key) { + iterator find(const K &key) ABSL_ATTRIBUTE_LIFETIME_BOUND { return internal_end(internal_find(key)); } template <typename K> - const_iterator find(const K &key) const { + const_iterator find(const K &key) const ABSL_ATTRIBUTE_LIFETIME_BOUND { return internal_end(internal_find(key)); } @@ -1572,7 +1591,7 @@ class btree { // Swaps the contents of `this` and `other`. void swap(btree &other); - const key_compare &key_comp() const noexcept { + const key_compare &key_comp() const noexcept ABSL_ATTRIBUTE_LIFETIME_BOUND { return rightmost_.template get<0>(); } template <typename K1, typename K2> |