| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397 |
- // Copyright (c) 2011-present, Facebook, Inc. All rights reserved.
- // This source code is licensed under both the GPLv2 (found in the
- // COPYING file in the root directory) and Apache 2.0 License
- // (found in the LICENSE.Apache file in the root directory).
- #pragma once
- #include <algorithm>
- #include <cassert>
- #include <initializer_list>
- #include <iterator>
- #include <stdexcept>
- #include <vector>
- #include "port/lang.h"
- #include "rocksdb/rocksdb_namespace.h"
- namespace ROCKSDB_NAMESPACE {
- // A vector that leverages pre-allocated stack-based array to achieve better
- // performance for array with small amount of items.
- //
- // The interface resembles that of vector, but with less features since we aim
- // to solve the problem that we have in hand, rather than implementing a
- // full-fledged generic container.
- //
- // Currently we don't support:
- // * shrink_to_fit()
- // If used correctly, in most cases, people should not touch the
- // underlying vector at all.
- // * random insert()/erase(), please only use push_back()/pop_back().
- // * No move/swap operations. Each autovector instance has a
- // stack-allocated array and if we want support move/swap operations, we
- // need to copy the arrays other than just swapping the pointers. In this
- // case we'll just explicitly forbid these operations since they may
- // lead users to make false assumption by thinking they are inexpensive
- // operations.
- //
- // Naming style of public methods almost follows that of the STL's.
- template <class T, size_t kSize = 8>
- class autovector {
- public:
- // General STL-style container member types.
- using value_type = T;
- using difference_type = typename std::vector<T>::difference_type;
- using size_type = typename std::vector<T>::size_type;
- using reference = value_type&;
- using const_reference = const value_type&;
- using pointer = value_type*;
- using const_pointer = const value_type*;
- // This class is the base for regular/const iterator
- template <class TAutoVector, class TValueType>
- class iterator_impl {
- public:
- // -- iterator traits
- using self_type = iterator_impl<TAutoVector, TValueType>;
- using value_type = TValueType;
- using reference = TValueType&;
- using pointer = TValueType*;
- using difference_type = typename TAutoVector::difference_type;
- using iterator_category = std::random_access_iterator_tag;
- iterator_impl(TAutoVector* vect, size_t index)
- : vect_(vect), index_(index) {}
- iterator_impl(const iterator_impl&) = default;
- ~iterator_impl() {}
- iterator_impl& operator=(const iterator_impl&) = default;
- // -- Advancement
- // ++iterator
- self_type& operator++() {
- ++index_;
- return *this;
- }
- // iterator++
- self_type operator++(int) {
- auto old = *this;
- ++index_;
- return old;
- }
- // --iterator
- self_type& operator--() {
- --index_;
- return *this;
- }
- // iterator--
- self_type operator--(int) {
- auto old = *this;
- --index_;
- return old;
- }
- self_type operator-(difference_type len) const {
- return self_type(vect_, index_ - len);
- }
- difference_type operator-(const self_type& other) const {
- assert(vect_ == other.vect_);
- return index_ - other.index_;
- }
- self_type operator+(difference_type len) const {
- return self_type(vect_, index_ + len);
- }
- self_type& operator+=(difference_type len) {
- index_ += len;
- return *this;
- }
- self_type& operator-=(difference_type len) {
- index_ -= len;
- return *this;
- }
- // -- Reference
- reference operator*() const {
- assert(vect_->size() >= index_);
- return (*vect_)[index_];
- }
- pointer operator->() const {
- assert(vect_->size() >= index_);
- return &(*vect_)[index_];
- }
- reference operator[](difference_type len) const { return *(*this + len); }
- // -- Logical Operators
- bool operator==(const self_type& other) const {
- assert(vect_ == other.vect_);
- return index_ == other.index_;
- }
- bool operator!=(const self_type& other) const { return !(*this == other); }
- bool operator>(const self_type& other) const {
- assert(vect_ == other.vect_);
- return index_ > other.index_;
- }
- bool operator<(const self_type& other) const {
- assert(vect_ == other.vect_);
- return index_ < other.index_;
- }
- bool operator>=(const self_type& other) const {
- assert(vect_ == other.vect_);
- return index_ >= other.index_;
- }
- bool operator<=(const self_type& other) const {
- assert(vect_ == other.vect_);
- return index_ <= other.index_;
- }
- private:
- TAutoVector* vect_ = nullptr;
- size_t index_ = 0;
- };
- using iterator = iterator_impl<autovector, value_type>;
- using const_iterator = iterator_impl<const autovector, const value_type>;
- using reverse_iterator = std::reverse_iterator<iterator>;
- using const_reverse_iterator = std::reverse_iterator<const_iterator>;
- autovector() : values_(reinterpret_cast<pointer>(buf_)) {}
- autovector(std::initializer_list<T> init_list)
- : values_(reinterpret_cast<pointer>(buf_)) {
- for (const T& item : init_list) {
- push_back(item);
- }
- }
- ~autovector() { clear(); }
- // -- Immutable operations
- // Indicate if all data resides in in-stack data structure.
- bool only_in_stack() const {
- // If no element was inserted at all, the vector's capacity will be `0`.
- return vect_.capacity() == 0;
- }
- size_type size() const { return num_stack_items_ + vect_.size(); }
- // resize does not guarantee anything about the contents of the newly
- // available elements
- void resize(size_type n) {
- if (n > kSize) {
- vect_.resize(n - kSize);
- while (num_stack_items_ < kSize) {
- new ((void*)(&values_[num_stack_items_++])) value_type();
- }
- num_stack_items_ = kSize;
- } else {
- vect_.clear();
- while (num_stack_items_ < n) {
- new ((void*)(&values_[num_stack_items_++])) value_type();
- }
- while (num_stack_items_ > n) {
- values_[--num_stack_items_].~value_type();
- }
- }
- }
- bool empty() const { return size() == 0; }
- size_type capacity() const { return kSize + vect_.capacity(); }
- void reserve(size_t cap) {
- if (cap > kSize) {
- vect_.reserve(cap - kSize);
- }
- assert(cap <= capacity());
- }
- const_reference operator[](size_type n) const {
- assert(n < size());
- if (n < kSize) {
- return values_[n];
- }
- return vect_[n - kSize];
- }
- reference operator[](size_type n) {
- assert(n < size());
- if (n < kSize) {
- return values_[n];
- }
- return vect_[n - kSize];
- }
- const_reference at(size_type n) const {
- assert(n < size());
- return (*this)[n];
- }
- reference at(size_type n) {
- assert(n < size());
- return (*this)[n];
- }
- reference front() {
- assert(!empty());
- return *begin();
- }
- const_reference front() const {
- assert(!empty());
- return *begin();
- }
- reference back() {
- assert(!empty());
- return *(end() - 1);
- }
- const_reference back() const {
- assert(!empty());
- return *(end() - 1);
- }
- // -- Mutable Operations
- void push_back(T&& item) {
- if (num_stack_items_ < kSize) {
- new ((void*)(&values_[num_stack_items_])) value_type();
- values_[num_stack_items_++] = std::move(item);
- } else {
- vect_.push_back(item);
- }
- }
- void push_back(const T& item) {
- if (num_stack_items_ < kSize) {
- new ((void*)(&values_[num_stack_items_])) value_type();
- values_[num_stack_items_++] = item;
- } else {
- vect_.push_back(item);
- }
- }
- template <class... Args>
- #if _LIBCPP_STD_VER > 14
- reference emplace_back(Args&&... args) {
- if (num_stack_items_ < kSize) {
- return *(new ((void*)(&values_[num_stack_items_++]))
- value_type(std::forward<Args>(args)...));
- } else {
- return vect_.emplace_back(std::forward<Args>(args)...);
- }
- }
- #else
- void emplace_back(Args&&... args) {
- if (num_stack_items_ < kSize) {
- new ((void*)(&values_[num_stack_items_++]))
- value_type(std::forward<Args>(args)...);
- } else {
- vect_.emplace_back(std::forward<Args>(args)...);
- }
- }
- #endif
- void pop_back() {
- assert(!empty());
- if (!vect_.empty()) {
- vect_.pop_back();
- } else {
- values_[--num_stack_items_].~value_type();
- }
- }
- void clear() {
- while (num_stack_items_ > 0) {
- values_[--num_stack_items_].~value_type();
- }
- vect_.clear();
- }
- // -- Copy and Assignment
- autovector& assign(const autovector& other);
- autovector(const autovector& other) { assign(other); }
- autovector& operator=(const autovector& other) { return assign(other); }
- autovector(autovector&& other) noexcept { *this = std::move(other); }
- autovector& operator=(autovector&& other);
- // -- Iterator Operations
- iterator begin() { return iterator(this, 0); }
- const_iterator begin() const { return const_iterator(this, 0); }
- iterator end() { return iterator(this, this->size()); }
- const_iterator end() const { return const_iterator(this, this->size()); }
- reverse_iterator rbegin() { return reverse_iterator(end()); }
- const_reverse_iterator rbegin() const {
- return const_reverse_iterator(end());
- }
- reverse_iterator rend() { return reverse_iterator(begin()); }
- const_reverse_iterator rend() const {
- return const_reverse_iterator(begin());
- }
- private:
- size_type num_stack_items_ = 0; // current number of items
- alignas(alignof(
- value_type)) char buf_[kSize *
- sizeof(value_type)]; // the first `kSize` items
- pointer values_;
- // used only if there are more than `kSize` items.
- std::vector<T> vect_;
- };
- template <class T, size_t kSize>
- autovector<T, kSize>& autovector<T, kSize>::assign(
- const autovector<T, kSize>& other) {
- values_ = reinterpret_cast<pointer>(buf_);
- // copy the internal vector
- vect_.assign(other.vect_.begin(), other.vect_.end());
- // copy array
- num_stack_items_ = other.num_stack_items_;
- for (size_t i = 0; i < num_stack_items_; ++i) {
- new ((void*)(&values_[i])) value_type();
- }
- std::copy(other.values_, other.values_ + num_stack_items_, values_);
- return *this;
- }
- template <class T, size_t kSize>
- autovector<T, kSize>& autovector<T, kSize>::operator=(
- autovector<T, kSize>&& other) {
- values_ = reinterpret_cast<pointer>(buf_);
- vect_ = std::move(other.vect_);
- size_t n = other.num_stack_items_;
- num_stack_items_ = n;
- other.num_stack_items_ = 0;
- for (size_t i = 0; i < n; ++i) {
- new ((void*)(&values_[i])) value_type();
- values_[i] = std::move(other.values_[i]);
- }
- return *this;
- }
- } // namespace ROCKSDB_NAMESPACE
|