```rust
alloc::vec
```
```rust
pub struct Vec<T, A = Global>
where
A: Allocator,
{
buf: RawVec<T, A>,
len: usize,
}
```
---
A contiguous growable array type, written as `Vec<T>`, short for 'vector'.
# Examples
```rust
let mut vec = Vec::new();
vec.push(1);
vec.push(2);
assert_eq!(vec.len(), 2);
assert_eq!(vec[0], 1);
assert_eq!(vec.pop(), Some(2));
assert_eq!(vec.len(), 1);
vec[0] = 7;
assert_eq!(vec[0], 7);
vec.extend([1, 2, 3]);
for x in &vec {
println!("{x}");
}
assert_eq!(vec, [7, 1, 2, 3]);
```
The [`vec`](https://doc.rust-lang.org/nightly/alloc/macros/macro.vec.html) macro is provided for convenient initialization:
```rust
let mut vec1 = vec![1, 2, 3];
vec1.push(4);
let vec2 = Vec::from([1, 2, 3, 4]);
assert_eq!(vec1, vec2);
```
It can also initialize each element of a `Vec<T>` with a given value.
This may be more efficient than performing allocation and initialization
in separate steps, especially when initializing a vector of zeros:
```rust
let vec = vec![0; 5];
assert_eq!(vec, [0, 0, 0, 0, 0]);
// The following is equivalent, but potentially slower:
let mut vec = Vec::with_capacity(5);
vec.resize(5, 0);
assert_eq!(vec, [0, 0, 0, 0, 0]);
```
For more information, see
[Capacity and Reallocation](https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html#capacity-and-reallocation).
Use a `Vec<T>` as an efficient stack:
```rust
let mut stack = Vec::new();
stack.push(1);
stack.push(2);
stack.push(3);
while let Some(top) = stack.pop() {
// Prints 3, 2, 1
println!("{top}");
}
```
# Indexing
The `Vec` type allows access to values by index, because it implements the
[`Index`](https://doc.rust-lang.org/nightly/core/ops/index/trait.Index.html) trait. An example will be more explicit:
```rust
let v = vec![0, 2, 4, 6];
println!("{}", v[1]); // it will display '2'
```
However be careful: if you try to access an index which isn't in the `Vec`,
your software will panic! You cannot do this:
```rust
let v = vec![0, 2, 4, 6];
println!("{}", v[6]); // it will panic!
```
Use [`get`] and [`get_mut`] if you want to check whether the index is in
the `Vec`.
# Slicing
A `Vec` can be mutable. On the other hand, slices are read-only objects.
To get a [slice](https://doc.rust-lang.org/nightly/core/slice/index.html), use [`&`](`&`). Example:
```rust
fn read_slice(slice: &[usize]) {
// ...
}
let v = vec![0, 1];
read_slice(&v);
// ... and that's all!
// you can also do it like this:
let u: &[usize] = &v;
// or like this:
let u: &[_] = &v;
```
In Rust, it's more common to pass slices as arguments rather than vectors
when you just want to provide read access. The same goes for [`String`] and
[`&str`].
# Capacity and reallocation
The capacity of a vector is the amount of space allocated for any future
elements that will be added onto the vector. This is not to be confused with
the _length_ of a vector, which specifies the number of actual elements
within the vector. If a vector's length exceeds its capacity, its capacity
will automatically be increased, but its elements will have to be
reallocated.
For example, a vector with capacity 10 and length 0 would be an empty vector
with space for 10 more elements. Pushing 10 or fewer elements onto the
vector will not change its capacity or cause reallocation to occur. However,
if the vector's length is increased to 11, it will have to reallocate, which
can be slow. For this reason, it is recommended to use [`Vec::with_capacity`](https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html#method.with_capacity)
whenever possible to specify how big the vector is expected to get.
# Guarantees
Due to its incredibly fundamental nature, `Vec` makes a lot of guarantees
about its design. This ensures that it's as low-overhead as possible in
the general case, and can be correctly manipulated in primitive ways
by unsafe code. Note that these guarantees refer to an unqualified `Vec<T>`.
If additional type parameters are added (e.g., to support custom allocators),
overriding their defaults may change the behavior.
Most fundamentally, `Vec` is and always will be a (pointer, capacity, length)
triplet. No more, no less. The order of these fields is completely
unspecified, and you should use the appropriate methods to modify these.
The pointer will never be null, so this type is null-pointer-optimized.
However, the pointer might not actually point to allocated memory. In particular,
if you construct a `Vec` with capacity 0 via [`Vec::new`](https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html#method.new), [`vec![]`](https://doc.rust-lang.org/nightly/alloc/macros/macro.vec.html),
[`Vec::with_capacity(0)`](https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html#method.with_capacity), or by calling [`shrink_to_fit`]
on an empty Vec, it will not allocate memory. Similarly, if you store zero-sized
types inside a `Vec`, it will not allocate space for them. _Note that in this case
the `Vec` might not report a [`capacity`] of 0_. `Vec` will allocate if and only
if <code>
[size_of::\<T>](https://doc.rust-lang.org/nightly/core/mem/fn.size_of.html)() \* [capacity]() > 0</code>. In general, `Vec`'s allocation
details are very subtle --- if you intend to allocate memory using a `Vec`
and use it for something else (either to pass to unsafe code, or to build your
own memory-backed collection), be sure to deallocate this memory by using
`from_raw_parts` to recover the `Vec` and then dropping it.
If a `Vec` _has_ allocated memory, then the memory it points to is on the heap
(as defined by the allocator Rust is configured to use by default), and its
pointer points to [`len`] initialized, contiguous elements in order (what
you would see if you coerced it to a slice), followed by <code>
[capacity] - [len]</code>
logically uninitialized, contiguous elements.
A vector containing the elements `'a'` and `'b'` with capacity 4 can be
visualized as below. The top part is the `Vec` struct, it contains a
pointer to the head of the allocation in the heap, length and capacity.
The bottom part is the allocation on the heap, a contiguous memory block.
```text
ptr len capacity
+--------+--------+--------+
| 0x0123 | 2 | 4 |
+--------+--------+--------+
|
v
Heap +--------+--------+--------+--------+
| 'a' | 'b' | uninit | uninit |
+--------+--------+--------+--------+
```
- **uninit** represents memory that is not initialized, see [`MaybeUninit`].
- Note: the ABI is not stable and `Vec` makes no guarantees about its memory
layout (including the order of fields).
`Vec` will never perform a "small optimization" where elements are actually
stored on the stack for two reasons:
- It would make it more difficult for unsafe code to correctly manipulate
a `Vec`. The contents of a `Vec` wouldn't have a stable address if it were
only moved, and it would be more difficult to determine if a `Vec` had
actually allocated memory.
- It would penalize the general case, incurring an additional branch
on every access.
`Vec` will never automatically shrink itself, even if completely empty. This
ensures no unnecessary allocations or deallocations occur. Emptying a `Vec`
and then filling it back up to the same [`len`] should incur no calls to
the allocator. If you wish to free up unused memory, use
[`shrink_to_fit`] or [`shrink_to`].
[`push`] and [`insert`] will never (re)allocate if the reported capacity is
sufficient. [`push`] and [`insert`] _will_ (re)allocate if
<code>
[len] == [capacity]</code>. That is, the reported capacity is completely
accurate, and can be relied on. It can even be used to manually free the memory
allocated by a `Vec` if desired. Bulk insertion methods _may_ reallocate, even
when not necessary.
`Vec` does not guarantee any particular growth strategy when reallocating
when full, nor when [`reserve`] is called. The current strategy is basic
and it may prove desirable to use a non-constant growth factor. Whatever
strategy is used will of course guarantee _O_(1) amortized [`push`].
It is guaranteed, in order to respect the intentions of the programmer, that
all of `vec![e_1, e_2, ..., e_n]`, `vec![x; n]`, and [`Vec::with_capacity(n)`] produce a `Vec`
that requests an allocation of the exact size needed for precisely `n` elements from the allocator,
and no other size (such as, for example: a size rounded up to the nearest power of 2).
The allocator will return an allocation that is at least as large as requested, but it may be larger.
It is guaranteed that the [`Vec::capacity`] method returns a value that is at least the requested capacity
and not more than the allocated capacity.
The method [`Vec::shrink_to_fit`](https://doc.rust-lang.org/nightly/alloc/vec/struct.Vec.html#method.shrink_to_fit) will attempt to discard excess capacity an allocator has given to a `Vec`.
If <code>
[len] == [capacity]</code>, then a `Vec<T>` can be converted
to and from a [`Box<[T]>`](https://doc.rust-lang.org/nightly/alloc/boxed/struct.Box.html) without reallocating or moving the elements.
`Vec` exploits this fact as much as reasonable when implementing common conversions
such as [`into_boxed_slice`].
`Vec` will not specifically overwrite any data that is removed from it,
but also won't specifically preserve it. Its uninitialized memory is
scratch space that it may use however it wants. It will generally just do
whatever is most efficient or otherwise easy to implement. Do not rely on
removed data to be erased for security purposes. Even if you drop a `Vec`, its
buffer may simply be reused by another allocation. Even if you zero a `Vec`'s memory
first, that might not actually happen because the optimizer does not consider
this a side-effect that must be preserved. There is one case which we will
not break, however: using `unsafe` code to write to the excess capacity,
and then increasing the length to match, is always valid.
Currently, `Vec` does not guarantee the order in which elements are dropped.
The order has changed in the past and may change again.