xref: /aosp_15_r20/external/cronet/base/containers/circular_deque.h (revision 6777b5387eb2ff775bb5750e3f5d96f37fb7352b)
1*6777b538SAndroid Build Coastguard Worker // Copyright 2017 The Chromium Authors
2*6777b538SAndroid Build Coastguard Worker // Use of this source code is governed by a BSD-style license that can be
3*6777b538SAndroid Build Coastguard Worker // found in the LICENSE file.
4*6777b538SAndroid Build Coastguard Worker 
5*6777b538SAndroid Build Coastguard Worker #ifndef BASE_CONTAINERS_CIRCULAR_DEQUE_H_
6*6777b538SAndroid Build Coastguard Worker #define BASE_CONTAINERS_CIRCULAR_DEQUE_H_
7*6777b538SAndroid Build Coastguard Worker 
8*6777b538SAndroid Build Coastguard Worker #include <algorithm>
9*6777b538SAndroid Build Coastguard Worker #include <cstddef>
10*6777b538SAndroid Build Coastguard Worker #include <iterator>
11*6777b538SAndroid Build Coastguard Worker #include <type_traits>
12*6777b538SAndroid Build Coastguard Worker #include <utility>
13*6777b538SAndroid Build Coastguard Worker 
14*6777b538SAndroid Build Coastguard Worker #include "base/check.h"
15*6777b538SAndroid Build Coastguard Worker #include "base/containers/vector_buffer.h"
16*6777b538SAndroid Build Coastguard Worker #include "base/dcheck_is_on.h"
17*6777b538SAndroid Build Coastguard Worker #include "base/memory/raw_ptr_exclusion.h"
18*6777b538SAndroid Build Coastguard Worker #include "base/ranges/algorithm.h"
19*6777b538SAndroid Build Coastguard Worker #include "base/template_util.h"
20*6777b538SAndroid Build Coastguard Worker 
21*6777b538SAndroid Build Coastguard Worker #if DCHECK_IS_ON()
22*6777b538SAndroid Build Coastguard Worker #include <ostream>
23*6777b538SAndroid Build Coastguard Worker #endif
24*6777b538SAndroid Build Coastguard Worker 
25*6777b538SAndroid Build Coastguard Worker // base::circular_deque is similar to std::deque. Unlike std::deque, the
26*6777b538SAndroid Build Coastguard Worker // storage is provided in a flat circular buffer conceptually similar to a
27*6777b538SAndroid Build Coastguard Worker // vector. The beginning and end will wrap around as necessary so that
28*6777b538SAndroid Build Coastguard Worker // pushes and pops will be constant time as long as a capacity expansion is
29*6777b538SAndroid Build Coastguard Worker // not required.
30*6777b538SAndroid Build Coastguard Worker //
31*6777b538SAndroid Build Coastguard Worker // The API should be identical to std::deque with the following differences:
32*6777b538SAndroid Build Coastguard Worker //
33*6777b538SAndroid Build Coastguard Worker //  - ITERATORS ARE NOT STABLE. Mutating the container will invalidate all
34*6777b538SAndroid Build Coastguard Worker //    iterators.
35*6777b538SAndroid Build Coastguard Worker //
36*6777b538SAndroid Build Coastguard Worker //  - Insertions may resize the vector and so are not constant time (std::deque
37*6777b538SAndroid Build Coastguard Worker //    guarantees constant time for insertions at the ends).
38*6777b538SAndroid Build Coastguard Worker //
39*6777b538SAndroid Build Coastguard Worker //  - Container-wide comparisons are not implemented. If you want to compare
40*6777b538SAndroid Build Coastguard Worker //    two containers, use an algorithm so the expensive iteration is explicit.
41*6777b538SAndroid Build Coastguard Worker //
42*6777b538SAndroid Build Coastguard Worker // If you want a similar container with only a queue API, use base::queue in
43*6777b538SAndroid Build Coastguard Worker // base/containers/queue.h.
44*6777b538SAndroid Build Coastguard Worker //
45*6777b538SAndroid Build Coastguard Worker // Constructors:
46*6777b538SAndroid Build Coastguard Worker //   circular_deque();
47*6777b538SAndroid Build Coastguard Worker //   circular_deque(size_t count);
48*6777b538SAndroid Build Coastguard Worker //   circular_deque(size_t count, const T& value);
49*6777b538SAndroid Build Coastguard Worker //   circular_deque(InputIterator first, InputIterator last);
50*6777b538SAndroid Build Coastguard Worker //   circular_deque(const circular_deque&);
51*6777b538SAndroid Build Coastguard Worker //   circular_deque(circular_deque&&);
52*6777b538SAndroid Build Coastguard Worker //   circular_deque(std::initializer_list<value_type>);
53*6777b538SAndroid Build Coastguard Worker //
54*6777b538SAndroid Build Coastguard Worker // Assignment functions:
55*6777b538SAndroid Build Coastguard Worker //   circular_deque& operator=(const circular_deque&);
56*6777b538SAndroid Build Coastguard Worker //   circular_deque& operator=(circular_deque&&);
57*6777b538SAndroid Build Coastguard Worker //   circular_deque& operator=(std::initializer_list<T>);
58*6777b538SAndroid Build Coastguard Worker //   void assign(size_t count, const T& value);
59*6777b538SAndroid Build Coastguard Worker //   void assign(InputIterator first, InputIterator last);
60*6777b538SAndroid Build Coastguard Worker //   void assign(std::initializer_list<T> value);
61*6777b538SAndroid Build Coastguard Worker //
62*6777b538SAndroid Build Coastguard Worker // Random accessors:
63*6777b538SAndroid Build Coastguard Worker //   T& at(size_t);
64*6777b538SAndroid Build Coastguard Worker //   const T& at(size_t) const;
65*6777b538SAndroid Build Coastguard Worker //   T& operator[](size_t);
66*6777b538SAndroid Build Coastguard Worker //   const T& operator[](size_t) const;
67*6777b538SAndroid Build Coastguard Worker //
68*6777b538SAndroid Build Coastguard Worker // End accessors:
69*6777b538SAndroid Build Coastguard Worker //   T& front();
70*6777b538SAndroid Build Coastguard Worker //   const T& front() const;
71*6777b538SAndroid Build Coastguard Worker //   T& back();
72*6777b538SAndroid Build Coastguard Worker //   const T& back() const;
73*6777b538SAndroid Build Coastguard Worker //
74*6777b538SAndroid Build Coastguard Worker // Iterator functions:
75*6777b538SAndroid Build Coastguard Worker //   iterator               begin();
76*6777b538SAndroid Build Coastguard Worker //   const_iterator         begin() const;
77*6777b538SAndroid Build Coastguard Worker //   const_iterator         cbegin() const;
78*6777b538SAndroid Build Coastguard Worker //   iterator               end();
79*6777b538SAndroid Build Coastguard Worker //   const_iterator         end() const;
80*6777b538SAndroid Build Coastguard Worker //   const_iterator         cend() const;
81*6777b538SAndroid Build Coastguard Worker //   reverse_iterator       rbegin();
82*6777b538SAndroid Build Coastguard Worker //   const_reverse_iterator rbegin() const;
83*6777b538SAndroid Build Coastguard Worker //   const_reverse_iterator crbegin() const;
84*6777b538SAndroid Build Coastguard Worker //   reverse_iterator       rend();
85*6777b538SAndroid Build Coastguard Worker //   const_reverse_iterator rend() const;
86*6777b538SAndroid Build Coastguard Worker //   const_reverse_iterator crend() const;
87*6777b538SAndroid Build Coastguard Worker //
88*6777b538SAndroid Build Coastguard Worker // Memory management:
89*6777b538SAndroid Build Coastguard Worker //   void reserve(size_t);  // SEE IMPLEMENTATION FOR SOME GOTCHAS.
90*6777b538SAndroid Build Coastguard Worker //   size_t capacity() const;
91*6777b538SAndroid Build Coastguard Worker //   void shrink_to_fit();
92*6777b538SAndroid Build Coastguard Worker //
93*6777b538SAndroid Build Coastguard Worker // Size management:
94*6777b538SAndroid Build Coastguard Worker //   void clear();
95*6777b538SAndroid Build Coastguard Worker //   bool empty() const;
96*6777b538SAndroid Build Coastguard Worker //   size_t size() const;
97*6777b538SAndroid Build Coastguard Worker //   void resize(size_t);
98*6777b538SAndroid Build Coastguard Worker //   void resize(size_t count, const T& value);
99*6777b538SAndroid Build Coastguard Worker //
100*6777b538SAndroid Build Coastguard Worker // Positional insert and erase:
101*6777b538SAndroid Build Coastguard Worker //   void insert(const_iterator pos, size_type count, const T& value);
102*6777b538SAndroid Build Coastguard Worker //   void insert(const_iterator pos,
103*6777b538SAndroid Build Coastguard Worker //               InputIterator first, InputIterator last);
104*6777b538SAndroid Build Coastguard Worker //   iterator insert(const_iterator pos, const T& value);
105*6777b538SAndroid Build Coastguard Worker //   iterator insert(const_iterator pos, T&& value);
106*6777b538SAndroid Build Coastguard Worker //   iterator emplace(const_iterator pos, Args&&... args);
107*6777b538SAndroid Build Coastguard Worker //   iterator erase(const_iterator pos);
108*6777b538SAndroid Build Coastguard Worker //   iterator erase(const_iterator first, const_iterator last);
109*6777b538SAndroid Build Coastguard Worker //
110*6777b538SAndroid Build Coastguard Worker // End insert and erase:
111*6777b538SAndroid Build Coastguard Worker //   void push_front(const T&);
112*6777b538SAndroid Build Coastguard Worker //   void push_front(T&&);
113*6777b538SAndroid Build Coastguard Worker //   void push_back(const T&);
114*6777b538SAndroid Build Coastguard Worker //   void push_back(T&&);
115*6777b538SAndroid Build Coastguard Worker //   T& emplace_front(Args&&...);
116*6777b538SAndroid Build Coastguard Worker //   T& emplace_back(Args&&...);
117*6777b538SAndroid Build Coastguard Worker //   void pop_front();
118*6777b538SAndroid Build Coastguard Worker //   void pop_back();
119*6777b538SAndroid Build Coastguard Worker //
120*6777b538SAndroid Build Coastguard Worker // General:
121*6777b538SAndroid Build Coastguard Worker //   void swap(circular_deque&);
122*6777b538SAndroid Build Coastguard Worker 
123*6777b538SAndroid Build Coastguard Worker namespace base {
124*6777b538SAndroid Build Coastguard Worker 
125*6777b538SAndroid Build Coastguard Worker template <class T>
126*6777b538SAndroid Build Coastguard Worker class circular_deque;
127*6777b538SAndroid Build Coastguard Worker 
128*6777b538SAndroid Build Coastguard Worker namespace internal {
129*6777b538SAndroid Build Coastguard Worker 
130*6777b538SAndroid Build Coastguard Worker // Start allocating nonempty buffers with this many entries. This is the
131*6777b538SAndroid Build Coastguard Worker // external capacity so the internal buffer will be one larger (= 4) which is
132*6777b538SAndroid Build Coastguard Worker // more even for the allocator. See the descriptions of internal vs. external
133*6777b538SAndroid Build Coastguard Worker // capacity on the comment above the buffer_ variable below.
134*6777b538SAndroid Build Coastguard Worker constexpr size_t kCircularBufferInitialCapacity = 3;
135*6777b538SAndroid Build Coastguard Worker 
136*6777b538SAndroid Build Coastguard Worker template <typename T>
137*6777b538SAndroid Build Coastguard Worker class circular_deque_const_iterator {
138*6777b538SAndroid Build Coastguard Worker  public:
139*6777b538SAndroid Build Coastguard Worker   using difference_type = std::ptrdiff_t;
140*6777b538SAndroid Build Coastguard Worker   using value_type = T;
141*6777b538SAndroid Build Coastguard Worker   using pointer = const T*;
142*6777b538SAndroid Build Coastguard Worker   using reference = const T&;
143*6777b538SAndroid Build Coastguard Worker   using iterator_category = std::random_access_iterator_tag;
144*6777b538SAndroid Build Coastguard Worker 
circular_deque_const_iterator()145*6777b538SAndroid Build Coastguard Worker   circular_deque_const_iterator() : parent_deque_(nullptr), index_(0) {
146*6777b538SAndroid Build Coastguard Worker #if DCHECK_IS_ON()
147*6777b538SAndroid Build Coastguard Worker     created_generation_ = 0;
148*6777b538SAndroid Build Coastguard Worker #endif  // DCHECK_IS_ON()
149*6777b538SAndroid Build Coastguard Worker   }
150*6777b538SAndroid Build Coastguard Worker 
151*6777b538SAndroid Build Coastguard Worker   // Dereferencing.
152*6777b538SAndroid Build Coastguard Worker   const T& operator*() const {
153*6777b538SAndroid Build Coastguard Worker     CheckUnstableUsage();
154*6777b538SAndroid Build Coastguard Worker     parent_deque_->CheckValidIndex(index_);
155*6777b538SAndroid Build Coastguard Worker     return parent_deque_->buffer_[index_];
156*6777b538SAndroid Build Coastguard Worker   }
157*6777b538SAndroid Build Coastguard Worker   const T* operator->() const {
158*6777b538SAndroid Build Coastguard Worker     CheckUnstableUsage();
159*6777b538SAndroid Build Coastguard Worker     parent_deque_->CheckValidIndex(index_);
160*6777b538SAndroid Build Coastguard Worker     return &parent_deque_->buffer_[index_];
161*6777b538SAndroid Build Coastguard Worker   }
162*6777b538SAndroid Build Coastguard Worker   const value_type& operator[](difference_type i) const { return *(*this + i); }
163*6777b538SAndroid Build Coastguard Worker 
164*6777b538SAndroid Build Coastguard Worker   // Increment and decrement.
165*6777b538SAndroid Build Coastguard Worker   circular_deque_const_iterator& operator++() {
166*6777b538SAndroid Build Coastguard Worker     Increment();
167*6777b538SAndroid Build Coastguard Worker     return *this;
168*6777b538SAndroid Build Coastguard Worker   }
169*6777b538SAndroid Build Coastguard Worker   circular_deque_const_iterator operator++(int) {
170*6777b538SAndroid Build Coastguard Worker     circular_deque_const_iterator ret = *this;
171*6777b538SAndroid Build Coastguard Worker     Increment();
172*6777b538SAndroid Build Coastguard Worker     return ret;
173*6777b538SAndroid Build Coastguard Worker   }
174*6777b538SAndroid Build Coastguard Worker   circular_deque_const_iterator& operator--() {
175*6777b538SAndroid Build Coastguard Worker     Decrement();
176*6777b538SAndroid Build Coastguard Worker     return *this;
177*6777b538SAndroid Build Coastguard Worker   }
178*6777b538SAndroid Build Coastguard Worker   circular_deque_const_iterator operator--(int) {
179*6777b538SAndroid Build Coastguard Worker     circular_deque_const_iterator ret = *this;
180*6777b538SAndroid Build Coastguard Worker     Decrement();
181*6777b538SAndroid Build Coastguard Worker     return ret;
182*6777b538SAndroid Build Coastguard Worker   }
183*6777b538SAndroid Build Coastguard Worker 
184*6777b538SAndroid Build Coastguard Worker   // Random access mutation.
185*6777b538SAndroid Build Coastguard Worker   friend circular_deque_const_iterator operator+(
186*6777b538SAndroid Build Coastguard Worker       const circular_deque_const_iterator& iter,
187*6777b538SAndroid Build Coastguard Worker       difference_type offset) {
188*6777b538SAndroid Build Coastguard Worker     circular_deque_const_iterator ret = iter;
189*6777b538SAndroid Build Coastguard Worker     ret.Add(offset);
190*6777b538SAndroid Build Coastguard Worker     return ret;
191*6777b538SAndroid Build Coastguard Worker   }
192*6777b538SAndroid Build Coastguard Worker   circular_deque_const_iterator& operator+=(difference_type offset) {
193*6777b538SAndroid Build Coastguard Worker     Add(offset);
194*6777b538SAndroid Build Coastguard Worker     return *this;
195*6777b538SAndroid Build Coastguard Worker   }
196*6777b538SAndroid Build Coastguard Worker   friend circular_deque_const_iterator operator-(
197*6777b538SAndroid Build Coastguard Worker       const circular_deque_const_iterator& iter,
198*6777b538SAndroid Build Coastguard Worker       difference_type offset) {
199*6777b538SAndroid Build Coastguard Worker     circular_deque_const_iterator ret = iter;
200*6777b538SAndroid Build Coastguard Worker     ret.Add(-offset);
201*6777b538SAndroid Build Coastguard Worker     return ret;
202*6777b538SAndroid Build Coastguard Worker   }
203*6777b538SAndroid Build Coastguard Worker   circular_deque_const_iterator& operator-=(difference_type offset) {
204*6777b538SAndroid Build Coastguard Worker     Add(-offset);
205*6777b538SAndroid Build Coastguard Worker     return *this;
206*6777b538SAndroid Build Coastguard Worker   }
207*6777b538SAndroid Build Coastguard Worker 
208*6777b538SAndroid Build Coastguard Worker   friend std::ptrdiff_t operator-(const circular_deque_const_iterator& lhs,
209*6777b538SAndroid Build Coastguard Worker                                   const circular_deque_const_iterator& rhs) {
210*6777b538SAndroid Build Coastguard Worker     lhs.CheckComparable(rhs);
211*6777b538SAndroid Build Coastguard Worker     return static_cast<std::ptrdiff_t>(lhs.OffsetFromBegin() -
212*6777b538SAndroid Build Coastguard Worker                                        rhs.OffsetFromBegin());
213*6777b538SAndroid Build Coastguard Worker   }
214*6777b538SAndroid Build Coastguard Worker 
215*6777b538SAndroid Build Coastguard Worker   // Comparisons.
216*6777b538SAndroid Build Coastguard Worker   friend bool operator==(const circular_deque_const_iterator& lhs,
217*6777b538SAndroid Build Coastguard Worker                          const circular_deque_const_iterator& rhs) {
218*6777b538SAndroid Build Coastguard Worker     lhs.CheckComparable(rhs);
219*6777b538SAndroid Build Coastguard Worker     return lhs.index_ == rhs.index_;
220*6777b538SAndroid Build Coastguard Worker   }
221*6777b538SAndroid Build Coastguard Worker   friend std::strong_ordering operator<=>(
222*6777b538SAndroid Build Coastguard Worker       const circular_deque_const_iterator& lhs,
223*6777b538SAndroid Build Coastguard Worker       const circular_deque_const_iterator& rhs) {
224*6777b538SAndroid Build Coastguard Worker     lhs.CheckComparable(rhs);
225*6777b538SAndroid Build Coastguard Worker     // The order is based on the position of the element in the circular_dequeue
226*6777b538SAndroid Build Coastguard Worker     // rather than `index_` at which the element is stored in the ring buffer.
227*6777b538SAndroid Build Coastguard Worker     return lhs.OffsetFromBegin() <=> rhs.OffsetFromBegin();
228*6777b538SAndroid Build Coastguard Worker   }
229*6777b538SAndroid Build Coastguard Worker 
230*6777b538SAndroid Build Coastguard Worker  protected:
231*6777b538SAndroid Build Coastguard Worker   friend class circular_deque<T>;
232*6777b538SAndroid Build Coastguard Worker 
circular_deque_const_iterator(const circular_deque<T> * parent,size_t index)233*6777b538SAndroid Build Coastguard Worker   circular_deque_const_iterator(const circular_deque<T>* parent, size_t index)
234*6777b538SAndroid Build Coastguard Worker       : parent_deque_(parent), index_(index) {
235*6777b538SAndroid Build Coastguard Worker #if DCHECK_IS_ON()
236*6777b538SAndroid Build Coastguard Worker     created_generation_ = parent->generation_;
237*6777b538SAndroid Build Coastguard Worker #endif  // DCHECK_IS_ON()
238*6777b538SAndroid Build Coastguard Worker   }
239*6777b538SAndroid Build Coastguard Worker 
240*6777b538SAndroid Build Coastguard Worker   // Returns the offset from the beginning index of the buffer to the current
241*6777b538SAndroid Build Coastguard Worker   // item.
OffsetFromBegin()242*6777b538SAndroid Build Coastguard Worker   size_t OffsetFromBegin() const {
243*6777b538SAndroid Build Coastguard Worker     if (index_ >= parent_deque_->begin_)
244*6777b538SAndroid Build Coastguard Worker       return index_ - parent_deque_->begin_;  // On the same side as begin.
245*6777b538SAndroid Build Coastguard Worker     return parent_deque_->buffer_.capacity() - parent_deque_->begin_ + index_;
246*6777b538SAndroid Build Coastguard Worker   }
247*6777b538SAndroid Build Coastguard Worker 
248*6777b538SAndroid Build Coastguard Worker   // Most uses will be ++ and -- so use a simplified implementation.
Increment()249*6777b538SAndroid Build Coastguard Worker   void Increment() {
250*6777b538SAndroid Build Coastguard Worker     CheckUnstableUsage();
251*6777b538SAndroid Build Coastguard Worker     parent_deque_->CheckValidIndex(index_);
252*6777b538SAndroid Build Coastguard Worker     index_++;
253*6777b538SAndroid Build Coastguard Worker     if (index_ == parent_deque_->buffer_.capacity())
254*6777b538SAndroid Build Coastguard Worker       index_ = 0;
255*6777b538SAndroid Build Coastguard Worker   }
Decrement()256*6777b538SAndroid Build Coastguard Worker   void Decrement() {
257*6777b538SAndroid Build Coastguard Worker     CheckUnstableUsage();
258*6777b538SAndroid Build Coastguard Worker     parent_deque_->CheckValidIndexOrEnd(index_);
259*6777b538SAndroid Build Coastguard Worker     if (index_ == 0)
260*6777b538SAndroid Build Coastguard Worker       index_ = parent_deque_->buffer_.capacity() - 1;
261*6777b538SAndroid Build Coastguard Worker     else
262*6777b538SAndroid Build Coastguard Worker       index_--;
263*6777b538SAndroid Build Coastguard Worker   }
Add(difference_type delta)264*6777b538SAndroid Build Coastguard Worker   void Add(difference_type delta) {
265*6777b538SAndroid Build Coastguard Worker     CheckUnstableUsage();
266*6777b538SAndroid Build Coastguard Worker #if DCHECK_IS_ON()
267*6777b538SAndroid Build Coastguard Worker     if (delta <= 0)
268*6777b538SAndroid Build Coastguard Worker       parent_deque_->CheckValidIndexOrEnd(index_);
269*6777b538SAndroid Build Coastguard Worker     else
270*6777b538SAndroid Build Coastguard Worker       parent_deque_->CheckValidIndex(index_);
271*6777b538SAndroid Build Coastguard Worker #endif
272*6777b538SAndroid Build Coastguard Worker     // It should be valid to add 0 to any iterator, even if the container is
273*6777b538SAndroid Build Coastguard Worker     // empty and the iterator points to end(). The modulo below will divide
274*6777b538SAndroid Build Coastguard Worker     // by 0 if the buffer capacity is empty, so it's important to check for
275*6777b538SAndroid Build Coastguard Worker     // this case explicitly.
276*6777b538SAndroid Build Coastguard Worker     if (delta == 0)
277*6777b538SAndroid Build Coastguard Worker       return;
278*6777b538SAndroid Build Coastguard Worker 
279*6777b538SAndroid Build Coastguard Worker     difference_type new_offset = OffsetFromBegin() + delta;
280*6777b538SAndroid Build Coastguard Worker     DCHECK(new_offset >= 0 &&
281*6777b538SAndroid Build Coastguard Worker            new_offset <= static_cast<difference_type>(parent_deque_->size()));
282*6777b538SAndroid Build Coastguard Worker     index_ = (new_offset + parent_deque_->begin_) %
283*6777b538SAndroid Build Coastguard Worker              parent_deque_->buffer_.capacity();
284*6777b538SAndroid Build Coastguard Worker   }
285*6777b538SAndroid Build Coastguard Worker 
286*6777b538SAndroid Build Coastguard Worker #if DCHECK_IS_ON()
CheckUnstableUsage()287*6777b538SAndroid Build Coastguard Worker   void CheckUnstableUsage() const {
288*6777b538SAndroid Build Coastguard Worker     DCHECK(parent_deque_);
289*6777b538SAndroid Build Coastguard Worker     // Since circular_deque doesn't guarantee stability, any attempt to
290*6777b538SAndroid Build Coastguard Worker     // dereference this iterator after a mutation (i.e. the generation doesn't
291*6777b538SAndroid Build Coastguard Worker     // match the original) in the container is illegal.
292*6777b538SAndroid Build Coastguard Worker     DCHECK(created_generation_ == parent_deque_->generation_)
293*6777b538SAndroid Build Coastguard Worker         << "circular_deque iterator dereferenced after mutation.";
294*6777b538SAndroid Build Coastguard Worker   }
CheckComparable(const circular_deque_const_iterator & other)295*6777b538SAndroid Build Coastguard Worker   void CheckComparable(const circular_deque_const_iterator& other) const {
296*6777b538SAndroid Build Coastguard Worker     DCHECK(parent_deque_ == other.parent_deque_);
297*6777b538SAndroid Build Coastguard Worker     // Since circular_deque doesn't guarantee stability, two iterators that
298*6777b538SAndroid Build Coastguard Worker     // are compared must have been generated without mutating the container.
299*6777b538SAndroid Build Coastguard Worker     // If this fires, the container was mutated between generating the two
300*6777b538SAndroid Build Coastguard Worker     // iterators being compared.
301*6777b538SAndroid Build Coastguard Worker     DCHECK(created_generation_ == other.created_generation_);
302*6777b538SAndroid Build Coastguard Worker   }
303*6777b538SAndroid Build Coastguard Worker #else
CheckUnstableUsage()304*6777b538SAndroid Build Coastguard Worker   inline void CheckUnstableUsage() const {}
CheckComparable(const circular_deque_const_iterator &)305*6777b538SAndroid Build Coastguard Worker   inline void CheckComparable(const circular_deque_const_iterator&) const {}
306*6777b538SAndroid Build Coastguard Worker #endif  // DCHECK_IS_ON()
307*6777b538SAndroid Build Coastguard Worker 
308*6777b538SAndroid Build Coastguard Worker   // `parent_deque_` is not a raw_ptr<...> for performance reasons: Usually
309*6777b538SAndroid Build Coastguard Worker   // on-stack pointer, pointing back to the collection being iterated, owned by
310*6777b538SAndroid Build Coastguard Worker   // object that iterates over it.  Additionally this is supported by the
311*6777b538SAndroid Build Coastguard Worker   // analysis of sampling profiler data and tab_search:top100:2020.
312*6777b538SAndroid Build Coastguard Worker   RAW_PTR_EXCLUSION const circular_deque<T>* parent_deque_;
313*6777b538SAndroid Build Coastguard Worker 
314*6777b538SAndroid Build Coastguard Worker   size_t index_;
315*6777b538SAndroid Build Coastguard Worker 
316*6777b538SAndroid Build Coastguard Worker #if DCHECK_IS_ON()
317*6777b538SAndroid Build Coastguard Worker   // The generation of the parent deque when this iterator was created. The
318*6777b538SAndroid Build Coastguard Worker   // container will update the generation for every modification so we can
319*6777b538SAndroid Build Coastguard Worker   // test if the container was modified by comparing them.
320*6777b538SAndroid Build Coastguard Worker   uint64_t created_generation_;
321*6777b538SAndroid Build Coastguard Worker #endif  // DCHECK_IS_ON()
322*6777b538SAndroid Build Coastguard Worker };
323*6777b538SAndroid Build Coastguard Worker 
324*6777b538SAndroid Build Coastguard Worker template <typename T>
325*6777b538SAndroid Build Coastguard Worker class circular_deque_iterator : public circular_deque_const_iterator<T> {
326*6777b538SAndroid Build Coastguard Worker   using base = circular_deque_const_iterator<T>;
327*6777b538SAndroid Build Coastguard Worker 
328*6777b538SAndroid Build Coastguard Worker  public:
329*6777b538SAndroid Build Coastguard Worker   friend class circular_deque<T>;
330*6777b538SAndroid Build Coastguard Worker 
331*6777b538SAndroid Build Coastguard Worker   using difference_type = std::ptrdiff_t;
332*6777b538SAndroid Build Coastguard Worker   using value_type = T;
333*6777b538SAndroid Build Coastguard Worker   using pointer = T*;
334*6777b538SAndroid Build Coastguard Worker   using reference = T&;
335*6777b538SAndroid Build Coastguard Worker   using iterator_category = std::random_access_iterator_tag;
336*6777b538SAndroid Build Coastguard Worker 
337*6777b538SAndroid Build Coastguard Worker   // Expose the base class' constructor.
circular_deque_iterator()338*6777b538SAndroid Build Coastguard Worker   circular_deque_iterator() : circular_deque_const_iterator<T>() {}
339*6777b538SAndroid Build Coastguard Worker 
340*6777b538SAndroid Build Coastguard Worker   // Dereferencing.
341*6777b538SAndroid Build Coastguard Worker   T& operator*() const { return const_cast<T&>(base::operator*()); }
342*6777b538SAndroid Build Coastguard Worker   T* operator->() const { return const_cast<T*>(base::operator->()); }
343*6777b538SAndroid Build Coastguard Worker   T& operator[](difference_type i) {
344*6777b538SAndroid Build Coastguard Worker     return const_cast<T&>(base::operator[](i));
345*6777b538SAndroid Build Coastguard Worker   }
346*6777b538SAndroid Build Coastguard Worker 
347*6777b538SAndroid Build Coastguard Worker   // Random access mutation.
348*6777b538SAndroid Build Coastguard Worker   friend circular_deque_iterator operator+(const circular_deque_iterator& iter,
349*6777b538SAndroid Build Coastguard Worker                                            difference_type offset) {
350*6777b538SAndroid Build Coastguard Worker     circular_deque_iterator ret = iter;
351*6777b538SAndroid Build Coastguard Worker     ret.Add(offset);
352*6777b538SAndroid Build Coastguard Worker     return ret;
353*6777b538SAndroid Build Coastguard Worker   }
354*6777b538SAndroid Build Coastguard Worker   circular_deque_iterator& operator+=(difference_type offset) {
355*6777b538SAndroid Build Coastguard Worker     base::Add(offset);
356*6777b538SAndroid Build Coastguard Worker     return *this;
357*6777b538SAndroid Build Coastguard Worker   }
358*6777b538SAndroid Build Coastguard Worker   friend circular_deque_iterator operator-(const circular_deque_iterator& iter,
359*6777b538SAndroid Build Coastguard Worker                                            difference_type offset) {
360*6777b538SAndroid Build Coastguard Worker     circular_deque_iterator ret = iter;
361*6777b538SAndroid Build Coastguard Worker     ret.Add(-offset);
362*6777b538SAndroid Build Coastguard Worker     return ret;
363*6777b538SAndroid Build Coastguard Worker   }
364*6777b538SAndroid Build Coastguard Worker   circular_deque_iterator& operator-=(difference_type offset) {
365*6777b538SAndroid Build Coastguard Worker     base::Add(-offset);
366*6777b538SAndroid Build Coastguard Worker     return *this;
367*6777b538SAndroid Build Coastguard Worker   }
368*6777b538SAndroid Build Coastguard Worker 
369*6777b538SAndroid Build Coastguard Worker   // Increment and decrement.
370*6777b538SAndroid Build Coastguard Worker   circular_deque_iterator& operator++() {
371*6777b538SAndroid Build Coastguard Worker     base::Increment();
372*6777b538SAndroid Build Coastguard Worker     return *this;
373*6777b538SAndroid Build Coastguard Worker   }
374*6777b538SAndroid Build Coastguard Worker   circular_deque_iterator operator++(int) {
375*6777b538SAndroid Build Coastguard Worker     circular_deque_iterator ret = *this;
376*6777b538SAndroid Build Coastguard Worker     base::Increment();
377*6777b538SAndroid Build Coastguard Worker     return ret;
378*6777b538SAndroid Build Coastguard Worker   }
379*6777b538SAndroid Build Coastguard Worker   circular_deque_iterator& operator--() {
380*6777b538SAndroid Build Coastguard Worker     base::Decrement();
381*6777b538SAndroid Build Coastguard Worker     return *this;
382*6777b538SAndroid Build Coastguard Worker   }
383*6777b538SAndroid Build Coastguard Worker   circular_deque_iterator operator--(int) {
384*6777b538SAndroid Build Coastguard Worker     circular_deque_iterator ret = *this;
385*6777b538SAndroid Build Coastguard Worker     base::Decrement();
386*6777b538SAndroid Build Coastguard Worker     return ret;
387*6777b538SAndroid Build Coastguard Worker   }
388*6777b538SAndroid Build Coastguard Worker 
389*6777b538SAndroid Build Coastguard Worker  private:
circular_deque_iterator(const circular_deque<T> * parent,size_t index)390*6777b538SAndroid Build Coastguard Worker   circular_deque_iterator(const circular_deque<T>* parent, size_t index)
391*6777b538SAndroid Build Coastguard Worker       : circular_deque_const_iterator<T>(parent, index) {}
392*6777b538SAndroid Build Coastguard Worker };
393*6777b538SAndroid Build Coastguard Worker 
394*6777b538SAndroid Build Coastguard Worker }  // namespace internal
395*6777b538SAndroid Build Coastguard Worker 
396*6777b538SAndroid Build Coastguard Worker template <typename T>
397*6777b538SAndroid Build Coastguard Worker class circular_deque {
398*6777b538SAndroid Build Coastguard Worker  private:
399*6777b538SAndroid Build Coastguard Worker   using VectorBuffer = internal::VectorBuffer<T>;
400*6777b538SAndroid Build Coastguard Worker 
401*6777b538SAndroid Build Coastguard Worker  public:
402*6777b538SAndroid Build Coastguard Worker   using value_type = T;
403*6777b538SAndroid Build Coastguard Worker   using size_type = std::size_t;
404*6777b538SAndroid Build Coastguard Worker   using difference_type = std::ptrdiff_t;
405*6777b538SAndroid Build Coastguard Worker   using reference = value_type&;
406*6777b538SAndroid Build Coastguard Worker   using const_reference = const value_type&;
407*6777b538SAndroid Build Coastguard Worker   using pointer = value_type*;
408*6777b538SAndroid Build Coastguard Worker   using const_pointer = const value_type*;
409*6777b538SAndroid Build Coastguard Worker 
410*6777b538SAndroid Build Coastguard Worker   using iterator = internal::circular_deque_iterator<T>;
411*6777b538SAndroid Build Coastguard Worker   using const_iterator = internal::circular_deque_const_iterator<T>;
412*6777b538SAndroid Build Coastguard Worker   using reverse_iterator = std::reverse_iterator<iterator>;
413*6777b538SAndroid Build Coastguard Worker   using const_reverse_iterator = std::reverse_iterator<const_iterator>;
414*6777b538SAndroid Build Coastguard Worker 
415*6777b538SAndroid Build Coastguard Worker   // ---------------------------------------------------------------------------
416*6777b538SAndroid Build Coastguard Worker   // Constructor
417*6777b538SAndroid Build Coastguard Worker 
418*6777b538SAndroid Build Coastguard Worker   constexpr circular_deque() = default;
419*6777b538SAndroid Build Coastguard Worker 
420*6777b538SAndroid Build Coastguard Worker   // Constructs with |count| copies of |value| or default constructed version.
circular_deque(size_type count)421*6777b538SAndroid Build Coastguard Worker   explicit circular_deque(size_type count) { resize(count); }
circular_deque(size_type count,const T & value)422*6777b538SAndroid Build Coastguard Worker   circular_deque(size_type count, const T& value) { resize(count, value); }
423*6777b538SAndroid Build Coastguard Worker 
424*6777b538SAndroid Build Coastguard Worker   // Range constructor.
425*6777b538SAndroid Build Coastguard Worker   template <class InputIterator>
circular_deque(InputIterator first,InputIterator last)426*6777b538SAndroid Build Coastguard Worker   circular_deque(InputIterator first, InputIterator last) {
427*6777b538SAndroid Build Coastguard Worker     assign(first, last);
428*6777b538SAndroid Build Coastguard Worker   }
429*6777b538SAndroid Build Coastguard Worker 
430*6777b538SAndroid Build Coastguard Worker   // Copy/move.
circular_deque(const circular_deque & other)431*6777b538SAndroid Build Coastguard Worker   circular_deque(const circular_deque& other) : buffer_(other.size() + 1) {
432*6777b538SAndroid Build Coastguard Worker     assign(other.begin(), other.end());
433*6777b538SAndroid Build Coastguard Worker   }
circular_deque(circular_deque && other)434*6777b538SAndroid Build Coastguard Worker   circular_deque(circular_deque&& other) noexcept
435*6777b538SAndroid Build Coastguard Worker       : buffer_(std::move(other.buffer_)),
436*6777b538SAndroid Build Coastguard Worker         begin_(other.begin_),
437*6777b538SAndroid Build Coastguard Worker         end_(other.end_) {
438*6777b538SAndroid Build Coastguard Worker     other.begin_ = 0;
439*6777b538SAndroid Build Coastguard Worker     other.end_ = 0;
440*6777b538SAndroid Build Coastguard Worker   }
441*6777b538SAndroid Build Coastguard Worker 
circular_deque(std::initializer_list<value_type> init)442*6777b538SAndroid Build Coastguard Worker   circular_deque(std::initializer_list<value_type> init) { assign(init); }
443*6777b538SAndroid Build Coastguard Worker 
~circular_deque()444*6777b538SAndroid Build Coastguard Worker   ~circular_deque() { DestructRange(begin_, end_); }
445*6777b538SAndroid Build Coastguard Worker 
446*6777b538SAndroid Build Coastguard Worker   // ---------------------------------------------------------------------------
447*6777b538SAndroid Build Coastguard Worker   // Assignments.
448*6777b538SAndroid Build Coastguard Worker   //
449*6777b538SAndroid Build Coastguard Worker   // All of these may invalidate iterators and references.
450*6777b538SAndroid Build Coastguard Worker 
451*6777b538SAndroid Build Coastguard Worker   circular_deque& operator=(const circular_deque& other) {
452*6777b538SAndroid Build Coastguard Worker     if (&other == this)
453*6777b538SAndroid Build Coastguard Worker       return *this;
454*6777b538SAndroid Build Coastguard Worker 
455*6777b538SAndroid Build Coastguard Worker     reserve(other.size());
456*6777b538SAndroid Build Coastguard Worker     assign(other.begin(), other.end());
457*6777b538SAndroid Build Coastguard Worker     return *this;
458*6777b538SAndroid Build Coastguard Worker   }
459*6777b538SAndroid Build Coastguard Worker   circular_deque& operator=(circular_deque&& other) noexcept {
460*6777b538SAndroid Build Coastguard Worker     if (&other == this)
461*6777b538SAndroid Build Coastguard Worker       return *this;
462*6777b538SAndroid Build Coastguard Worker 
463*6777b538SAndroid Build Coastguard Worker     // We're about to overwrite the buffer, so don't free it in clear to
464*6777b538SAndroid Build Coastguard Worker     // avoid doing it twice.
465*6777b538SAndroid Build Coastguard Worker     ClearRetainCapacity();
466*6777b538SAndroid Build Coastguard Worker     buffer_ = std::move(other.buffer_);
467*6777b538SAndroid Build Coastguard Worker     begin_ = other.begin_;
468*6777b538SAndroid Build Coastguard Worker     end_ = other.end_;
469*6777b538SAndroid Build Coastguard Worker 
470*6777b538SAndroid Build Coastguard Worker     other.begin_ = 0;
471*6777b538SAndroid Build Coastguard Worker     other.end_ = 0;
472*6777b538SAndroid Build Coastguard Worker 
473*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
474*6777b538SAndroid Build Coastguard Worker     return *this;
475*6777b538SAndroid Build Coastguard Worker   }
476*6777b538SAndroid Build Coastguard Worker   circular_deque& operator=(std::initializer_list<value_type> ilist) {
477*6777b538SAndroid Build Coastguard Worker     reserve(ilist.size());
478*6777b538SAndroid Build Coastguard Worker     assign(std::begin(ilist), std::end(ilist));
479*6777b538SAndroid Build Coastguard Worker     return *this;
480*6777b538SAndroid Build Coastguard Worker   }
481*6777b538SAndroid Build Coastguard Worker 
assign(size_type count,const value_type & value)482*6777b538SAndroid Build Coastguard Worker   void assign(size_type count, const value_type& value) {
483*6777b538SAndroid Build Coastguard Worker     ClearRetainCapacity();
484*6777b538SAndroid Build Coastguard Worker     reserve(count);
485*6777b538SAndroid Build Coastguard Worker     for (size_t i = 0; i < count; i++)
486*6777b538SAndroid Build Coastguard Worker       emplace_back(value);
487*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
488*6777b538SAndroid Build Coastguard Worker   }
489*6777b538SAndroid Build Coastguard Worker 
490*6777b538SAndroid Build Coastguard Worker   // This variant should be enabled only when InputIterator is an iterator.
491*6777b538SAndroid Build Coastguard Worker   template <typename InputIterator>
492*6777b538SAndroid Build Coastguard Worker   std::enable_if_t<::base::internal::is_iterator<InputIterator>::value, void>
assign(InputIterator first,InputIterator last)493*6777b538SAndroid Build Coastguard Worker   assign(InputIterator first, InputIterator last) {
494*6777b538SAndroid Build Coastguard Worker     // Possible future enhancement, dispatch on iterator tag type. For forward
495*6777b538SAndroid Build Coastguard Worker     // iterators we can use std::difference to preallocate the space required
496*6777b538SAndroid Build Coastguard Worker     // and only do one copy.
497*6777b538SAndroid Build Coastguard Worker     ClearRetainCapacity();
498*6777b538SAndroid Build Coastguard Worker     for (; first != last; ++first)
499*6777b538SAndroid Build Coastguard Worker       emplace_back(*first);
500*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
501*6777b538SAndroid Build Coastguard Worker   }
502*6777b538SAndroid Build Coastguard Worker 
assign(std::initializer_list<value_type> value)503*6777b538SAndroid Build Coastguard Worker   void assign(std::initializer_list<value_type> value) {
504*6777b538SAndroid Build Coastguard Worker     reserve(std::distance(value.begin(), value.end()));
505*6777b538SAndroid Build Coastguard Worker     assign(value.begin(), value.end());
506*6777b538SAndroid Build Coastguard Worker   }
507*6777b538SAndroid Build Coastguard Worker 
508*6777b538SAndroid Build Coastguard Worker   // ---------------------------------------------------------------------------
509*6777b538SAndroid Build Coastguard Worker   // Accessors.
510*6777b538SAndroid Build Coastguard Worker   //
511*6777b538SAndroid Build Coastguard Worker   // Since this class assumes no exceptions, at() and operator[] are equivalent.
512*6777b538SAndroid Build Coastguard Worker 
at(size_type i)513*6777b538SAndroid Build Coastguard Worker   const value_type& at(size_type i) const {
514*6777b538SAndroid Build Coastguard Worker     DCHECK(i < size());
515*6777b538SAndroid Build Coastguard Worker     size_t right_size = buffer_.capacity() - begin_;
516*6777b538SAndroid Build Coastguard Worker     if (begin_ <= end_ || i < right_size)
517*6777b538SAndroid Build Coastguard Worker       return buffer_[begin_ + i];
518*6777b538SAndroid Build Coastguard Worker     return buffer_[i - right_size];
519*6777b538SAndroid Build Coastguard Worker   }
at(size_type i)520*6777b538SAndroid Build Coastguard Worker   value_type& at(size_type i) {
521*6777b538SAndroid Build Coastguard Worker     return const_cast<value_type&>(std::as_const(*this).at(i));
522*6777b538SAndroid Build Coastguard Worker   }
523*6777b538SAndroid Build Coastguard Worker 
524*6777b538SAndroid Build Coastguard Worker   value_type& operator[](size_type i) {
525*6777b538SAndroid Build Coastguard Worker     return const_cast<value_type&>(std::as_const(*this)[i]);
526*6777b538SAndroid Build Coastguard Worker   }
527*6777b538SAndroid Build Coastguard Worker 
528*6777b538SAndroid Build Coastguard Worker   const value_type& operator[](size_type i) const { return at(i); }
529*6777b538SAndroid Build Coastguard Worker 
front()530*6777b538SAndroid Build Coastguard Worker   value_type& front() {
531*6777b538SAndroid Build Coastguard Worker     DCHECK(!empty());
532*6777b538SAndroid Build Coastguard Worker     return buffer_[begin_];
533*6777b538SAndroid Build Coastguard Worker   }
front()534*6777b538SAndroid Build Coastguard Worker   const value_type& front() const {
535*6777b538SAndroid Build Coastguard Worker     DCHECK(!empty());
536*6777b538SAndroid Build Coastguard Worker     return buffer_[begin_];
537*6777b538SAndroid Build Coastguard Worker   }
538*6777b538SAndroid Build Coastguard Worker 
back()539*6777b538SAndroid Build Coastguard Worker   value_type& back() {
540*6777b538SAndroid Build Coastguard Worker     DCHECK(!empty());
541*6777b538SAndroid Build Coastguard Worker     return *(--end());
542*6777b538SAndroid Build Coastguard Worker   }
back()543*6777b538SAndroid Build Coastguard Worker   const value_type& back() const {
544*6777b538SAndroid Build Coastguard Worker     DCHECK(!empty());
545*6777b538SAndroid Build Coastguard Worker     return *(--end());
546*6777b538SAndroid Build Coastguard Worker   }
547*6777b538SAndroid Build Coastguard Worker 
548*6777b538SAndroid Build Coastguard Worker   // ---------------------------------------------------------------------------
549*6777b538SAndroid Build Coastguard Worker   // Iterators.
550*6777b538SAndroid Build Coastguard Worker 
begin()551*6777b538SAndroid Build Coastguard Worker   iterator begin() { return iterator(this, begin_); }
begin()552*6777b538SAndroid Build Coastguard Worker   const_iterator begin() const { return const_iterator(this, begin_); }
cbegin()553*6777b538SAndroid Build Coastguard Worker   const_iterator cbegin() const { return const_iterator(this, begin_); }
554*6777b538SAndroid Build Coastguard Worker 
end()555*6777b538SAndroid Build Coastguard Worker   iterator end() { return iterator(this, end_); }
end()556*6777b538SAndroid Build Coastguard Worker   const_iterator end() const { return const_iterator(this, end_); }
cend()557*6777b538SAndroid Build Coastguard Worker   const_iterator cend() const { return const_iterator(this, end_); }
558*6777b538SAndroid Build Coastguard Worker 
rbegin()559*6777b538SAndroid Build Coastguard Worker   reverse_iterator rbegin() { return reverse_iterator(end()); }
rbegin()560*6777b538SAndroid Build Coastguard Worker   const_reverse_iterator rbegin() const {
561*6777b538SAndroid Build Coastguard Worker     return const_reverse_iterator(end());
562*6777b538SAndroid Build Coastguard Worker   }
crbegin()563*6777b538SAndroid Build Coastguard Worker   const_reverse_iterator crbegin() const { return rbegin(); }
564*6777b538SAndroid Build Coastguard Worker 
rend()565*6777b538SAndroid Build Coastguard Worker   reverse_iterator rend() { return reverse_iterator(begin()); }
rend()566*6777b538SAndroid Build Coastguard Worker   const_reverse_iterator rend() const {
567*6777b538SAndroid Build Coastguard Worker     return const_reverse_iterator(begin());
568*6777b538SAndroid Build Coastguard Worker   }
crend()569*6777b538SAndroid Build Coastguard Worker   const_reverse_iterator crend() const { return rend(); }
570*6777b538SAndroid Build Coastguard Worker 
571*6777b538SAndroid Build Coastguard Worker   // ---------------------------------------------------------------------------
572*6777b538SAndroid Build Coastguard Worker   // Memory management.
573*6777b538SAndroid Build Coastguard Worker 
574*6777b538SAndroid Build Coastguard Worker   // IMPORTANT NOTE ON reserve(...): This class implements auto-shrinking of
575*6777b538SAndroid Build Coastguard Worker   // the buffer when elements are deleted and there is "too much" wasted space.
576*6777b538SAndroid Build Coastguard Worker   // So if you call reserve() with a large size in anticipation of pushing many
577*6777b538SAndroid Build Coastguard Worker   // elements, but pop an element before the queue is full, the capacity you
578*6777b538SAndroid Build Coastguard Worker   // reserved may be lost.
579*6777b538SAndroid Build Coastguard Worker   //
580*6777b538SAndroid Build Coastguard Worker   // As a result, it's only worthwhile to call reserve() when you're adding
581*6777b538SAndroid Build Coastguard Worker   // many things at once with no intermediate operations.
reserve(size_type new_capacity)582*6777b538SAndroid Build Coastguard Worker   void reserve(size_type new_capacity) {
583*6777b538SAndroid Build Coastguard Worker     if (new_capacity > capacity())
584*6777b538SAndroid Build Coastguard Worker       SetCapacityTo(new_capacity);
585*6777b538SAndroid Build Coastguard Worker   }
586*6777b538SAndroid Build Coastguard Worker 
capacity()587*6777b538SAndroid Build Coastguard Worker   size_type capacity() const {
588*6777b538SAndroid Build Coastguard Worker     // One item is wasted to indicate end().
589*6777b538SAndroid Build Coastguard Worker     return buffer_.capacity() == 0 ? 0 : buffer_.capacity() - 1;
590*6777b538SAndroid Build Coastguard Worker   }
591*6777b538SAndroid Build Coastguard Worker 
shrink_to_fit()592*6777b538SAndroid Build Coastguard Worker   void shrink_to_fit() {
593*6777b538SAndroid Build Coastguard Worker     if (empty()) {
594*6777b538SAndroid Build Coastguard Worker       // Optimize empty case to really delete everything if there was
595*6777b538SAndroid Build Coastguard Worker       // something.
596*6777b538SAndroid Build Coastguard Worker       if (buffer_.capacity())
597*6777b538SAndroid Build Coastguard Worker         buffer_ = VectorBuffer();
598*6777b538SAndroid Build Coastguard Worker     } else {
599*6777b538SAndroid Build Coastguard Worker       SetCapacityTo(size());
600*6777b538SAndroid Build Coastguard Worker     }
601*6777b538SAndroid Build Coastguard Worker   }
602*6777b538SAndroid Build Coastguard Worker 
603*6777b538SAndroid Build Coastguard Worker   // ---------------------------------------------------------------------------
604*6777b538SAndroid Build Coastguard Worker   // Size management.
605*6777b538SAndroid Build Coastguard Worker 
606*6777b538SAndroid Build Coastguard Worker   // This will additionally reset the capacity() to 0.
clear()607*6777b538SAndroid Build Coastguard Worker   void clear() {
608*6777b538SAndroid Build Coastguard Worker     // This can't resize(0) because that requires a default constructor to
609*6777b538SAndroid Build Coastguard Worker     // compile, which not all contained classes may implement.
610*6777b538SAndroid Build Coastguard Worker     ClearRetainCapacity();
611*6777b538SAndroid Build Coastguard Worker     buffer_ = VectorBuffer();
612*6777b538SAndroid Build Coastguard Worker   }
613*6777b538SAndroid Build Coastguard Worker 
empty()614*6777b538SAndroid Build Coastguard Worker   bool empty() const { return begin_ == end_; }
615*6777b538SAndroid Build Coastguard Worker 
size()616*6777b538SAndroid Build Coastguard Worker   size_type size() const {
617*6777b538SAndroid Build Coastguard Worker     if (begin_ <= end_)
618*6777b538SAndroid Build Coastguard Worker       return end_ - begin_;
619*6777b538SAndroid Build Coastguard Worker     return buffer_.capacity() - begin_ + end_;
620*6777b538SAndroid Build Coastguard Worker   }
621*6777b538SAndroid Build Coastguard Worker 
622*6777b538SAndroid Build Coastguard Worker   // When reducing size, the elements are deleted from the end. When expanding
623*6777b538SAndroid Build Coastguard Worker   // size, elements are added to the end with |value| or the default
624*6777b538SAndroid Build Coastguard Worker   // constructed version. Even when using resize(count) to shrink, a default
625*6777b538SAndroid Build Coastguard Worker   // constructor is required for the code to compile, even though it will not
626*6777b538SAndroid Build Coastguard Worker   // be called.
627*6777b538SAndroid Build Coastguard Worker   //
628*6777b538SAndroid Build Coastguard Worker   // There are two versions rather than using a default value to avoid
629*6777b538SAndroid Build Coastguard Worker   // creating a temporary when shrinking (when it's not needed). Plus if
630*6777b538SAndroid Build Coastguard Worker   // the default constructor is desired when expanding usually just calling it
631*6777b538SAndroid Build Coastguard Worker   // for each element is faster than making a default-constructed temporary and
632*6777b538SAndroid Build Coastguard Worker   // copying it.
resize(size_type count)633*6777b538SAndroid Build Coastguard Worker   void resize(size_type count) {
634*6777b538SAndroid Build Coastguard Worker     // SEE BELOW VERSION if you change this. The code is mostly the same.
635*6777b538SAndroid Build Coastguard Worker     if (count > size()) {
636*6777b538SAndroid Build Coastguard Worker       // This could be slighly more efficient but expanding a queue with
637*6777b538SAndroid Build Coastguard Worker       // identical elements is unusual and the extra computations of emplacing
638*6777b538SAndroid Build Coastguard Worker       // one-by-one will typically be small relative to calling the constructor
639*6777b538SAndroid Build Coastguard Worker       // for every item.
640*6777b538SAndroid Build Coastguard Worker       ExpandCapacityIfNecessary(count - size());
641*6777b538SAndroid Build Coastguard Worker       while (size() < count)
642*6777b538SAndroid Build Coastguard Worker         emplace_back();
643*6777b538SAndroid Build Coastguard Worker     } else if (count < size()) {
644*6777b538SAndroid Build Coastguard Worker       size_t new_end = (begin_ + count) % buffer_.capacity();
645*6777b538SAndroid Build Coastguard Worker       DestructRange(new_end, end_);
646*6777b538SAndroid Build Coastguard Worker       end_ = new_end;
647*6777b538SAndroid Build Coastguard Worker 
648*6777b538SAndroid Build Coastguard Worker       ShrinkCapacityIfNecessary();
649*6777b538SAndroid Build Coastguard Worker     }
650*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
651*6777b538SAndroid Build Coastguard Worker   }
resize(size_type count,const value_type & value)652*6777b538SAndroid Build Coastguard Worker   void resize(size_type count, const value_type& value) {
653*6777b538SAndroid Build Coastguard Worker     // SEE ABOVE VERSION if you change this. The code is mostly the same.
654*6777b538SAndroid Build Coastguard Worker     if (count > size()) {
655*6777b538SAndroid Build Coastguard Worker       ExpandCapacityIfNecessary(count - size());
656*6777b538SAndroid Build Coastguard Worker       while (size() < count)
657*6777b538SAndroid Build Coastguard Worker         emplace_back(value);
658*6777b538SAndroid Build Coastguard Worker     } else if (count < size()) {
659*6777b538SAndroid Build Coastguard Worker       size_t new_end = (begin_ + count) % buffer_.capacity();
660*6777b538SAndroid Build Coastguard Worker       DestructRange(new_end, end_);
661*6777b538SAndroid Build Coastguard Worker       end_ = new_end;
662*6777b538SAndroid Build Coastguard Worker 
663*6777b538SAndroid Build Coastguard Worker       ShrinkCapacityIfNecessary();
664*6777b538SAndroid Build Coastguard Worker     }
665*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
666*6777b538SAndroid Build Coastguard Worker   }
667*6777b538SAndroid Build Coastguard Worker 
668*6777b538SAndroid Build Coastguard Worker   // ---------------------------------------------------------------------------
669*6777b538SAndroid Build Coastguard Worker   // Insert and erase.
670*6777b538SAndroid Build Coastguard Worker   //
671*6777b538SAndroid Build Coastguard Worker   // Insertion and deletion in the middle is O(n) and invalidates all existing
672*6777b538SAndroid Build Coastguard Worker   // iterators.
673*6777b538SAndroid Build Coastguard Worker   //
674*6777b538SAndroid Build Coastguard Worker   // The implementation of insert isn't optimized as much as it could be. If
675*6777b538SAndroid Build Coastguard Worker   // the insertion requires that the buffer be grown, it will first be grown
676*6777b538SAndroid Build Coastguard Worker   // and everything moved, and then the items will be inserted, potentially
677*6777b538SAndroid Build Coastguard Worker   // moving some items twice. This simplifies the implemntation substantially
678*6777b538SAndroid Build Coastguard Worker   // and means less generated templatized code. Since this is an uncommon
679*6777b538SAndroid Build Coastguard Worker   // operation for deques, and already relatively slow, it doesn't seem worth
680*6777b538SAndroid Build Coastguard Worker   // the benefit to optimize this.
681*6777b538SAndroid Build Coastguard Worker 
insert(const_iterator pos,size_type count,const T & value)682*6777b538SAndroid Build Coastguard Worker   void insert(const_iterator pos, size_type count, const T& value) {
683*6777b538SAndroid Build Coastguard Worker     ValidateIterator(pos);
684*6777b538SAndroid Build Coastguard Worker 
685*6777b538SAndroid Build Coastguard Worker     // Optimize insert at the beginning.
686*6777b538SAndroid Build Coastguard Worker     if (pos == begin()) {
687*6777b538SAndroid Build Coastguard Worker       ExpandCapacityIfNecessary(count);
688*6777b538SAndroid Build Coastguard Worker       for (size_t i = 0; i < count; i++)
689*6777b538SAndroid Build Coastguard Worker         push_front(value);
690*6777b538SAndroid Build Coastguard Worker       return;
691*6777b538SAndroid Build Coastguard Worker     }
692*6777b538SAndroid Build Coastguard Worker 
693*6777b538SAndroid Build Coastguard Worker     iterator insert_cur(this, pos.index_);
694*6777b538SAndroid Build Coastguard Worker     iterator insert_end;
695*6777b538SAndroid Build Coastguard Worker     MakeRoomFor(count, &insert_cur, &insert_end);
696*6777b538SAndroid Build Coastguard Worker     while (insert_cur < insert_end) {
697*6777b538SAndroid Build Coastguard Worker       new (&buffer_[insert_cur.index_]) T(value);
698*6777b538SAndroid Build Coastguard Worker       ++insert_cur;
699*6777b538SAndroid Build Coastguard Worker     }
700*6777b538SAndroid Build Coastguard Worker 
701*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
702*6777b538SAndroid Build Coastguard Worker   }
703*6777b538SAndroid Build Coastguard Worker 
704*6777b538SAndroid Build Coastguard Worker   // This enable_if keeps this call from getting confused with the (pos, count,
705*6777b538SAndroid Build Coastguard Worker   // value) version when value is an integer.
706*6777b538SAndroid Build Coastguard Worker   template <class InputIterator>
707*6777b538SAndroid Build Coastguard Worker   std::enable_if_t<::base::internal::is_iterator<InputIterator>::value, void>
insert(const_iterator pos,InputIterator first,InputIterator last)708*6777b538SAndroid Build Coastguard Worker   insert(const_iterator pos, InputIterator first, InputIterator last) {
709*6777b538SAndroid Build Coastguard Worker     ValidateIterator(pos);
710*6777b538SAndroid Build Coastguard Worker 
711*6777b538SAndroid Build Coastguard Worker     const difference_type inserted_items_signed = std::distance(first, last);
712*6777b538SAndroid Build Coastguard Worker     if (inserted_items_signed == 0)
713*6777b538SAndroid Build Coastguard Worker       return;  // Can divide by 0 when doing modulo below, so return early.
714*6777b538SAndroid Build Coastguard Worker     CHECK(inserted_items_signed > 0);
715*6777b538SAndroid Build Coastguard Worker     const size_type inserted_items =
716*6777b538SAndroid Build Coastguard Worker         static_cast<size_type>(inserted_items_signed);
717*6777b538SAndroid Build Coastguard Worker 
718*6777b538SAndroid Build Coastguard Worker     // Make a hole to copy the items into.
719*6777b538SAndroid Build Coastguard Worker     iterator insert_cur;
720*6777b538SAndroid Build Coastguard Worker     iterator insert_end;
721*6777b538SAndroid Build Coastguard Worker     if (pos == begin()) {
722*6777b538SAndroid Build Coastguard Worker       // Optimize insert at the beginning, nothing needs to be shifted and the
723*6777b538SAndroid Build Coastguard Worker       // hole is the |inserted_items| block immediately before |begin_|.
724*6777b538SAndroid Build Coastguard Worker       ExpandCapacityIfNecessary(inserted_items);
725*6777b538SAndroid Build Coastguard Worker       insert_end = begin();
726*6777b538SAndroid Build Coastguard Worker       begin_ =
727*6777b538SAndroid Build Coastguard Worker           (begin_ + buffer_.capacity() - inserted_items) % buffer_.capacity();
728*6777b538SAndroid Build Coastguard Worker       insert_cur = begin();
729*6777b538SAndroid Build Coastguard Worker     } else {
730*6777b538SAndroid Build Coastguard Worker       insert_cur = iterator(this, pos.index_);
731*6777b538SAndroid Build Coastguard Worker       MakeRoomFor(inserted_items, &insert_cur, &insert_end);
732*6777b538SAndroid Build Coastguard Worker     }
733*6777b538SAndroid Build Coastguard Worker 
734*6777b538SAndroid Build Coastguard Worker     // Copy the items.
735*6777b538SAndroid Build Coastguard Worker     while (insert_cur < insert_end) {
736*6777b538SAndroid Build Coastguard Worker       new (&buffer_[insert_cur.index_]) T(*first);
737*6777b538SAndroid Build Coastguard Worker       ++insert_cur;
738*6777b538SAndroid Build Coastguard Worker       ++first;
739*6777b538SAndroid Build Coastguard Worker     }
740*6777b538SAndroid Build Coastguard Worker 
741*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
742*6777b538SAndroid Build Coastguard Worker   }
743*6777b538SAndroid Build Coastguard Worker 
744*6777b538SAndroid Build Coastguard Worker   // These all return an iterator to the inserted item. Existing iterators will
745*6777b538SAndroid Build Coastguard Worker   // be invalidated.
insert(const_iterator pos,const T & value)746*6777b538SAndroid Build Coastguard Worker   iterator insert(const_iterator pos, const T& value) {
747*6777b538SAndroid Build Coastguard Worker     return emplace(pos, value);
748*6777b538SAndroid Build Coastguard Worker   }
insert(const_iterator pos,T && value)749*6777b538SAndroid Build Coastguard Worker   iterator insert(const_iterator pos, T&& value) {
750*6777b538SAndroid Build Coastguard Worker     return emplace(pos, std::move(value));
751*6777b538SAndroid Build Coastguard Worker   }
752*6777b538SAndroid Build Coastguard Worker   template <class... Args>
emplace(const_iterator pos,Args &&...args)753*6777b538SAndroid Build Coastguard Worker   iterator emplace(const_iterator pos, Args&&... args) {
754*6777b538SAndroid Build Coastguard Worker     ValidateIterator(pos);
755*6777b538SAndroid Build Coastguard Worker 
756*6777b538SAndroid Build Coastguard Worker     // Optimize insert at beginning which doesn't require shifting.
757*6777b538SAndroid Build Coastguard Worker     if (pos == cbegin()) {
758*6777b538SAndroid Build Coastguard Worker       emplace_front(std::forward<Args>(args)...);
759*6777b538SAndroid Build Coastguard Worker       return begin();
760*6777b538SAndroid Build Coastguard Worker     }
761*6777b538SAndroid Build Coastguard Worker 
762*6777b538SAndroid Build Coastguard Worker     // Do this before we make the new iterators we return.
763*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
764*6777b538SAndroid Build Coastguard Worker 
765*6777b538SAndroid Build Coastguard Worker     iterator insert_begin(this, pos.index_);
766*6777b538SAndroid Build Coastguard Worker     iterator insert_end;
767*6777b538SAndroid Build Coastguard Worker     MakeRoomFor(1, &insert_begin, &insert_end);
768*6777b538SAndroid Build Coastguard Worker     new (&buffer_[insert_begin.index_]) T(std::forward<Args>(args)...);
769*6777b538SAndroid Build Coastguard Worker 
770*6777b538SAndroid Build Coastguard Worker     return insert_begin;
771*6777b538SAndroid Build Coastguard Worker   }
772*6777b538SAndroid Build Coastguard Worker 
773*6777b538SAndroid Build Coastguard Worker   // Calling erase() won't automatically resize the buffer smaller like resize
774*6777b538SAndroid Build Coastguard Worker   // or the pop functions. Erase is slow and relatively uncommon, and for
775*6777b538SAndroid Build Coastguard Worker   // normal deque usage a pop will normally be done on a regular basis that
776*6777b538SAndroid Build Coastguard Worker   // will prevent excessive buffer usage over long periods of time. It's not
777*6777b538SAndroid Build Coastguard Worker   // worth having the extra code for every template instantiation of erase()
778*6777b538SAndroid Build Coastguard Worker   // to resize capacity downward to a new buffer.
erase(const_iterator pos)779*6777b538SAndroid Build Coastguard Worker   iterator erase(const_iterator pos) { return erase(pos, pos + 1); }
erase(const_iterator first,const_iterator last)780*6777b538SAndroid Build Coastguard Worker   iterator erase(const_iterator first, const_iterator last) {
781*6777b538SAndroid Build Coastguard Worker     ValidateIterator(first);
782*6777b538SAndroid Build Coastguard Worker     ValidateIterator(last);
783*6777b538SAndroid Build Coastguard Worker 
784*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
785*6777b538SAndroid Build Coastguard Worker 
786*6777b538SAndroid Build Coastguard Worker     // First, call the destructor on the deleted items.
787*6777b538SAndroid Build Coastguard Worker     if (first.index_ == last.index_) {
788*6777b538SAndroid Build Coastguard Worker       // Nothing deleted. Need to return early to avoid falling through to
789*6777b538SAndroid Build Coastguard Worker       // moving items on top of themselves.
790*6777b538SAndroid Build Coastguard Worker       return iterator(this, first.index_);
791*6777b538SAndroid Build Coastguard Worker     } else if (first.index_ < last.index_) {
792*6777b538SAndroid Build Coastguard Worker       // Contiguous range.
793*6777b538SAndroid Build Coastguard Worker       buffer_.DestructRange(&buffer_[first.index_], &buffer_[last.index_]);
794*6777b538SAndroid Build Coastguard Worker     } else {
795*6777b538SAndroid Build Coastguard Worker       // Deleted range wraps around.
796*6777b538SAndroid Build Coastguard Worker       buffer_.DestructRange(&buffer_[first.index_],
797*6777b538SAndroid Build Coastguard Worker                             &buffer_[buffer_.capacity()]);
798*6777b538SAndroid Build Coastguard Worker       buffer_.DestructRange(&buffer_[0], &buffer_[last.index_]);
799*6777b538SAndroid Build Coastguard Worker     }
800*6777b538SAndroid Build Coastguard Worker 
801*6777b538SAndroid Build Coastguard Worker     if (first.index_ == begin_) {
802*6777b538SAndroid Build Coastguard Worker       // This deletion is from the beginning. Nothing needs to be copied, only
803*6777b538SAndroid Build Coastguard Worker       // begin_ needs to be updated.
804*6777b538SAndroid Build Coastguard Worker       begin_ = last.index_;
805*6777b538SAndroid Build Coastguard Worker       return iterator(this, last.index_);
806*6777b538SAndroid Build Coastguard Worker     }
807*6777b538SAndroid Build Coastguard Worker 
808*6777b538SAndroid Build Coastguard Worker     // In an erase operation, the shifted items all move logically to the left,
809*6777b538SAndroid Build Coastguard Worker     // so move them from left-to-right.
810*6777b538SAndroid Build Coastguard Worker     iterator move_src(this, last.index_);
811*6777b538SAndroid Build Coastguard Worker     iterator move_src_end = end();
812*6777b538SAndroid Build Coastguard Worker     iterator move_dest(this, first.index_);
813*6777b538SAndroid Build Coastguard Worker     for (; move_src < move_src_end; move_src++, move_dest++) {
814*6777b538SAndroid Build Coastguard Worker       buffer_.MoveRange(&buffer_[move_src.index_],
815*6777b538SAndroid Build Coastguard Worker                         &buffer_[move_src.index_ + 1],
816*6777b538SAndroid Build Coastguard Worker                         &buffer_[move_dest.index_]);
817*6777b538SAndroid Build Coastguard Worker     }
818*6777b538SAndroid Build Coastguard Worker 
819*6777b538SAndroid Build Coastguard Worker     end_ = move_dest.index_;
820*6777b538SAndroid Build Coastguard Worker 
821*6777b538SAndroid Build Coastguard Worker     // Since we did not reallocate and only changed things after the erase
822*6777b538SAndroid Build Coastguard Worker     // element(s), the input iterator's index points to the thing following the
823*6777b538SAndroid Build Coastguard Worker     // deletion.
824*6777b538SAndroid Build Coastguard Worker     return iterator(this, first.index_);
825*6777b538SAndroid Build Coastguard Worker   }
826*6777b538SAndroid Build Coastguard Worker 
827*6777b538SAndroid Build Coastguard Worker   // ---------------------------------------------------------------------------
828*6777b538SAndroid Build Coastguard Worker   // Begin/end operations.
829*6777b538SAndroid Build Coastguard Worker 
push_front(const T & value)830*6777b538SAndroid Build Coastguard Worker   void push_front(const T& value) { emplace_front(value); }
push_front(T && value)831*6777b538SAndroid Build Coastguard Worker   void push_front(T&& value) { emplace_front(std::move(value)); }
832*6777b538SAndroid Build Coastguard Worker 
push_back(const T & value)833*6777b538SAndroid Build Coastguard Worker   void push_back(const T& value) { emplace_back(value); }
push_back(T && value)834*6777b538SAndroid Build Coastguard Worker   void push_back(T&& value) { emplace_back(std::move(value)); }
835*6777b538SAndroid Build Coastguard Worker 
836*6777b538SAndroid Build Coastguard Worker   template <class... Args>
emplace_front(Args &&...args)837*6777b538SAndroid Build Coastguard Worker   reference emplace_front(Args&&... args) {
838*6777b538SAndroid Build Coastguard Worker     ExpandCapacityIfNecessary(1);
839*6777b538SAndroid Build Coastguard Worker     if (begin_ == 0)
840*6777b538SAndroid Build Coastguard Worker       begin_ = buffer_.capacity() - 1;
841*6777b538SAndroid Build Coastguard Worker     else
842*6777b538SAndroid Build Coastguard Worker       begin_--;
843*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
844*6777b538SAndroid Build Coastguard Worker     new (&buffer_[begin_]) T(std::forward<Args>(args)...);
845*6777b538SAndroid Build Coastguard Worker     return front();
846*6777b538SAndroid Build Coastguard Worker   }
847*6777b538SAndroid Build Coastguard Worker 
848*6777b538SAndroid Build Coastguard Worker   template <class... Args>
emplace_back(Args &&...args)849*6777b538SAndroid Build Coastguard Worker   reference emplace_back(Args&&... args) {
850*6777b538SAndroid Build Coastguard Worker     ExpandCapacityIfNecessary(1);
851*6777b538SAndroid Build Coastguard Worker     new (&buffer_[end_]) T(std::forward<Args>(args)...);
852*6777b538SAndroid Build Coastguard Worker     if (end_ == buffer_.capacity() - 1)
853*6777b538SAndroid Build Coastguard Worker       end_ = 0;
854*6777b538SAndroid Build Coastguard Worker     else
855*6777b538SAndroid Build Coastguard Worker       end_++;
856*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
857*6777b538SAndroid Build Coastguard Worker     return back();
858*6777b538SAndroid Build Coastguard Worker   }
859*6777b538SAndroid Build Coastguard Worker 
pop_front()860*6777b538SAndroid Build Coastguard Worker   void pop_front() {
861*6777b538SAndroid Build Coastguard Worker     DCHECK(size());
862*6777b538SAndroid Build Coastguard Worker     buffer_.DestructRange(&buffer_[begin_], &buffer_[begin_ + 1]);
863*6777b538SAndroid Build Coastguard Worker     begin_++;
864*6777b538SAndroid Build Coastguard Worker     if (begin_ == buffer_.capacity())
865*6777b538SAndroid Build Coastguard Worker       begin_ = 0;
866*6777b538SAndroid Build Coastguard Worker 
867*6777b538SAndroid Build Coastguard Worker     ShrinkCapacityIfNecessary();
868*6777b538SAndroid Build Coastguard Worker 
869*6777b538SAndroid Build Coastguard Worker     // Technically popping will not invalidate any iterators since the
870*6777b538SAndroid Build Coastguard Worker     // underlying buffer will be stable. But in the future we may want to add a
871*6777b538SAndroid Build Coastguard Worker     // feature that resizes the buffer smaller if there is too much wasted
872*6777b538SAndroid Build Coastguard Worker     // space. This ensures we can make such a change safely.
873*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
874*6777b538SAndroid Build Coastguard Worker   }
pop_back()875*6777b538SAndroid Build Coastguard Worker   void pop_back() {
876*6777b538SAndroid Build Coastguard Worker     DCHECK(size());
877*6777b538SAndroid Build Coastguard Worker     if (end_ == 0)
878*6777b538SAndroid Build Coastguard Worker       end_ = buffer_.capacity() - 1;
879*6777b538SAndroid Build Coastguard Worker     else
880*6777b538SAndroid Build Coastguard Worker       end_--;
881*6777b538SAndroid Build Coastguard Worker     buffer_.DestructRange(&buffer_[end_], &buffer_[end_ + 1]);
882*6777b538SAndroid Build Coastguard Worker 
883*6777b538SAndroid Build Coastguard Worker     ShrinkCapacityIfNecessary();
884*6777b538SAndroid Build Coastguard Worker 
885*6777b538SAndroid Build Coastguard Worker     // See pop_front comment about why this is here.
886*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
887*6777b538SAndroid Build Coastguard Worker   }
888*6777b538SAndroid Build Coastguard Worker 
889*6777b538SAndroid Build Coastguard Worker   // ---------------------------------------------------------------------------
890*6777b538SAndroid Build Coastguard Worker   // General operations.
891*6777b538SAndroid Build Coastguard Worker 
swap(circular_deque & other)892*6777b538SAndroid Build Coastguard Worker   void swap(circular_deque& other) {
893*6777b538SAndroid Build Coastguard Worker     std::swap(buffer_, other.buffer_);
894*6777b538SAndroid Build Coastguard Worker     std::swap(begin_, other.begin_);
895*6777b538SAndroid Build Coastguard Worker     std::swap(end_, other.end_);
896*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
897*6777b538SAndroid Build Coastguard Worker   }
898*6777b538SAndroid Build Coastguard Worker 
swap(circular_deque & lhs,circular_deque & rhs)899*6777b538SAndroid Build Coastguard Worker   friend void swap(circular_deque& lhs, circular_deque& rhs) { lhs.swap(rhs); }
900*6777b538SAndroid Build Coastguard Worker 
901*6777b538SAndroid Build Coastguard Worker  private:
902*6777b538SAndroid Build Coastguard Worker   friend internal::circular_deque_iterator<T>;
903*6777b538SAndroid Build Coastguard Worker   friend internal::circular_deque_const_iterator<T>;
904*6777b538SAndroid Build Coastguard Worker 
905*6777b538SAndroid Build Coastguard Worker   // Moves the items in the given circular buffer to the current one. The
906*6777b538SAndroid Build Coastguard Worker   // source is moved from so will become invalid. The destination buffer must
907*6777b538SAndroid Build Coastguard Worker   // have already been allocated with enough size.
MoveBuffer(VectorBuffer & from_buf,size_t from_begin,size_t from_end,VectorBuffer * to_buf,size_t * to_begin,size_t * to_end)908*6777b538SAndroid Build Coastguard Worker   static void MoveBuffer(VectorBuffer& from_buf,
909*6777b538SAndroid Build Coastguard Worker                          size_t from_begin,
910*6777b538SAndroid Build Coastguard Worker                          size_t from_end,
911*6777b538SAndroid Build Coastguard Worker                          VectorBuffer* to_buf,
912*6777b538SAndroid Build Coastguard Worker                          size_t* to_begin,
913*6777b538SAndroid Build Coastguard Worker                          size_t* to_end) {
914*6777b538SAndroid Build Coastguard Worker     size_t from_capacity = from_buf.capacity();
915*6777b538SAndroid Build Coastguard Worker 
916*6777b538SAndroid Build Coastguard Worker     *to_begin = 0;
917*6777b538SAndroid Build Coastguard Worker     if (from_begin < from_end) {
918*6777b538SAndroid Build Coastguard Worker       // Contiguous.
919*6777b538SAndroid Build Coastguard Worker       from_buf.MoveRange(&from_buf[from_begin], &from_buf[from_end],
920*6777b538SAndroid Build Coastguard Worker                          to_buf->begin());
921*6777b538SAndroid Build Coastguard Worker       *to_end = from_end - from_begin;
922*6777b538SAndroid Build Coastguard Worker     } else if (from_begin > from_end) {
923*6777b538SAndroid Build Coastguard Worker       // Discontiguous, copy the right side to the beginning of the new buffer.
924*6777b538SAndroid Build Coastguard Worker       from_buf.MoveRange(&from_buf[from_begin], &from_buf[from_capacity],
925*6777b538SAndroid Build Coastguard Worker                          to_buf->begin());
926*6777b538SAndroid Build Coastguard Worker       size_t right_size = from_capacity - from_begin;
927*6777b538SAndroid Build Coastguard Worker       // Append the left side.
928*6777b538SAndroid Build Coastguard Worker       from_buf.MoveRange(&from_buf[0], &from_buf[from_end],
929*6777b538SAndroid Build Coastguard Worker                          &(*to_buf)[right_size]);
930*6777b538SAndroid Build Coastguard Worker       *to_end = right_size + from_end;
931*6777b538SAndroid Build Coastguard Worker     } else {
932*6777b538SAndroid Build Coastguard Worker       // No items.
933*6777b538SAndroid Build Coastguard Worker       *to_end = 0;
934*6777b538SAndroid Build Coastguard Worker     }
935*6777b538SAndroid Build Coastguard Worker   }
936*6777b538SAndroid Build Coastguard Worker 
937*6777b538SAndroid Build Coastguard Worker   // Expands the buffer size. This assumes the size is larger than the
938*6777b538SAndroid Build Coastguard Worker   // number of elements in the vector (it won't call delete on anything).
SetCapacityTo(size_t new_capacity)939*6777b538SAndroid Build Coastguard Worker   void SetCapacityTo(size_t new_capacity) {
940*6777b538SAndroid Build Coastguard Worker     // Use the capacity + 1 as the internal buffer size to differentiate
941*6777b538SAndroid Build Coastguard Worker     // empty and full (see definition of buffer_ below).
942*6777b538SAndroid Build Coastguard Worker     VectorBuffer new_buffer(new_capacity + 1);
943*6777b538SAndroid Build Coastguard Worker     MoveBuffer(buffer_, begin_, end_, &new_buffer, &begin_, &end_);
944*6777b538SAndroid Build Coastguard Worker     buffer_ = std::move(new_buffer);
945*6777b538SAndroid Build Coastguard Worker   }
ExpandCapacityIfNecessary(size_t additional_elts)946*6777b538SAndroid Build Coastguard Worker   void ExpandCapacityIfNecessary(size_t additional_elts) {
947*6777b538SAndroid Build Coastguard Worker     size_t min_new_capacity = size() + additional_elts;
948*6777b538SAndroid Build Coastguard Worker     if (capacity() >= min_new_capacity)
949*6777b538SAndroid Build Coastguard Worker       return;  // Already enough room.
950*6777b538SAndroid Build Coastguard Worker 
951*6777b538SAndroid Build Coastguard Worker     min_new_capacity =
952*6777b538SAndroid Build Coastguard Worker         std::max(min_new_capacity, internal::kCircularBufferInitialCapacity);
953*6777b538SAndroid Build Coastguard Worker 
954*6777b538SAndroid Build Coastguard Worker     // std::vector always grows by at least 50%. WTF::Deque grows by at least
955*6777b538SAndroid Build Coastguard Worker     // 25%. We expect queue workloads to generally stay at a similar size and
956*6777b538SAndroid Build Coastguard Worker     // grow less than a vector might, so use 25%.
957*6777b538SAndroid Build Coastguard Worker     size_t new_capacity =
958*6777b538SAndroid Build Coastguard Worker         std::max(min_new_capacity, capacity() + capacity() / 4);
959*6777b538SAndroid Build Coastguard Worker     SetCapacityTo(new_capacity);
960*6777b538SAndroid Build Coastguard Worker   }
961*6777b538SAndroid Build Coastguard Worker 
ShrinkCapacityIfNecessary()962*6777b538SAndroid Build Coastguard Worker   void ShrinkCapacityIfNecessary() {
963*6777b538SAndroid Build Coastguard Worker     // Don't auto-shrink below this size.
964*6777b538SAndroid Build Coastguard Worker     if (capacity() <= internal::kCircularBufferInitialCapacity)
965*6777b538SAndroid Build Coastguard Worker       return;
966*6777b538SAndroid Build Coastguard Worker 
967*6777b538SAndroid Build Coastguard Worker     // Shrink when 100% of the size() is wasted.
968*6777b538SAndroid Build Coastguard Worker     size_t sz = size();
969*6777b538SAndroid Build Coastguard Worker     size_t empty_spaces = capacity() - sz;
970*6777b538SAndroid Build Coastguard Worker     if (empty_spaces < sz)
971*6777b538SAndroid Build Coastguard Worker       return;
972*6777b538SAndroid Build Coastguard Worker 
973*6777b538SAndroid Build Coastguard Worker     // Leave 1/4 the size as free capacity, not going below the initial
974*6777b538SAndroid Build Coastguard Worker     // capacity.
975*6777b538SAndroid Build Coastguard Worker     size_t new_capacity =
976*6777b538SAndroid Build Coastguard Worker         std::max(internal::kCircularBufferInitialCapacity, sz + sz / 4);
977*6777b538SAndroid Build Coastguard Worker     if (new_capacity < capacity()) {
978*6777b538SAndroid Build Coastguard Worker       // Count extra item to convert to internal capacity.
979*6777b538SAndroid Build Coastguard Worker       SetCapacityTo(new_capacity);
980*6777b538SAndroid Build Coastguard Worker     }
981*6777b538SAndroid Build Coastguard Worker   }
982*6777b538SAndroid Build Coastguard Worker 
983*6777b538SAndroid Build Coastguard Worker   // Backend for clear() but does not resize the internal buffer.
ClearRetainCapacity()984*6777b538SAndroid Build Coastguard Worker   void ClearRetainCapacity() {
985*6777b538SAndroid Build Coastguard Worker     // This can't resize(0) because that requires a default constructor to
986*6777b538SAndroid Build Coastguard Worker     // compile, which not all contained classes may implement.
987*6777b538SAndroid Build Coastguard Worker     DestructRange(begin_, end_);
988*6777b538SAndroid Build Coastguard Worker     begin_ = 0;
989*6777b538SAndroid Build Coastguard Worker     end_ = 0;
990*6777b538SAndroid Build Coastguard Worker     IncrementGeneration();
991*6777b538SAndroid Build Coastguard Worker   }
992*6777b538SAndroid Build Coastguard Worker 
993*6777b538SAndroid Build Coastguard Worker   // Calls destructors for the given begin->end indices. The indices may wrap
994*6777b538SAndroid Build Coastguard Worker   // around. The buffer is not resized, and the begin_ and end_ members are
995*6777b538SAndroid Build Coastguard Worker   // not changed.
DestructRange(size_t begin,size_t end)996*6777b538SAndroid Build Coastguard Worker   void DestructRange(size_t begin, size_t end) {
997*6777b538SAndroid Build Coastguard Worker     if (end == begin) {
998*6777b538SAndroid Build Coastguard Worker       return;
999*6777b538SAndroid Build Coastguard Worker     } else if (end > begin) {
1000*6777b538SAndroid Build Coastguard Worker       buffer_.DestructRange(&buffer_[begin], &buffer_[end]);
1001*6777b538SAndroid Build Coastguard Worker     } else {
1002*6777b538SAndroid Build Coastguard Worker       buffer_.DestructRange(&buffer_[begin], &buffer_[buffer_.capacity()]);
1003*6777b538SAndroid Build Coastguard Worker       buffer_.DestructRange(&buffer_[0], &buffer_[end]);
1004*6777b538SAndroid Build Coastguard Worker     }
1005*6777b538SAndroid Build Coastguard Worker   }
1006*6777b538SAndroid Build Coastguard Worker 
1007*6777b538SAndroid Build Coastguard Worker   // Makes room for |count| items starting at |*insert_begin|. Since iterators
1008*6777b538SAndroid Build Coastguard Worker   // are not stable across buffer resizes, |*insert_begin| will be updated to
1009*6777b538SAndroid Build Coastguard Worker   // point to the beginning of the newly opened position in the new array (it's
1010*6777b538SAndroid Build Coastguard Worker   // in/out), and the end of the newly opened position (it's out-only).
MakeRoomFor(size_t count,iterator * insert_begin,iterator * insert_end)1011*6777b538SAndroid Build Coastguard Worker   void MakeRoomFor(size_t count, iterator* insert_begin, iterator* insert_end) {
1012*6777b538SAndroid Build Coastguard Worker     if (count == 0) {
1013*6777b538SAndroid Build Coastguard Worker       *insert_end = *insert_begin;
1014*6777b538SAndroid Build Coastguard Worker       return;
1015*6777b538SAndroid Build Coastguard Worker     }
1016*6777b538SAndroid Build Coastguard Worker 
1017*6777b538SAndroid Build Coastguard Worker     // The offset from the beginning will be stable across reallocations.
1018*6777b538SAndroid Build Coastguard Worker     size_t begin_offset = insert_begin->OffsetFromBegin();
1019*6777b538SAndroid Build Coastguard Worker     ExpandCapacityIfNecessary(count);
1020*6777b538SAndroid Build Coastguard Worker 
1021*6777b538SAndroid Build Coastguard Worker     insert_begin->index_ = (begin_ + begin_offset) % buffer_.capacity();
1022*6777b538SAndroid Build Coastguard Worker     *insert_end =
1023*6777b538SAndroid Build Coastguard Worker         iterator(this, (insert_begin->index_ + count) % buffer_.capacity());
1024*6777b538SAndroid Build Coastguard Worker 
1025*6777b538SAndroid Build Coastguard Worker     // Update the new end and prepare the iterators for copying.
1026*6777b538SAndroid Build Coastguard Worker     iterator src = end();
1027*6777b538SAndroid Build Coastguard Worker     end_ = (end_ + count) % buffer_.capacity();
1028*6777b538SAndroid Build Coastguard Worker     iterator dest = end();
1029*6777b538SAndroid Build Coastguard Worker 
1030*6777b538SAndroid Build Coastguard Worker     // Move the elements. This will always involve shifting logically to the
1031*6777b538SAndroid Build Coastguard Worker     // right, so move in a right-to-left order.
1032*6777b538SAndroid Build Coastguard Worker     while (true) {
1033*6777b538SAndroid Build Coastguard Worker       if (src == *insert_begin)
1034*6777b538SAndroid Build Coastguard Worker         break;
1035*6777b538SAndroid Build Coastguard Worker       --src;
1036*6777b538SAndroid Build Coastguard Worker       --dest;
1037*6777b538SAndroid Build Coastguard Worker       buffer_.MoveRange(&buffer_[src.index_], &buffer_[src.index_ + 1],
1038*6777b538SAndroid Build Coastguard Worker                         &buffer_[dest.index_]);
1039*6777b538SAndroid Build Coastguard Worker     }
1040*6777b538SAndroid Build Coastguard Worker   }
1041*6777b538SAndroid Build Coastguard Worker 
1042*6777b538SAndroid Build Coastguard Worker #if DCHECK_IS_ON()
1043*6777b538SAndroid Build Coastguard Worker   // Asserts the given index is dereferencable. The index is an index into the
1044*6777b538SAndroid Build Coastguard Worker   // buffer, not an index used by operator[] or at() which will be offsets from
1045*6777b538SAndroid Build Coastguard Worker   // begin.
CheckValidIndex(size_t i)1046*6777b538SAndroid Build Coastguard Worker   void CheckValidIndex(size_t i) const {
1047*6777b538SAndroid Build Coastguard Worker     if (begin_ <= end_)
1048*6777b538SAndroid Build Coastguard Worker       DCHECK(i >= begin_ && i < end_);
1049*6777b538SAndroid Build Coastguard Worker     else
1050*6777b538SAndroid Build Coastguard Worker       DCHECK((i >= begin_ && i < buffer_.capacity()) || i < end_);
1051*6777b538SAndroid Build Coastguard Worker   }
1052*6777b538SAndroid Build Coastguard Worker 
1053*6777b538SAndroid Build Coastguard Worker   // Asserts the given index is either dereferencable or points to end().
CheckValidIndexOrEnd(size_t i)1054*6777b538SAndroid Build Coastguard Worker   void CheckValidIndexOrEnd(size_t i) const {
1055*6777b538SAndroid Build Coastguard Worker     if (i != end_)
1056*6777b538SAndroid Build Coastguard Worker       CheckValidIndex(i);
1057*6777b538SAndroid Build Coastguard Worker   }
1058*6777b538SAndroid Build Coastguard Worker 
ValidateIterator(const const_iterator & i)1059*6777b538SAndroid Build Coastguard Worker   void ValidateIterator(const const_iterator& i) const {
1060*6777b538SAndroid Build Coastguard Worker     DCHECK(i.parent_deque_ == this);
1061*6777b538SAndroid Build Coastguard Worker     i.CheckUnstableUsage();
1062*6777b538SAndroid Build Coastguard Worker   }
1063*6777b538SAndroid Build Coastguard Worker 
1064*6777b538SAndroid Build Coastguard Worker   // See generation_ below.
IncrementGeneration()1065*6777b538SAndroid Build Coastguard Worker   void IncrementGeneration() { generation_++; }
1066*6777b538SAndroid Build Coastguard Worker #else
1067*6777b538SAndroid Build Coastguard Worker   // No-op versions of these functions for release builds.
CheckValidIndex(size_t)1068*6777b538SAndroid Build Coastguard Worker   void CheckValidIndex(size_t) const {}
CheckValidIndexOrEnd(size_t)1069*6777b538SAndroid Build Coastguard Worker   void CheckValidIndexOrEnd(size_t) const {}
ValidateIterator(const const_iterator & i)1070*6777b538SAndroid Build Coastguard Worker   void ValidateIterator(const const_iterator& i) const {}
IncrementGeneration()1071*6777b538SAndroid Build Coastguard Worker   void IncrementGeneration() {}
1072*6777b538SAndroid Build Coastguard Worker #endif
1073*6777b538SAndroid Build Coastguard Worker 
1074*6777b538SAndroid Build Coastguard Worker   // Danger, the buffer_.capacity() is the "internal capacity" which is
1075*6777b538SAndroid Build Coastguard Worker   // capacity() + 1 since there is an extra item to indicate the end. Otherwise
1076*6777b538SAndroid Build Coastguard Worker   // being completely empty and completely full are indistinguishable (begin ==
1077*6777b538SAndroid Build Coastguard Worker   // end). We could add a separate flag to avoid it, but that adds significant
1078*6777b538SAndroid Build Coastguard Worker   // extra complexity since every computation will have to check for it. Always
1079*6777b538SAndroid Build Coastguard Worker   // keeping one extra unused element in the buffer makes iterator computations
1080*6777b538SAndroid Build Coastguard Worker   // much simpler.
1081*6777b538SAndroid Build Coastguard Worker   //
1082*6777b538SAndroid Build Coastguard Worker   // Container internal code will want to use buffer_.capacity() for offset
1083*6777b538SAndroid Build Coastguard Worker   // computations rather than capacity().
1084*6777b538SAndroid Build Coastguard Worker   VectorBuffer buffer_;
1085*6777b538SAndroid Build Coastguard Worker   size_type begin_ = 0;
1086*6777b538SAndroid Build Coastguard Worker   size_type end_ = 0;
1087*6777b538SAndroid Build Coastguard Worker 
1088*6777b538SAndroid Build Coastguard Worker #if DCHECK_IS_ON()
1089*6777b538SAndroid Build Coastguard Worker   // Incremented every time a modification is made that could affect iterator
1090*6777b538SAndroid Build Coastguard Worker   // invalidations.
1091*6777b538SAndroid Build Coastguard Worker   uint64_t generation_ = 0;
1092*6777b538SAndroid Build Coastguard Worker #endif
1093*6777b538SAndroid Build Coastguard Worker };
1094*6777b538SAndroid Build Coastguard Worker 
1095*6777b538SAndroid Build Coastguard Worker // Implementations of base::Erase[If] (see base/stl_util.h).
1096*6777b538SAndroid Build Coastguard Worker template <class T, class Value>
Erase(circular_deque<T> & container,const Value & value)1097*6777b538SAndroid Build Coastguard Worker size_t Erase(circular_deque<T>& container, const Value& value) {
1098*6777b538SAndroid Build Coastguard Worker   auto it = ranges::remove(container, value);
1099*6777b538SAndroid Build Coastguard Worker   size_t removed = std::distance(it, container.end());
1100*6777b538SAndroid Build Coastguard Worker   container.erase(it, container.end());
1101*6777b538SAndroid Build Coastguard Worker   return removed;
1102*6777b538SAndroid Build Coastguard Worker }
1103*6777b538SAndroid Build Coastguard Worker 
1104*6777b538SAndroid Build Coastguard Worker template <class T, class Predicate>
EraseIf(circular_deque<T> & container,Predicate pred)1105*6777b538SAndroid Build Coastguard Worker size_t EraseIf(circular_deque<T>& container, Predicate pred) {
1106*6777b538SAndroid Build Coastguard Worker   auto it = ranges::remove_if(container, pred);
1107*6777b538SAndroid Build Coastguard Worker   size_t removed = std::distance(it, container.end());
1108*6777b538SAndroid Build Coastguard Worker   container.erase(it, container.end());
1109*6777b538SAndroid Build Coastguard Worker   return removed;
1110*6777b538SAndroid Build Coastguard Worker }
1111*6777b538SAndroid Build Coastguard Worker 
1112*6777b538SAndroid Build Coastguard Worker }  // namespace base
1113*6777b538SAndroid Build Coastguard Worker 
1114*6777b538SAndroid Build Coastguard Worker #endif  // BASE_CONTAINERS_CIRCULAR_DEQUE_H_
1115