Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright 2020 The Android Open Source Project |
| 3 | * |
| 4 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 5 | * you may not use this file except in compliance with the License. |
| 6 | * You may obtain a copy of the License at |
| 7 | * |
| 8 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 9 | * |
| 10 | * Unless required by applicable law or agreed to in writing, software |
| 11 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 12 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 13 | * See the License for the specific language governing permissions and |
| 14 | * limitations under the License. |
| 15 | */ |
| 16 | |
| 17 | #pragma once |
| 18 | |
Dominik Laskowski | 04667b7 | 2021-12-15 13:14:54 -0800 | [diff] [blame] | 19 | #include <ftl/details/array_traits.h> |
Dominik Laskowski | 5444fc8 | 2020-11-24 13:41:10 -0800 | [diff] [blame] | 20 | #include <ftl/static_vector.h> |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 21 | |
| 22 | #include <algorithm> |
| 23 | #include <iterator> |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 24 | #include <utility> |
| 25 | #include <variant> |
| 26 | #include <vector> |
| 27 | |
Dominik Laskowski | a957c1c | 2022-08-03 12:51:43 -0700 | [diff] [blame] | 28 | #include <ftl/details/type_traits.h> |
| 29 | |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 30 | namespace android::ftl { |
| 31 | |
| 32 | template <typename> |
Dominik Laskowski | 5444fc8 | 2020-11-24 13:41:10 -0800 | [diff] [blame] | 33 | struct is_small_vector; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 34 | |
| 35 | // ftl::StaticVector that promotes to std::vector when full. SmallVector is a drop-in replacement |
| 36 | // for std::vector with statically allocated storage for N elements, whose goal is to improve run |
| 37 | // time by avoiding heap allocation and increasing probability of cache hits. The standard API is |
| 38 | // augmented by an unstable_erase operation that does not preserve order, and a replace operation |
| 39 | // that destructively emplaces. |
| 40 | // |
Dominik Laskowski | 206996f | 2022-01-20 13:21:57 -0800 | [diff] [blame] | 41 | // Unlike std::vector, T does not require copy/move assignment, so may be an object with const data |
| 42 | // members, or be const itself. |
| 43 | // |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 44 | // SmallVector<T, 0> is a specialization that thinly wraps std::vector. |
| 45 | // |
| 46 | // Example usage: |
| 47 | // |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 48 | // ftl::SmallVector<char, 3> vector; |
| 49 | // assert(vector.empty()); |
| 50 | // assert(!vector.dynamic()); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 51 | // |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 52 | // vector = {'a', 'b', 'c'}; |
| 53 | // assert(vector.size() == 3u); |
| 54 | // assert(!vector.dynamic()); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 55 | // |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 56 | // vector.push_back('d'); |
| 57 | // assert(vector.dynamic()); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 58 | // |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 59 | // vector.unstable_erase(vector.begin()); |
| 60 | // assert(vector == (ftl::SmallVector{'d', 'b', 'c'})); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 61 | // |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 62 | // vector.pop_back(); |
| 63 | // assert(vector.back() == 'b'); |
| 64 | // assert(vector.dynamic()); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 65 | // |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 66 | // const char array[] = "hi"; |
| 67 | // vector = ftl::SmallVector(array); |
| 68 | // assert(vector == (ftl::SmallVector{'h', 'i', '\0'})); |
| 69 | // assert(!vector.dynamic()); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 70 | // |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 71 | // ftl::SmallVector strings = ftl::init::list<std::string>("abc")("123456", 3u)(3u, '?'); |
| 72 | // assert(strings.size() == 3u); |
| 73 | // assert(!strings.dynamic()); |
Dominik Laskowski | ccd50a4 | 2020-10-30 19:56:38 -0700 | [diff] [blame] | 74 | // |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 75 | // assert(strings[0] == "abc"); |
| 76 | // assert(strings[1] == "123"); |
| 77 | // assert(strings[2] == "???"); |
Dominik Laskowski | ccd50a4 | 2020-10-30 19:56:38 -0700 | [diff] [blame] | 78 | // |
Dominik Laskowski | 5444fc8 | 2020-11-24 13:41:10 -0800 | [diff] [blame] | 79 | template <typename T, std::size_t N> |
Dominik Laskowski | 04667b7 | 2021-12-15 13:14:54 -0800 | [diff] [blame] | 80 | class SmallVector final : details::ArrayTraits<T>, details::ArrayComparators<SmallVector> { |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 81 | using Static = StaticVector<T, N>; |
| 82 | using Dynamic = SmallVector<T, 0>; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 83 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 84 | public: |
| 85 | FTL_ARRAY_TRAIT(T, value_type); |
| 86 | FTL_ARRAY_TRAIT(T, size_type); |
| 87 | FTL_ARRAY_TRAIT(T, difference_type); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 88 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 89 | FTL_ARRAY_TRAIT(T, pointer); |
| 90 | FTL_ARRAY_TRAIT(T, reference); |
| 91 | FTL_ARRAY_TRAIT(T, iterator); |
| 92 | FTL_ARRAY_TRAIT(T, reverse_iterator); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 93 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 94 | FTL_ARRAY_TRAIT(T, const_pointer); |
| 95 | FTL_ARRAY_TRAIT(T, const_reference); |
| 96 | FTL_ARRAY_TRAIT(T, const_iterator); |
| 97 | FTL_ARRAY_TRAIT(T, const_reverse_iterator); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 98 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 99 | // Creates an empty vector. |
| 100 | SmallVector() = default; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 101 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 102 | // Constructs at most N elements. See StaticVector for underlying constructors. |
| 103 | template <typename Arg, typename... Args, |
Dominik Laskowski | a957c1c | 2022-08-03 12:51:43 -0700 | [diff] [blame] | 104 | typename = std::enable_if_t<!is_small_vector<details::remove_cvref_t<Arg>>{}>> |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 105 | SmallVector(Arg&& arg, Args&&... args) |
| 106 | : vector_(std::in_place_type<Static>, std::forward<Arg>(arg), std::forward<Args>(args)...) {} |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 107 | |
Dominik Laskowski | 206996f | 2022-01-20 13:21:57 -0800 | [diff] [blame] | 108 | // Copies or moves elements from a smaller convertible vector. |
| 109 | template <typename U, std::size_t M, typename = std::enable_if_t<(M > 0)>> |
| 110 | SmallVector(SmallVector<U, M> other) : vector_(convert(std::move(other))) {} |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 111 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 112 | void swap(SmallVector& other) { vector_.swap(other.vector_); } |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 113 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 114 | // Returns whether the vector is backed by static or dynamic storage. |
| 115 | bool dynamic() const { return std::holds_alternative<Dynamic>(vector_); } |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 116 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 117 | // Avoid std::visit as it generates a dispatch table. |
| 118 | #define DISPATCH(T, F, ...) \ |
| 119 | T F() __VA_ARGS__ { \ |
| 120 | return dynamic() ? std::get<Dynamic>(vector_).F() : std::get<Static>(vector_).F(); \ |
| 121 | } |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 122 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 123 | DISPATCH(size_type, max_size, const) |
| 124 | DISPATCH(size_type, size, const) |
| 125 | DISPATCH(bool, empty, const) |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 126 | |
Dominik Laskowski | d7629e7 | 2022-04-18 08:25:04 -0700 | [diff] [blame] | 127 | DISPATCH(iterator, begin, ) |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 128 | DISPATCH(const_iterator, begin, const) |
| 129 | DISPATCH(const_iterator, cbegin, const) |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 130 | |
Dominik Laskowski | d7629e7 | 2022-04-18 08:25:04 -0700 | [diff] [blame] | 131 | DISPATCH(iterator, end, ) |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 132 | DISPATCH(const_iterator, end, const) |
| 133 | DISPATCH(const_iterator, cend, const) |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 134 | |
Dominik Laskowski | d7629e7 | 2022-04-18 08:25:04 -0700 | [diff] [blame] | 135 | DISPATCH(reverse_iterator, rbegin, ) |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 136 | DISPATCH(const_reverse_iterator, rbegin, const) |
| 137 | DISPATCH(const_reverse_iterator, crbegin, const) |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 138 | |
Dominik Laskowski | d7629e7 | 2022-04-18 08:25:04 -0700 | [diff] [blame] | 139 | DISPATCH(reverse_iterator, rend, ) |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 140 | DISPATCH(const_reverse_iterator, rend, const) |
| 141 | DISPATCH(const_reverse_iterator, crend, const) |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 142 | |
Dominik Laskowski | d7629e7 | 2022-04-18 08:25:04 -0700 | [diff] [blame] | 143 | DISPATCH(iterator, last, ) |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 144 | DISPATCH(const_iterator, last, const) |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 145 | |
Dominik Laskowski | d7629e7 | 2022-04-18 08:25:04 -0700 | [diff] [blame] | 146 | DISPATCH(reference, front, ) |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 147 | DISPATCH(const_reference, front, const) |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 148 | |
Dominik Laskowski | d7629e7 | 2022-04-18 08:25:04 -0700 | [diff] [blame] | 149 | DISPATCH(reference, back, ) |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 150 | DISPATCH(const_reference, back, const) |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 151 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 152 | reference operator[](size_type i) { |
| 153 | return dynamic() ? std::get<Dynamic>(vector_)[i] : std::get<Static>(vector_)[i]; |
| 154 | } |
| 155 | |
| 156 | const_reference operator[](size_type i) const { return const_cast<SmallVector&>(*this)[i]; } |
| 157 | |
| 158 | // Replaces an element, and returns a reference to it. The iterator must be dereferenceable, so |
| 159 | // replacing at end() is erroneous. |
| 160 | // |
| 161 | // The element is emplaced via move constructor, so type T does not need to define copy/move |
| 162 | // assignment, e.g. its data members may be const. |
| 163 | // |
| 164 | // The arguments may directly or indirectly refer to the element being replaced. |
| 165 | // |
| 166 | // Iterators to the replaced element point to its replacement, and others remain valid. |
| 167 | // |
| 168 | template <typename... Args> |
| 169 | reference replace(const_iterator it, Args&&... args) { |
| 170 | if (dynamic()) { |
| 171 | return std::get<Dynamic>(vector_).replace(it, std::forward<Args>(args)...); |
| 172 | } else { |
| 173 | return std::get<Static>(vector_).replace(it, std::forward<Args>(args)...); |
| 174 | } |
| 175 | } |
| 176 | |
| 177 | // Appends an element, and returns a reference to it. |
| 178 | // |
| 179 | // If the vector reaches its static or dynamic capacity, then all iterators are invalidated. |
| 180 | // Otherwise, only the end() iterator is invalidated. |
| 181 | // |
| 182 | template <typename... Args> |
| 183 | reference emplace_back(Args&&... args) { |
| 184 | constexpr auto kInsertStatic = &Static::template emplace_back<Args...>; |
| 185 | constexpr auto kInsertDynamic = &Dynamic::template emplace_back<Args...>; |
| 186 | return *insert<kInsertStatic, kInsertDynamic>(std::forward<Args>(args)...); |
| 187 | } |
| 188 | |
| 189 | // Appends an element. |
| 190 | // |
| 191 | // If the vector reaches its static or dynamic capacity, then all iterators are invalidated. |
| 192 | // Otherwise, only the end() iterator is invalidated. |
| 193 | // |
| 194 | void push_back(const value_type& v) { |
| 195 | constexpr auto kInsertStatic = |
| 196 | static_cast<bool (Static::*)(const value_type&)>(&Static::push_back); |
| 197 | constexpr auto kInsertDynamic = |
| 198 | static_cast<bool (Dynamic::*)(const value_type&)>(&Dynamic::push_back); |
| 199 | insert<kInsertStatic, kInsertDynamic>(v); |
| 200 | } |
| 201 | |
| 202 | void push_back(value_type&& v) { |
| 203 | constexpr auto kInsertStatic = static_cast<bool (Static::*)(value_type &&)>(&Static::push_back); |
| 204 | constexpr auto kInsertDynamic = |
| 205 | static_cast<bool (Dynamic::*)(value_type &&)>(&Dynamic::push_back); |
| 206 | insert<kInsertStatic, kInsertDynamic>(std::move(v)); |
| 207 | } |
| 208 | |
| 209 | // Removes the last element. The vector must not be empty, or the call is erroneous. |
| 210 | // |
| 211 | // The last() and end() iterators are invalidated. |
| 212 | // |
Dominik Laskowski | d7629e7 | 2022-04-18 08:25:04 -0700 | [diff] [blame] | 213 | DISPATCH(void, pop_back, ) |
Dominik Laskowski | 44828ce | 2021-09-13 11:00:22 -0700 | [diff] [blame] | 214 | |
| 215 | // Removes all elements. |
| 216 | // |
| 217 | // All iterators are invalidated. |
| 218 | // |
Dominik Laskowski | d7629e7 | 2022-04-18 08:25:04 -0700 | [diff] [blame] | 219 | DISPATCH(void, clear, ) |
Dominik Laskowski | 44828ce | 2021-09-13 11:00:22 -0700 | [diff] [blame] | 220 | |
| 221 | #undef DISPATCH |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 222 | |
| 223 | // Erases an element, but does not preserve order. Rather than shifting subsequent elements, |
| 224 | // this moves the last element to the slot of the erased element. |
| 225 | // |
| 226 | // The last() and end() iterators, as well as those to the erased element, are invalidated. |
| 227 | // |
| 228 | void unstable_erase(iterator it) { |
| 229 | if (dynamic()) { |
| 230 | std::get<Dynamic>(vector_).unstable_erase(it); |
| 231 | } else { |
| 232 | std::get<Static>(vector_).unstable_erase(it); |
| 233 | } |
| 234 | } |
| 235 | |
Dominik Laskowski | 206996f | 2022-01-20 13:21:57 -0800 | [diff] [blame] | 236 | // Extracts the elements as std::vector. |
Ryan Prichard | 2b2abd3 | 2024-08-15 18:03:36 -0700 | [diff] [blame] | 237 | std::vector<std::remove_const_t<T>> promote() && { |
Dominik Laskowski | 206996f | 2022-01-20 13:21:57 -0800 | [diff] [blame] | 238 | if (dynamic()) { |
| 239 | return std::get<Dynamic>(std::move(vector_)).promote(); |
| 240 | } else { |
| 241 | return {std::make_move_iterator(begin()), std::make_move_iterator(end())}; |
| 242 | } |
| 243 | } |
| 244 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 245 | private: |
Dominik Laskowski | 206996f | 2022-01-20 13:21:57 -0800 | [diff] [blame] | 246 | template <typename, std::size_t> |
| 247 | friend class SmallVector; |
| 248 | |
| 249 | template <typename U, std::size_t M> |
| 250 | static std::variant<Static, Dynamic> convert(SmallVector<U, M>&& other) { |
| 251 | using Other = SmallVector<U, M>; |
| 252 | |
| 253 | if (other.dynamic()) { |
| 254 | return std::get<typename Other::Dynamic>(std::move(other.vector_)); |
| 255 | } else { |
| 256 | return std::get<typename Other::Static>(std::move(other.vector_)); |
| 257 | } |
| 258 | } |
| 259 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 260 | template <auto InsertStatic, auto InsertDynamic, typename... Args> |
| 261 | auto insert(Args&&... args) { |
| 262 | if (Dynamic* const vector = std::get_if<Dynamic>(&vector_)) { |
| 263 | return (vector->*InsertDynamic)(std::forward<Args>(args)...); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 264 | } |
| 265 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 266 | auto& vector = std::get<Static>(vector_); |
| 267 | if (vector.full()) { |
| 268 | return (promote(vector).*InsertDynamic)(std::forward<Args>(args)...); |
| 269 | } else { |
| 270 | return (vector.*InsertStatic)(std::forward<Args>(args)...); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 271 | } |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 272 | } |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 273 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 274 | Dynamic& promote(Static& static_vector) { |
| 275 | assert(static_vector.full()); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 276 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 277 | // Allocate double capacity to reduce probability of reallocation. |
| 278 | Dynamic vector; |
| 279 | vector.reserve(Static::max_size() * 2); |
| 280 | std::move(static_vector.begin(), static_vector.end(), std::back_inserter(vector)); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 281 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 282 | return vector_.template emplace<Dynamic>(std::move(vector)); |
| 283 | } |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 284 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 285 | std::variant<Static, Dynamic> vector_; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 286 | }; |
| 287 | |
| 288 | // Partial specialization without static storage. |
| 289 | template <typename T> |
Dominik Laskowski | 04667b7 | 2021-12-15 13:14:54 -0800 | [diff] [blame] | 290 | class SmallVector<T, 0> final : details::ArrayTraits<T>, |
Dominik Laskowski | 206996f | 2022-01-20 13:21:57 -0800 | [diff] [blame] | 291 | details::ArrayComparators<SmallVector>, |
Dominik Laskowski | 04667b7 | 2021-12-15 13:14:54 -0800 | [diff] [blame] | 292 | details::ArrayIterators<SmallVector<T, 0>, T>, |
Ryan Prichard | 2b2abd3 | 2024-08-15 18:03:36 -0700 | [diff] [blame] | 293 | std::vector<std::remove_const_t<T>> { |
Dominik Laskowski | 206996f | 2022-01-20 13:21:57 -0800 | [diff] [blame] | 294 | using details::ArrayTraits<T>::replace_at; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 295 | |
Dominik Laskowski | 04667b7 | 2021-12-15 13:14:54 -0800 | [diff] [blame] | 296 | using Iter = details::ArrayIterators<SmallVector, T>; |
Ryan Prichard | 2b2abd3 | 2024-08-15 18:03:36 -0700 | [diff] [blame] | 297 | using Impl = std::vector<std::remove_const_t<T>>; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 298 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 299 | friend Iter; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 300 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 301 | public: |
| 302 | FTL_ARRAY_TRAIT(T, value_type); |
| 303 | FTL_ARRAY_TRAIT(T, size_type); |
| 304 | FTL_ARRAY_TRAIT(T, difference_type); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 305 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 306 | FTL_ARRAY_TRAIT(T, pointer); |
| 307 | FTL_ARRAY_TRAIT(T, reference); |
| 308 | FTL_ARRAY_TRAIT(T, iterator); |
| 309 | FTL_ARRAY_TRAIT(T, reverse_iterator); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 310 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 311 | FTL_ARRAY_TRAIT(T, const_pointer); |
| 312 | FTL_ARRAY_TRAIT(T, const_reference); |
| 313 | FTL_ARRAY_TRAIT(T, const_iterator); |
| 314 | FTL_ARRAY_TRAIT(T, const_reverse_iterator); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 315 | |
Dominik Laskowski | 206996f | 2022-01-20 13:21:57 -0800 | [diff] [blame] | 316 | // See std::vector for underlying constructors. |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 317 | using Impl::Impl; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 318 | |
Dominik Laskowski | 206996f | 2022-01-20 13:21:57 -0800 | [diff] [blame] | 319 | // Copies and moves a vector, respectively. |
| 320 | SmallVector(const SmallVector&) = default; |
| 321 | SmallVector(SmallVector&&) = default; |
| 322 | |
| 323 | // Constructs elements in place. See StaticVector for underlying constructor. |
| 324 | template <typename U, std::size_t... Sizes, typename... Types> |
| 325 | SmallVector(InitializerList<U, std::index_sequence<Sizes...>, Types...>&& list) |
| 326 | : SmallVector(SmallVector<T, sizeof...(Sizes)>(std::move(list))) {} |
| 327 | |
| 328 | // Copies or moves elements from a convertible vector. |
| 329 | template <typename U, std::size_t M> |
| 330 | SmallVector(SmallVector<U, M> other) : Impl(convert(std::move(other))) {} |
| 331 | |
| 332 | SmallVector& operator=(SmallVector other) { |
| 333 | // Define copy/move assignment in terms of copy/move construction. |
| 334 | swap(other); |
| 335 | return *this; |
| 336 | } |
| 337 | |
| 338 | void swap(SmallVector& other) { Impl::swap(other); } |
| 339 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 340 | using Impl::empty; |
| 341 | using Impl::max_size; |
| 342 | using Impl::size; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 343 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 344 | using Impl::reserve; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 345 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 346 | // std::vector iterators are not necessarily raw pointers. |
| 347 | iterator begin() { return Impl::data(); } |
| 348 | iterator end() { return Impl::data() + size(); } |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 349 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 350 | using Iter::begin; |
| 351 | using Iter::end; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 352 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 353 | using Iter::cbegin; |
| 354 | using Iter::cend; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 355 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 356 | using Iter::rbegin; |
| 357 | using Iter::rend; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 358 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 359 | using Iter::crbegin; |
| 360 | using Iter::crend; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 361 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 362 | using Iter::last; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 363 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 364 | using Iter::back; |
| 365 | using Iter::front; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 366 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 367 | using Iter::operator[]; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 368 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 369 | template <typename... Args> |
| 370 | reference replace(const_iterator it, Args&&... args) { |
Dominik Laskowski | 206996f | 2022-01-20 13:21:57 -0800 | [diff] [blame] | 371 | return replace_at(it, std::forward<Args>(args)...); |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 372 | } |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 373 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 374 | template <typename... Args> |
| 375 | iterator emplace_back(Args&&... args) { |
| 376 | return &Impl::emplace_back(std::forward<Args>(args)...); |
| 377 | } |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 378 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 379 | bool push_back(const value_type& v) { |
| 380 | Impl::push_back(v); |
| 381 | return true; |
| 382 | } |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 383 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 384 | bool push_back(value_type&& v) { |
| 385 | Impl::push_back(std::move(v)); |
| 386 | return true; |
| 387 | } |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 388 | |
Dominik Laskowski | 44828ce | 2021-09-13 11:00:22 -0700 | [diff] [blame] | 389 | using Impl::clear; |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 390 | using Impl::pop_back; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 391 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 392 | void unstable_erase(iterator it) { |
Dominik Laskowski | dda9bba | 2021-02-03 18:56:00 -0800 | [diff] [blame] | 393 | if (it != last()) replace(it, std::move(back())); |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 394 | pop_back(); |
| 395 | } |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 396 | |
Ryan Prichard | 2b2abd3 | 2024-08-15 18:03:36 -0700 | [diff] [blame] | 397 | std::vector<std::remove_const_t<T>> promote() && { return std::move(*this); } |
Dominik Laskowski | 206996f | 2022-01-20 13:21:57 -0800 | [diff] [blame] | 398 | |
| 399 | private: |
| 400 | template <typename U, std::size_t M> |
| 401 | static Impl convert(SmallVector<U, M>&& other) { |
Ryan Prichard | 2b2abd3 | 2024-08-15 18:03:36 -0700 | [diff] [blame] | 402 | if constexpr (std::is_constructible_v<Impl, std::vector<std::remove_const_t<U>>&&>) { |
Dominik Laskowski | 206996f | 2022-01-20 13:21:57 -0800 | [diff] [blame] | 403 | return std::move(other).promote(); |
| 404 | } else { |
| 405 | SmallVector vector(other.size()); |
| 406 | |
| 407 | // Consistently with StaticVector, T only requires copy/move construction from U, rather than |
| 408 | // copy/move assignment. |
| 409 | auto it = vector.begin(); |
| 410 | for (auto& element : other) { |
| 411 | vector.replace(it++, std::move(element)); |
| 412 | } |
| 413 | |
| 414 | return vector; |
| 415 | } |
| 416 | } |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 417 | }; |
| 418 | |
| 419 | template <typename> |
Dominik Laskowski | 5444fc8 | 2020-11-24 13:41:10 -0800 | [diff] [blame] | 420 | struct is_small_vector : std::false_type {}; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 421 | |
Dominik Laskowski | 5444fc8 | 2020-11-24 13:41:10 -0800 | [diff] [blame] | 422 | template <typename T, std::size_t N> |
| 423 | struct is_small_vector<SmallVector<T, N>> : std::true_type {}; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 424 | |
| 425 | // Deduction guide for array constructor. |
Dominik Laskowski | 5444fc8 | 2020-11-24 13:41:10 -0800 | [diff] [blame] | 426 | template <typename T, std::size_t N> |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 427 | SmallVector(T (&)[N]) -> SmallVector<std::remove_cv_t<T>, N>; |
| 428 | |
| 429 | // Deduction guide for variadic constructor. |
| 430 | template <typename T, typename... Us, typename V = std::decay_t<T>, |
| 431 | typename = std::enable_if_t<(std::is_constructible_v<V, Us> && ...)>> |
| 432 | SmallVector(T&&, Us&&...) -> SmallVector<V, 1 + sizeof...(Us)>; |
| 433 | |
| 434 | // Deduction guide for in-place constructor. |
Dominik Laskowski | 5444fc8 | 2020-11-24 13:41:10 -0800 | [diff] [blame] | 435 | template <typename T, std::size_t... Sizes, typename... Types> |
Dominik Laskowski | ccd50a4 | 2020-10-30 19:56:38 -0700 | [diff] [blame] | 436 | SmallVector(InitializerList<T, std::index_sequence<Sizes...>, Types...>&&) |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 437 | -> SmallVector<T, sizeof...(Sizes)>; |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 438 | |
| 439 | // Deduction guide for StaticVector conversion. |
Dominik Laskowski | 5444fc8 | 2020-11-24 13:41:10 -0800 | [diff] [blame] | 440 | template <typename T, std::size_t N> |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 441 | SmallVector(StaticVector<T, N>&&) -> SmallVector<T, N>; |
| 442 | |
Dominik Laskowski | 5444fc8 | 2020-11-24 13:41:10 -0800 | [diff] [blame] | 443 | template <typename T, std::size_t N> |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 444 | inline void swap(SmallVector<T, N>& lhs, SmallVector<T, N>& rhs) { |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 445 | lhs.swap(rhs); |
Dominik Laskowski | 0bacf27 | 2020-10-22 14:08:27 -0700 | [diff] [blame] | 446 | } |
| 447 | |
Dominik Laskowski | e21dbed | 2020-12-04 20:51:43 -0800 | [diff] [blame] | 448 | } // namespace android::ftl |