| /* | |
| * Copyright 2020 The Android Open Source Project | |
| * | |
| * Licensed under the Apache License, Version 2.0 (the "License"); | |
| * you may not use this file except in compliance with the License. | |
| * You may obtain a copy of the License at | |
| * | |
| * http://www.apache.org/licenses/LICENSE-2.0 | |
| * | |
| * Unless required by applicable law or agreed to in writing, software | |
| * distributed under the License is distributed on an "AS IS" BASIS, | |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
| * See the License for the specific language governing permissions and | |
| * limitations under the License. | |
| */ | |
| #pragma once | |
| #include <ftl/details/array_traits.h> | |
| #include <ftl/static_vector.h> | |
| #include <algorithm> | |
| #include <iterator> | |
| #include <utility> | |
| #include <variant> | |
| #include <vector> | |
| #include <ftl/details/type_traits.h> | |
| namespace android::ftl { | |
| template <typename> | |
| struct is_small_vector; | |
| // ftl::StaticVector that promotes to std::vector when full. SmallVector is a drop-in replacement | |
| // for std::vector with statically allocated storage for N elements, whose goal is to improve run | |
| // time by avoiding heap allocation and increasing probability of cache hits. The standard API is | |
| // augmented by an unstable_erase operation that does not preserve order, and a replace operation | |
| // that destructively emplaces. | |
| // | |
| // Unlike std::vector, T does not require copy/move assignment, so may be an object with const data | |
| // members, or be const itself. | |
| // | |
| // SmallVector<T, 0> is a specialization that thinly wraps std::vector. | |
| // | |
| // Example usage: | |
| // | |
| // ftl::SmallVector<char, 3> vector; | |
| // assert(vector.empty()); | |
| // assert(!vector.dynamic()); | |
| // | |
| // vector = {'a', 'b', 'c'}; | |
| // assert(vector.size() == 3u); | |
| // assert(!vector.dynamic()); | |
| // | |
| // vector.push_back('d'); | |
| // assert(vector.dynamic()); | |
| // | |
| // vector.unstable_erase(vector.begin()); | |
| // assert(vector == (ftl::SmallVector{'d', 'b', 'c'})); | |
| // | |
| // vector.pop_back(); | |
| // assert(vector.back() == 'b'); | |
| // assert(vector.dynamic()); | |
| // | |
| // const char array[] = "hi"; | |
| // vector = ftl::SmallVector(array); | |
| // assert(vector == (ftl::SmallVector{'h', 'i', '\0'})); | |
| // assert(!vector.dynamic()); | |
| // | |
| // ftl::SmallVector strings = ftl::init::list<std::string>("abc")("123456", 3u)(3u, '?'); | |
| // assert(strings.size() == 3u); | |
| // assert(!strings.dynamic()); | |
| // | |
| // assert(strings[0] == "abc"); | |
| // assert(strings[1] == "123"); | |
| // assert(strings[2] == "???"); | |
| // | |
| template <typename T, std::size_t N> | |
| class SmallVector final : details::ArrayTraits<T>, details::ArrayComparators<SmallVector> { | |
| using Static = StaticVector<T, N>; | |
| using Dynamic = SmallVector<T, 0>; | |
| public: | |
| FTL_ARRAY_TRAIT(T, value_type); | |
| FTL_ARRAY_TRAIT(T, size_type); | |
| FTL_ARRAY_TRAIT(T, difference_type); | |
| FTL_ARRAY_TRAIT(T, pointer); | |
| FTL_ARRAY_TRAIT(T, reference); | |
| FTL_ARRAY_TRAIT(T, iterator); | |
| FTL_ARRAY_TRAIT(T, reverse_iterator); | |
| FTL_ARRAY_TRAIT(T, const_pointer); | |
| FTL_ARRAY_TRAIT(T, const_reference); | |
| FTL_ARRAY_TRAIT(T, const_iterator); | |
| FTL_ARRAY_TRAIT(T, const_reverse_iterator); | |
| // Creates an empty vector. | |
| SmallVector() = default; | |
| // Constructs at most N elements. See StaticVector for underlying constructors. | |
| template <typename Arg, typename... Args, | |
| typename = std::enable_if_t<!is_small_vector<details::remove_cvref_t<Arg>>{}>> | |
| SmallVector(Arg&& arg, Args&&... args) | |
| : vector_(std::in_place_type<Static>, std::forward<Arg>(arg), std::forward<Args>(args)...) {} | |
| // Copies or moves elements from a smaller convertible vector. | |
| template <typename U, std::size_t M, typename = std::enable_if_t<(M > 0)>> | |
| SmallVector(SmallVector<U, M> other) : vector_(convert(std::move(other))) {} | |
| void swap(SmallVector& other) { vector_.swap(other.vector_); } | |
| // Returns whether the vector is backed by static or dynamic storage. | |
| bool dynamic() const { return std::holds_alternative<Dynamic>(vector_); } | |
| // Avoid std::visit as it generates a dispatch table. | |
| #define DISPATCH(T, F, ...) \ | |
| T F() __VA_ARGS__ { \ | |
| return dynamic() ? std::get<Dynamic>(vector_).F() : std::get<Static>(vector_).F(); \ | |
| } | |
| DISPATCH(size_type, max_size, const) | |
| DISPATCH(size_type, size, const) | |
| DISPATCH(bool, empty, const) | |
| // noexcept to suppress warning about zero variadic macro arguments. | |
| DISPATCH(iterator, begin, noexcept) | |
| DISPATCH(const_iterator, begin, const) | |
| DISPATCH(const_iterator, cbegin, const) | |
| DISPATCH(iterator, end, noexcept) | |
| DISPATCH(const_iterator, end, const) | |
| DISPATCH(const_iterator, cend, const) | |
| DISPATCH(reverse_iterator, rbegin, noexcept) | |
| DISPATCH(const_reverse_iterator, rbegin, const) | |
| DISPATCH(const_reverse_iterator, crbegin, const) | |
| DISPATCH(reverse_iterator, rend, noexcept) | |
| DISPATCH(const_reverse_iterator, rend, const) | |
| DISPATCH(const_reverse_iterator, crend, const) | |
| DISPATCH(iterator, last, noexcept) | |
| DISPATCH(const_iterator, last, const) | |
| DISPATCH(reference, front, noexcept) | |
| DISPATCH(const_reference, front, const) | |
| DISPATCH(reference, back, noexcept) | |
| DISPATCH(const_reference, back, const) | |
| reference operator[](size_type i) { | |
| return dynamic() ? std::get<Dynamic>(vector_)[i] : std::get<Static>(vector_)[i]; | |
| } | |
| const_reference operator[](size_type i) const { return const_cast<SmallVector&>(*this)[i]; } | |
| // Replaces an element, and returns a reference to it. The iterator must be dereferenceable, so | |
| // replacing at end() is erroneous. | |
| // | |
| // The element is emplaced via move constructor, so type T does not need to define copy/move | |
| // assignment, e.g. its data members may be const. | |
| // | |
| // The arguments may directly or indirectly refer to the element being replaced. | |
| // | |
| // Iterators to the replaced element point to its replacement, and others remain valid. | |
| // | |
| template <typename... Args> | |
| reference replace(const_iterator it, Args&&... args) { | |
| if (dynamic()) { | |
| return std::get<Dynamic>(vector_).replace(it, std::forward<Args>(args)...); | |
| } else { | |
| return std::get<Static>(vector_).replace(it, std::forward<Args>(args)...); | |
| } | |
| } | |
| // Appends an element, and returns a reference to it. | |
| // | |
| // If the vector reaches its static or dynamic capacity, then all iterators are invalidated. | |
| // Otherwise, only the end() iterator is invalidated. | |
| // | |
| template <typename... Args> | |
| reference emplace_back(Args&&... args) { | |
| constexpr auto kInsertStatic = &Static::template emplace_back<Args...>; | |
| constexpr auto kInsertDynamic = &Dynamic::template emplace_back<Args...>; | |
| return *insert<kInsertStatic, kInsertDynamic>(std::forward<Args>(args)...); | |
| } | |
| // Appends an element. | |
| // | |
| // If the vector reaches its static or dynamic capacity, then all iterators are invalidated. | |
| // Otherwise, only the end() iterator is invalidated. | |
| // | |
| void push_back(const value_type& v) { | |
| constexpr auto kInsertStatic = | |
| static_cast<bool (Static::*)(const value_type&)>(&Static::push_back); | |
| constexpr auto kInsertDynamic = | |
| static_cast<bool (Dynamic::*)(const value_type&)>(&Dynamic::push_back); | |
| insert<kInsertStatic, kInsertDynamic>(v); | |
| } | |
| void push_back(value_type&& v) { | |
| constexpr auto kInsertStatic = static_cast<bool (Static::*)(value_type &&)>(&Static::push_back); | |
| constexpr auto kInsertDynamic = | |
| static_cast<bool (Dynamic::*)(value_type &&)>(&Dynamic::push_back); | |
| insert<kInsertStatic, kInsertDynamic>(std::move(v)); | |
| } | |
| // Removes the last element. The vector must not be empty, or the call is erroneous. | |
| // | |
| // The last() and end() iterators are invalidated. | |
| // | |
| DISPATCH(void, pop_back, noexcept) | |
| // Removes all elements. | |
| // | |
| // All iterators are invalidated. | |
| // | |
| DISPATCH(void, clear, noexcept) | |
| #undef DISPATCH | |
| // Erases an element, but does not preserve order. Rather than shifting subsequent elements, | |
| // this moves the last element to the slot of the erased element. | |
| // | |
| // The last() and end() iterators, as well as those to the erased element, are invalidated. | |
| // | |
| void unstable_erase(iterator it) { | |
| if (dynamic()) { | |
| std::get<Dynamic>(vector_).unstable_erase(it); | |
| } else { | |
| std::get<Static>(vector_).unstable_erase(it); | |
| } | |
| } | |
| // Extracts the elements as std::vector. | |
| std::vector<T> promote() && { | |
| if (dynamic()) { | |
| return std::get<Dynamic>(std::move(vector_)).promote(); | |
| } else { | |
| return {std::make_move_iterator(begin()), std::make_move_iterator(end())}; | |
| } | |
| } | |
| private: | |
| template <typename, std::size_t> | |
| friend class SmallVector; | |
| template <typename U, std::size_t M> | |
| static std::variant<Static, Dynamic> convert(SmallVector<U, M>&& other) { | |
| using Other = SmallVector<U, M>; | |
| if (other.dynamic()) { | |
| return std::get<typename Other::Dynamic>(std::move(other.vector_)); | |
| } else { | |
| return std::get<typename Other::Static>(std::move(other.vector_)); | |
| } | |
| } | |
| template <auto InsertStatic, auto InsertDynamic, typename... Args> | |
| auto insert(Args&&... args) { | |
| if (Dynamic* const vector = std::get_if<Dynamic>(&vector_)) { | |
| return (vector->*InsertDynamic)(std::forward<Args>(args)...); | |
| } | |
| auto& vector = std::get<Static>(vector_); | |
| if (vector.full()) { | |
| return (promote(vector).*InsertDynamic)(std::forward<Args>(args)...); | |
| } else { | |
| return (vector.*InsertStatic)(std::forward<Args>(args)...); | |
| } | |
| } | |
| Dynamic& promote(Static& static_vector) { | |
| assert(static_vector.full()); | |
| // Allocate double capacity to reduce probability of reallocation. | |
| Dynamic vector; | |
| vector.reserve(Static::max_size() * 2); | |
| std::move(static_vector.begin(), static_vector.end(), std::back_inserter(vector)); | |
| return vector_.template emplace<Dynamic>(std::move(vector)); | |
| } | |
| std::variant<Static, Dynamic> vector_; | |
| }; | |
| // Partial specialization without static storage. | |
| template <typename T> | |
| class SmallVector<T, 0> final : details::ArrayTraits<T>, | |
| details::ArrayComparators<SmallVector>, | |
| details::ArrayIterators<SmallVector<T, 0>, T>, | |
| std::vector<T> { | |
| using details::ArrayTraits<T>::replace_at; | |
| using Iter = details::ArrayIterators<SmallVector, T>; | |
| using Impl = std::vector<T>; | |
| friend Iter; | |
| public: | |
| FTL_ARRAY_TRAIT(T, value_type); | |
| FTL_ARRAY_TRAIT(T, size_type); | |
| FTL_ARRAY_TRAIT(T, difference_type); | |
| FTL_ARRAY_TRAIT(T, pointer); | |
| FTL_ARRAY_TRAIT(T, reference); | |
| FTL_ARRAY_TRAIT(T, iterator); | |
| FTL_ARRAY_TRAIT(T, reverse_iterator); | |
| FTL_ARRAY_TRAIT(T, const_pointer); | |
| FTL_ARRAY_TRAIT(T, const_reference); | |
| FTL_ARRAY_TRAIT(T, const_iterator); | |
| FTL_ARRAY_TRAIT(T, const_reverse_iterator); | |
| // See std::vector for underlying constructors. | |
| using Impl::Impl; | |
| // Copies and moves a vector, respectively. | |
| SmallVector(const SmallVector&) = default; | |
| SmallVector(SmallVector&&) = default; | |
| // Constructs elements in place. See StaticVector for underlying constructor. | |
| template <typename U, std::size_t... Sizes, typename... Types> | |
| SmallVector(InitializerList<U, std::index_sequence<Sizes...>, Types...>&& list) | |
| : SmallVector(SmallVector<T, sizeof...(Sizes)>(std::move(list))) {} | |
| // Copies or moves elements from a convertible vector. | |
| template <typename U, std::size_t M> | |
| SmallVector(SmallVector<U, M> other) : Impl(convert(std::move(other))) {} | |
| SmallVector& operator=(SmallVector other) { | |
| // Define copy/move assignment in terms of copy/move construction. | |
| swap(other); | |
| return *this; | |
| } | |
| void swap(SmallVector& other) { Impl::swap(other); } | |
| using Impl::empty; | |
| using Impl::max_size; | |
| using Impl::size; | |
| using Impl::reserve; | |
| // std::vector iterators are not necessarily raw pointers. | |
| iterator begin() { return Impl::data(); } | |
| iterator end() { return Impl::data() + size(); } | |
| using Iter::begin; | |
| using Iter::end; | |
| using Iter::cbegin; | |
| using Iter::cend; | |
| using Iter::rbegin; | |
| using Iter::rend; | |
| using Iter::crbegin; | |
| using Iter::crend; | |
| using Iter::last; | |
| using Iter::back; | |
| using Iter::front; | |
| using Iter::operator[]; | |
| template <typename... Args> | |
| reference replace(const_iterator it, Args&&... args) { | |
| return replace_at(it, std::forward<Args>(args)...); | |
| } | |
| template <typename... Args> | |
| iterator emplace_back(Args&&... args) { | |
| return &Impl::emplace_back(std::forward<Args>(args)...); | |
| } | |
| bool push_back(const value_type& v) { | |
| Impl::push_back(v); | |
| return true; | |
| } | |
| bool push_back(value_type&& v) { | |
| Impl::push_back(std::move(v)); | |
| return true; | |
| } | |
| using Impl::clear; | |
| using Impl::pop_back; | |
| void unstable_erase(iterator it) { | |
| if (it != last()) replace(it, std::move(back())); | |
| pop_back(); | |
| } | |
| std::vector<T> promote() && { return std::move(*this); } | |
| private: | |
| template <typename U, std::size_t M> | |
| static Impl convert(SmallVector<U, M>&& other) { | |
| if constexpr (std::is_constructible_v<Impl, std::vector<U>&&>) { | |
| return std::move(other).promote(); | |
| } else { | |
| SmallVector vector(other.size()); | |
| // Consistently with StaticVector, T only requires copy/move construction from U, rather than | |
| // copy/move assignment. | |
| auto it = vector.begin(); | |
| for (auto& element : other) { | |
| vector.replace(it++, std::move(element)); | |
| } | |
| return vector; | |
| } | |
| } | |
| }; | |
| template <typename> | |
| struct is_small_vector : std::false_type {}; | |
| template <typename T, std::size_t N> | |
| struct is_small_vector<SmallVector<T, N>> : std::true_type {}; | |
| // Deduction guide for array constructor. | |
| template <typename T, std::size_t N> | |
| SmallVector(T (&)[N]) -> SmallVector<std::remove_cv_t<T>, N>; | |
| // Deduction guide for variadic constructor. | |
| template <typename T, typename... Us, typename V = std::decay_t<T>, | |
| typename = std::enable_if_t<(std::is_constructible_v<V, Us> && ...)>> | |
| SmallVector(T&&, Us&&...) -> SmallVector<V, 1 + sizeof...(Us)>; | |
| // Deduction guide for in-place constructor. | |
| template <typename T, std::size_t... Sizes, typename... Types> | |
| SmallVector(InitializerList<T, std::index_sequence<Sizes...>, Types...>&&) | |
| -> SmallVector<T, sizeof...(Sizes)>; | |
| // Deduction guide for StaticVector conversion. | |
| template <typename T, std::size_t N> | |
| SmallVector(StaticVector<T, N>&&) -> SmallVector<T, N>; | |
| template <typename T, std::size_t N> | |
| inline void swap(SmallVector<T, N>& lhs, SmallVector<T, N>& rhs) { | |
| lhs.swap(rhs); | |
| } | |
| } // namespace android::ftl |