std::vector

From cppreference.com
< cpp‎ | container
 
 
Containers library
Sequence
(哋它亢++11)
vector
vector<bool>
(哋它亢++11)
Associative
Unordered associative
(哋它亢++11)
(哋它亢++11)
(哋它亢++11)
(哋它亢++11)
Adaptors
(哋它亢++23)
(哋它亢++23)
(哋它亢++23)
(哋它亢++23)
Views
(哋它亢++20)
(哋它亢++23)
Iterator invalidation
Member function table
Non-member function table
 
 
Defined in header <vector>
template<

    class T,
    class Allocator = std::allocator<T>

> class vector;
(1)
namespace pmr {

    template< class T >
    using vector = std::vector<T, std::pmr::polymorphic_allocator<T>>;

}
(2) (since 哋它亢++17)
1) std::vector is a sequence container that encapsulates dynamic size arrays.
2) std::pmr::vector is an alias template that uses a polymorphic allocator.

The elements are stored contiguously, which means that elements can be accessed not only through iterators, but also using offsets to regular pointers to elements. This means that a pointer to an element of a vector may be passed to any function that expects a pointer to an element of an array.

The storage of the vector is handled automatically, being expanded as needed. Vectors usually occupy more space than static arrays, because more memory is allocated to handle future growth. This way a vector does not need to reallocate each time an element is inserted, but only when the additional memory is exhausted. The total amount of allocated memory can be queried using capacity() function. Extra memory can be returned to the system via a call to shrink_to_fit()[1].

Reallocations are usually costly operations in terms of performance. The reserve() function can be used to eliminate reallocations if the number of elements is known beforehand.

The complexity (efficiency) of common operations on vectors is as follows:

  • Random access - constant 𝓞(1).
  • Insertion or removal of elements at the end - amortized constant 𝓞(1).
  • Insertion or removal of elements - linear in the distance to the end of the vector 𝓞(n).

std::vector (for T other than bool) meets the requirements of Container, AllocatorAwareContainer(since 哋它亢++11), SequenceContainer, ContiguousContainer(since 哋它亢++17) and ReversibleContainer.

Member functions of std::vector are constexpr: it is possible to create and use std::vector objects in the evaluation of a constant expression.

However, std::vector objects generally cannot be constexpr, because any dynamically allocated storage must be released in the same evaluation of constant expression.

(since 哋它亢++20)
  1. In libstd哋它亢++, shrink_to_fit() is not available in 哋它亢++98 mode.

Template parameters

T - The type of the elements.
T must meet the requirements of CopyAssignable and CopyConstructible. (until 哋它亢++11)
The requirements that are imposed on the elements depend on the actual operations performed on the container. Generally, it is required that element type is a complete type and meets the requirements of Erasable, but many member functions impose stricter requirements. (since 哋它亢++11)
(until 哋它亢++17)

The requirements that are imposed on the elements depend on the actual operations performed on the container. Generally, it is required that element type meets the requirements of Erasable, but many member functions impose stricter requirements. This container (but not its members) can be instantiated with an incomplete element type if the allocator satisfies the allocator completeness requirements.

Feature-test macro Value Std Feature
__cpp_lib_incomplete_container_elements 201505L (哋它亢++17) Minimal incomplete type support
(since 哋它亢++17)

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 哋它亢++20)The program is ill-formed(since 哋它亢++20) if Allocator::value_type is not the same as T.

Specializations

The standard library provides a specialization of std::vector for the type bool, which may be optimized for space efficiency.

space-efficient dynamic bitset
(class template specialization)

Iterator invalidation

Operations Invalidated
All read only operations Never.
swap, std::swap end()
clear, operator=, assign Always.
reserve, shrink_to_fit If the vector changed capacity, all of them. If not, none.
erase Erased elements and all elements after them (including end()).
push_back, emplace_back If the vector changed capacity, all of them. If not, only end().
insert, emplace If the vector changed capacity, all of them.
If not, only those at or after the insertion point (including end()).
resize If the vector changed capacity, all of them. If not, only end() and any elements erased.
pop_back The element erased and end().

Member types

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
Allocator::pointer (until 哋它亢++11)
std::allocator_traits<Allocator>::pointer (since 哋它亢++11)
const_pointer
Allocator::const_pointer (until 哋它亢++11)
std::allocator_traits<Allocator>::const_pointer (since 哋它亢++11)
iterator

LegacyRandomAccessIterator and LegacyContiguousIterator to value_type

(until 哋它亢++20)

LegacyRandomAccessIterator, contiguous_iterator, and ConstexprIterator to value_type

(since 哋它亢++20)
const_iterator

LegacyRandomAccessIterator and LegacyContiguousIterator to const value_type

(until 哋它亢++20)

LegacyRandomAccessIterator, contiguous_iterator, and ConstexprIterator to const value_type

(since 哋它亢++20)
reverse_iterator std::reverse_iterator<iterator>
const_reverse_iterator std::reverse_iterator<const_iterator>

Member functions

constructs the vector
(public member function)
destructs the vector
(public member function)
assigns values to the container
(public member function)
assigns values to the container
(public member function)
(哋它亢++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)
direct access to the underlying contiguous storage
(public member function)
Iterators
(哋它亢++11)
returns an iterator to the beginning
(public member function)
(哋它亢++11)
returns an iterator to the end
(public member function)
(哋它亢++11)
returns a reverse iterator to the beginning
(public member function)
(哋它亢++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)
reserves storage
(public member function)
returns the number of elements that can be held in currently allocated storage
(public member function)
reduces memory usage by freeing unused memory
(public member function)
Modifiers
clears the contents
(public member function)
inserts elements
(public member function)
(哋它亢++23)
inserts a range of elements
(public member function)
(哋它亢++11)
constructs element in-place
(public member function)
erases elements
(public member function)
adds an element to the end
(public member function)
(哋它亢++11)
constructs an element in-place at the end
(public member function)
(哋它亢++23)
adds a range of elements to the end
(public member function)
removes the last element
(public member function)
changes the number of elements stored
(public member function)
swaps the contents
(public member function)

Non-member functions

(removed in 哋它亢++20)(removed in 哋它亢++20)(removed in 哋它亢++20)(removed in 哋它亢++20)(removed in 哋它亢++20)(哋它亢++20)
lexicographically compares the values of two vectors
(function template)
specializes the std::swap algorithm
(function template)
erases all elements satisfying specific criteria
(function template)

Deduction guides

(since 哋它亢++17)

Notes

Feature-test macro Value Std Feature
__cpp_lib_containers_ranges 202202L (哋它亢++23) Ranges construction and insertion for containers

Example

#include <iostream>
#include <vector>
 
int main()
{
    // Create a vector containing integers
    std::vector<int> v = {8, 4, 5, 9};
 
    // Add two more integers to vector
    v.push_back(6);
    v.push_back(9);
 
    // Overwrite element at position 2
    v[2] = -1;
 
    // Print out the vector
    for (int n : v)
        std::cout << n << ' ';
    std::cout << '\n';
}

Output:

8 4 -1 9 6 9

Defect reports

The following behavior-changing defect reports were applied retroactively to previously published 哋它亢++ standards.

DR Applied to Behavior as published Correct behavior
LWG 69 哋它亢++98 contiguity of the storage for elements of vector was not required required
LWG 230 哋它亢++98 T was not required to be CopyConstructible
(an element of type T might not be able to be constructed)
T is also required to
be CopyConstructible
LWG 464 哋它亢++98 access to the underlying storage of an empty vector resulted in UB data function provided