Defined in header <deque> | ||
---|---|---|
template< class T, class Allocator = std::allocator<T> > class deque; | (1) | |
namespace pmr { template< class T > using deque = std::deque<T, std::pmr::polymorphic_allocator<T>>; } | (2) | (since C++17) |
std::deque
(double-ended queue) is an indexed sequence container that allows fast insertion and deletion at both its beginning and its end. In addition, insertion and deletion at either end of a deque never invalidates pointers or references to the rest of the elements.
As opposed to std::vector
, the elements of a deque are not stored contiguously: typical implementations use a sequence of individually allocated fixed-size arrays, with additional bookkeeping, which means indexed access to deque must perform two pointer dereferences, compared to vector's indexed access which performs only one.
The storage of a deque is automatically expanded and contracted as needed. Expansion of a deque is cheaper than the expansion of a std::vector
because it does not involve copying of the existing elements to a new memory location. On the other hand, deques typically have large minimal memory cost; a deque holding just one element has to allocate its full internal array (e.g. 8 times the object size on 64-bit libstdc++; 16 times the object size or 4096 bytes, whichever is larger, on 64-bit libc++).
The complexity (efficiency) of common operations on deques is as follows:
std::deque
meets the requirements of Container, AllocatorAwareContainer, SequenceContainer and ReversibleContainer.
T | - | The type of the elements.
|
||||
Allocator | - | An allocator that is used to acquire/release memory and to construct/destroy the elements in that memory. The type must meet the requirements of Allocator. The behavior is undefined (until C++20)The program is ill-formed (since C++20) if Allocator::value_type is not the same as T . |
Operations | Invalidated |
---|---|
All read only operations | Never |
swap , std::swap | The past-the-end iterator may be invalidated (implementation defined) |
shrink_to_fit , clear , insert , emplace , push_front ,push_back , emplace_front , emplace_back | Always |
erase | If erasing at begin - only erased elements If erasing at end - only erased elements and the past-the-end iterator |
resize | If the new size is smaller than the old one - only erased elements and the past-the-end iterator If the new size is bigger than the old one - all iterators are invalidated |
pop_front , pop_back | To the element erased. The past-the-end iterator |
insert
and emplace
. push_front
, push_back
, emplace_front
and emplace_back
do not invalidate any references to elements of the deque. erase
, pop_front
and pop_back
. resize
with a smaller size does not invalidate any references to non-erased elements. resize
with a bigger size does not invalidate any references to elements of the deque. Member type | Definition | ||||
---|---|---|---|---|---|
value_type | T |
||||
allocator_type | Allocator |
||||
size_type | Unsigned integer type (usually std::size_t ) |
||||
difference_type | Signed integer type (usually std::ptrdiff_t ) |
||||
reference | value_type& |
||||
const_reference | const value_type& | ||||
pointer |
|
||||
const_pointer |
|
||||
iterator | LegacyRandomAccessIterator to value_type |
||||
const_iterator | LegacyRandomAccessIterator to const value_type | ||||
reverse_iterator | std::reverse_iterator<iterator> | ||||
const_reverse_iterator | std::reverse_iterator<const_iterator> |
constructs the deque (public member function) |
|
destructs the deque (public member function) |
|
assigns values to the container (public member function) |
|
assigns values to the container (public member function) |
|
(C++23) | assigns a range of values to the container (public member function) |
returns the associated allocator (public member function) |
|
Element access |
|
access specified element with bounds checking (public member function) |
|
access specified element (public member function) |
|
access the first element (public member function) |
|
access the last element (public member function) |
|
Iterators |
|
(C++11) | returns an iterator to the beginning (public member function) |
(C++11) | returns an iterator to the end (public member function) |
(C++11) | returns a reverse iterator to the beginning (public member function) |
(C++11) | returns a reverse iterator to the end (public member function) |
Capacity |
|
checks whether the container is empty (public member function) |
|
returns the number of elements (public member function) |
|
returns the maximum possible number of elements (public member function) |
|
(DR*) | reduces memory usage by freeing unused memory (public member function) |
Modifiers |
|
clears the contents (public member function) |
|
inserts elements (public member function) |
|
(C++23) | inserts a range of elements (public member function) |
(C++11) | constructs element in-place (public member function) |
erases elements (public member function) |
|
adds an element to the end (public member function) |
|
(C++11) | constructs an element in-place at the end (public member function) |
(C++23) | adds a range of elements to the end (public member function) |
removes the last element (public member function) |
|
inserts an element to the beginning (public member function) |
|
(C++11) | constructs an element in-place at the beginning (public member function) |
(C++23) | adds a range of elements to the beginning (public member function) |
removes the first element (public member function) |
|
changes the number of elements stored (public member function) |
|
swaps the contents (public member function) |
(removed in C++20)(removed in C++20)(removed in C++20)(removed in C++20)(removed in C++20)(C++20) | lexicographically compares the values in the deque (function template) |
specializes the std::swap algorithm (function template) |
|
(C++20) | erases all elements satisfying specific criteria (function template) |
Deduction guides | (since C++17) |
Feature-test macro | Value | Std | Comment |
---|---|---|---|
__cpp_lib_containers_ranges | 202202L | (C++23) | Ranges construction and insertion for containers |
#include <deque> #include <iostream> int main() { // Create a deque containing integers std::deque<int> d = {7, 5, 16, 8}; // Add an integer to the beginning and end of the deque d.push_front(13); d.push_back(25); // Iterate and print values of deque for (int n : d) std::cout << n << ' '; std::cout << '\n'; }
Output:
13 7 5 16 8 25
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR | Applied to | Behavior as published | Correct behavior |
---|---|---|---|
LWG 230 | C++98 | T was not required to be CopyConstructible(an element of type T might not be able to be constructed) | T is also required tobe CopyConstructible |
adapts a container to provide queue (FIFO data structure) (class template) |
© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/w/cpp/container/deque