alloc/vec/mod.rs
1//! A contiguous growable array type with heap-allocated contents, written
2//! `Vec<T>`.
3//!
4//! Vectors have *O*(1) indexing, amortized *O*(1) push (to the end) and
5//! *O*(1) pop (from the end).
6//!
7//! Vectors ensure they never allocate more than `isize::MAX` bytes.
8//!
9//! # Examples
10//!
11//! You can explicitly create a [`Vec`] with [`Vec::new`]:
12//!
13//! ```
14//! let v: Vec<i32> = Vec::new();
15//! ```
16//!
17//! ...or by using the [`vec!`] macro:
18//!
19//! ```
20//! let v: Vec<i32> = vec![];
21//!
22//! let v = vec![1, 2, 3, 4, 5];
23//!
24//! let v = vec![0; 10]; // ten zeroes
25//! ```
26//!
27//! You can [`push`] values onto the end of a vector (which will grow the vector
28//! as needed):
29//!
30//! ```
31//! let mut v = vec![1, 2];
32//!
33//! v.push(3);
34//! ```
35//!
36//! Popping values works in much the same way:
37//!
38//! ```
39//! let mut v = vec![1, 2];
40//!
41//! let two = v.pop();
42//! ```
43//!
44//! Vectors also support indexing (through the [`Index`] and [`IndexMut`] traits):
45//!
46//! ```
47//! let mut v = vec![1, 2, 3];
48//! let three = v[2];
49//! v[1] = v[1] + 5;
50//! ```
51//!
52//! # Memory layout
53//!
54//! When the type is non-zero-sized and the capacity is nonzero, [`Vec`] uses the [`Global`]
55//! allocator for its allocation. It is valid to convert both ways between such a [`Vec`] and a raw
56//! pointer allocated with the [`Global`] allocator, provided that the [`Layout`] used with the
57//! allocator is correct for a sequence of `capacity` elements of the type, and the first `len`
58//! values pointed to by the raw pointer are valid. More precisely, a `ptr: *mut T` that has been
59//! allocated with the [`Global`] allocator with [`Layout::array::<T>(capacity)`][Layout::array] may
60//! be converted into a vec using
61//! [`Vec::<T>::from_raw_parts(ptr, len, capacity)`](Vec::from_raw_parts). Conversely, the memory
62//! backing a `value: *mut T` obtained from [`Vec::<T>::as_mut_ptr`] may be deallocated using the
63//! [`Global`] allocator with the same layout.
64//!
65//! For zero-sized types (ZSTs), or when the capacity is zero, the `Vec` pointer must be non-null
66//! and sufficiently aligned. The recommended way to build a `Vec` of ZSTs if [`vec!`] cannot be
67//! used is to use [`ptr::NonNull::dangling`].
68//!
69//! [`push`]: Vec::push
70//! [`ptr::NonNull::dangling`]: NonNull::dangling
71//! [`Layout`]: crate::alloc::Layout
72//! [Layout::array]: crate::alloc::Layout::array
73
74#![stable(feature = "rust1", since = "1.0.0")]
75
76#[cfg(not(no_global_oom_handling))]
77use core::clone::TrivialClone;
78use core::cmp::Ordering;
79use core::hash::{Hash, Hasher};
80#[cfg(not(no_global_oom_handling))]
81use core::iter;
82use core::marker::{Destruct, Freeze, PhantomData};
83use core::mem::{self, Assume, ManuallyDrop, MaybeUninit, SizedTypeProperties, TransmuteFrom};
84use core::ops::{self, Index, IndexMut, Range, RangeBounds};
85use core::ptr::{self, NonNull};
86use core::slice::{self, SliceIndex};
87use core::{cmp, fmt, hint, intrinsics, ub_checks};
88
89#[stable(feature = "extract_if", since = "1.87.0")]
90pub use self::extract_if::ExtractIf;
91use crate::alloc::{Allocator, AllocatorNightly, Global};
92use crate::borrow::{Cow, ToOwned};
93use crate::boxed::Box;
94use crate::collections::TryReserveError;
95use crate::raw_vec::RawVec;
96
97mod extract_if;
98
99#[cfg(not(no_global_oom_handling))]
100#[stable(feature = "vec_splice", since = "1.21.0")]
101pub use self::splice::Splice;
102
103#[cfg(not(no_global_oom_handling))]
104mod splice;
105
106#[stable(feature = "drain", since = "1.6.0")]
107pub use self::drain::Drain;
108
109mod drain;
110
111#[cfg(not(no_global_oom_handling))]
112mod cow;
113
114#[cfg(not(no_global_oom_handling))]
115pub(crate) use self::in_place_collect::AsVecIntoIter;
116#[stable(feature = "rust1", since = "1.0.0")]
117pub use self::into_iter::IntoIter;
118
119mod into_iter;
120
121#[cfg(not(no_global_oom_handling))]
122use self::is_zero::IsZero;
123
124#[cfg(not(no_global_oom_handling))]
125mod is_zero;
126
127#[cfg(not(no_global_oom_handling))]
128mod in_place_collect;
129
130mod partial_eq;
131
132#[unstable(feature = "vec_peek_mut", issue = "122742")]
133pub use self::peek_mut::PeekMut;
134
135mod peek_mut;
136
137#[cfg(not(no_global_oom_handling))]
138use self::spec_from_elem::SpecFromElem;
139
140#[cfg(not(no_global_oom_handling))]
141mod spec_from_elem;
142
143#[cfg(not(no_global_oom_handling))]
144use self::set_len_on_drop::SetLenOnDrop;
145
146#[cfg(not(no_global_oom_handling))]
147mod set_len_on_drop;
148
149#[cfg(not(no_global_oom_handling))]
150use self::in_place_drop::{InPlaceDrop, InPlaceDstDataSrcBufDrop};
151
152#[cfg(not(no_global_oom_handling))]
153mod in_place_drop;
154
155#[cfg(not(no_global_oom_handling))]
156use self::spec_from_iter_nested::SpecFromIterNested;
157
158#[cfg(not(no_global_oom_handling))]
159mod spec_from_iter_nested;
160
161#[cfg(not(no_global_oom_handling))]
162use self::spec_from_iter::SpecFromIter;
163
164#[cfg(not(no_global_oom_handling))]
165mod spec_from_iter;
166
167#[cfg(not(no_global_oom_handling))]
168use self::spec_extend::SpecExtend;
169
170#[cfg(not(no_global_oom_handling))]
171mod spec_extend;
172
173#[cfg(all(target_arch = "aarch64", target_feature = "sve"))]
174mod sve_retain;
175
176/// A contiguous growable array type, written as `Vec<T>`, short for 'vector'.
177///
178/// # Examples
179///
180/// ```
181/// let mut vec = Vec::new();
182/// vec.push(1);
183/// vec.push(2);
184///
185/// assert_eq!(vec.len(), 2);
186/// assert_eq!(vec[0], 1);
187///
188/// assert_eq!(vec.pop(), Some(2));
189/// assert_eq!(vec.len(), 1);
190///
191/// vec[0] = 7;
192/// assert_eq!(vec[0], 7);
193///
194/// vec.extend([1, 2, 3]);
195///
196/// for x in &vec {
197/// println!("{x}");
198/// }
199/// assert_eq!(vec, [7, 1, 2, 3]);
200/// ```
201///
202/// The [`vec!`] macro is provided for convenient initialization:
203///
204/// ```
205/// let mut vec1 = vec![1, 2, 3];
206/// vec1.push(4);
207/// let vec2 = Vec::from([1, 2, 3, 4]);
208/// assert_eq!(vec1, vec2);
209/// ```
210///
211/// It can also initialize each element of a `Vec<T>` with a given value.
212/// This may be more efficient than performing allocation and initialization
213/// in separate steps, especially when initializing a vector of zeros:
214///
215/// ```
216/// let vec = vec![0; 5];
217/// assert_eq!(vec, [0, 0, 0, 0, 0]);
218///
219/// // The following is equivalent, but potentially slower:
220/// let mut vec = Vec::with_capacity(5);
221/// vec.resize(5, 0);
222/// assert_eq!(vec, [0, 0, 0, 0, 0]);
223/// ```
224///
225/// For more information, see
226/// [Capacity and Reallocation](#capacity-and-reallocation).
227///
228/// Use a `Vec<T>` as an efficient stack:
229///
230/// ```
231/// let mut stack = Vec::new();
232///
233/// stack.push(1);
234/// stack.push(2);
235/// stack.push(3);
236///
237/// while let Some(top) = stack.pop() {
238/// // Prints 3, 2, 1
239/// println!("{top}");
240/// }
241/// ```
242///
243/// # Indexing
244///
245/// The `Vec` type allows access to values by index, because it implements the
246/// [`Index`] trait. An example will be more explicit:
247///
248/// ```
249/// let v = vec![0, 2, 4, 6];
250/// println!("{}", v[1]); // it will display '2'
251/// ```
252///
253/// However be careful: if you try to access an index which isn't in the `Vec`,
254/// your software will panic! You cannot do this:
255///
256/// ```should_panic
257/// let v = vec![0, 2, 4, 6];
258/// println!("{}", v[6]); // it will panic!
259/// ```
260///
261/// Use [`get`] and [`get_mut`] if you want to check whether the index is in
262/// the `Vec`.
263///
264/// # Slicing
265///
266/// A `Vec` can be mutable. On the other hand, slices are read-only objects.
267/// To get a [slice][prim@slice], use [`&`]. Example:
268///
269/// ```
270/// fn read_slice(slice: &[usize]) {
271/// // ...
272/// }
273///
274/// let v = vec![0, 1];
275/// read_slice(&v);
276///
277/// // ... and that's all!
278/// // you can also do it like this:
279/// let u: &[usize] = &v;
280/// // or like this:
281/// let u: &[_] = &v;
282/// ```
283///
284/// In Rust, it's more common to pass slices as arguments rather than vectors
285/// when you just want to provide read access. The same goes for [`String`] and
286/// [`&str`].
287///
288/// # Capacity and reallocation
289///
290/// The capacity of a vector is the amount of space allocated for any future
291/// elements that will be added onto the vector. This is not to be confused with
292/// the *length* of a vector, which specifies the number of actual elements
293/// within the vector. If a vector's length exceeds its capacity, its capacity
294/// will automatically be increased, but its elements will have to be
295/// reallocated.
296///
297/// For example, a vector with capacity 10 and length 0 would be an empty vector
298/// with space for 10 more elements. Pushing 10 or fewer elements onto the
299/// vector will not change its capacity or cause reallocation to occur. However,
300/// if the vector's length is increased to 11, it will have to reallocate, which
301/// can be slow. For this reason, it is recommended to use [`Vec::with_capacity`]
302/// whenever possible to specify how big the vector is expected to get.
303///
304/// # Guarantees
305///
306/// Due to its incredibly fundamental nature, `Vec` makes a lot of guarantees
307/// about its design. This ensures that it's as low-overhead as possible in
308/// the general case, and can be correctly manipulated in primitive ways
309/// by unsafe code. Note that these guarantees refer to an unqualified `Vec<T>`.
310/// If additional type parameters are added (e.g., to support custom allocators),
311/// overriding their defaults may change the behavior.
312///
313/// Most fundamentally, `Vec` is and always will be a (pointer, capacity, length)
314/// triplet. No more, no less. The order of these fields is completely
315/// unspecified, and you should use the appropriate methods to modify these.
316/// The pointer will never be null, so this type is null-pointer-optimized.
317///
318/// However, the pointer might not actually point to allocated memory. In particular,
319/// if you construct a `Vec` with capacity 0 via [`Vec::new`], [`vec![]`][`vec!`],
320/// [`Vec::with_capacity(0)`][`Vec::with_capacity`], or by calling [`shrink_to_fit`]
321/// on an empty Vec, it will not allocate memory. Similarly, if you store zero-sized
322/// types inside a `Vec`, it will not allocate space for them. *Note that in this case
323/// the `Vec` might not report a [`capacity`] of 0*. `Vec` will allocate if and only
324/// if <code>[size_of::\<T>]\() * [capacity]\() > 0</code>. In general, `Vec`'s allocation
325/// details are very subtle --- if you intend to allocate memory using a `Vec`
326/// and use it for something else (either to pass to unsafe code, or to build your
327/// own memory-backed collection), be sure to deallocate this memory by using
328/// `from_raw_parts` to recover the `Vec` and then dropping it.
329///
330/// If a `Vec` *has* allocated memory, then the memory it points to is on the heap
331/// (as defined by the allocator Rust is configured to use by default), and its
332/// pointer points to [`len`] initialized, contiguous elements in order (what
333/// you would see if you coerced it to a slice), followed by <code>[capacity] - [len]</code>
334/// logically uninitialized, contiguous elements.
335///
336/// A vector containing the elements `'a'` and `'b'` with capacity 4 can be
337/// visualized as below. The top part is the `Vec` struct, it contains a
338/// pointer to the head of the allocation in the heap, length and capacity.
339/// The bottom part is the allocation on the heap, a contiguous memory block.
340///
341/// ```text
342/// ptr len capacity
343/// +--------+--------+--------+
344/// | 0x0123 | 2 | 4 |
345/// +--------+--------+--------+
346/// |
347/// v
348/// Heap +--------+--------+--------+--------+
349/// | 'a' | 'b' | uninit | uninit |
350/// +--------+--------+--------+--------+
351/// ```
352///
353/// - **uninit** represents memory that is not initialized, see [`MaybeUninit`].
354/// - Note: the ABI is not stable and `Vec` makes no guarantees about its memory
355/// layout (including the order of fields).
356///
357/// `Vec` will never perform a "small optimization" where elements are actually
358/// stored on the stack for two reasons:
359///
360/// * It would make it more difficult for unsafe code to correctly manipulate
361/// a `Vec`. The contents of a `Vec` wouldn't have a stable address if it were
362/// only moved, and it would be more difficult to determine if a `Vec` had
363/// actually allocated memory.
364///
365/// * It would penalize the general case, incurring an additional branch
366/// on every access.
367///
368/// `Vec` will never automatically shrink itself, even if completely empty. This
369/// ensures no unnecessary allocations or deallocations occur. Emptying a `Vec`
370/// and then filling it back up to the same [`len`] should incur no calls to
371/// the allocator. If you wish to free up unused memory, use
372/// [`shrink_to_fit`] or [`shrink_to`].
373///
374/// [`push`] and [`insert`] will never (re)allocate if the reported capacity is
375/// sufficient. [`push`] and [`insert`] *will* (re)allocate if
376/// <code>[len] == [capacity]</code>. That is, the reported capacity is completely
377/// accurate, and can be relied on. It can even be used to manually free the memory
378/// allocated by a `Vec` if desired. Bulk insertion methods *may* reallocate, even
379/// when not necessary.
380///
381/// `Vec` does not guarantee any particular growth strategy when reallocating
382/// when full, nor when [`reserve`] is called. The current strategy is basic
383/// and it may prove desirable to use a non-constant growth factor. Whatever
384/// strategy is used will of course guarantee *O*(1) amortized [`push`].
385///
386/// It is guaranteed, in order to respect the intentions of the programmer, that
387/// all of `vec![e_1, e_2, ..., e_n]`, `vec![x; n]`, and [`Vec::with_capacity(n)`] produce a `Vec`
388/// that requests an allocation of the exact size needed for precisely `n` elements from the allocator,
389/// and no other size (such as, for example: a size rounded up to the nearest power of 2).
390/// The allocator will return an allocation that is at least as large as requested, but it may be larger.
391///
392/// It is guaranteed that the [`Vec::capacity`] method returns a value that is at least the requested capacity
393/// and not more than the allocated capacity.
394///
395/// The method [`Vec::shrink_to_fit`] will attempt to discard excess capacity an allocator has given to a `Vec`.
396/// If <code>[len] == [capacity]</code>, then a `Vec<T>` can be converted
397/// to and from a [`Box<[T]>`][owned slice] without reallocating or moving the elements.
398/// `Vec` exploits this fact as much as reasonable when implementing common conversions
399/// such as [`into_boxed_slice`].
400///
401/// `Vec` will not specifically overwrite any data that is removed from it,
402/// but also won't specifically preserve it. Its uninitialized memory is
403/// scratch space that it may use however it wants. It will generally just do
404/// whatever is most efficient or otherwise easy to implement. Do not rely on
405/// removed data to be erased for security purposes. Even if you drop a `Vec`, its
406/// buffer may simply be reused by another allocation. Even if you zero a `Vec`'s memory
407/// first, that might not actually happen because the optimizer does not consider
408/// this a side-effect that must be preserved. There is one case which we will
409/// not break, however: using `unsafe` code to write to the excess capacity,
410/// and then increasing the length to match, is always valid.
411///
412/// Currently, `Vec` does not guarantee the order in which elements are dropped.
413/// The order has changed in the past and may change again.
414///
415/// [`get`]: slice::get
416/// [`get_mut`]: slice::get_mut
417/// [`String`]: crate::string::String
418/// [`&str`]: type@str
419/// [`shrink_to_fit`]: Vec::shrink_to_fit
420/// [`shrink_to`]: Vec::shrink_to
421/// [capacity]: Vec::capacity
422/// [`capacity`]: Vec::capacity
423/// [`Vec::capacity`]: Vec::capacity
424/// [size_of::\<T>]: size_of
425/// [len]: Vec::len
426/// [`len`]: Vec::len
427/// [`push`]: Vec::push
428/// [`insert`]: Vec::insert
429/// [`reserve`]: Vec::reserve
430/// [`Vec::with_capacity(n)`]: Vec::with_capacity
431/// [`MaybeUninit`]: core::mem::MaybeUninit
432/// [owned slice]: Box
433/// [`into_boxed_slice`]: Vec::into_boxed_slice
434#[stable(feature = "rust1", since = "1.0.0")]
435#[rustc_diagnostic_item = "Vec"]
436#[rustc_insignificant_dtor]
437#[doc(alias = "list")]
438#[doc(alias = "vector")]
439pub struct Vec<
440 T,
441 #[stable(feature = "allocator_api", since = "CURRENT_RUSTC_VERSION")] A: Allocator = Global,
442> {
443 buf: RawVec<T, A>,
444 len: usize,
445}
446
447////////////////////////////////////////////////////////////////////////////////
448// Inherent methods
449////////////////////////////////////////////////////////////////////////////////
450
451impl<T> Vec<T> {
452 /// Constructs a new, empty `Vec<T>`.
453 ///
454 /// The vector will not allocate until elements are pushed onto it.
455 ///
456 /// # Examples
457 ///
458 /// ```
459 /// # #![allow(unused_mut)]
460 /// let mut vec: Vec<i32> = Vec::new();
461 /// ```
462 #[inline]
463 #[rustc_const_stable(feature = "const_vec_new", since = "1.39.0")]
464 #[rustc_diagnostic_item = "vec_new"]
465 #[stable(feature = "rust1", since = "1.0.0")]
466 #[must_use]
467 pub const fn new() -> Self {
468 Vec { buf: RawVec::new(), len: 0 }
469 }
470
471 /// Constructs a new, empty `Vec<T>` with at least the specified capacity.
472 ///
473 /// The vector will be able to hold at least `capacity` elements without
474 /// reallocating. This method is allowed to allocate for more elements than
475 /// `capacity`. If `capacity` is zero, the vector will not allocate.
476 ///
477 /// It is important to note that although the returned vector has the
478 /// minimum *capacity* specified, the vector will have a zero *length*. For
479 /// an explanation of the difference between length and capacity, see
480 /// *[Capacity and reallocation]*.
481 ///
482 /// If it is important to know the exact allocated capacity of a `Vec`,
483 /// always use the [`capacity`] method after construction.
484 ///
485 /// For `Vec<T>` where `T` is a zero-sized type, there will be no allocation
486 /// and the capacity will always be `usize::MAX`.
487 ///
488 /// [Capacity and reallocation]: #capacity-and-reallocation
489 /// [`capacity`]: Vec::capacity
490 ///
491 /// # Panics
492 ///
493 /// Panics if the new capacity exceeds `isize::MAX` _bytes_.
494 ///
495 /// # Examples
496 ///
497 /// ```
498 /// let mut vec = Vec::with_capacity(10);
499 ///
500 /// // The vector contains no items, even though it has capacity for more
501 /// assert_eq!(vec.len(), 0);
502 /// assert!(vec.capacity() >= 10);
503 ///
504 /// // These are all done without reallocating...
505 /// for i in 0..10 {
506 /// vec.push(i);
507 /// }
508 /// assert_eq!(vec.len(), 10);
509 /// assert!(vec.capacity() >= 10);
510 ///
511 /// // ...but this may make the vector reallocate
512 /// vec.push(11);
513 /// assert_eq!(vec.len(), 11);
514 /// assert!(vec.capacity() >= 11);
515 ///
516 /// // A vector of a zero-sized type will always over-allocate, since no
517 /// // allocation is necessary
518 /// let vec_units = Vec::<()>::with_capacity(10);
519 /// assert_eq!(vec_units.capacity(), usize::MAX);
520 /// ```
521 #[cfg(not(no_global_oom_handling))]
522 #[inline]
523 #[stable(feature = "rust1", since = "1.0.0")]
524 #[must_use]
525 #[rustc_diagnostic_item = "vec_with_capacity"]
526 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
527 pub const fn with_capacity(capacity: usize) -> Self {
528 Self::with_capacity_in(capacity, Global)
529 }
530
531 /// Constructs a new, empty `Vec<T>` with at least the specified capacity.
532 ///
533 /// The vector will be able to hold at least `capacity` elements without
534 /// reallocating. This method is allowed to allocate for more elements than
535 /// `capacity`. If `capacity` is zero, the vector will not allocate.
536 ///
537 /// # Errors
538 ///
539 /// Returns an error if the capacity exceeds `isize::MAX` _bytes_,
540 /// or if the allocator reports allocation failure.
541 #[inline]
542 #[unstable(feature = "try_with_capacity", issue = "91913")]
543 pub fn try_with_capacity(capacity: usize) -> Result<Self, TryReserveError> {
544 Self::try_with_capacity_in(capacity, Global)
545 }
546
547 /// Creates a `Vec<T>` directly from a pointer, a length, and a capacity.
548 ///
549 /// # Safety
550 ///
551 /// This is highly unsafe, due to the number of invariants that aren't
552 /// checked:
553 ///
554 /// * If `T` is not a zero-sized type and the capacity is nonzero, `ptr` must have
555 /// been allocated using the global allocator, such as via the [`alloc::alloc`]
556 /// function. If `T` is a zero-sized type or the capacity is zero, `ptr` need
557 /// only be non-null and aligned.
558 /// * `T` needs to have the same alignment as what `ptr` was allocated with,
559 /// if the pointer is required to be allocated.
560 /// (`T` having a less strict alignment is not sufficient, the alignment really
561 /// needs to be equal to satisfy the [`dealloc`] requirement that memory must be
562 /// allocated and deallocated with the same layout.)
563 /// * The size of `T` times the `capacity` (i.e. the allocated size in bytes), if
564 /// nonzero, needs to be the same size as the pointer was allocated with.
565 /// (Because similar to alignment, [`dealloc`] must be called with the same
566 /// layout `size`.)
567 /// * `length` needs to be less than or equal to `capacity`.
568 /// * The first `length` values must be properly initialized values of type `T`.
569 /// * `capacity` needs to be the capacity that the pointer was allocated with,
570 /// if the pointer is required to be allocated.
571 /// * The allocated size in bytes must be no larger than `isize::MAX`.
572 /// See the safety documentation of [`pointer::offset`].
573 ///
574 /// These requirements are always upheld by any `ptr` that has been allocated
575 /// via `Vec<T>`. Other allocation sources are allowed if the invariants are
576 /// upheld.
577 ///
578 /// Violating these may cause problems like corrupting the allocator's
579 /// internal data structures. For example it is normally **not** safe
580 /// to build a `Vec<u8>` from a pointer to a C `char` array with length
581 /// `size_t`, doing so is only safe if the array was initially allocated by
582 /// a `Vec` or `String`.
583 /// It's also not safe to build one from a `Vec<u16>` and its length, because
584 /// the allocator cares about the alignment, and these two types have different
585 /// alignments. The buffer was allocated with alignment 2 (for `u16`), but after
586 /// turning it into a `Vec<u8>` it'll be deallocated with alignment 1. To avoid
587 /// these issues, it is often preferable to do casting/transmuting using
588 /// [`slice::from_raw_parts`] instead.
589 ///
590 /// The ownership of `ptr` is effectively transferred to the
591 /// `Vec<T>` which may then deallocate, reallocate or change the
592 /// contents of memory pointed to by the pointer at will. Ensure
593 /// that nothing else uses the pointer after calling this
594 /// function.
595 ///
596 /// [`String`]: crate::string::String
597 /// [`alloc::alloc`]: crate::alloc::alloc
598 /// [`dealloc`]: crate::alloc::GlobalAlloc::dealloc
599 ///
600 /// # Examples
601 ///
602 /// ```
603 /// use std::ptr;
604 ///
605 /// let v = vec![1, 2, 3];
606 ///
607 /// // Deconstruct the vector into parts.
608 /// let (p, len, cap) = v.into_raw_parts();
609 ///
610 /// unsafe {
611 /// // Overwrite memory with 4, 5, 6
612 /// for i in 0..len {
613 /// ptr::write(p.add(i), 4 + i);
614 /// }
615 ///
616 /// // Put everything back together into a Vec
617 /// let rebuilt = Vec::from_raw_parts(p, len, cap);
618 /// assert_eq!(rebuilt, [4, 5, 6]);
619 /// }
620 /// ```
621 ///
622 /// Using memory that was allocated elsewhere:
623 ///
624 /// ```rust
625 /// use std::alloc::{alloc, Layout};
626 ///
627 /// fn main() {
628 /// let layout = Layout::array::<u32>(16).expect("16 u32s take 64 bytes, so it shouldn't overflow");
629 ///
630 /// let vec = unsafe {
631 /// let mem = alloc(layout).cast::<u32>();
632 /// if mem.is_null() {
633 /// return;
634 /// }
635 ///
636 /// mem.write(1_000_000);
637 ///
638 /// Vec::from_raw_parts(mem, 1, 16)
639 /// };
640 ///
641 /// assert_eq!(vec, &[1_000_000]);
642 /// assert_eq!(vec.capacity(), 16);
643 /// }
644 /// ```
645 #[inline]
646 #[stable(feature = "rust1", since = "1.0.0")]
647 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
648 pub const unsafe fn from_raw_parts(ptr: *mut T, length: usize, capacity: usize) -> Self {
649 // SAFETY: Upheld by caller.
650 unsafe { Self::from_raw_parts_in(ptr, length, capacity, Global) }
651 }
652
653 #[doc(alias = "from_non_null_parts")]
654 /// Creates a `Vec<T>` directly from a `NonNull` pointer, a length, and a capacity.
655 ///
656 /// # Safety
657 ///
658 /// This is highly unsafe, due to the number of invariants that aren't
659 /// checked:
660 ///
661 /// * `ptr` must have been allocated using the global allocator, such as via
662 /// the [`alloc::alloc`] function.
663 /// * `T` needs to have the same alignment as what `ptr` was allocated with.
664 /// (`T` having a less strict alignment is not sufficient, the alignment really
665 /// needs to be equal to satisfy the [`dealloc`] requirement that memory must be
666 /// allocated and deallocated with the same layout.)
667 /// * The size of `T` times the `capacity` (i.e. the allocated size in bytes) needs
668 /// to be the same size as the pointer was allocated with. (Because similar to
669 /// alignment, [`dealloc`] must be called with the same layout `size`.)
670 /// * `length` needs to be less than or equal to `capacity`.
671 /// * The first `length` values must be properly initialized values of type `T`.
672 /// * `capacity` needs to be the capacity that the pointer was allocated with.
673 /// * The allocated size in bytes must be no larger than `isize::MAX`.
674 /// See the safety documentation of [`pointer::offset`].
675 ///
676 /// These requirements are always upheld by any `ptr` that has been allocated
677 /// via `Vec<T>`. Other allocation sources are allowed if the invariants are
678 /// upheld.
679 ///
680 /// Violating these may cause problems like corrupting the allocator's
681 /// internal data structures. For example it is normally **not** safe
682 /// to build a `Vec<u8>` from a pointer to a C `char` array with length
683 /// `size_t`, doing so is only safe if the array was initially allocated by
684 /// a `Vec` or `String`.
685 /// It's also not safe to build one from a `Vec<u16>` and its length, because
686 /// the allocator cares about the alignment, and these two types have different
687 /// alignments. The buffer was allocated with alignment 2 (for `u16`), but after
688 /// turning it into a `Vec<u8>` it'll be deallocated with alignment 1. To avoid
689 /// these issues, it is often preferable to do casting/transmuting using
690 /// [`NonNull::slice_from_raw_parts`] instead.
691 ///
692 /// The ownership of `ptr` is effectively transferred to the
693 /// `Vec<T>` which may then deallocate, reallocate or change the
694 /// contents of memory pointed to by the pointer at will. Ensure
695 /// that nothing else uses the pointer after calling this
696 /// function.
697 ///
698 /// [`String`]: crate::string::String
699 /// [`alloc::alloc`]: crate::alloc::alloc
700 /// [`dealloc`]: crate::alloc::GlobalAlloc::dealloc
701 ///
702 /// # Examples
703 ///
704 /// ```
705 /// let v = vec![1, 2, 3];
706 ///
707 /// // Deconstruct the vector into parts.
708 /// let (p, len, cap) = v.into_parts();
709 ///
710 /// unsafe {
711 /// // Overwrite memory with 4, 5, 6
712 /// for i in 0..len {
713 /// p.add(i).write(4 + i);
714 /// }
715 ///
716 /// // Put everything back together into a Vec
717 /// let rebuilt = Vec::from_parts(p, len, cap);
718 /// assert_eq!(rebuilt, [4, 5, 6]);
719 /// }
720 /// ```
721 ///
722 /// Using memory that was allocated elsewhere:
723 ///
724 /// ```rust
725 /// use std::alloc::{alloc, Layout};
726 /// use std::ptr::NonNull;
727 ///
728 /// fn main() {
729 /// let layout = Layout::array::<u32>(16).expect("16 u32s take 64 bytes, so it shouldn't overflow");
730 ///
731 /// let vec = unsafe {
732 /// let Some(mem) = NonNull::new(alloc(layout).cast::<u32>()) else {
733 /// return;
734 /// };
735 ///
736 /// mem.write(1_000_000);
737 ///
738 /// Vec::from_parts(mem, 1, 16)
739 /// };
740 ///
741 /// assert_eq!(vec, &[1_000_000]);
742 /// assert_eq!(vec.capacity(), 16);
743 /// }
744 /// ```
745 #[inline]
746 #[stable(feature = "box_vec_non_null", since = "1.99.0")]
747 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
748 pub const unsafe fn from_parts(ptr: NonNull<T>, length: usize, capacity: usize) -> Self {
749 // SAFETY: Upheld by caller.
750 unsafe { Self::from_parts_in(ptr, length, capacity, Global) }
751 }
752
753 /// Creates a `Vec<T>` where each element is produced by calling `f` with
754 /// that element's index while walking forward through the `Vec<T>`.
755 ///
756 /// This is essentially the same as writing
757 ///
758 /// ```text
759 /// vec![f(0), f(1), f(2), …, f(length - 2), f(length - 1)]
760 /// ```
761 /// and is similar to `(0..i).map(f)`, just for `Vec<T>`s not iterators.
762 ///
763 /// If `length == 0`, this produces an empty `Vec<T>` without ever calling `f`.
764 ///
765 /// # Example
766 ///
767 /// ```rust
768 /// let vec = Vec::from_fn(5, |i| i);
769 ///
770 /// // indexes are: 0 1 2 3 4
771 /// assert_eq!(vec, [0, 1, 2, 3, 4]);
772 ///
773 /// let vec2 = Vec::from_fn(8, |i| i * 2);
774 ///
775 /// // indexes are: 0 1 2 3 4 5 6 7
776 /// assert_eq!(vec2, [0, 2, 4, 6, 8, 10, 12, 14]);
777 ///
778 /// let bool_vec = Vec::from_fn(5, |i| i % 2 == 0);
779 ///
780 /// // indexes are: 0 1 2 3 4
781 /// assert_eq!(bool_vec, [true, false, true, false, true]);
782 /// ```
783 ///
784 /// The `Vec<T>` is generated in ascending index order, starting from the front
785 /// and going towards the back, so you can use closures with mutable state:
786 /// ```
787 /// let mut state = 1;
788 /// let a = Vec::from_fn(6, |_| { let x = state; state *= 2; x });
789 ///
790 /// assert_eq!(a, [1, 2, 4, 8, 16, 32]);
791 /// ```
792 #[cfg(not(no_global_oom_handling))]
793 #[inline]
794 #[stable(feature = "vec_from_fn", since = "CURRENT_RUSTC_VERSION")]
795 pub fn from_fn<F>(length: usize, f: F) -> Self
796 where
797 F: FnMut(usize) -> T,
798 {
799 (0..length).map(f).collect()
800 }
801
802 /// Decomposes a `Vec<T>` into its raw components: `(pointer, length, capacity)`.
803 ///
804 /// Returns the raw pointer to the underlying data, the length of
805 /// the vector (in elements), and the allocated capacity of the
806 /// data (in elements). These are the same arguments in the same
807 /// order as the arguments to [`from_raw_parts`].
808 ///
809 /// After calling this function, the caller is responsible for the
810 /// memory previously managed by the `Vec`. Most often, one does
811 /// this by converting the raw pointer, length, and capacity back
812 /// into a `Vec` with the [`from_raw_parts`] function; more generally,
813 /// if `T` is non-zero-sized and the capacity is nonzero, one may use
814 /// any method that calls [`dealloc`] with a layout of
815 /// `Layout::array::<T>(capacity)`; if `T` is zero-sized or the
816 /// capacity is zero, nothing needs to be done.
817 ///
818 /// [`from_raw_parts`]: Vec::from_raw_parts
819 /// [`dealloc`]: crate::alloc::GlobalAlloc::dealloc
820 ///
821 /// # Examples
822 ///
823 /// ```
824 /// let v: Vec<i32> = vec![-1, 0, 1];
825 ///
826 /// let (ptr, len, cap) = v.into_raw_parts();
827 ///
828 /// let rebuilt = unsafe {
829 /// // We can now make changes to the components, such as
830 /// // transmuting the raw pointer to a compatible type.
831 /// let ptr = ptr as *mut u32;
832 ///
833 /// Vec::from_raw_parts(ptr, len, cap)
834 /// };
835 /// assert_eq!(rebuilt, [4294967295, 0, 1]);
836 /// ```
837 #[must_use = "losing the pointer will leak memory"]
838 #[stable(feature = "vec_into_raw_parts", since = "1.93.0")]
839 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
840 pub const fn into_raw_parts(self) -> (*mut T, usize, usize) {
841 let mut me = ManuallyDrop::new(self);
842 (me.as_mut_ptr(), me.len(), me.capacity())
843 }
844
845 #[doc(alias = "into_non_null_parts")]
846 /// Decomposes a `Vec<T>` into its raw components: `(NonNull pointer, length, capacity)`.
847 ///
848 /// Returns the `NonNull` pointer to the underlying data, the length of
849 /// the vector (in elements), and the allocated capacity of the
850 /// data (in elements). These are the same arguments in the same
851 /// order as the arguments to [`from_parts`].
852 ///
853 /// After calling this function, the caller is responsible for the
854 /// memory previously managed by the `Vec`. The only way to do
855 /// this is to convert the `NonNull` pointer, length, and capacity back
856 /// into a `Vec` with the [`from_parts`] function, allowing
857 /// the destructor to perform the cleanup.
858 ///
859 /// [`from_parts`]: Vec::from_parts
860 ///
861 /// # Examples
862 ///
863 /// ```
864 /// let v: Vec<i32> = vec![-1, 0, 1];
865 ///
866 /// let (ptr, len, cap) = v.into_parts();
867 ///
868 /// let rebuilt = unsafe {
869 /// // We can now make changes to the components, such as
870 /// // transmuting the raw pointer to a compatible type.
871 /// let ptr = ptr.cast::<u32>();
872 ///
873 /// Vec::from_parts(ptr, len, cap)
874 /// };
875 /// assert_eq!(rebuilt, [4294967295, 0, 1]);
876 /// ```
877 #[must_use = "losing the pointer will leak memory"]
878 #[stable(feature = "box_vec_non_null", since = "1.99.0")]
879 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
880 pub const fn into_parts(self) -> (NonNull<T>, usize, usize) {
881 let (ptr, len, capacity) = self.into_raw_parts();
882 // SAFETY: A `Vec` always has a non-null pointer.
883 (unsafe { NonNull::new_unchecked(ptr) }, len, capacity)
884 }
885
886 /// Interns the `Vec<T>`, making the underlying memory read-only. This method should be
887 /// called during compile time. (This is a no-op if called during runtime)
888 ///
889 /// This method must be called if the memory used by `Vec` needs to appear in the final
890 /// values of constants.
891 #[unstable(feature = "const_heap", issue = "79597")]
892 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
893 pub const fn const_make_global(mut self) -> &'static [T]
894 where
895 T: Freeze,
896 {
897 // `const_make_global` requires the pointer to point to the beginning of a heap allocation,
898 // which is not the case when `self.capacity()` is 0, or if `T::IS_ZST`,
899 // which is why we instead return a new slice in this case.
900 if self.capacity() == 0 || T::IS_ZST {
901 let me = ManuallyDrop::new(self);
902 // ignore-tidy-undocumented-unsafe
903 unsafe { slice::from_raw_parts(NonNull::<T>::dangling().as_ptr(), me.len) }
904 } else {
905 // ignore-tidy-undocumented-unsafe
906 unsafe { core::intrinsics::const_make_global(self.as_mut_ptr().cast()) };
907 let me = ManuallyDrop::new(self);
908 // ignore-tidy-undocumented-unsafe
909 unsafe { slice::from_raw_parts(me.as_ptr(), me.len) }
910 }
911 }
912}
913
914#[cfg(not(no_global_oom_handling))]
915#[rustc_const_unstable(feature = "const_heap", issue = "79597")]
916#[rustfmt::skip] // FIXME(fee1-dead): temporary measure before rustfmt is bumped
917const impl<T, A: [const] Allocator + [const] Destruct> Vec<T, A> {
918 /// Constructs a new, empty `Vec<T, A>` with at least the specified capacity
919 /// with the provided allocator.
920 ///
921 /// The vector will be able to hold at least `capacity` elements without
922 /// reallocating. This method is allowed to allocate for more elements than
923 /// `capacity`. If `capacity` is zero, the vector will not allocate.
924 ///
925 /// It is important to note that although the returned vector has the
926 /// minimum *capacity* specified, the vector will have a zero *length*. For
927 /// an explanation of the difference between length and capacity, see
928 /// *[Capacity and reallocation]*.
929 ///
930 /// If it is important to know the exact allocated capacity of a `Vec`,
931 /// always use the [`capacity`] method after construction.
932 ///
933 /// For `Vec<T, A>` where `T` is a zero-sized type, there will be no allocation
934 /// and the capacity will always be `usize::MAX`.
935 ///
936 /// [Capacity and reallocation]: #capacity-and-reallocation
937 /// [`capacity`]: Vec::capacity
938 ///
939 /// # Panics
940 ///
941 /// Panics if the new capacity exceeds `isize::MAX` _bytes_.
942 ///
943 /// # Examples
944 ///
945 /// ```
946 /// use std::alloc::System;
947 ///
948 /// let mut vec = Vec::with_capacity_in(10, System);
949 ///
950 /// // The vector contains no items, even though it has capacity for more
951 /// assert_eq!(vec.len(), 0);
952 /// assert!(vec.capacity() >= 10);
953 ///
954 /// // These are all done without reallocating...
955 /// for i in 0..10 {
956 /// vec.push(i);
957 /// }
958 /// assert_eq!(vec.len(), 10);
959 /// assert!(vec.capacity() >= 10);
960 ///
961 /// // ...but this may make the vector reallocate
962 /// vec.push(11);
963 /// assert_eq!(vec.len(), 11);
964 /// assert!(vec.capacity() >= 11);
965 ///
966 /// // A vector of a zero-sized type will always over-allocate, since no
967 /// // allocation is necessary
968 /// let vec_units = Vec::<(), System>::with_capacity_in(10, System);
969 /// assert_eq!(vec_units.capacity(), usize::MAX);
970 /// ```
971 #[inline]
972 #[stable(feature = "allocator_api", since = "CURRENT_RUSTC_VERSION")]
973 pub fn with_capacity_in(capacity: usize, alloc: A) -> Self {
974 Vec { buf: RawVec::with_capacity_in(capacity, alloc), len: 0 }
975 }
976
977 /// Appends an element to the back of a collection.
978 ///
979 /// # Panics
980 ///
981 /// Panics if the new capacity exceeds `isize::MAX` _bytes_.
982 ///
983 /// # Examples
984 ///
985 /// ```
986 /// let mut vec = vec![1, 2];
987 /// vec.push(3);
988 /// assert_eq!(vec, [1, 2, 3]);
989 /// ```
990 ///
991 /// # Time complexity
992 ///
993 /// Takes amortized *O*(1) time. If the vector's length would exceed its
994 /// capacity after the push, *O*(*capacity*) time is taken to copy the
995 /// vector's elements to a larger allocation. This expensive operation is
996 /// offset by the *capacity* *O*(1) insertions it allows.
997 #[inline]
998 #[stable(feature = "rust1", since = "1.0.0")]
999 #[rustc_confusables("push_back", "put", "append")]
1000 pub fn push(&mut self, value: T) {
1001 let _ = self.push_mut(value);
1002 }
1003
1004 /// Appends an element to the back of a collection, returning a reference to it.
1005 ///
1006 /// # Panics
1007 ///
1008 /// Panics if the new capacity exceeds `isize::MAX` _bytes_.
1009 ///
1010 /// # Examples
1011 ///
1012 /// ```
1013 /// let mut vec = vec![1, 2];
1014 /// let last = vec.push_mut(3);
1015 /// assert_eq!(*last, 3);
1016 /// assert_eq!(vec, [1, 2, 3]);
1017 ///
1018 /// let last = vec.push_mut(3);
1019 /// *last += 1;
1020 /// assert_eq!(vec, [1, 2, 3, 4]);
1021 /// ```
1022 ///
1023 /// # Time complexity
1024 ///
1025 /// Takes amortized *O*(1) time. If the vector's length would exceed its
1026 /// capacity after the push, *O*(*capacity*) time is taken to copy the
1027 /// vector's elements to a larger allocation. This expensive operation is
1028 /// offset by the *capacity* *O*(1) insertions it allows.
1029 #[inline]
1030 #[stable(feature = "push_mut", since = "1.95.0")]
1031 #[must_use = "if you don't need a reference to the value, use `Vec::push` instead"]
1032 pub fn push_mut(&mut self, value: T) -> &mut T {
1033 // Inform codegen that the length does not change across grow_one().
1034 let len = self.len;
1035 // This will panic or abort if we would allocate > isize::MAX bytes
1036 // or if the length increment would overflow for zero-sized types.
1037 if len == self.buf.capacity() {
1038 self.buf.grow_one();
1039 }
1040 // ignore-tidy-undocumented-unsafe
1041 unsafe {
1042 let end = self.as_mut_ptr().add(len);
1043 ptr::write(end, value);
1044 self.len = len + 1;
1045 // SAFETY: We just wrote a value to the pointer that will live the lifetime of the reference.
1046 &mut *end
1047 }
1048 }
1049}
1050
1051impl<T, A: Allocator> Vec<T, A> {
1052 /// Constructs a new, empty `Vec<T, A>`.
1053 ///
1054 /// The vector will not allocate until elements are pushed onto it.
1055 ///
1056 /// # Examples
1057 ///
1058 /// ```
1059 /// use std::alloc::System;
1060 ///
1061 /// let vec: Vec<i32, System> = Vec::new_in(System);
1062 /// ```
1063 #[inline]
1064 #[stable(feature = "allocator_api", since = "CURRENT_RUSTC_VERSION")]
1065 #[rustc_const_unstable(feature = "allocator_ext", issue = "163177")]
1066 pub const fn new_in(alloc: A) -> Self {
1067 Vec { buf: RawVec::new_in(alloc), len: 0 }
1068 }
1069
1070 /// Constructs a new, empty `Vec<T, A>` with at least the specified capacity
1071 /// with the provided allocator.
1072 ///
1073 /// The vector will be able to hold at least `capacity` elements without
1074 /// reallocating. This method is allowed to allocate for more elements than
1075 /// `capacity`. If `capacity` is zero, the vector will not allocate.
1076 ///
1077 /// # Errors
1078 ///
1079 /// Returns an error if the capacity exceeds `isize::MAX` _bytes_,
1080 /// or if the allocator reports allocation failure.
1081 #[inline]
1082 #[unstable(feature = "allocator_ext", issue = "163177", implied_by = "allocator_api")]
1083 // #[unstable(feature = "try_with_capacity", issue = "91913")]
1084 pub fn try_with_capacity_in(capacity: usize, alloc: A) -> Result<Self, TryReserveError> {
1085 Ok(Vec { buf: RawVec::try_with_capacity_in(capacity, alloc)?, len: 0 })
1086 }
1087
1088 /// Creates a `Vec<T, A>` directly from a pointer, a length, a capacity,
1089 /// and an allocator.
1090 ///
1091 /// # Safety
1092 ///
1093 /// This is highly unsafe, due to the number of invariants that aren't
1094 /// checked:
1095 ///
1096 /// * `ptr` must be [*currently allocated*] via the given allocator `alloc`.
1097 /// * `T` needs to have the same alignment as what `ptr` was allocated with.
1098 /// (`T` having a less strict alignment is not sufficient, the alignment really
1099 /// needs to be equal to satisfy the [`dealloc`] requirement that memory must be
1100 /// allocated and deallocated with the same layout.)
1101 /// * The size of `T` times the `capacity` (i.e. the allocated size in bytes) needs
1102 /// to be the same size as the pointer was allocated with. (Because similar to
1103 /// alignment, [`dealloc`] must be called with the same layout `size`.)
1104 /// * `length` needs to be less than or equal to `capacity`.
1105 /// * The first `length` values must be properly initialized values of type `T`.
1106 /// * `capacity` needs to [*fit*] the layout size that the pointer was allocated with.
1107 /// * The allocated size in bytes must be no larger than `isize::MAX`.
1108 /// See the safety documentation of [`pointer::offset`].
1109 ///
1110 /// These requirements are always upheld by any `ptr` that has been allocated
1111 /// via `Vec<T, A>`. Other allocation sources are allowed if the invariants are
1112 /// upheld.
1113 ///
1114 /// Violating these may cause problems like corrupting the allocator's
1115 /// internal data structures. For example it is **not** safe
1116 /// to build a `Vec<u8>` from a pointer to a C `char` array with length `size_t`.
1117 /// It's also not safe to build one from a `Vec<u16>` and its length, because
1118 /// the allocator cares about the alignment, and these two types have different
1119 /// alignments. The buffer was allocated with alignment 2 (for `u16`), but after
1120 /// turning it into a `Vec<u8>` it'll be deallocated with alignment 1.
1121 ///
1122 /// The ownership of `ptr` is effectively transferred to the
1123 /// `Vec<T>` which may then deallocate, reallocate or change the
1124 /// contents of memory pointed to by the pointer at will. Ensure
1125 /// that nothing else uses the pointer after calling this
1126 /// function.
1127 ///
1128 /// [`String`]: crate::string::String
1129 /// [`dealloc`]: crate::alloc::GlobalAlloc::dealloc
1130 /// [*currently allocated*]: crate::alloc::Allocator#currently-allocated-memory
1131 /// [*fit*]: crate::alloc::Allocator#memory-fitting
1132 ///
1133 /// # Examples
1134 ///
1135 /// ```
1136 /// use std::alloc::System;
1137 ///
1138 /// use std::ptr;
1139 ///
1140 /// let mut v = Vec::with_capacity_in(3, System);
1141 /// v.push(1);
1142 /// v.push(2);
1143 /// v.push(3);
1144 ///
1145 /// // Deconstruct the vector into parts.
1146 /// let (p, len, cap, alloc) = v.into_raw_parts_with_allocator();
1147 ///
1148 /// unsafe {
1149 /// // Overwrite memory with 4, 5, 6
1150 /// for i in 0..len {
1151 /// ptr::write(p.add(i), 4 + i);
1152 /// }
1153 ///
1154 /// // Put everything back together into a Vec
1155 /// let rebuilt = Vec::from_raw_parts_in(p, len, cap, alloc.clone());
1156 /// assert_eq!(rebuilt, [4, 5, 6]);
1157 /// }
1158 /// ```
1159 ///
1160 /// Using memory that was allocated elsewhere:
1161 ///
1162 /// ```rust
1163 /// use std::alloc::{AllocError, Allocator, Global, Layout};
1164 ///
1165 /// fn main() {
1166 /// let layout = Layout::array::<u32>(16).expect("16 u32s take 64 bytes, so it shouldn't overflow");
1167 ///
1168 /// let vec = unsafe {
1169 /// let mem = match Global.allocate(layout) {
1170 /// Ok(mem) => mem.cast::<u32>().as_ptr(),
1171 /// Err(AllocError) => return,
1172 /// };
1173 ///
1174 /// mem.write(1_000_000);
1175 ///
1176 /// Vec::from_raw_parts_in(mem, 1, 16, Global)
1177 /// };
1178 ///
1179 /// assert_eq!(vec, &[1_000_000]);
1180 /// assert_eq!(vec.capacity(), 16);
1181 /// }
1182 /// ```
1183 #[inline]
1184 #[stable(feature = "allocator_api", since = "CURRENT_RUSTC_VERSION")]
1185 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
1186 pub const unsafe fn from_raw_parts_in(
1187 ptr: *mut T,
1188 length: usize,
1189 capacity: usize,
1190 alloc: A,
1191 ) -> Self {
1192 ub_checks::assert_unsafe_precondition!(
1193 check_library_ub,
1194 "Vec::from_raw_parts_in requires that length <= capacity",
1195 (length: usize = length, capacity: usize = capacity) => length <= capacity
1196 );
1197 // SAFETY: Upheld by caller.
1198 unsafe { Vec { buf: RawVec::from_raw_parts_in(ptr, capacity, alloc), len: length } }
1199 }
1200
1201 #[doc(alias = "from_non_null_parts_in")]
1202 /// Creates a `Vec<T, A>` directly from a `NonNull` pointer, a length, a capacity,
1203 /// and an allocator.
1204 ///
1205 /// # Safety
1206 ///
1207 /// This is highly unsafe, due to the number of invariants that aren't
1208 /// checked:
1209 ///
1210 /// * `ptr` must be [*currently allocated*] via the given allocator `alloc`.
1211 /// * `T` needs to have the same alignment as what `ptr` was allocated with.
1212 /// (`T` having a less strict alignment is not sufficient, the alignment really
1213 /// needs to be equal to satisfy the [`dealloc`] requirement that memory must be
1214 /// allocated and deallocated with the same layout.)
1215 /// * The size of `T` times the `capacity` (i.e. the allocated size in bytes) needs
1216 /// to be the same size as the pointer was allocated with. (Because similar to
1217 /// alignment, [`dealloc`] must be called with the same layout `size`.)
1218 /// * `length` needs to be less than or equal to `capacity`.
1219 /// * The first `length` values must be properly initialized values of type `T`.
1220 /// * `capacity` needs to [*fit*] the layout size that the pointer was allocated with.
1221 /// * The allocated size in bytes must be no larger than `isize::MAX`.
1222 /// See the safety documentation of [`pointer::offset`].
1223 ///
1224 /// These requirements are always upheld by any `ptr` that has been allocated
1225 /// via `Vec<T, A>`. Other allocation sources are allowed if the invariants are
1226 /// upheld.
1227 ///
1228 /// Violating these may cause problems like corrupting the allocator's
1229 /// internal data structures. For example it is **not** safe
1230 /// to build a `Vec<u8>` from a pointer to a C `char` array with length `size_t`.
1231 /// It's also not safe to build one from a `Vec<u16>` and its length, because
1232 /// the allocator cares about the alignment, and these two types have different
1233 /// alignments. The buffer was allocated with alignment 2 (for `u16`), but after
1234 /// turning it into a `Vec<u8>` it'll be deallocated with alignment 1.
1235 ///
1236 /// The ownership of `ptr` is effectively transferred to the
1237 /// `Vec<T>` which may then deallocate, reallocate or change the
1238 /// contents of memory pointed to by the pointer at will. Ensure
1239 /// that nothing else uses the pointer after calling this
1240 /// function.
1241 ///
1242 /// [`String`]: crate::string::String
1243 /// [`dealloc`]: crate::alloc::GlobalAlloc::dealloc
1244 /// [*currently allocated*]: crate::alloc::Allocator#currently-allocated-memory
1245 /// [*fit*]: crate::alloc::Allocator#memory-fitting
1246 ///
1247 /// # Examples
1248 ///
1249 /// ```
1250 /// use std::alloc::System;
1251 ///
1252 /// let mut v = Vec::with_capacity_in(3, System);
1253 /// v.push(1);
1254 /// v.push(2);
1255 /// v.push(3);
1256 ///
1257 /// // Deconstruct the vector into parts.
1258 /// let (p, len, cap, alloc) = v.into_parts_with_allocator();
1259 ///
1260 /// unsafe {
1261 /// // Overwrite memory with 4, 5, 6
1262 /// for i in 0..len {
1263 /// p.add(i).write(4 + i);
1264 /// }
1265 ///
1266 /// // Put everything back together into a Vec
1267 /// let rebuilt = Vec::from_parts_in(p, len, cap, alloc.clone());
1268 /// assert_eq!(rebuilt, [4, 5, 6]);
1269 /// }
1270 /// ```
1271 ///
1272 /// Using memory that was allocated elsewhere:
1273 ///
1274 /// ```rust
1275 /// use std::alloc::{AllocError, Allocator, Global, Layout};
1276 ///
1277 /// fn main() {
1278 /// let layout = Layout::array::<u32>(16).expect("16 u32s take 64 bytes, so it shouldn't overflow");
1279 ///
1280 /// let vec = unsafe {
1281 /// let mem = match Global.allocate(layout) {
1282 /// Ok(mem) => mem.cast::<u32>(),
1283 /// Err(AllocError) => return,
1284 /// };
1285 ///
1286 /// mem.write(1_000_000);
1287 ///
1288 /// Vec::from_parts_in(mem, 1, 16, Global)
1289 /// };
1290 ///
1291 /// assert_eq!(vec, &[1_000_000]);
1292 /// assert_eq!(vec.capacity(), 16);
1293 /// }
1294 /// ```
1295 #[inline]
1296 #[stable(feature = "allocator_api", since = "CURRENT_RUSTC_VERSION")]
1297 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
1298 pub const unsafe fn from_parts_in(
1299 ptr: NonNull<T>,
1300 length: usize,
1301 capacity: usize,
1302 alloc: A,
1303 ) -> Self {
1304 ub_checks::assert_unsafe_precondition!(
1305 check_library_ub,
1306 "Vec::from_parts_in requires that length <= capacity",
1307 (length: usize = length, capacity: usize = capacity) => length <= capacity
1308 );
1309 // SAFETY: Upheld by caller.
1310 unsafe { Vec { buf: RawVec::from_nonnull_in(ptr, capacity, alloc), len: length } }
1311 }
1312
1313 /// Decomposes a `Vec<T>` into its raw components: `(pointer, length, capacity, allocator)`.
1314 ///
1315 /// Returns the raw pointer to the underlying data, the length of the vector (in elements),
1316 /// the allocated capacity of the data (in elements), and the allocator. These are the same
1317 /// arguments in the same order as the arguments to [`from_raw_parts_in`].
1318 ///
1319 /// After calling this function, the caller is responsible for the
1320 /// memory previously managed by the `Vec`. The only way to do
1321 /// this is to convert the raw pointer, length, and capacity back
1322 /// into a `Vec` with the [`from_raw_parts_in`] function, allowing
1323 /// the destructor to perform the cleanup.
1324 ///
1325 /// [`from_raw_parts_in`]: Vec::from_raw_parts_in
1326 ///
1327 /// # Examples
1328 ///
1329 /// ```
1330 /// use std::alloc::System;
1331 ///
1332 /// let mut v: Vec<i32, System> = Vec::new_in(System);
1333 /// v.push(-1);
1334 /// v.push(0);
1335 /// v.push(1);
1336 ///
1337 /// let (ptr, len, cap, alloc) = v.into_raw_parts_with_allocator();
1338 ///
1339 /// let rebuilt = unsafe {
1340 /// // We can now make changes to the components, such as
1341 /// // transmuting the raw pointer to a compatible type.
1342 /// let ptr = ptr as *mut u32;
1343 ///
1344 /// Vec::from_raw_parts_in(ptr, len, cap, alloc)
1345 /// };
1346 /// assert_eq!(rebuilt, [4294967295, 0, 1]);
1347 /// ```
1348 #[must_use = "losing the pointer will leak memory"]
1349 #[stable(feature = "allocator_api", since = "CURRENT_RUSTC_VERSION")]
1350 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
1351 pub const fn into_raw_parts_with_allocator(self) -> (*mut T, usize, usize, A) {
1352 let mut me = ManuallyDrop::new(self);
1353 let len = me.len();
1354 let capacity = me.capacity();
1355 let ptr = me.as_mut_ptr();
1356 // ignore-tidy-undocumented-unsafe
1357 let alloc = unsafe { ptr::read(me.allocator()) };
1358 (ptr, len, capacity, alloc)
1359 }
1360
1361 #[doc(alias = "into_non_null_parts_with_alloc")]
1362 /// Decomposes a `Vec<T>` into its raw components: `(NonNull pointer, length, capacity, allocator)`.
1363 ///
1364 /// Returns the `NonNull` pointer to the underlying data, the length of the vector (in elements),
1365 /// the allocated capacity of the data (in elements), and the allocator. These are the same
1366 /// arguments in the same order as the arguments to [`from_parts_in`].
1367 ///
1368 /// After calling this function, the caller is responsible for the
1369 /// memory previously managed by the `Vec`. The only way to do
1370 /// this is to convert the `NonNull` pointer, length, and capacity back
1371 /// into a `Vec` with the [`from_parts_in`] function, allowing
1372 /// the destructor to perform the cleanup.
1373 ///
1374 /// [`from_parts_in`]: Vec::from_parts_in
1375 ///
1376 /// # Examples
1377 ///
1378 /// ```
1379 /// use std::alloc::System;
1380 ///
1381 /// let mut v: Vec<i32, System> = Vec::new_in(System);
1382 /// v.push(-1);
1383 /// v.push(0);
1384 /// v.push(1);
1385 ///
1386 /// let (ptr, len, cap, alloc) = v.into_parts_with_allocator();
1387 ///
1388 /// let rebuilt = unsafe {
1389 /// // We can now make changes to the components, such as
1390 /// // transmuting the raw pointer to a compatible type.
1391 /// let ptr = ptr.cast::<u32>();
1392 ///
1393 /// Vec::from_parts_in(ptr, len, cap, alloc)
1394 /// };
1395 /// assert_eq!(rebuilt, [4294967295, 0, 1]);
1396 /// ```
1397 #[must_use = "losing the pointer will leak memory"]
1398 #[stable(feature = "allocator_api", since = "CURRENT_RUSTC_VERSION")]
1399 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
1400 pub const fn into_parts_with_allocator(self) -> (NonNull<T>, usize, usize, A) {
1401 let (ptr, len, capacity, alloc) = self.into_raw_parts_with_allocator();
1402 // SAFETY: A `Vec` always has a non-null pointer.
1403 (unsafe { NonNull::new_unchecked(ptr) }, len, capacity, alloc)
1404 }
1405
1406 /// Returns the total number of elements the vector can hold without
1407 /// reallocating.
1408 ///
1409 /// # Examples
1410 ///
1411 /// ```
1412 /// let mut vec: Vec<i32> = Vec::with_capacity(10);
1413 /// vec.push(42);
1414 /// assert!(vec.capacity() >= 10);
1415 /// ```
1416 ///
1417 /// A vector with zero-sized elements will always have a capacity of usize::MAX:
1418 ///
1419 /// ```
1420 /// #[derive(Clone)]
1421 /// struct ZeroSized;
1422 ///
1423 /// fn main() {
1424 /// assert_eq!(std::mem::size_of::<ZeroSized>(), 0);
1425 /// let v = vec![ZeroSized; 0];
1426 /// assert_eq!(v.capacity(), usize::MAX);
1427 /// }
1428 /// ```
1429 #[inline]
1430 #[stable(feature = "rust1", since = "1.0.0")]
1431 #[rustc_const_stable(feature = "const_vec_string_slice", since = "1.87.0")]
1432 pub const fn capacity(&self) -> usize {
1433 self.buf.capacity()
1434 }
1435
1436 /// Reserves capacity for at least `additional` more elements to be inserted
1437 /// in the given `Vec<T>`. The collection may reserve more space to
1438 /// speculatively avoid frequent reallocations. After calling `reserve`,
1439 /// capacity will be greater than or equal to `self.len() + additional`.
1440 /// Does nothing if capacity is already sufficient.
1441 ///
1442 /// # Panics
1443 ///
1444 /// Panics if the new capacity exceeds `isize::MAX` _bytes_.
1445 ///
1446 /// # Examples
1447 ///
1448 /// ```
1449 /// let mut vec = vec![1];
1450 /// vec.reserve(10);
1451 /// assert!(vec.capacity() >= 11);
1452 /// ```
1453 #[cfg(not(no_global_oom_handling))]
1454 #[stable(feature = "rust1", since = "1.0.0")]
1455 #[rustc_diagnostic_item = "vec_reserve"]
1456 pub fn reserve(&mut self, additional: usize) {
1457 self.buf.reserve(self.len, additional);
1458 }
1459
1460 /// Reserves the minimum capacity for at least `additional` more elements to
1461 /// be inserted in the given `Vec<T>`. Unlike [`reserve`], this will not
1462 /// deliberately over-allocate to speculatively avoid frequent allocations.
1463 /// After calling `reserve_exact`, capacity will be greater than or equal to
1464 /// `self.len() + additional`. Does nothing if the capacity is already
1465 /// sufficient.
1466 ///
1467 /// Note that the allocator may give the collection more space than it
1468 /// requests. Therefore, capacity can not be relied upon to be precisely
1469 /// minimal. Prefer [`reserve`] if future insertions are expected.
1470 ///
1471 /// [`reserve`]: Vec::reserve
1472 ///
1473 /// # Panics
1474 ///
1475 /// Panics if the new capacity exceeds `isize::MAX` _bytes_.
1476 ///
1477 /// # Examples
1478 ///
1479 /// ```
1480 /// let mut vec = vec![1];
1481 /// vec.reserve_exact(10);
1482 /// assert!(vec.capacity() >= 11);
1483 /// ```
1484 #[cfg(not(no_global_oom_handling))]
1485 #[stable(feature = "rust1", since = "1.0.0")]
1486 pub fn reserve_exact(&mut self, additional: usize) {
1487 self.buf.reserve_exact(self.len, additional);
1488 }
1489
1490 /// Tries to reserve capacity for at least `additional` more elements to be inserted
1491 /// in the given `Vec<T>`. The collection may reserve more space to speculatively avoid
1492 /// frequent reallocations. After calling `try_reserve`, capacity will be
1493 /// greater than or equal to `self.len() + additional` if it returns
1494 /// `Ok(())`. Does nothing if capacity is already sufficient. This method
1495 /// preserves the contents even if an error occurs.
1496 ///
1497 /// # Errors
1498 ///
1499 /// If the capacity overflows, or the allocator reports a failure, then an error
1500 /// is returned.
1501 ///
1502 /// # Examples
1503 ///
1504 /// ```
1505 /// use std::collections::TryReserveError;
1506 ///
1507 /// fn process_data(data: &[u32]) -> Result<Vec<u32>, TryReserveError> {
1508 /// let mut output = Vec::new();
1509 ///
1510 /// // Pre-reserve the memory, exiting if we can't
1511 /// output.try_reserve(data.len())?;
1512 ///
1513 /// // Now we know this can't OOM in the middle of our complex work
1514 /// output.extend(data.iter().map(|&val| {
1515 /// val * 2 + 5 // very complicated
1516 /// }));
1517 ///
1518 /// Ok(output)
1519 /// }
1520 /// # process_data(&[1, 2, 3]).expect("this test needs 12 bytes, so it shouldn't fail");
1521 /// ```
1522 #[stable(feature = "try_reserve", since = "1.57.0")]
1523 pub fn try_reserve(&mut self, additional: usize) -> Result<(), TryReserveError> {
1524 self.buf.try_reserve(self.len, additional)
1525 }
1526
1527 /// Tries to reserve the minimum capacity for at least `additional`
1528 /// elements to be inserted in the given `Vec<T>`. Unlike [`try_reserve`],
1529 /// this will not deliberately over-allocate to speculatively avoid frequent
1530 /// allocations. After calling `try_reserve_exact`, capacity will be greater
1531 /// than or equal to `self.len() + additional` if it returns `Ok(())`.
1532 /// Does nothing if the capacity is already sufficient.
1533 ///
1534 /// Note that the allocator may give the collection more space than it
1535 /// requests. Therefore, capacity can not be relied upon to be precisely
1536 /// minimal. Prefer [`try_reserve`] if future insertions are expected.
1537 ///
1538 /// [`try_reserve`]: Vec::try_reserve
1539 ///
1540 /// # Errors
1541 ///
1542 /// If the capacity overflows, or the allocator reports a failure, then an error
1543 /// is returned.
1544 ///
1545 /// # Examples
1546 ///
1547 /// ```
1548 /// use std::collections::TryReserveError;
1549 ///
1550 /// fn process_data(data: &[u32]) -> Result<Vec<u32>, TryReserveError> {
1551 /// let mut output = Vec::new();
1552 ///
1553 /// // Pre-reserve the memory, exiting if we can't
1554 /// output.try_reserve_exact(data.len())?;
1555 ///
1556 /// // Now we know this can't OOM in the middle of our complex work
1557 /// output.extend(data.iter().map(|&val| {
1558 /// val * 2 + 5 // very complicated
1559 /// }));
1560 ///
1561 /// Ok(output)
1562 /// }
1563 /// # process_data(&[1, 2, 3]).expect("this test needs 12 bytes, so it shouldn't fail");
1564 /// ```
1565 #[stable(feature = "try_reserve", since = "1.57.0")]
1566 pub fn try_reserve_exact(&mut self, additional: usize) -> Result<(), TryReserveError> {
1567 self.buf.try_reserve_exact(self.len, additional)
1568 }
1569
1570 /// Shrinks the capacity of the vector as much as possible.
1571 ///
1572 /// The behavior of this method depends on the allocator, which may either shrink the vector
1573 /// in-place or reallocate. The resulting vector might still have some excess capacity, just as
1574 /// is the case for [`with_capacity`]. See [`Allocator::shrink`] for more details.
1575 ///
1576 /// [`with_capacity`]: Vec::with_capacity
1577 ///
1578 /// # Examples
1579 ///
1580 /// ```
1581 /// let mut vec = Vec::with_capacity(10);
1582 /// vec.extend([1, 2, 3]);
1583 /// assert!(vec.capacity() >= 10);
1584 /// vec.shrink_to_fit();
1585 /// assert!(vec.capacity() >= 3);
1586 /// ```
1587 #[cfg(not(no_global_oom_handling))]
1588 #[stable(feature = "rust1", since = "1.0.0")]
1589 #[inline]
1590 pub fn shrink_to_fit(&mut self) {
1591 // The capacity is never less than the length, and there's nothing to do when
1592 // they are equal, so we can avoid the panic case in `RawVec::shrink_to_fit`
1593 // by only calling it with a greater capacity.
1594 if self.capacity() > self.len {
1595 self.buf.shrink_to_fit(self.len);
1596 }
1597 }
1598
1599 /// Shrinks the capacity of the vector with a lower bound.
1600 ///
1601 /// The capacity will remain at least as large as both the length
1602 /// and the supplied value.
1603 ///
1604 /// If the current capacity is less than the lower limit, this is a no-op.
1605 ///
1606 /// # Examples
1607 ///
1608 /// ```
1609 /// let mut vec = Vec::with_capacity(10);
1610 /// vec.extend([1, 2, 3]);
1611 /// assert!(vec.capacity() >= 10);
1612 /// vec.shrink_to(4);
1613 /// assert!(vec.capacity() >= 4);
1614 /// vec.shrink_to(0);
1615 /// assert!(vec.capacity() >= 3);
1616 /// ```
1617 #[cfg(not(no_global_oom_handling))]
1618 #[stable(feature = "shrink_to", since = "1.56.0")]
1619 pub fn shrink_to(&mut self, min_capacity: usize) {
1620 if self.capacity() > min_capacity {
1621 self.buf.shrink_to_fit(cmp::max(self.len, min_capacity));
1622 }
1623 }
1624
1625 /// Tries to shrink the capacity of the vector as much as possible
1626 ///
1627 /// The behavior of this method depends on the allocator, which may either shrink the vector
1628 /// in-place or reallocate. The resulting vector might still have some excess capacity, just as
1629 /// is the case for [`with_capacity`]. See [`Allocator::shrink`] for more details.
1630 ///
1631 /// [`with_capacity`]: Vec::with_capacity
1632 ///
1633 /// # Errors
1634 ///
1635 /// This function returns an error if the allocator fails to shrink the allocation,
1636 /// the vector thereafter is still safe to use, the capacity remains unchanged
1637 /// however. See [`Allocator::shrink`].
1638 ///
1639 /// # Examples
1640 ///
1641 /// ```
1642 /// #![feature(vec_fallible_shrink)]
1643 ///
1644 /// let mut vec = Vec::with_capacity(10);
1645 /// vec.extend([1, 2, 3]);
1646 /// assert!(vec.capacity() >= 10);
1647 /// vec.try_shrink_to_fit().expect("for this test, shrink shouldn't fail");
1648 /// assert!(vec.capacity() >= 3);
1649 /// ```
1650 #[unstable(feature = "vec_fallible_shrink", issue = "152350")]
1651 #[inline]
1652 pub fn try_shrink_to_fit(&mut self) -> Result<(), TryReserveError> {
1653 if self.capacity() > self.len { self.buf.try_shrink_to_fit(self.len) } else { Ok(()) }
1654 }
1655
1656 /// Shrinks the capacity of the vector with a lower bound.
1657 ///
1658 /// The capacity will remain at least as large as both the length
1659 /// and the supplied value.
1660 ///
1661 /// If the current capacity is less than the lower limit, this is a no-op.
1662 ///
1663 /// # Errors
1664 ///
1665 /// This function returns an error if the allocator fails to shrink the allocation,
1666 /// the vector thereafter is still safe to use, the capacity remains unchanged
1667 /// however. See [`Allocator::shrink`].
1668 ///
1669 /// # Examples
1670 ///
1671 /// ```
1672 /// #![feature(vec_fallible_shrink)]
1673 ///
1674 /// let mut vec = Vec::with_capacity(10);
1675 /// vec.extend([1, 2, 3]);
1676 /// assert!(vec.capacity() >= 10);
1677 /// vec.try_shrink_to(4).expect("for this test, shrink shouldn't fail");
1678 /// assert!(vec.capacity() >= 4);
1679 /// vec.try_shrink_to(0).expect("this is a no-op and thus the allocator isn't involved.");
1680 /// assert!(vec.capacity() >= 3);
1681 /// ```
1682 #[unstable(feature = "vec_fallible_shrink", issue = "152350")]
1683 #[inline]
1684 pub fn try_shrink_to(&mut self, min_capacity: usize) -> Result<(), TryReserveError> {
1685 if self.capacity() > min_capacity {
1686 self.buf.try_shrink_to_fit(cmp::max(self.len, min_capacity))
1687 } else {
1688 Ok(())
1689 }
1690 }
1691
1692 /// Converts the vector into [`Box<[T]>`][owned slice].
1693 ///
1694 /// Before doing the conversion, this method discards excess capacity like [`shrink_to_fit`].
1695 ///
1696 /// [owned slice]: Box
1697 /// [`shrink_to_fit`]: Vec::shrink_to_fit
1698 ///
1699 /// # Examples
1700 ///
1701 /// ```
1702 /// let v = vec![1, 2, 3];
1703 ///
1704 /// let slice = v.into_boxed_slice();
1705 /// ```
1706 ///
1707 /// Any excess capacity is removed:
1708 ///
1709 /// ```
1710 /// let mut vec = Vec::with_capacity(10);
1711 /// vec.extend([1, 2, 3]);
1712 ///
1713 /// assert!(vec.capacity() >= 10);
1714 /// let slice = vec.into_boxed_slice();
1715 /// assert_eq!(slice.into_vec().capacity(), 3);
1716 /// ```
1717 #[cfg(not(no_global_oom_handling))]
1718 #[stable(feature = "rust1", since = "1.0.0")]
1719 pub fn into_boxed_slice(mut self) -> Box<[T], A> {
1720 self.shrink_to_fit();
1721 let me = ManuallyDrop::new(self);
1722 // ignore-tidy-undocumented-unsafe
1723 unsafe {
1724 let buf = ptr::read(&me.buf);
1725 let len = me.len();
1726 buf.into_box(len).assume_init()
1727 }
1728 }
1729
1730 /// Converts the Vec into a boxed array. This conversion will discard any spare capacity,
1731 /// if there is any, see [`Vec::shrink_to_fit`].
1732 /// If you merely wish for a reference to an array, use [`as_array`](https://doc.rust-lang.org/stable/std/primitive.slice.html#method.as_array).
1733 ///
1734 /// # Errors
1735 ///
1736 /// Returns the original `Vec<T>` in the `Err` variant if [`Vec::len`] does not equal `N`.
1737 ///
1738 /// # Examples
1739 ///
1740 /// ```
1741 /// #![feature(alloc_slice_into_array)]
1742 /// let vec: Vec<i32> = vec![1, 2, 3];
1743 /// let box_array: Box<[i32; 3]> = vec.clone().into_array().unwrap();
1744 /// let not_enough_elements: Result<Box<[i32; 4]>, Vec<i32>> = vec.into_array::<4>();
1745 /// assert_eq!(not_enough_elements, Err(vec![1, 2, 3]));
1746 /// ```
1747 #[cfg(not(no_global_oom_handling))]
1748 #[unstable(feature = "alloc_slice_into_array", issue = "148082")]
1749 pub fn into_array<const N: usize>(self) -> Result<Box<[T; N], A>, Self> {
1750 if self.len() == N {
1751 // SAFETY: `Box::into_array` is guaranteed to return `Ok` if the
1752 // length of the slice is equal to `N`.
1753 // `self.into_boxed_slice().len()` is equal to `self.len()`,
1754 // which we just checked.
1755 Ok(unsafe { self.into_boxed_slice().into_array().unwrap_unchecked() })
1756 } else {
1757 Err(self)
1758 }
1759 }
1760
1761 /// Shortens the vector, keeping the first `len` elements and dropping
1762 /// the rest.
1763 ///
1764 /// If `len` is greater or equal to the vector's current length, this has
1765 /// no effect.
1766 ///
1767 /// The [`drain`] method can emulate `truncate`, but causes the excess
1768 /// elements to be returned instead of dropped.
1769 ///
1770 /// Note that this method has no effect on the allocated capacity
1771 /// of the vector.
1772 ///
1773 /// # Examples
1774 ///
1775 /// Truncating a five element vector to two elements:
1776 ///
1777 /// ```
1778 /// let mut vec = vec![1, 2, 3, 4, 5];
1779 /// vec.truncate(2);
1780 /// assert_eq!(vec, [1, 2]);
1781 /// ```
1782 ///
1783 /// No truncation occurs when `len` is greater than the vector's current
1784 /// length:
1785 ///
1786 /// ```
1787 /// let mut vec = vec![1, 2, 3];
1788 /// vec.truncate(8);
1789 /// assert_eq!(vec, [1, 2, 3]);
1790 /// ```
1791 ///
1792 /// Truncating when `len == 0` is equivalent to calling the [`clear`]
1793 /// method.
1794 ///
1795 /// ```
1796 /// let mut vec = vec![1, 2, 3];
1797 /// vec.truncate(0);
1798 /// assert_eq!(vec, []);
1799 /// ```
1800 ///
1801 /// [`clear`]: Vec::clear
1802 /// [`drain`]: Vec::drain
1803 #[stable(feature = "rust1", since = "1.0.0")]
1804 pub fn truncate(&mut self, len: usize) {
1805 // SAFETY: `BufWriter::flush_buf` assumes that this will not
1806 // de-initialize any elements of the spare capacity.
1807
1808 // This is safe because:
1809 //
1810 // * the slice passed to `drop_in_place` is valid; the `len > self.len`
1811 // case avoids creating an invalid slice, and
1812 // * the `len` of the vector is shrunk before calling `drop_in_place`,
1813 // such that no value will be dropped twice in case `drop_in_place`
1814 // were to panic once (if it panics twice, the program aborts).
1815 unsafe {
1816 // Note: It's intentional that this is `>` and not `>=`.
1817 // Changing it to `>=` has negative performance
1818 // implications in some cases. See #78884 for more.
1819 if len > self.len {
1820 return;
1821 }
1822 let remaining_len = self.len - len;
1823 let s = self.as_mut_ptr().add(len).cast_slice(remaining_len);
1824 self.len = len;
1825 ptr::drop_in_place(s);
1826 }
1827 }
1828
1829 /// Extracts a slice containing the entire vector.
1830 ///
1831 /// Equivalent to `&s[..]`.
1832 ///
1833 /// # Examples
1834 ///
1835 /// ```
1836 /// use std::io::{self, Write};
1837 /// let buffer = vec![1, 2, 3, 5, 8];
1838 /// io::sink().write(buffer.as_slice()).unwrap();
1839 /// ```
1840 #[inline]
1841 #[stable(feature = "vec_as_slice", since = "1.7.0")]
1842 #[rustc_diagnostic_item = "vec_as_slice"]
1843 #[rustc_const_stable(feature = "const_vec_string_slice", since = "1.87.0")]
1844 pub const fn as_slice(&self) -> &[T] {
1845 // SAFETY: `slice::from_raw_parts` requires pointee is a contiguous, aligned buffer of size
1846 // `len` containing properly-initialized `T`s. Data must not be mutated for the returned
1847 // lifetime. Further, `len * size_of::<T>` <= `isize::MAX`, and allocation does not
1848 // "wrap" through overflowing memory addresses.
1849 //
1850 // * Vec API guarantees that self.buf:
1851 // * contains only properly-initialized items within 0..len
1852 // * is aligned, contiguous, and valid for `len` reads
1853 // * obeys size and address-wrapping constraints
1854 //
1855 // * We only construct `&mut` references to `self.buf` through `&mut self` methods; borrow-
1856 // check ensures that it is not possible to mutably alias `self.buf` within the
1857 // returned lifetime.
1858 unsafe {
1859 // normally this would use `slice::from_raw_parts`, but it's
1860 // instantiated often enough that avoiding the UB check is worth it
1861 &*core::intrinsics::aggregate_raw_ptr::<*const [T], _, _>(self.as_ptr(), self.len)
1862 }
1863 }
1864
1865 /// Extracts a mutable slice of the entire vector.
1866 ///
1867 /// Equivalent to `&mut s[..]`.
1868 ///
1869 /// # Examples
1870 ///
1871 /// ```
1872 /// use std::io::{self, Read};
1873 /// let mut buffer = vec![0; 3];
1874 /// io::repeat(0b101).read_exact(buffer.as_mut_slice()).unwrap();
1875 /// ```
1876 #[inline]
1877 #[stable(feature = "vec_as_slice", since = "1.7.0")]
1878 #[rustc_diagnostic_item = "vec_as_mut_slice"]
1879 #[rustc_const_stable(feature = "const_vec_string_slice", since = "1.87.0")]
1880 pub const fn as_mut_slice(&mut self) -> &mut [T] {
1881 // SAFETY: `BufWriter::flush_buf` assumes that this will not
1882 // de-initialize any elements of the spare capacity.
1883
1884 // SAFETY: `slice::from_raw_parts_mut` requires pointee is a contiguous, aligned buffer of
1885 // size `len` containing properly-initialized `T`s. Data must not be accessed through any
1886 // other pointer for the returned lifetime. Further, `len * size_of::<T>` <=
1887 // `isize::MAX` and allocation does not "wrap" through overflowing memory addresses.
1888 //
1889 // * Vec API guarantees that self.buf:
1890 // * contains only properly-initialized items within 0..len
1891 // * is aligned, contiguous, and valid for `len` reads
1892 // * obeys size and address-wrapping constraints
1893 //
1894 // * We only construct references to `self.buf` through `&self` and `&mut self` methods;
1895 // borrow-check ensures that it is not possible to construct a reference to `self.buf`
1896 // within the returned lifetime.
1897 unsafe {
1898 // normally this would use `slice::from_raw_parts_mut`, but it's
1899 // instantiated often enough that avoiding the UB check is worth it
1900 &mut *core::intrinsics::aggregate_raw_ptr::<*mut [T], _, _>(self.as_mut_ptr(), self.len)
1901 }
1902 }
1903
1904 /// Returns a raw pointer to the vector's buffer, or a dangling raw pointer
1905 /// valid for zero sized reads if the vector didn't allocate.
1906 ///
1907 /// The caller must ensure that the vector outlives the pointer this
1908 /// function returns, or else it will end up dangling.
1909 /// Modifying the vector may cause its buffer to be reallocated,
1910 /// which would also make any pointers to it invalid.
1911 ///
1912 /// The caller must also ensure that the memory the pointer (non-transitively) points to
1913 /// is never written to (except inside an `UnsafeCell`) using this pointer or any pointer
1914 /// derived from it. If you need to mutate the contents of the slice, use [`as_mut_ptr`].
1915 ///
1916 /// This method guarantees that for the purpose of the aliasing model, this method
1917 /// does not materialize a reference to the underlying slice, and thus the returned pointer
1918 /// will remain valid when mixed with other calls to [`as_ptr`], [`as_mut_ptr`],
1919 /// and [`as_non_null`].
1920 /// Note that calling other methods that materialize mutable references to the slice,
1921 /// or mutable references to specific elements you are planning on accessing through this pointer,
1922 /// as well as writing to those elements, may still invalidate this pointer.
1923 /// See the second example below for how this guarantee can be used.
1924 ///
1925 ///
1926 /// # Examples
1927 ///
1928 /// ```
1929 /// let x = vec![1, 2, 4];
1930 /// let x_ptr = x.as_ptr();
1931 ///
1932 /// unsafe {
1933 /// for i in 0..x.len() {
1934 /// assert_eq!(*x_ptr.add(i), 1 << i);
1935 /// }
1936 /// }
1937 /// ```
1938 ///
1939 /// Due to the aliasing guarantee, the following code is legal:
1940 ///
1941 /// ```rust
1942 /// unsafe {
1943 /// let mut v = vec![0, 1, 2];
1944 /// let ptr1 = v.as_ptr();
1945 /// let _ = ptr1.read();
1946 /// let ptr2 = v.as_mut_ptr().offset(2);
1947 /// ptr2.write(2);
1948 /// // Notably, the write to `ptr2` did *not* invalidate `ptr1`
1949 /// // because it mutated a different element:
1950 /// let _ = ptr1.read();
1951 /// }
1952 /// ```
1953 ///
1954 /// [`as_mut_ptr`]: Vec::as_mut_ptr
1955 /// [`as_ptr`]: Vec::as_ptr
1956 /// [`as_non_null`]: Vec::as_non_null
1957 #[stable(feature = "vec_as_ptr", since = "1.37.0")]
1958 #[rustc_const_stable(feature = "const_vec_string_slice", since = "1.87.0")]
1959 #[rustc_never_returns_null_ptr]
1960 #[rustc_as_ptr]
1961 #[inline]
1962 pub const fn as_ptr(&self) -> *const T {
1963 // We shadow the slice method of the same name to avoid going through
1964 // `deref`, which creates an intermediate reference.
1965 self.buf.ptr()
1966 }
1967
1968 /// Returns a raw mutable pointer to the vector's buffer, or a dangling
1969 /// raw pointer valid for zero sized reads if the vector didn't allocate.
1970 ///
1971 /// The caller must ensure that the vector outlives the pointer this
1972 /// function returns, or else it will end up dangling.
1973 /// Modifying the vector may cause its buffer to be reallocated,
1974 /// which would also make any pointers to it invalid.
1975 ///
1976 /// This method guarantees that for the purpose of the aliasing model, this method
1977 /// does not materialize a reference to the underlying slice, and thus the returned pointer
1978 /// will remain valid when mixed with other calls to [`as_ptr`], [`as_mut_ptr`],
1979 /// and [`as_non_null`].
1980 /// Note that calling other methods that materialize references to the slice,
1981 /// or references to specific elements you are planning on accessing through this pointer,
1982 /// may still invalidate this pointer.
1983 /// See the second example below for how this guarantee can be used.
1984 ///
1985 /// The method also guarantees that, as long as `T` is not zero-sized and the capacity is
1986 /// nonzero, the pointer may be passed into [`dealloc`] with a layout of
1987 /// `Layout::array::<T>(capacity)` in order to deallocate the backing memory. If this is done,
1988 /// be careful not to run the destructor of the `Vec`, as dropping it will result in
1989 /// double-frees. Wrapping the `Vec` in a [`ManuallyDrop`] is the typical way to achieve this.
1990 ///
1991 /// # Examples
1992 ///
1993 /// ```
1994 /// // Allocate vector big enough for 4 elements.
1995 /// let size = 4;
1996 /// let mut x: Vec<i32> = Vec::with_capacity(size);
1997 /// let x_ptr = x.as_mut_ptr();
1998 ///
1999 /// // Initialize elements via raw pointer writes, then set length.
2000 /// unsafe {
2001 /// for i in 0..size {
2002 /// *x_ptr.add(i) = i as i32;
2003 /// }
2004 /// x.set_len(size);
2005 /// }
2006 /// assert_eq!(&*x, &[0, 1, 2, 3]);
2007 /// ```
2008 ///
2009 /// Due to the aliasing guarantee, the following code is legal:
2010 ///
2011 /// ```rust
2012 /// unsafe {
2013 /// let mut v = vec![0];
2014 /// let ptr1 = v.as_mut_ptr();
2015 /// ptr1.write(1);
2016 /// let ptr2 = v.as_mut_ptr();
2017 /// ptr2.write(2);
2018 /// // Notably, the write to `ptr2` did *not* invalidate `ptr1`:
2019 /// ptr1.write(3);
2020 /// }
2021 /// ```
2022 ///
2023 /// Deallocating a vector using [`Box`] (which uses [`dealloc`] internally):
2024 ///
2025 /// ```
2026 /// use std::mem::{ManuallyDrop, MaybeUninit};
2027 ///
2028 /// let mut v = ManuallyDrop::new(vec![0, 1, 2]);
2029 /// let ptr = v.as_mut_ptr();
2030 /// let capacity = v.capacity();
2031 /// let slice_ptr: *mut [MaybeUninit<i32>] =
2032 /// std::ptr::slice_from_raw_parts_mut(ptr.cast(), capacity);
2033 /// drop(unsafe { Box::from_raw(slice_ptr) });
2034 /// ```
2035 ///
2036 /// [`as_mut_ptr`]: Vec::as_mut_ptr
2037 /// [`as_ptr`]: Vec::as_ptr
2038 /// [`as_non_null`]: Vec::as_non_null
2039 /// [`dealloc`]: crate::alloc::GlobalAlloc::dealloc
2040 /// [`ManuallyDrop`]: core::mem::ManuallyDrop
2041 #[stable(feature = "vec_as_ptr", since = "1.37.0")]
2042 #[rustc_const_stable(feature = "const_vec_string_slice", since = "1.87.0")]
2043 #[rustc_never_returns_null_ptr]
2044 #[rustc_as_ptr]
2045 #[inline]
2046 pub const fn as_mut_ptr(&mut self) -> *mut T {
2047 // We shadow the slice method of the same name to avoid going through
2048 // `deref_mut`, which creates an intermediate reference.
2049 self.buf.ptr()
2050 }
2051
2052 /// Returns a `NonNull` pointer to the vector's buffer, or a dangling
2053 /// `NonNull` pointer valid for zero sized reads if the vector didn't allocate.
2054 ///
2055 /// The caller must ensure that the vector outlives the pointer this
2056 /// function returns, or else it will end up dangling.
2057 /// Modifying the vector may cause its buffer to be reallocated,
2058 /// which would also make any pointers to it invalid.
2059 ///
2060 /// This method guarantees that for the purpose of the aliasing model, this method
2061 /// does not materialize a reference to the underlying slice, and thus the returned pointer
2062 /// will remain valid when mixed with other calls to [`as_ptr`], [`as_mut_ptr`],
2063 /// and [`as_non_null`].
2064 /// Note that calling other methods that materialize references to the slice,
2065 /// or references to specific elements you are planning on accessing through this pointer,
2066 /// may still invalidate this pointer.
2067 /// See the second example below for how this guarantee can be used.
2068 ///
2069 /// # Examples
2070 ///
2071 /// ```
2072 /// #![feature(vec_as_non_null)]
2073 ///
2074 /// // Allocate vector big enough for 4 elements.
2075 /// let size = 4;
2076 /// let mut x: Vec<i32> = Vec::with_capacity(size);
2077 /// let x_ptr = x.as_non_null();
2078 ///
2079 /// // Initialize elements via raw pointer writes, then set length.
2080 /// unsafe {
2081 /// for i in 0..size {
2082 /// x_ptr.add(i).write(i as i32);
2083 /// }
2084 /// x.set_len(size);
2085 /// }
2086 /// assert_eq!(&*x, &[0, 1, 2, 3]);
2087 /// ```
2088 ///
2089 /// Due to the aliasing guarantee, the following code is legal:
2090 ///
2091 /// ```rust
2092 /// #![feature(vec_as_non_null)]
2093 ///
2094 /// unsafe {
2095 /// let mut v = vec![0];
2096 /// let ptr1 = v.as_non_null();
2097 /// ptr1.write(1);
2098 /// let ptr2 = v.as_non_null();
2099 /// ptr2.write(2);
2100 /// // Notably, the write to `ptr2` did *not* invalidate `ptr1`:
2101 /// ptr1.write(3);
2102 /// }
2103 /// ```
2104 ///
2105 /// [`as_mut_ptr`]: Vec::as_mut_ptr
2106 /// [`as_ptr`]: Vec::as_ptr
2107 /// [`as_non_null`]: Vec::as_non_null
2108 #[unstable(feature = "vec_as_non_null", issue = "157843")]
2109 #[rustc_const_unstable(feature = "vec_as_non_null", issue = "157843")]
2110 #[rustc_as_ptr]
2111 #[inline]
2112 pub const fn as_non_null(&mut self) -> NonNull<T> {
2113 self.buf.non_null()
2114 }
2115
2116 /// Returns a reference to the underlying allocator.
2117 #[stable(feature = "allocator_api", since = "CURRENT_RUSTC_VERSION")]
2118 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
2119 #[inline]
2120 pub const fn allocator(&self) -> &A {
2121 self.buf.allocator()
2122 }
2123
2124 /// Forces the length of the vector to `new_len`.
2125 ///
2126 /// This is a low-level operation that maintains none of the normal
2127 /// invariants of the type. Normally changing the length of a vector
2128 /// is done using one of the safe operations instead, such as
2129 /// [`truncate`], [`resize`], [`extend`], or [`clear`].
2130 ///
2131 /// [`truncate`]: Vec::truncate
2132 /// [`resize`]: Vec::resize
2133 /// [`extend`]: Extend::extend
2134 /// [`clear`]: Vec::clear
2135 ///
2136 /// # Safety
2137 ///
2138 /// - `new_len` must be less than or equal to [`capacity()`].
2139 /// - The elements at `old_len..new_len` must be initialized.
2140 ///
2141 /// [`capacity()`]: Vec::capacity
2142 ///
2143 /// # Examples
2144 ///
2145 /// See [`spare_capacity_mut()`] for an example with safe
2146 /// initialization of capacity elements and use of this method.
2147 ///
2148 /// `set_len()` can be useful for situations in which the vector
2149 /// is serving as a buffer for other code, particularly over FFI:
2150 ///
2151 /// ```no_run
2152 /// # #![allow(dead_code)]
2153 /// # // This is just a minimal skeleton for the doc example;
2154 /// # // don't use this as a starting point for a real library.
2155 /// # pub struct StreamWrapper { strm: *mut std::ffi::c_void }
2156 /// # const Z_OK: i32 = 0;
2157 /// # unsafe extern "C" {
2158 /// # fn deflateGetDictionary(
2159 /// # strm: *mut std::ffi::c_void,
2160 /// # dictionary: *mut u8,
2161 /// # dictLength: *mut usize,
2162 /// # ) -> i32;
2163 /// # }
2164 /// # impl StreamWrapper {
2165 /// pub fn get_dictionary(&self) -> Option<Vec<u8>> {
2166 /// // Per the FFI method's docs, "32768 bytes is always enough".
2167 /// let mut dict = Vec::with_capacity(32_768);
2168 /// let mut dict_length = 0;
2169 /// // SAFETY: When `deflateGetDictionary` returns `Z_OK`, it holds that:
2170 /// // 1. `dict_length` elements were initialized.
2171 /// // 2. `dict_length` <= the capacity (32_768)
2172 /// // which makes `set_len` safe to call.
2173 /// unsafe {
2174 /// // Make the FFI call...
2175 /// let r = deflateGetDictionary(self.strm, dict.as_mut_ptr(), &mut dict_length);
2176 /// if r == Z_OK {
2177 /// // ...and update the length to what was initialized.
2178 /// dict.set_len(dict_length);
2179 /// Some(dict)
2180 /// } else {
2181 /// None
2182 /// }
2183 /// }
2184 /// }
2185 /// # }
2186 /// ```
2187 ///
2188 /// While the following example is sound, there is a memory leak since
2189 /// the inner vectors were not freed prior to the `set_len` call:
2190 ///
2191 /// ```
2192 /// let mut vec = vec![vec![1, 0, 0],
2193 /// vec![0, 1, 0],
2194 /// vec![0, 0, 1]];
2195 /// // SAFETY:
2196 /// // 1. `old_len..0` is empty so no elements need to be initialized.
2197 /// // 2. `0 <= capacity` always holds whatever `capacity` is.
2198 /// unsafe {
2199 /// vec.set_len(0);
2200 /// # // FIXME(https://github.com/rust-lang/miri/issues/3670):
2201 /// # // use -Zmiri-disable-leak-check instead of unleaking in tests meant to leak.
2202 /// # vec.set_len(3);
2203 /// }
2204 /// ```
2205 ///
2206 /// Normally, here, one would use [`clear`] instead to correctly drop
2207 /// the contents and thus not leak memory.
2208 ///
2209 /// [`spare_capacity_mut()`]: Vec::spare_capacity_mut
2210 #[inline]
2211 #[stable(feature = "rust1", since = "1.0.0")]
2212 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
2213 pub const unsafe fn set_len(&mut self, new_len: usize) {
2214 ub_checks::assert_unsafe_precondition!(
2215 check_library_ub,
2216 "Vec::set_len requires that new_len <= capacity()",
2217 (new_len: usize = new_len, capacity: usize = self.capacity()) => new_len <= capacity
2218 );
2219
2220 self.len = new_len;
2221 }
2222
2223 /// Removes an element from the vector and returns it.
2224 ///
2225 /// The removed element is replaced by the last element of the vector.
2226 ///
2227 /// This does not preserve ordering of the remaining elements, but is *O*(1).
2228 /// If you need to preserve the element order, use [`remove`] instead.
2229 ///
2230 /// [`remove`]: Vec::remove
2231 ///
2232 /// # Panics
2233 ///
2234 /// Panics if `index` is out of bounds.
2235 ///
2236 /// # Examples
2237 ///
2238 /// ```
2239 /// let mut v = vec!["foo", "bar", "baz", "qux"];
2240 ///
2241 /// assert_eq!(v.swap_remove(1), "bar");
2242 /// assert_eq!(v, ["foo", "qux", "baz"]);
2243 ///
2244 /// assert_eq!(v.swap_remove(0), "foo");
2245 /// assert_eq!(v, ["baz", "qux"]);
2246 /// ```
2247 #[inline]
2248 #[stable(feature = "rust1", since = "1.0.0")]
2249 pub fn swap_remove(&mut self, index: usize) -> T {
2250 #[cold]
2251 #[cfg_attr(not(panic = "immediate-abort"), inline(never))]
2252 #[optimize(size)]
2253 fn assert_failed(index: usize, len: usize) -> ! {
2254 panic!("swap_remove index (is {index}) should be < len (is {len})");
2255 }
2256
2257 let len = self.len();
2258 if index >= len {
2259 assert_failed(index, len);
2260 }
2261 // ignore-tidy-undocumented-unsafe
2262 unsafe {
2263 // We replace self[index] with the last element. Note that if the
2264 // bounds check above succeeds there must be a last element (which
2265 // can be self[index] itself).
2266 let value = ptr::read(self.as_ptr().add(index));
2267 let base_ptr = self.as_mut_ptr();
2268 ptr::copy(base_ptr.add(len - 1), base_ptr.add(index), 1);
2269 self.set_len(len - 1);
2270 value
2271 }
2272 }
2273
2274 /// Inserts an element at position `index` within the vector, shifting all
2275 /// elements after it to the right.
2276 ///
2277 /// # Panics
2278 ///
2279 /// Panics if `index > len`.
2280 ///
2281 /// # Examples
2282 ///
2283 /// ```
2284 /// let mut vec = vec!['a', 'b', 'c'];
2285 /// vec.insert(1, 'd');
2286 /// assert_eq!(vec, ['a', 'd', 'b', 'c']);
2287 /// vec.insert(4, 'e');
2288 /// assert_eq!(vec, ['a', 'd', 'b', 'c', 'e']);
2289 /// ```
2290 ///
2291 /// # Time complexity
2292 ///
2293 /// Takes *O*([`Vec::len`]) time. All items after the insertion index must be
2294 /// shifted to the right. In the worst case, all elements are shifted when
2295 /// the insertion index is 0.
2296 #[cfg(not(no_global_oom_handling))]
2297 #[stable(feature = "rust1", since = "1.0.0")]
2298 #[track_caller]
2299 pub fn insert(&mut self, index: usize, element: T) {
2300 let _ = self.insert_mut(index, element);
2301 }
2302
2303 /// Inserts an element at position `index` within the vector, shifting all
2304 /// elements after it to the right, and returning a reference to the new
2305 /// element.
2306 ///
2307 /// # Panics
2308 ///
2309 /// Panics if `index > len`.
2310 ///
2311 /// # Examples
2312 ///
2313 /// ```
2314 /// let mut vec = vec![1, 3, 5, 9];
2315 /// let x = vec.insert_mut(3, 6);
2316 /// *x += 1;
2317 /// assert_eq!(vec, [1, 3, 5, 7, 9]);
2318 /// ```
2319 ///
2320 /// # Time complexity
2321 ///
2322 /// Takes *O*([`Vec::len`]) time. All items after the insertion index must be
2323 /// shifted to the right. In the worst case, all elements are shifted when
2324 /// the insertion index is 0.
2325 #[cfg(not(no_global_oom_handling))]
2326 #[inline]
2327 #[stable(feature = "push_mut", since = "1.95.0")]
2328 #[track_caller]
2329 #[must_use = "if you don't need a reference to the value, use `Vec::insert` instead"]
2330 pub fn insert_mut(&mut self, index: usize, element: T) -> &mut T {
2331 #[cold]
2332 #[cfg_attr(not(panic = "immediate-abort"), inline(never))]
2333 #[track_caller]
2334 #[optimize(size)]
2335 fn assert_failed(index: usize, len: usize) -> ! {
2336 panic!("insertion index (is {index}) should be <= len (is {len})");
2337 }
2338
2339 let len = self.len();
2340 if index > len {
2341 assert_failed(index, len);
2342 }
2343
2344 // space for the new element
2345 if len == self.buf.capacity() {
2346 self.buf.grow_one();
2347 }
2348
2349 // ignore-tidy-undocumented-unsafe
2350 unsafe {
2351 // infallible
2352 // The spot to put the new value
2353 let p = self.as_mut_ptr().add(index);
2354 {
2355 if index < len {
2356 // Shift everything over to make space. (Duplicating the
2357 // `index`th element into two consecutive places.)
2358 ptr::copy(p, p.add(1), len - index);
2359 }
2360 // Write it in, overwriting the first copy of the `index`th
2361 // element.
2362 ptr::write(p, element);
2363 }
2364 self.set_len(len + 1);
2365 &mut *p
2366 }
2367 }
2368
2369 /// Removes and returns the element at position `index` within the vector,
2370 /// shifting all elements after it to the left.
2371 ///
2372 /// Note: Because this shifts over the remaining elements, it has a
2373 /// worst-case performance of *O*(*n*). If you don't need the order of elements
2374 /// to be preserved, use [`swap_remove`] instead. If you'd like to remove
2375 /// elements from the beginning of the `Vec`, consider using
2376 /// [`VecDeque::pop_front`] instead.
2377 ///
2378 /// [`swap_remove`]: Vec::swap_remove
2379 /// [`VecDeque::pop_front`]: crate::collections::VecDeque::pop_front
2380 ///
2381 /// # Panics
2382 ///
2383 /// Panics if `index` is out of bounds.
2384 ///
2385 /// # Examples
2386 ///
2387 /// ```
2388 /// let mut v = vec!['a', 'b', 'c'];
2389 /// assert_eq!(v.remove(1), 'b');
2390 /// assert_eq!(v, ['a', 'c']);
2391 /// ```
2392 #[stable(feature = "rust1", since = "1.0.0")]
2393 #[track_caller]
2394 #[rustc_confusables("delete", "take")]
2395 pub fn remove(&mut self, index: usize) -> T {
2396 #[cold]
2397 #[cfg_attr(not(panic = "immediate-abort"), inline(never))]
2398 #[track_caller]
2399 #[optimize(size)]
2400 fn assert_failed(index: usize, len: usize) -> ! {
2401 panic!("removal index (is {index}) should be < len (is {len})");
2402 }
2403
2404 match self.try_remove(index) {
2405 Some(elem) => elem,
2406 None => assert_failed(index, self.len()),
2407 }
2408 }
2409
2410 /// Remove and return the element at position `index` within the vector,
2411 /// shifting all elements after it to the left, or [`None`] if it does not
2412 /// exist.
2413 ///
2414 /// Note: Because this shifts over the remaining elements, it has a
2415 /// worst-case performance of *O*(*n*). If you'd like to remove
2416 /// elements from the beginning of the `Vec`, consider using
2417 /// [`VecDeque::pop_front`] instead.
2418 ///
2419 /// [`VecDeque::pop_front`]: crate::collections::VecDeque::pop_front
2420 ///
2421 /// # Examples
2422 ///
2423 /// ```
2424 /// #![feature(vec_try_remove)]
2425 /// let mut v = vec![1, 2, 3];
2426 /// assert_eq!(v.try_remove(0), Some(1));
2427 /// assert_eq!(v.try_remove(2), None);
2428 /// ```
2429 #[unstable(feature = "vec_try_remove", issue = "146954")]
2430 #[rustc_confusables("delete", "take", "remove")]
2431 pub fn try_remove(&mut self, index: usize) -> Option<T> {
2432 let len = self.len();
2433 if index >= len {
2434 return None;
2435 }
2436 // infallible
2437 let ret;
2438 // ignore-tidy-undocumented-unsafe
2439 unsafe {
2440 {
2441 // the place we are taking from.
2442 let ptr = self.as_mut_ptr().add(index);
2443 // copy it out, unsafely having a copy of the value on
2444 // the stack and in the vector at the same time.
2445 ret = ptr::read(ptr);
2446
2447 // Shift everything down to fill in that spot.
2448 ptr::copy(ptr.add(1), ptr, len - index - 1);
2449 }
2450 self.set_len(len - 1);
2451 }
2452 Some(ret)
2453 }
2454
2455 /// Retains only the elements specified by the predicate.
2456 ///
2457 /// In other words, remove all elements `e` for which `f(&e)` returns `false`.
2458 /// This method operates in place, visiting each element exactly once in the
2459 /// original order, and preserves the order of the retained elements.
2460 ///
2461 /// # Examples
2462 ///
2463 /// ```
2464 /// let mut vec = vec![1, 2, 3, 4];
2465 /// vec.retain(|&x| x % 2 == 0);
2466 /// assert_eq!(vec, [2, 4]);
2467 /// ```
2468 ///
2469 /// Because the elements are visited exactly once in the original order,
2470 /// external state may be used to decide which elements to keep.
2471 ///
2472 /// ```
2473 /// let mut vec = vec![1, 2, 3, 4, 5];
2474 /// let keep = [false, true, true, false, true];
2475 /// let mut iter = keep.iter();
2476 /// vec.retain(|_| *iter.next().unwrap());
2477 /// assert_eq!(vec, [2, 3, 5]);
2478 /// ```
2479 #[stable(feature = "rust1", since = "1.0.0")]
2480 pub fn retain<F>(&mut self, mut f: F)
2481 where
2482 F: FnMut(&T) -> bool,
2483 {
2484 self.retain_mut(|elem| f(elem));
2485 }
2486
2487 /// Retains only the elements specified by the predicate, passing a mutable reference to it.
2488 ///
2489 /// In other words, remove all elements `e` such that `f(&mut e)` returns `false`.
2490 /// This method operates in place, visiting each element exactly once in the
2491 /// original order, and preserves the order of the retained elements.
2492 ///
2493 /// # Examples
2494 ///
2495 /// ```
2496 /// let mut vec = vec![1, 2, 3, 4];
2497 /// vec.retain_mut(|x| if *x <= 3 {
2498 /// *x += 1;
2499 /// true
2500 /// } else {
2501 /// false
2502 /// });
2503 /// assert_eq!(vec, [2, 3, 4]);
2504 /// ```
2505 #[stable(feature = "vec_retain_mut", since = "1.61.0")]
2506 pub fn retain_mut<F>(&mut self, mut f: F)
2507 where
2508 F: FnMut(&mut T) -> bool,
2509 {
2510 let original_len = self.len();
2511
2512 if original_len == 0 {
2513 // Empty case: explicit return allows better optimization, vs letting compiler infer it
2514 return;
2515 }
2516
2517 #[cfg(all(target_arch = "aarch64", target_feature = "sve"))]
2518 {
2519 let long_enough = match mem::size_of::<T>() {
2520 1 => original_len >= sve_retain::MIN_SVE_SIZE_1,
2521 2 => original_len >= sve_retain::MIN_SVE_SIZE_2,
2522 4 => original_len >= sve_retain::MIN_SVE_SIZE_4,
2523 8 => original_len >= sve_retain::MIN_SVE_SIZE_8,
2524 _ => false,
2525 };
2526 if long_enough {
2527 // SAFETY: size_of::<T>() is 1, 2, 4 or 8, matching
2528 // the kernel lane widths.
2529 return unsafe { sve_retain::chunked_retain(self, f) };
2530 }
2531 }
2532
2533 // Vec: [Kept, Kept, Hole, Hole, Hole, Hole, Unchecked, Unchecked]
2534 // | ^- write ^- read |
2535 // |<- original_len ->|
2536 // Kept: Elements which predicate returns true on.
2537 // Hole: Moved or dropped element slot.
2538 // Unchecked: Unchecked valid elements.
2539 //
2540 // This drop guard will be invoked when predicate or `drop` of element panicked.
2541 // It shifts unchecked elements to cover holes and `set_len` to the correct length.
2542 // In cases when predicate and `drop` never panick, it will be optimized out.
2543 struct PanicGuard<'a, T, A: Allocator> {
2544 v: &'a mut Vec<T, A>,
2545 read: usize,
2546 write: usize,
2547 original_len: usize,
2548 }
2549
2550 impl<T, A: Allocator> Drop for PanicGuard<'_, T, A> {
2551 #[cold]
2552 fn drop(&mut self) {
2553 let remaining = self.original_len - self.read;
2554 // SAFETY: Trailing unchecked items must be valid since we never touch them.
2555 unsafe {
2556 ptr::copy(
2557 self.v.as_ptr().add(self.read),
2558 self.v.as_mut_ptr().add(self.write),
2559 remaining,
2560 );
2561 }
2562 // SAFETY: After filling holes, all items are in contiguous memory.
2563 unsafe {
2564 self.v.set_len(self.write + remaining);
2565 }
2566 }
2567 }
2568
2569 let mut read = 0;
2570 loop {
2571 // SAFETY: read < original_len
2572 let cur = unsafe { self.get_unchecked_mut(read) };
2573 if hint::unlikely(!f(cur)) {
2574 break;
2575 }
2576 read += 1;
2577 if read == original_len {
2578 // All elements are kept, return early.
2579 return;
2580 }
2581 }
2582
2583 // Critical section starts here and at least one element is going to be removed.
2584 // Advance `g.read` early to avoid double drop if `drop_in_place` panicked.
2585 let mut g = PanicGuard { v: self, read: read + 1, write: read, original_len };
2586 // SAFETY: previous `read` is always less than original_len.
2587 unsafe { ptr::drop_in_place(&mut *g.v.as_mut_ptr().add(read)) };
2588
2589 while g.read < g.original_len {
2590 // SAFETY: `read` is always less than original_len.
2591 let cur = unsafe { &mut *g.v.as_mut_ptr().add(g.read) };
2592 if !f(cur) {
2593 // Advance `read` early to avoid double drop if `drop_in_place` panicked.
2594 g.read += 1;
2595 // SAFETY: We never touch this element again after dropped.
2596 unsafe { ptr::drop_in_place(cur) };
2597 } else {
2598 // SAFETY: `read` > `write`, so the slots don't overlap.
2599 // We use copy for move, and never touch the source element again.
2600 unsafe {
2601 let hole = g.v.as_mut_ptr().add(g.write);
2602 ptr::copy_nonoverlapping(cur, hole, 1);
2603 }
2604 g.write += 1;
2605 g.read += 1;
2606 }
2607 }
2608
2609 // We are leaving the critical section and no panic happened,
2610 // Commit the length change and forget the guard.
2611 // SAFETY: `write` is always less than or equal to original_len.
2612 unsafe { g.v.set_len(g.write) };
2613 mem::forget(g);
2614 }
2615
2616 /// Removes all but the first of consecutive elements in the vector that resolve to the same
2617 /// key.
2618 ///
2619 /// If the vector is sorted, this removes all duplicates.
2620 ///
2621 /// # Examples
2622 ///
2623 /// ```
2624 /// let mut vec = vec![10, 20, 21, 30, 20];
2625 ///
2626 /// vec.dedup_by_key(|i| *i / 10);
2627 ///
2628 /// assert_eq!(vec, [10, 20, 30, 20]);
2629 /// ```
2630 #[stable(feature = "dedup_by", since = "1.16.0")]
2631 #[inline]
2632 pub fn dedup_by_key<F, K>(&mut self, mut key: F)
2633 where
2634 F: FnMut(&mut T) -> K,
2635 K: PartialEq,
2636 {
2637 self.dedup_by(|a, b| key(a) == key(b))
2638 }
2639
2640 /// Removes all but the first of consecutive elements in the vector that are
2641 /// "equal" according to the given predicate function.
2642 ///
2643 /// The predicate `same_bucket(x, p)` is passed references to two elements.
2644 /// If it returns `true`, the element `x` is removed from the vector.
2645 ///
2646 /// The element `p` occurs *before* `x` in the vector (`[.., p, .., x, ..]`),
2647 /// so `same_bucket(x, p)` is receiving them in reversed order (unlike [`windows`]).
2648 ///
2649 /// If the vector is sorted, this removes all duplicates. For more complicated predicates
2650 /// however, the order (ascending vs. descending) can matter.
2651 ///
2652 /// [`windows`]: slice::windows
2653 ///
2654 /// # Examples
2655 ///
2656 /// ```
2657 /// let mut vec = vec!["foo", "bar", "Bar", "baz", "bar"];
2658 /// vec.dedup_by(|x, p| x.eq_ignore_ascii_case(p));
2659 /// assert_eq!(vec, ["foo", "bar", "baz", "bar"]);
2660 /// ```
2661 ///
2662 /// Both references passed to `same_bucket` are mutable.
2663 /// This allows merging elements by mutating `p` and returning `true`:
2664 ///
2665 /// ```
2666 /// let mut ranges = vec![1..2, 2..4, 2..5, 8..9];
2667 ///
2668 /// // Sort ranges by start, and if equal, by end (lexicographically)
2669 /// // Sorting in reverse instead (`x.start.cmp(&p.start)...`) would later fail
2670 /// ranges.sort_unstable_by(|p, x| p.start.cmp(&x.start).then(p.end.cmp(&x.end)));
2671 ///
2672 /// // Merge touching (`1..2` and `2..4`) and then overlapping (`1..4` and `2..5`) ranges
2673 /// ranges.dedup_by(|x, p| {
2674 /// if p.end >= x.start {
2675 /// p.end = p.end.max(x.end);
2676 /// true
2677 /// } else {
2678 /// false
2679 /// }
2680 /// });
2681 ///
2682 /// assert_eq!(ranges, [1..5, 8..9]);
2683 /// ```
2684 #[stable(feature = "dedup_by", since = "1.16.0")]
2685 pub fn dedup_by<F>(&mut self, mut same_bucket: F)
2686 where
2687 F: FnMut(&mut T, &mut T) -> bool,
2688 {
2689 let len = self.len();
2690 if len <= 1 {
2691 return;
2692 }
2693
2694 // Check if we ever want to remove anything.
2695 // This allows to use copy_non_overlapping in next cycle.
2696 // And avoids any memory writes if we don't need to remove anything.
2697 let mut first_duplicate_idx: usize = 1;
2698 let start = self.as_mut_ptr();
2699 while first_duplicate_idx != len {
2700 let found_duplicate = {
2701 // SAFETY: first_duplicate always in range [1..len).
2702 // Note that we start iteration from 1 so we never overflow.
2703 let prev = unsafe { start.add(first_duplicate_idx.wrapping_sub(1)) };
2704 // ignore-tidy-undocumented-unsafe
2705 let current = unsafe { start.add(first_duplicate_idx) };
2706 // We explicitly say in docs that references are reversed.
2707 // ignore-tidy-undocumented-unsafe
2708 unsafe { same_bucket(&mut *current, &mut *prev) }
2709 };
2710 if found_duplicate {
2711 break;
2712 }
2713 first_duplicate_idx += 1;
2714 }
2715 // Don't need to remove anything.
2716 // We cannot get bigger than len.
2717 if first_duplicate_idx == len {
2718 return;
2719 }
2720
2721 /* INVARIANT: vec.len() > read > write > write-1 >= 0 */
2722 struct FillGapOnDrop<'a, T, A: core::alloc::Allocator> {
2723 /* Offset of the element we want to check if it is duplicate */
2724 read: usize,
2725
2726 /* Offset of the place where we want to place the non-duplicate
2727 * when we find it. */
2728 write: usize,
2729
2730 /* The Vec that would need correction if `same_bucket` panicked */
2731 vec: &'a mut Vec<T, A>,
2732 }
2733
2734 impl<'a, T, A: core::alloc::Allocator> Drop for FillGapOnDrop<'a, T, A> {
2735 fn drop(&mut self) {
2736 /* This code gets executed when `same_bucket` panics */
2737
2738 // SAFETY: invariant guarantees that `read - write`
2739 // and `len - read` never overflow and that the copy is always
2740 // in-bounds.
2741 unsafe {
2742 let ptr = self.vec.as_mut_ptr();
2743 let len = self.vec.len();
2744
2745 /* How many items were left when `same_bucket` panicked.
2746 * Basically vec[read..].len() */
2747 let items_left = len.wrapping_sub(self.read);
2748
2749 /* Pointer to first item in vec[write..write+items_left] slice */
2750 let dropped_ptr = ptr.add(self.write);
2751 /* Pointer to first item in vec[read..] slice */
2752 let valid_ptr = ptr.add(self.read);
2753
2754 /* Copy `vec[read..]` to `vec[write..write+items_left]`.
2755 * The slices can overlap, so `copy_nonoverlapping` cannot be used */
2756 ptr::copy(valid_ptr, dropped_ptr, items_left);
2757
2758 /* How many items have been already dropped
2759 * Basically vec[read..write].len() */
2760 let dropped = self.read.wrapping_sub(self.write);
2761
2762 self.vec.set_len(len - dropped);
2763 }
2764 }
2765 }
2766
2767 /* Drop items while going through Vec, it should be more efficient than
2768 * doing slice partition_dedup + truncate */
2769
2770 // Construct gap first and then drop item to avoid memory corruption if `T::drop` panics.
2771 let mut gap =
2772 FillGapOnDrop { read: first_duplicate_idx + 1, write: first_duplicate_idx, vec: self };
2773 // SAFETY: we checked that first_duplicate_idx in bounds before.
2774 // If drop panics, `gap` would remove this item without drop.
2775 unsafe {
2776 ptr::drop_in_place(start.add(first_duplicate_idx));
2777 }
2778
2779 // SAFETY: Because of the invariant, read_ptr, prev_ptr and write_ptr
2780 // are always in-bounds and read_ptr never aliases prev_ptr
2781 unsafe {
2782 while gap.read < len {
2783 let read_ptr = start.add(gap.read);
2784 let prev_ptr = start.add(gap.write.wrapping_sub(1));
2785
2786 // We explicitly say in docs that references are reversed.
2787 let found_duplicate = same_bucket(&mut *read_ptr, &mut *prev_ptr);
2788 if found_duplicate {
2789 // Increase `gap.read` now since the drop may panic.
2790 gap.read += 1;
2791 /* We have found duplicate, drop it in-place */
2792 ptr::drop_in_place(read_ptr);
2793 } else {
2794 let write_ptr = start.add(gap.write);
2795
2796 /* read_ptr cannot be equal to write_ptr because at this point
2797 * we guaranteed to skip at least one element (before loop starts).
2798 */
2799 ptr::copy_nonoverlapping(read_ptr, write_ptr, 1);
2800
2801 /* We have filled that place, so go further */
2802 gap.write += 1;
2803 gap.read += 1;
2804 }
2805 }
2806
2807 /* Technically we could let `gap` clean up with its Drop, but
2808 * when `same_bucket` is guaranteed to not panic, this bloats a little
2809 * the codegen, so we just do it manually */
2810 gap.vec.set_len(gap.write);
2811 mem::forget(gap);
2812 }
2813 }
2814
2815 /// Appends an element and returns a reference to it if there is sufficient spare capacity,
2816 /// otherwise an error is returned with the element.
2817 ///
2818 /// Unlike [`push`] this method will not reallocate when there's insufficient capacity.
2819 /// The caller should use [`reserve`] or [`try_reserve`] to ensure that there is enough capacity.
2820 ///
2821 /// [`push`]: Vec::push
2822 /// [`reserve`]: Vec::reserve
2823 /// [`try_reserve`]: Vec::try_reserve
2824 ///
2825 /// # Examples
2826 ///
2827 /// A manual, panic-free alternative to [`FromIterator`]:
2828 ///
2829 /// ```
2830 /// #![feature(vec_push_within_capacity)]
2831 ///
2832 /// use std::collections::TryReserveError;
2833 /// fn from_iter_fallible<T>(iter: impl Iterator<Item=T>) -> Result<Vec<T>, TryReserveError> {
2834 /// let mut vec = Vec::new();
2835 /// for value in iter {
2836 /// if let Err(value) = vec.push_within_capacity(value) {
2837 /// vec.try_reserve(1)?;
2838 /// // this cannot fail, the previous line either returned or added at least 1 free slot
2839 /// let _ = vec.push_within_capacity(value);
2840 /// }
2841 /// }
2842 /// Ok(vec)
2843 /// }
2844 /// assert_eq!(from_iter_fallible(0..100), Ok(Vec::from_iter(0..100)));
2845 /// ```
2846 ///
2847 /// # Time complexity
2848 ///
2849 /// Takes *O*(1) time.
2850 #[inline]
2851 #[unstable(feature = "vec_push_within_capacity", issue = "100486")]
2852 pub fn push_within_capacity(&mut self, value: T) -> Result<&mut T, T> {
2853 if self.len == self.buf.capacity() {
2854 return Err(value);
2855 }
2856
2857 // ignore-tidy-undocumented-unsafe
2858 let end = unsafe { self.as_mut_ptr().add(self.len) };
2859 // ignore-tidy-undocumented-unsafe
2860 unsafe { ptr::write(end, value) };
2861 self.len += 1;
2862
2863 // SAFETY: We just wrote a value to the pointer that will live the lifetime of the reference.
2864 Ok(unsafe { &mut *end })
2865 }
2866
2867 /// Removes the last element from a vector and returns it, or [`None`] if it
2868 /// is empty.
2869 ///
2870 /// If you'd like to pop the first element, consider using
2871 /// [`VecDeque::pop_front`] instead.
2872 ///
2873 /// [`VecDeque::pop_front`]: crate::collections::VecDeque::pop_front
2874 ///
2875 /// # Examples
2876 ///
2877 /// ```
2878 /// let mut vec = vec![1, 2, 3];
2879 /// assert_eq!(vec.pop(), Some(3));
2880 /// assert_eq!(vec, [1, 2]);
2881 /// ```
2882 ///
2883 /// # Time complexity
2884 ///
2885 /// Takes *O*(1) time.
2886 #[inline]
2887 #[stable(feature = "rust1", since = "1.0.0")]
2888 #[rustc_diagnostic_item = "vec_pop"]
2889 pub fn pop(&mut self) -> Option<T> {
2890 if self.len == 0 {
2891 None
2892 } else {
2893 self.len -= 1;
2894 // ignore-tidy-undocumented-unsafe
2895 unsafe {
2896 core::hint::assert_unchecked(self.len < self.capacity());
2897 Some(ptr::read(self.as_ptr().add(self.len())))
2898 }
2899 }
2900 }
2901
2902 /// Removes and returns the last element from a vector if the predicate
2903 /// returns `true`, or [`None`] if the predicate returns false or the vector
2904 /// is empty (the predicate will not be called in that case).
2905 ///
2906 /// # Examples
2907 ///
2908 /// ```
2909 /// let mut vec = vec![1, 2, 3, 4];
2910 /// let pred = |x: &mut i32| *x % 2 == 0;
2911 ///
2912 /// assert_eq!(vec.pop_if(pred), Some(4));
2913 /// assert_eq!(vec, [1, 2, 3]);
2914 /// assert_eq!(vec.pop_if(pred), None);
2915 /// ```
2916 #[stable(feature = "vec_pop_if", since = "1.86.0")]
2917 pub fn pop_if(&mut self, predicate: impl FnOnce(&mut T) -> bool) -> Option<T> {
2918 let last = self.last_mut()?;
2919 if predicate(last) { self.pop() } else { None }
2920 }
2921
2922 /// Returns a mutable reference to the last item in the vector, or
2923 /// `None` if it is empty.
2924 ///
2925 /// # Examples
2926 ///
2927 /// Basic usage:
2928 ///
2929 /// ```
2930 /// #![feature(vec_peek_mut)]
2931 /// let mut vec = Vec::new();
2932 /// assert!(vec.peek_mut().is_none());
2933 ///
2934 /// vec.push(1);
2935 /// vec.push(5);
2936 /// vec.push(2);
2937 /// assert_eq!(vec.last(), Some(&2));
2938 /// if let Some(mut val) = vec.peek_mut() {
2939 /// *val = 0;
2940 /// }
2941 /// assert_eq!(vec.last(), Some(&0));
2942 /// ```
2943 #[inline]
2944 #[unstable(feature = "vec_peek_mut", issue = "122742")]
2945 pub fn peek_mut(&mut self) -> Option<PeekMut<'_, T, A>>
2946 where
2947 A: AllocatorNightly,
2948 {
2949 PeekMut::new(self)
2950 }
2951
2952 /// Moves all the elements of `other` into `self`, leaving `other` empty.
2953 ///
2954 /// # Panics
2955 ///
2956 /// Panics if the new capacity exceeds `isize::MAX` _bytes_.
2957 ///
2958 /// # Examples
2959 ///
2960 /// ```
2961 /// let mut vec = vec![1, 2, 3];
2962 /// let mut vec2 = vec![4, 5, 6];
2963 /// vec.append(&mut vec2);
2964 /// assert_eq!(vec, [1, 2, 3, 4, 5, 6]);
2965 /// assert_eq!(vec2, []);
2966 /// ```
2967 #[cfg(not(no_global_oom_handling))]
2968 #[inline]
2969 #[stable(feature = "append", since = "1.4.0")]
2970 pub fn append(&mut self, other: &mut Self) {
2971 // ignore-tidy-undocumented-unsafe
2972 unsafe {
2973 self.append_elements(other.as_slice() as _);
2974 other.set_len(0);
2975 }
2976 }
2977
2978 /// Appends elements to `self` from other buffer.
2979 #[cfg(not(no_global_oom_handling))]
2980 #[inline]
2981 unsafe fn append_elements(&mut self, other: *const [T]) {
2982 self.reserve(other.len());
2983 // ignore-tidy-undocumented-unsafe
2984 unsafe {
2985 self.append_elements_unreserved(other);
2986 }
2987 }
2988
2989 /// Appends elements to `self` from other buffer, returning [`TryReserveError`] on OOM.
2990 #[inline]
2991 unsafe fn try_append_elements(&mut self, other: *const [T]) -> Result<(), TryReserveError> {
2992 self.try_reserve(other.len())?;
2993 // ignore-tidy-undocumented-unsafe
2994 unsafe {
2995 self.append_elements_unreserved(other);
2996 }
2997 Ok(())
2998 }
2999
3000 /// Appends elements to `self` from other buffer without reserving additional capacity.
3001 #[inline]
3002 unsafe fn append_elements_unreserved(&mut self, other: *const [T]) {
3003 let count = other.len();
3004 let len = self.len();
3005 if count > 0 {
3006 // ignore-tidy-undocumented-unsafe
3007 unsafe {
3008 ptr::copy_nonoverlapping(other as *const T, self.as_mut_ptr().add(len), count)
3009 };
3010 }
3011 self.len += count;
3012 }
3013
3014 /// Removes the subslice indicated by the given range from the vector,
3015 /// returning a double-ended iterator over the removed subslice.
3016 ///
3017 /// If the iterator is dropped before being fully consumed,
3018 /// it drops the remaining removed elements.
3019 ///
3020 /// The returned iterator keeps a mutable borrow on the vector to optimize
3021 /// its implementation.
3022 ///
3023 /// # Panics
3024 ///
3025 /// Panics if the range has `start_bound > end_bound`, or, if the range is
3026 /// bounded on either end and past the length of the vector.
3027 ///
3028 /// # Leaking
3029 ///
3030 /// If the returned iterator goes out of scope without being dropped (due to
3031 /// [`mem::forget`], for example), the vector may have lost and leaked
3032 /// elements arbitrarily, including elements outside the range.
3033 ///
3034 /// # Examples
3035 ///
3036 /// ```
3037 /// let mut v = vec![1, 2, 3];
3038 /// let u: Vec<_> = v.drain(1..).collect();
3039 /// assert_eq!(v, &[1]);
3040 /// assert_eq!(u, &[2, 3]);
3041 ///
3042 /// // A full range clears the vector, like `clear()` does
3043 /// v.drain(..);
3044 /// assert_eq!(v, &[]);
3045 /// ```
3046 #[stable(feature = "drain", since = "1.6.0")]
3047 pub fn drain<R>(&mut self, range: R) -> Drain<'_, T, A>
3048 where
3049 A: AllocatorNightly,
3050 R: RangeBounds<usize>,
3051 {
3052 // Memory safety
3053 //
3054 // When the Drain is first created, it shortens the length of
3055 // the source vector to make sure no uninitialized or moved-from elements
3056 // are accessible at all if the Drain's destructor never gets to run.
3057 //
3058 // Drain will ptr::read out the values to remove.
3059 // When finished, remaining tail of the vec is copied back to cover
3060 // the hole, and the vector length is restored to the new length.
3061 //
3062 let len = self.len();
3063 let Range { start, end } = slice::range(range, ..len);
3064
3065 // ignore-tidy-undocumented-unsafe
3066 unsafe {
3067 // set self.vec length's to start, to be safe in case Drain is leaked
3068 self.set_len(start);
3069 let range_slice = slice::from_raw_parts(self.as_ptr().add(start), end - start);
3070 Drain {
3071 tail_start: end,
3072 tail_len: len - end,
3073 iter: range_slice.iter(),
3074 vec: NonNull::from(self),
3075 }
3076 }
3077 }
3078
3079 /// Clears the vector, removing all values.
3080 ///
3081 /// Note that this method has no effect on the allocated capacity
3082 /// of the vector.
3083 ///
3084 /// # Examples
3085 ///
3086 /// ```
3087 /// let mut v = vec![1, 2, 3];
3088 ///
3089 /// v.clear();
3090 ///
3091 /// assert!(v.is_empty());
3092 /// ```
3093 #[inline]
3094 #[stable(feature = "rust1", since = "1.0.0")]
3095 pub fn clear(&mut self) {
3096 // Though this is equivalent to `truncate(0)`, the manual version
3097 // optimizes better, justifying the additional complexity
3098 // (see #96002 and #154095 for context).
3099
3100 let elems: *mut [T] = self.as_mut_slice();
3101
3102 // SAFETY:
3103 // - `elems` comes directly from `as_mut_slice` and is therefore valid.
3104 // - Setting `self.len` before calling `drop_in_place` means that,
3105 // if an element's `Drop` impl panics, the vector's `Drop` impl will
3106 // do nothing (leaking the rest of the elements) instead of dropping
3107 // some twice.
3108 unsafe {
3109 self.len = 0;
3110 ptr::drop_in_place(elems);
3111 }
3112 }
3113
3114 /// Returns the number of elements in the vector, also referred to
3115 /// as its 'length'.
3116 ///
3117 /// # Examples
3118 ///
3119 /// ```
3120 /// let a = vec![1, 2, 3];
3121 /// assert_eq!(a.len(), 3);
3122 /// ```
3123 #[inline]
3124 #[stable(feature = "rust1", since = "1.0.0")]
3125 #[rustc_const_stable(feature = "const_vec_string_slice", since = "1.87.0")]
3126 #[rustc_confusables("length", "size")]
3127 pub const fn len(&self) -> usize {
3128 let len = self.len;
3129
3130 // SAFETY: The maximum capacity of `Vec<T>` is `isize::MAX` bytes, so the maximum value can
3131 // be returned is `usize::checked_div(size_of::<T>()).unwrap_or(usize::MAX)`, which
3132 // matches the definition of `T::MAX_SLICE_LEN`.
3133 unsafe { intrinsics::assume(len <= T::MAX_SLICE_LEN) };
3134
3135 len
3136 }
3137
3138 /// Returns `true` if the vector contains no elements.
3139 ///
3140 /// # Examples
3141 ///
3142 /// ```
3143 /// let mut v = Vec::new();
3144 /// assert!(v.is_empty());
3145 ///
3146 /// v.push(1);
3147 /// assert!(!v.is_empty());
3148 /// ```
3149 #[stable(feature = "rust1", since = "1.0.0")]
3150 #[rustc_diagnostic_item = "vec_is_empty"]
3151 #[rustc_const_stable(feature = "const_vec_string_slice", since = "1.87.0")]
3152 pub const fn is_empty(&self) -> bool {
3153 self.len() == 0
3154 }
3155
3156 /// Splits the collection into two at the given index.
3157 ///
3158 /// Returns a newly allocated vector containing the elements in the range
3159 /// `[at, len)`. After the call, the original vector will be left containing
3160 /// the elements `[0, at)` with its previous capacity unchanged.
3161 ///
3162 /// - If you want to take ownership of the entire contents and capacity of
3163 /// the vector, see [`mem::take`] or [`mem::replace`].
3164 /// - If you don't need the returned vector at all, see [`Vec::truncate`].
3165 /// - If you want to take ownership of an arbitrary subslice, or you don't
3166 /// necessarily want to store the removed items in a vector, see [`Vec::drain`].
3167 ///
3168 /// # Panics
3169 ///
3170 /// Panics if `at > len`.
3171 ///
3172 /// # Examples
3173 ///
3174 /// ```
3175 /// let mut vec = vec!['a', 'b', 'c'];
3176 /// let vec2 = vec.split_off(1);
3177 /// assert_eq!(vec, ['a']);
3178 /// assert_eq!(vec2, ['b', 'c']);
3179 /// ```
3180 #[cfg(not(no_global_oom_handling))]
3181 #[inline]
3182 #[must_use = "use `.truncate()` if you don't need the other half"]
3183 #[stable(feature = "split_off", since = "1.4.0")]
3184 #[track_caller]
3185 pub fn split_off(&mut self, at: usize) -> Self
3186 where
3187 A: Clone,
3188 {
3189 #[cold]
3190 #[cfg_attr(not(panic = "immediate-abort"), inline(never))]
3191 #[track_caller]
3192 #[optimize(size)]
3193 fn assert_failed(at: usize, len: usize) -> ! {
3194 panic!("`at` split index (is {at}) should be <= len (is {len})");
3195 }
3196
3197 if at > self.len() {
3198 assert_failed(at, self.len());
3199 }
3200
3201 let other_len = self.len - at;
3202 let mut other = Vec::with_capacity_in(other_len, self.allocator().clone());
3203
3204 // Unsafely `set_len` and copy items to `other`.
3205 // ignore-tidy-undocumented-unsafe
3206 unsafe {
3207 self.set_len(at);
3208 other.set_len(other_len);
3209
3210 ptr::copy_nonoverlapping(self.as_ptr().add(at), other.as_mut_ptr(), other.len());
3211 }
3212 other
3213 }
3214
3215 /// Resizes the `Vec` in-place so that `len` is equal to `new_len`.
3216 ///
3217 /// If `new_len` is greater than `len`, the `Vec` is extended by the
3218 /// difference, with each additional slot filled with the result of
3219 /// calling the closure `f`. The return values from `f` will end up
3220 /// in the `Vec` in the order they have been generated.
3221 ///
3222 /// If `new_len` is less than `len`, the `Vec` is simply truncated.
3223 ///
3224 /// This method uses a closure to create new values on every push. If
3225 /// you'd rather [`Clone`] a given value, use [`Vec::resize`]. If you
3226 /// want to use the [`Default`] trait to generate values, you can
3227 /// pass [`Default::default`] as the second argument.
3228 ///
3229 /// # Panics
3230 ///
3231 /// Panics if the new capacity exceeds `isize::MAX` _bytes_.
3232 ///
3233 /// # Examples
3234 ///
3235 /// ```
3236 /// let mut vec = vec![1, 2, 3];
3237 /// vec.resize_with(5, Default::default);
3238 /// assert_eq!(vec, [1, 2, 3, 0, 0]);
3239 ///
3240 /// let mut vec = vec![];
3241 /// let mut p = 1;
3242 /// vec.resize_with(4, || { p *= 2; p });
3243 /// assert_eq!(vec, [2, 4, 8, 16]);
3244 /// ```
3245 #[cfg(not(no_global_oom_handling))]
3246 #[stable(feature = "vec_resize_with", since = "1.33.0")]
3247 pub fn resize_with<F>(&mut self, new_len: usize, f: F)
3248 where
3249 F: FnMut() -> T,
3250 {
3251 let len = self.len();
3252 if new_len > len {
3253 self.extend_trusted(iter::repeat_with(f).take(new_len - len));
3254 } else {
3255 self.truncate(new_len);
3256 }
3257 }
3258
3259 /// Consumes and leaks the `Vec`, returning a mutable reference to the contents,
3260 /// `&'a mut [T]`.
3261 ///
3262 /// Note that the type `T` must outlive the chosen lifetime `'a`. If the type
3263 /// has only static references, or none at all, then this may be chosen to be
3264 /// `'static`.
3265 ///
3266 /// As of Rust 1.57, this method does not reallocate or shrink the `Vec`,
3267 /// so the leaked allocation may include unused capacity that is not part
3268 /// of the returned slice.
3269 ///
3270 /// This function is mainly useful for data that lives for the remainder of
3271 /// the program's life. Dropping the returned reference will cause a memory
3272 /// leak.
3273 ///
3274 /// # Examples
3275 ///
3276 /// Simple usage:
3277 ///
3278 /// ```
3279 /// let x = vec![1, 2, 3];
3280 /// let static_ref: &'static mut [usize] = x.leak();
3281 /// static_ref[0] += 1;
3282 /// assert_eq!(static_ref, &[2, 2, 3]);
3283 /// # // FIXME(https://github.com/rust-lang/miri/issues/3670):
3284 /// # // use -Zmiri-disable-leak-check instead of unleaking in tests meant to leak.
3285 /// # drop(unsafe { Box::from_raw(static_ref) });
3286 /// ```
3287 #[stable(feature = "vec_leak", since = "1.47.0")]
3288 #[inline]
3289 pub fn leak<'a>(self) -> &'a mut [T]
3290 where
3291 A: 'a,
3292 {
3293 let mut me = ManuallyDrop::new(self);
3294 // ignore-tidy-undocumented-unsafe
3295 unsafe { slice::from_raw_parts_mut(me.as_mut_ptr(), me.len) }
3296 }
3297
3298 /// Returns the remaining spare capacity of the vector as a slice of
3299 /// `MaybeUninit<T>`.
3300 ///
3301 /// The returned slice can be used to fill the vector with data (e.g. by
3302 /// reading from a file) before marking the data as initialized using the
3303 /// [`set_len`] method.
3304 ///
3305 /// [`set_len`]: Vec::set_len
3306 ///
3307 /// # Examples
3308 ///
3309 /// ```
3310 /// // Allocate vector big enough for 10 elements.
3311 /// let mut v = Vec::with_capacity(10);
3312 ///
3313 /// // Fill in the first 3 elements.
3314 /// let uninit = v.spare_capacity_mut();
3315 /// uninit[0].write(0);
3316 /// uninit[1].write(1);
3317 /// uninit[2].write(2);
3318 ///
3319 /// // Mark the first 3 elements of the vector as being initialized.
3320 /// unsafe {
3321 /// v.set_len(3);
3322 /// }
3323 ///
3324 /// assert_eq!(&v, &[0, 1, 2]);
3325 /// ```
3326 #[stable(feature = "vec_spare_capacity", since = "1.60.0")]
3327 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
3328 #[inline]
3329 pub const fn spare_capacity_mut(&mut self) -> &mut [MaybeUninit<T>] {
3330 // Note:
3331 // This method is not implemented in terms of `split_at_spare_mut`,
3332 // to prevent invalidation of pointers to the buffer.
3333 // ignore-tidy-undocumented-unsafe
3334 unsafe {
3335 slice::from_raw_parts_mut(
3336 self.as_mut_ptr().add(self.len) as *mut MaybeUninit<T>,
3337 self.buf.capacity() - self.len,
3338 )
3339 }
3340 }
3341
3342 /// Returns vector content as a slice of `T`, along with the remaining spare
3343 /// capacity of the vector as a slice of `MaybeUninit<T>`.
3344 ///
3345 /// The returned spare capacity slice can be used to fill the vector with data
3346 /// (e.g. by reading from a file) before marking the data as initialized using
3347 /// the [`set_len`] method.
3348 ///
3349 /// [`set_len`]: Vec::set_len
3350 ///
3351 /// Note that this is a low-level API, which should be used with care for
3352 /// optimization purposes. If you need to append data to a `Vec`
3353 /// you can use [`push`], [`extend`], [`extend_from_slice`],
3354 /// [`extend_from_within`], [`insert`], [`append`], [`resize`] or
3355 /// [`resize_with`], depending on your exact needs.
3356 ///
3357 /// [`push`]: Vec::push
3358 /// [`extend`]: Vec::extend
3359 /// [`extend_from_slice`]: Vec::extend_from_slice
3360 /// [`extend_from_within`]: Vec::extend_from_within
3361 /// [`insert`]: Vec::insert
3362 /// [`append`]: Vec::append
3363 /// [`resize`]: Vec::resize
3364 /// [`resize_with`]: Vec::resize_with
3365 ///
3366 /// # Examples
3367 ///
3368 /// ```
3369 /// #![feature(vec_split_at_spare)]
3370 ///
3371 /// let mut v = vec![1, 1, 2];
3372 ///
3373 /// // Reserve additional space big enough for 10 elements.
3374 /// v.reserve(10);
3375 ///
3376 /// let (init, uninit) = v.split_at_spare_mut();
3377 /// let sum = init.iter().copied().sum::<u32>();
3378 ///
3379 /// // Fill in the next 4 elements.
3380 /// uninit[0].write(sum);
3381 /// uninit[1].write(sum * 2);
3382 /// uninit[2].write(sum * 3);
3383 /// uninit[3].write(sum * 4);
3384 ///
3385 /// // Mark the 4 elements of the vector as being initialized.
3386 /// unsafe {
3387 /// let len = v.len();
3388 /// v.set_len(len + 4);
3389 /// }
3390 ///
3391 /// assert_eq!(&v, &[1, 1, 2, 4, 8, 12, 16]);
3392 /// ```
3393 #[unstable(feature = "vec_split_at_spare", issue = "81944")]
3394 #[rustc_const_unstable(feature = "const_heap", issue = "79597")]
3395 #[inline]
3396 pub const fn split_at_spare_mut(&mut self) -> (&mut [T], &mut [MaybeUninit<T>]) {
3397 // SAFETY:
3398 // - len is ignored and so never changed
3399 let (init, spare, _) = unsafe { self.split_at_spare_mut_with_len() };
3400 (init, spare)
3401 }
3402
3403 /// Safety: changing returned .2 (&mut usize) is considered the same as calling `.set_len(_)`.
3404 ///
3405 /// This method provides unique access to all vec parts at once in `extend_from_within`.
3406 const unsafe fn split_at_spare_mut_with_len(
3407 &mut self,
3408 ) -> (&mut [T], &mut [MaybeUninit<T>], &mut usize) {
3409 let ptr = self.as_mut_ptr();
3410 // SAFETY:
3411 // - `ptr` is guaranteed to be valid for `self.len` elements
3412 // - but the allocation extends out to `self.buf.capacity()` elements, possibly
3413 // uninitialized
3414 let spare_ptr = unsafe { ptr.add(self.len) };
3415 let spare_ptr = spare_ptr.cast_uninit();
3416 let spare_len = self.buf.capacity() - self.len;
3417
3418 // SAFETY:
3419 // - `ptr` is guaranteed to be valid for `self.len` elements
3420 // - `spare_ptr` is pointing one element past the buffer, so it doesn't overlap with `initialized`
3421 unsafe {
3422 let initialized = slice::from_raw_parts_mut(ptr, self.len);
3423 let spare = slice::from_raw_parts_mut(spare_ptr, spare_len);
3424
3425 (initialized, spare, &mut self.len)
3426 }
3427 }
3428
3429 /// Groups every `N` elements in the `Vec<T>` into chunks to produce a `Vec<[T; N]>`, dropping
3430 /// elements in the remainder. `N` must be greater than zero.
3431 ///
3432 /// If the capacity is not a multiple of the chunk size, the buffer will shrink down to the
3433 /// nearest multiple with a reallocation or deallocation.
3434 ///
3435 /// This function can be used to reverse [`Vec::into_flattened`].
3436 ///
3437 /// # Examples
3438 ///
3439 /// ```
3440 /// #![feature(vec_into_chunks)]
3441 ///
3442 /// let vec = vec![0, 1, 2, 3, 4, 5, 6, 7];
3443 /// assert_eq!(vec.into_chunks::<3>(), [[0, 1, 2], [3, 4, 5]]);
3444 ///
3445 /// let vec = vec![0, 1, 2, 3];
3446 /// let chunks: Vec<[u8; 10]> = vec.into_chunks();
3447 /// assert!(chunks.is_empty());
3448 ///
3449 /// let flat = vec![0; 8 * 8 * 8];
3450 /// let reshaped: Vec<[[[u8; 8]; 8]; 8]> = flat.into_chunks().into_chunks().into_chunks();
3451 /// assert_eq!(reshaped.len(), 1);
3452 /// ```
3453 #[cfg(not(no_global_oom_handling))]
3454 #[unstable(feature = "vec_into_chunks", issue = "142137")]
3455 pub fn into_chunks<const N: usize>(mut self) -> Vec<[T; N], A> {
3456 const {
3457 assert!(N != 0, "chunk size must be greater than zero");
3458 }
3459
3460 let (len, cap) = (self.len(), self.capacity());
3461
3462 let len_remainder = len % N;
3463 if len_remainder != 0 {
3464 self.truncate(len - len_remainder);
3465 }
3466
3467 let cap_remainder = cap % N;
3468 if !T::IS_ZST && cap_remainder != 0 {
3469 self.buf.shrink_to_fit(cap - cap_remainder);
3470 }
3471
3472 let (ptr, _, _, alloc) = self.into_raw_parts_with_allocator();
3473
3474 // SAFETY:
3475 // - `ptr` and `alloc` were just returned from `self.into_raw_parts_with_allocator()`
3476 // - `[T; N]` has the same alignment as `T`
3477 // - `size_of::<[T; N]>() * cap / N == size_of::<T>() * cap`
3478 // - `len / N <= cap / N` because `len <= cap`
3479 // - the allocated memory consists of `len / N` valid values of type `[T; N]`
3480 // - `cap / N` fits the size of the allocated memory after shrinking
3481 unsafe { Vec::from_raw_parts_in(ptr.cast(), len / N, cap / N, alloc) }
3482 }
3483
3484 /// This clears out this `Vec` and recycles the allocation into a new `Vec`.
3485 /// The item type of the resulting `Vec` needs to have the same size and
3486 /// alignment as the item type of the original `Vec`.
3487 ///
3488 /// # Examples
3489 ///
3490 /// ```
3491 /// #![feature(vec_recycle, transmutability)]
3492 /// let a: Vec<u8> = vec![0; 100];
3493 /// let capacity = a.capacity();
3494 /// let addr = a.as_ptr().addr();
3495 /// let b: Vec<i8> = a.recycle();
3496 /// assert_eq!(b.len(), 0);
3497 /// assert_eq!(b.capacity(), capacity);
3498 /// assert_eq!(b.as_ptr().addr(), addr);
3499 /// ```
3500 ///
3501 /// The `Recyclable` bound prevents this method from being called when `T` and `U` have different sizes; e.g.:
3502 ///
3503 /// ```compile_fail,E0277
3504 /// #![feature(vec_recycle, transmutability)]
3505 /// let vec: Vec<[u8; 2]> = Vec::new();
3506 /// let _: Vec<[u8; 1]> = vec.recycle();
3507 /// ```
3508 /// ...or different alignments:
3509 ///
3510 /// ```compile_fail,E0277
3511 /// #![feature(vec_recycle, transmutability)]
3512 /// let vec: Vec<[u16; 0]> = Vec::new();
3513 /// let _: Vec<[u8; 0]> = vec.recycle();
3514 /// ```
3515 ///
3516 /// However, due to temporary implementation limitations of `Recyclable`,
3517 /// this method is not yet callable when `T` or `U` are slices, trait objects,
3518 /// or other exotic types; e.g.:
3519 ///
3520 /// ```compile_fail,E0277
3521 /// #![feature(vec_recycle, transmutability)]
3522 /// # let inputs = ["a b c", "d e f"];
3523 /// # fn process(_: &[&str]) {}
3524 /// let mut storage: Vec<&[&str]> = Vec::new();
3525 ///
3526 /// for input in inputs {
3527 /// let mut buffer: Vec<&str> = storage.recycle();
3528 /// buffer.extend(input.split(" "));
3529 /// process(&buffer);
3530 /// storage = buffer.recycle();
3531 /// }
3532 /// ```
3533 #[unstable(feature = "vec_recycle", issue = "148227")]
3534 #[expect(private_bounds)]
3535 pub fn recycle<U>(mut self) -> Vec<U, A>
3536 where
3537 U: Recyclable<T>,
3538 {
3539 self.clear();
3540 const {
3541 // FIXME(const-hack, 146097): compare `Layout`s
3542 assert!(size_of::<T>() == size_of::<U>());
3543 assert!(align_of::<T>() == align_of::<U>());
3544 };
3545 let (ptr, length, capacity, alloc) = self.into_parts_with_allocator();
3546 debug_assert_eq!(length, 0);
3547 // SAFETY:
3548 // - `ptr` and `alloc` were just returned from `self.into_raw_parts_with_allocator()`
3549 // - `T` & `U` have the same layout, so `capacity` does not need to be changed and we can safely use `alloc.dealloc` later
3550 // - the original vector was cleared, so there is no problem with "transmuting" the stored values
3551 unsafe { Vec::from_parts_in(ptr.cast::<U>(), length, capacity, alloc) }
3552 }
3553}
3554
3555/// Denotes that an allocation of `From` can be recycled into an allocation of `Self`.
3556///
3557/// # Safety
3558///
3559/// `Self` is `Recyclable<From>` if `Layout::new::<Self>() == Layout::new::<From>()`.
3560unsafe trait Recyclable<From: Sized>: Sized {}
3561
3562#[unstable_feature_bound(transmutability)]
3563// SAFETY: enforced by `TransmuteFrom`
3564unsafe impl<From, To> Recyclable<From> for To
3565where
3566 for<'a> &'a MaybeUninit<To>: TransmuteFrom<&'a MaybeUninit<From>, { Assume::SAFETY }>,
3567 for<'a> &'a MaybeUninit<From>: TransmuteFrom<&'a MaybeUninit<To>, { Assume::SAFETY }>,
3568{
3569}
3570
3571impl<T: Clone, A: Allocator> Vec<T, A> {
3572 /// Resizes the `Vec` in-place so that `len` is equal to `new_len`.
3573 ///
3574 /// If `new_len` is greater than `len`, the `Vec` is extended by the
3575 /// difference, with each additional slot filled with `value`.
3576 /// If `new_len` is less than `len`, the `Vec` is simply truncated.
3577 ///
3578 /// This method requires `T` to implement [`Clone`],
3579 /// in order to be able to clone the passed value.
3580 /// If you need more flexibility (or want to rely on [`Default`] instead of
3581 /// [`Clone`]), use [`Vec::resize_with`].
3582 /// If you only need to resize to a smaller size, use [`Vec::truncate`].
3583 ///
3584 /// # Panics
3585 ///
3586 /// Panics if the new capacity exceeds `isize::MAX` _bytes_.
3587 ///
3588 /// # Examples
3589 ///
3590 /// ```
3591 /// let mut vec = vec!["hello"];
3592 /// vec.resize(3, "world");
3593 /// assert_eq!(vec, ["hello", "world", "world"]);
3594 ///
3595 /// let mut vec = vec!['a', 'b', 'c', 'd'];
3596 /// vec.resize(2, '_');
3597 /// assert_eq!(vec, ['a', 'b']);
3598 /// ```
3599 #[cfg(not(no_global_oom_handling))]
3600 #[stable(feature = "vec_resize", since = "1.5.0")]
3601 pub fn resize(&mut self, new_len: usize, value: T) {
3602 let len = self.len();
3603
3604 if new_len > len {
3605 self.extend_with(new_len - len, value)
3606 } else {
3607 self.truncate(new_len);
3608 }
3609 }
3610
3611 /// Clones and appends all elements in a slice to the `Vec`.
3612 ///
3613 /// Iterates over the slice `other`, clones each element, and then appends
3614 /// it to this `Vec`. The `other` slice is traversed in-order.
3615 ///
3616 /// Note that this function is the same as [`extend`],
3617 /// except that it also works with slice elements that are Clone but not Copy.
3618 /// If Rust gets specialization this function may be deprecated.
3619 ///
3620 /// # Panics
3621 ///
3622 /// Panics if the new capacity exceeds `isize::MAX` _bytes_.
3623 ///
3624 /// # Examples
3625 ///
3626 /// ```
3627 /// let mut vec = vec![1];
3628 /// vec.extend_from_slice(&[2, 3, 4]);
3629 /// assert_eq!(vec, [1, 2, 3, 4]);
3630 /// ```
3631 ///
3632 /// [`extend`]: Vec::extend
3633 #[cfg(not(no_global_oom_handling))]
3634 #[stable(feature = "vec_extend_from_slice", since = "1.6.0")]
3635 pub fn extend_from_slice(&mut self, other: &[T]) {
3636 self.spec_extend(other.iter())
3637 }
3638
3639 /// Given a range `src`, clones a slice of elements in that range and appends it to the end.
3640 ///
3641 /// `src` must be a range that can form a valid subslice of the `Vec`.
3642 ///
3643 /// # Panics
3644 ///
3645 /// Panics if starting index is greater than the end index, if the index is
3646 /// greater than the length of the vector, or if the new capacity exceeds
3647 /// `isize::MAX` _bytes_.
3648 ///
3649 /// # Examples
3650 ///
3651 /// ```
3652 /// let mut characters = vec!['a', 'b', 'c', 'd', 'e'];
3653 /// characters.extend_from_within(2..);
3654 /// assert_eq!(characters, ['a', 'b', 'c', 'd', 'e', 'c', 'd', 'e']);
3655 ///
3656 /// let mut numbers = vec![0, 1, 2, 3, 4];
3657 /// numbers.extend_from_within(..2);
3658 /// assert_eq!(numbers, [0, 1, 2, 3, 4, 0, 1]);
3659 ///
3660 /// let mut strings = vec![String::from("hello"), String::from("world"), String::from("!")];
3661 /// strings.extend_from_within(1..=2);
3662 /// assert_eq!(strings, ["hello", "world", "!", "world", "!"]);
3663 /// ```
3664 #[cfg(not(no_global_oom_handling))]
3665 #[stable(feature = "vec_extend_from_within", since = "1.53.0")]
3666 pub fn extend_from_within<R>(&mut self, src: R)
3667 where
3668 R: RangeBounds<usize>,
3669 {
3670 let range = slice::range(src, ..self.len());
3671 self.reserve(range.len());
3672
3673 // SAFETY:
3674 // - `slice::range` guarantees that the given range is valid for indexing self
3675 unsafe {
3676 self.spec_extend_from_within(range);
3677 }
3678 }
3679}
3680
3681impl<A: Allocator> Vec<u8, A> {
3682 #[cfg_attr(
3683 not(no_global_oom_handling),
3684 expect(
3685 dead_code,
3686 reason = "currently only used in IO module when global OOM handling is disabled"
3687 )
3688 )]
3689 pub(crate) fn try_extend_from_slice_of_bytes(
3690 &mut self,
3691 other: &[u8],
3692 ) -> Result<(), TryReserveError> {
3693 // ignore-tidy-undocumented-unsafe
3694 unsafe { self.try_append_elements(other) }
3695 }
3696}
3697
3698impl<T, A: Allocator, const N: usize> Vec<[T; N], A> {
3699 /// Takes a `Vec<[T; N]>` and flattens it into a `Vec<T>`.
3700 ///
3701 /// # Panics
3702 ///
3703 /// Panics if the length of the resulting vector would overflow a `usize`.
3704 ///
3705 /// This is only possible when flattening a vector of arrays of zero-sized
3706 /// types, and thus tends to be irrelevant in practice. If
3707 /// `size_of::<T>() > 0`, this will never panic.
3708 ///
3709 /// # Examples
3710 ///
3711 /// ```
3712 /// let mut vec = vec![[1, 2, 3], [4, 5, 6], [7, 8, 9]];
3713 /// assert_eq!(vec.pop(), Some([7, 8, 9]));
3714 ///
3715 /// let mut flattened = vec.into_flattened();
3716 /// assert_eq!(flattened.pop(), Some(6));
3717 /// ```
3718 #[stable(feature = "slice_flatten", since = "1.80.0")]
3719 pub fn into_flattened(self) -> Vec<T, A> {
3720 let (ptr, len, cap, alloc) = self.into_raw_parts_with_allocator();
3721 let (new_len, new_cap) = if T::IS_ZST {
3722 (
3723 len.checked_mul(N).expect("the product of vec len and N shouldn't overflow"),
3724 usize::MAX,
3725 )
3726 } else {
3727 // SAFETY:
3728 // - `cap * N` cannot overflow because the allocation is already in
3729 // the address space.
3730 // - Each `[T; N]` has `N` valid elements, so there are `len * N`
3731 // valid elements in the allocation.
3732 unsafe { (len.unchecked_mul(N), cap.unchecked_mul(N)) }
3733 };
3734 // SAFETY:
3735 // - `ptr` was allocated by `self`
3736 // - `ptr` is well-aligned because `[T; N]` has the same alignment as `T`.
3737 // - `new_cap` refers to the same sized allocation as `cap` because
3738 // `new_cap * size_of::<T>()` == `cap * size_of::<[T; N]>()`
3739 // - `len` <= `cap`, so `len * N` <= `cap * N`.
3740 unsafe { Vec::<T, A>::from_raw_parts_in(ptr.cast(), new_len, new_cap, alloc) }
3741 }
3742}
3743
3744impl<T: Clone, A: Allocator> Vec<T, A> {
3745 #[cfg(not(no_global_oom_handling))]
3746 /// Extend the vector by `n` clones of value.
3747 fn extend_with(&mut self, n: usize, value: T) {
3748 self.reserve(n);
3749
3750 // ignore-tidy-undocumented-unsafe
3751 unsafe {
3752 let mut ptr = self.as_mut_ptr().add(self.len());
3753 // Use SetLenOnDrop to work around bug where compiler
3754 // might not realize the store through `ptr` through self.set_len()
3755 // don't alias.
3756 let mut local_len = SetLenOnDrop::new(&mut self.len);
3757
3758 // Write all elements except the last one
3759 for _ in 1..n {
3760 ptr::write(ptr, value.clone());
3761 ptr = ptr.add(1);
3762 // Increment the length in every step in case clone() panics
3763 local_len.increment_len(1);
3764 }
3765
3766 if n > 0 {
3767 // We can write the last element directly without cloning needlessly
3768 ptr::write(ptr, value);
3769 local_len.increment_len(1);
3770 }
3771
3772 // len set by scope guard
3773 }
3774 }
3775}
3776
3777impl<T: PartialEq, A: Allocator> Vec<T, A> {
3778 /// Removes consecutive repeated elements in the vector according to the
3779 /// [`PartialEq`] trait implementation.
3780 ///
3781 /// If the vector is sorted, this removes all duplicates.
3782 ///
3783 /// # Examples
3784 ///
3785 /// ```
3786 /// let mut vec = vec![1, 2, 2, 3, 2];
3787 ///
3788 /// vec.dedup();
3789 ///
3790 /// assert_eq!(vec, [1, 2, 3, 2]);
3791 /// ```
3792 #[stable(feature = "rust1", since = "1.0.0")]
3793 #[inline]
3794 pub fn dedup(&mut self) {
3795 self.dedup_by(|a, b| a == b)
3796 }
3797}
3798
3799////////////////////////////////////////////////////////////////////////////////
3800// Internal methods and functions
3801////////////////////////////////////////////////////////////////////////////////
3802
3803#[doc(hidden)]
3804#[cfg(not(no_global_oom_handling))]
3805#[stable(feature = "rust1", since = "1.0.0")]
3806#[rustc_diagnostic_item = "vec_from_elem"]
3807pub fn from_elem<T: Clone>(elem: T, n: usize) -> Vec<T> {
3808 <T as SpecFromElem>::from_elem(elem, n, Global)
3809}
3810
3811#[doc(hidden)]
3812#[cfg(not(no_global_oom_handling))]
3813#[unstable(feature = "allocator_ext", issue = "163177", implied_by = "allocator_api")]
3814pub fn from_elem_in<T: Clone, A: Allocator>(elem: T, n: usize, alloc: A) -> Vec<T, A> {
3815 <T as SpecFromElem>::from_elem(elem, n, alloc)
3816}
3817
3818#[cfg(not(no_global_oom_handling))]
3819trait ExtendFromWithinSpec {
3820 /// # Safety
3821 ///
3822 /// - `src` needs to be valid index
3823 /// - `self.capacity() - self.len()` must be `>= src.len()`
3824 unsafe fn spec_extend_from_within(&mut self, src: Range<usize>);
3825}
3826
3827#[cfg(not(no_global_oom_handling))]
3828impl<T: Clone, A: Allocator> ExtendFromWithinSpec for Vec<T, A> {
3829 default unsafe fn spec_extend_from_within(&mut self, src: Range<usize>) {
3830 // SAFETY:
3831 // - len is increased only after initializing elements
3832 let (this, spare, len) = unsafe { self.split_at_spare_mut_with_len() };
3833
3834 // SAFETY:
3835 // - caller guarantees that src is a valid index
3836 let to_clone = unsafe { this.get_unchecked(src) };
3837
3838 iter::zip(to_clone, spare)
3839 .map(|(src, dst)| dst.write(src.clone()))
3840 // Note:
3841 // - Element was just initialized with `MaybeUninit::write`, so it's ok to increase len
3842 // - len is increased after each element to prevent leaks (see issue #82533)
3843 .for_each(|_| *len += 1);
3844 }
3845}
3846
3847#[cfg(not(no_global_oom_handling))]
3848impl<T: TrivialClone, A: Allocator> ExtendFromWithinSpec for Vec<T, A> {
3849 unsafe fn spec_extend_from_within(&mut self, src: Range<usize>) {
3850 let count = src.len();
3851 {
3852 let (init, spare) = self.split_at_spare_mut();
3853
3854 // SAFETY:
3855 // - caller guarantees that `src` is a valid index
3856 let source = unsafe { init.get_unchecked(src) };
3857
3858 // SAFETY:
3859 // - Both pointers are created from unique slice references (`&mut [_]`)
3860 // so they are valid and do not overlap.
3861 // - Elements implement `TrivialClone` so this is equivalent to calling
3862 // `clone` on every one of them.
3863 // - `count` is equal to the len of `source`, so source is valid for
3864 // `count` reads
3865 // - `.reserve(count)` guarantees that `spare.len() >= count` so spare
3866 // is valid for `count` writes
3867 unsafe { ptr::copy_nonoverlapping(source.as_ptr(), spare.as_mut_ptr() as _, count) };
3868 }
3869
3870 // SAFETY:
3871 // - The elements were just initialized by `copy_nonoverlapping`
3872 self.len += count;
3873 }
3874}
3875
3876////////////////////////////////////////////////////////////////////////////////
3877// Common trait implementations for Vec
3878////////////////////////////////////////////////////////////////////////////////
3879
3880#[stable(feature = "rust1", since = "1.0.0")]
3881#[rustc_const_unstable(feature = "const_convert", issue = "143773")]
3882const impl<T, A: Allocator> ops::Deref for Vec<T, A> {
3883 type Target = [T];
3884
3885 #[inline]
3886 fn deref(&self) -> &[T] {
3887 self.as_slice()
3888 }
3889}
3890
3891#[stable(feature = "rust1", since = "1.0.0")]
3892#[rustc_const_unstable(feature = "const_convert", issue = "143773")]
3893const impl<T, A: Allocator> ops::DerefMut for Vec<T, A> {
3894 #[inline]
3895 fn deref_mut(&mut self) -> &mut [T] {
3896 self.as_mut_slice()
3897 }
3898}
3899
3900#[unstable(feature = "deref_pure_trait", issue = "87121")]
3901unsafe impl<T, A: Allocator> ops::DerefPure for Vec<T, A> {}
3902
3903#[cfg(not(no_global_oom_handling))]
3904#[stable(feature = "rust1", since = "1.0.0")]
3905impl<T: Clone, A: Allocator + Clone> Clone for Vec<T, A> {
3906 /// Creates a new `Vec` by deep-copying the contents of an existing `Vec`.
3907 ///
3908 /// This method will allocate a new `Vec` and `clone` all of `self`'s contents
3909 /// into it. The capacity of the duplicate `Vec` is not forced to match the
3910 /// capacity of the original.
3911 fn clone(&self) -> Self {
3912 let alloc = self.allocator().clone();
3913 <[T]>::to_vec_in(self, alloc)
3914 }
3915
3916 /// Overwrites the contents of `self` with a clone of the contents of `source`.
3917 ///
3918 /// This method is preferred over simply assigning `source.clone()` to `self`,
3919 /// as it avoids reallocation if possible. Additionally, if the element type
3920 /// `T` overrides `clone_from()`, this will reuse the resources of `self`'s
3921 /// elements as well.
3922 ///
3923 /// # Examples
3924 ///
3925 /// ```
3926 /// let x = vec![5, 6, 7];
3927 /// let mut y = vec![8, 9, 10];
3928 /// let yp: *const i32 = y.as_ptr();
3929 ///
3930 /// y.clone_from(&x);
3931 ///
3932 /// // The value is the same
3933 /// assert_eq!(x, y);
3934 ///
3935 /// // And no reallocation occurred
3936 /// assert_eq!(yp, y.as_ptr());
3937 /// ```
3938 fn clone_from(&mut self, source: &Self) {
3939 crate::slice::SpecCloneIntoVec::clone_into(source.as_slice(), self);
3940 }
3941}
3942
3943/// The hash of a vector is the same as that of the corresponding slice,
3944/// as required by the `core::borrow::Borrow` implementation.
3945///
3946/// ```
3947/// use std::hash::BuildHasher;
3948///
3949/// let b = std::hash::RandomState::new();
3950/// let v: Vec<u8> = vec![0xa8, 0x3c, 0x09];
3951/// let s: &[u8] = &[0xa8, 0x3c, 0x09];
3952/// assert_eq!(b.hash_one(v), b.hash_one(s));
3953/// ```
3954#[stable(feature = "rust1", since = "1.0.0")]
3955impl<T: Hash, A: Allocator> Hash for Vec<T, A> {
3956 #[inline]
3957 fn hash<H: Hasher>(&self, state: &mut H) {
3958 Hash::hash(&**self, state)
3959 }
3960}
3961
3962#[stable(feature = "rust1", since = "1.0.0")]
3963#[rustc_const_unstable(feature = "const_index", issue = "143775")]
3964const impl<T, I: [const] SliceIndex<[T]>, A: Allocator> Index<I> for Vec<T, A> {
3965 type Output = I::Output;
3966
3967 #[inline]
3968 fn index(&self, index: I) -> &Self::Output {
3969 Index::index(&**self, index)
3970 }
3971}
3972
3973#[stable(feature = "rust1", since = "1.0.0")]
3974#[rustc_const_unstable(feature = "const_index", issue = "143775")]
3975const impl<T, I: [const] SliceIndex<[T]>, A: Allocator> IndexMut<I> for Vec<T, A> {
3976 #[inline]
3977 fn index_mut(&mut self, index: I) -> &mut Self::Output {
3978 IndexMut::index_mut(&mut **self, index)
3979 }
3980}
3981
3982/// Collects an iterator into a Vec, commonly called via [`Iterator::collect()`]
3983///
3984/// # Allocation behavior
3985///
3986/// In general `Vec` does not guarantee any particular growth or allocation strategy.
3987/// That also applies to this trait impl.
3988///
3989/// **Note:** This section covers implementation details and is therefore exempt from
3990/// stability guarantees.
3991///
3992/// Vec may use any or none of the following strategies,
3993/// depending on the supplied iterator:
3994///
3995/// * preallocate based on [`Iterator::size_hint()`]
3996/// * and panic if the number of items is outside the provided lower/upper bounds
3997/// * use an amortized growth strategy similar to `pushing` one item at a time
3998/// * perform the iteration in-place on the original allocation backing the iterator
3999///
4000/// The last case warrants some attention. It is an optimization that in many cases reduces peak memory
4001/// consumption and improves cache locality. But when big, short-lived allocations are created,
4002/// only a small fraction of their items get collected, no further use is made of the spare capacity
4003/// and the resulting `Vec` is moved into a longer-lived structure, then this can lead to the large
4004/// allocations having their lifetimes unnecessarily extended which can result in increased memory
4005/// footprint.
4006///
4007/// In cases where this is an issue, the excess capacity can be discarded with [`Vec::shrink_to()`],
4008/// [`Vec::shrink_to_fit()`] or by collecting into [`Box<[T]>`][owned slice] instead, which additionally reduces
4009/// the size of the long-lived struct.
4010///
4011/// [owned slice]: Box
4012///
4013/// ```rust
4014/// # use std::sync::Mutex;
4015/// static LONG_LIVED: Mutex<Vec<Vec<u16>>> = Mutex::new(Vec::new());
4016///
4017/// for i in 0..10 {
4018/// let big_temporary: Vec<u16> = (0..1024).collect();
4019/// // discard most items
4020/// let mut result: Vec<_> = big_temporary.into_iter().filter(|i| i % 100 == 0).collect();
4021/// // without this a lot of unused capacity might be moved into the global
4022/// result.shrink_to_fit();
4023/// LONG_LIVED.lock().unwrap().push(result);
4024/// }
4025/// ```
4026#[cfg(not(no_global_oom_handling))]
4027#[stable(feature = "rust1", since = "1.0.0")]
4028impl<T> FromIterator<T> for Vec<T> {
4029 #[inline]
4030 fn from_iter<I: IntoIterator<Item = T>>(iter: I) -> Vec<T> {
4031 <Self as SpecFromIter<T, I::IntoIter>>::from_iter(iter.into_iter())
4032 }
4033}
4034
4035#[stable(feature = "rust1", since = "1.0.0")]
4036impl<T, A: Allocator> IntoIterator for Vec<T, A> {
4037 type Item = T;
4038 type IntoIter = IntoIter<T, A>;
4039
4040 /// Creates a consuming iterator, that is, one that moves each value out of
4041 /// the vector (from start to end). The vector cannot be used after calling
4042 /// this.
4043 ///
4044 /// # Examples
4045 ///
4046 /// ```
4047 /// let v = vec!["a".to_string(), "b".to_string()];
4048 /// let mut v_iter = v.into_iter();
4049 ///
4050 /// let first_element: Option<String> = v_iter.next();
4051 ///
4052 /// assert_eq!(first_element, Some("a".to_string()));
4053 /// assert_eq!(v_iter.next(), Some("b".to_string()));
4054 /// assert_eq!(v_iter.next(), None);
4055 /// ```
4056 #[inline]
4057 fn into_iter(self) -> Self::IntoIter {
4058 let me = ManuallyDrop::new(self);
4059 // ignore-tidy-undocumented-unsafe
4060 unsafe {
4061 let alloc = ManuallyDrop::new(ptr::read(me.allocator()));
4062 let buf = me.buf.non_null();
4063 let begin = buf.as_ptr();
4064 let end = if T::IS_ZST {
4065 begin.wrapping_byte_add(me.len())
4066 } else {
4067 begin.add(me.len()) as *const T
4068 };
4069 let cap = me.buf.capacity();
4070 IntoIter { buf, phantom: PhantomData, cap, alloc, ptr: buf, end }
4071 }
4072 }
4073}
4074
4075#[stable(feature = "rust1", since = "1.0.0")]
4076impl<'a, T, A: Allocator> IntoIterator for &'a Vec<T, A> {
4077 type Item = &'a T;
4078 type IntoIter = slice::Iter<'a, T>;
4079
4080 fn into_iter(self) -> Self::IntoIter {
4081 self.iter()
4082 }
4083}
4084
4085#[stable(feature = "rust1", since = "1.0.0")]
4086impl<'a, T, A: Allocator> IntoIterator for &'a mut Vec<T, A> {
4087 type Item = &'a mut T;
4088 type IntoIter = slice::IterMut<'a, T>;
4089
4090 fn into_iter(self) -> Self::IntoIter {
4091 self.iter_mut()
4092 }
4093}
4094
4095#[cfg(not(no_global_oom_handling))]
4096#[stable(feature = "rust1", since = "1.0.0")]
4097impl<T, A: Allocator> Extend<T> for Vec<T, A> {
4098 #[inline]
4099 fn extend<I: IntoIterator<Item = T>>(&mut self, iter: I) {
4100 <Self as SpecExtend<T, I::IntoIter>>::spec_extend(self, iter.into_iter())
4101 }
4102
4103 #[inline]
4104 fn extend_one(&mut self, item: T) {
4105 self.push(item);
4106 }
4107
4108 #[inline]
4109 fn extend_reserve(&mut self, additional: usize) {
4110 self.reserve(additional);
4111 }
4112
4113 #[inline]
4114 unsafe fn extend_one_unchecked(&mut self, item: T) {
4115 // SAFETY: Our preconditions ensure the space has been reserved, and `extend_reserve` is implemented correctly.
4116 unsafe {
4117 let len = self.len();
4118 ptr::write(self.as_mut_ptr().add(len), item);
4119 self.set_len(len + 1);
4120 }
4121 }
4122}
4123
4124impl<T, A: Allocator> Vec<T, A> {
4125 // leaf method to which various SpecFrom/SpecExtend implementations delegate when
4126 // they have no further optimizations to apply
4127 #[cfg(not(no_global_oom_handling))]
4128 fn extend_desugared<I: Iterator<Item = T>>(&mut self, mut iterator: I) {
4129 // This is the case for a general iterator.
4130 //
4131 // This function should be the moral equivalent of:
4132 //
4133 // for item in iterator {
4134 // self.push(item);
4135 // }
4136 while let Some(element) = iterator.next() {
4137 let len = self.len();
4138 if len == self.capacity() {
4139 let (lower, _) = iterator.size_hint();
4140 self.reserve(lower.saturating_add(1));
4141 }
4142 // ignore-tidy-undocumented-unsafe
4143 unsafe {
4144 ptr::write(self.as_mut_ptr().add(len), element);
4145 // Since next() executes user code which can panic we have to bump the length
4146 // after each step.
4147 // NB can't overflow since we would have had to alloc the address space
4148 self.set_len(len + 1);
4149 }
4150 }
4151 }
4152
4153 // specific extend for `TrustedLen` iterators, called both by the specializations
4154 // and internal places where resolving specialization makes compilation slower
4155 #[cfg(not(no_global_oom_handling))]
4156 fn extend_trusted(&mut self, iterator: impl iter::TrustedLen<Item = T>) {
4157 let (low, high) = iterator.size_hint();
4158 if let Some(additional) = high {
4159 debug_assert_eq!(
4160 low,
4161 additional,
4162 "TrustedLen iterator's size hint is not exact: {:?}",
4163 (low, high)
4164 );
4165 self.reserve(additional);
4166 let ptr = self.as_mut_ptr();
4167 let mut local_len = SetLenOnDrop::new(&mut self.len);
4168 // ignore-tidy-undocumented-unsafe
4169 unsafe {
4170 iterator.for_each(move |element| {
4171 ptr::write(ptr.add(local_len.current_len()), element);
4172 // Since the loop executes user code which can panic we have to update
4173 // the length every step to correctly drop what we've written.
4174 // NB can't overflow since we would have had to alloc the address space
4175 local_len.increment_len(1);
4176 });
4177 }
4178 } else {
4179 // Per TrustedLen contract a `None` upper bound means that the iterator length
4180 // truly exceeds usize::MAX, which would eventually lead to a capacity overflow anyway.
4181 // Since the other branch already panics eagerly (via `reserve()`) we do the same here.
4182 // This avoids additional codegen for a fallback code path which would eventually
4183 // panic anyway.
4184 panic!("capacity overflow");
4185 }
4186 }
4187
4188 /// Creates a splicing iterator that replaces the specified range in the vector
4189 /// with the given `replace_with` iterator and yields the removed items.
4190 /// `replace_with` does not need to be the same length as `range`.
4191 ///
4192 /// `range` is removed even if the `Splice` iterator is not consumed before it is dropped.
4193 ///
4194 /// It is unspecified how many elements are removed from the vector
4195 /// if the `Splice` value is leaked.
4196 ///
4197 /// The input iterator `replace_with` is only consumed when the `Splice` value is dropped.
4198 ///
4199 /// This is optimal if:
4200 ///
4201 /// * The tail (elements in the vector after `range`) is empty,
4202 /// * or `replace_with` yields fewer or equal elements than `range`'s length
4203 /// * or the lower bound of its `size_hint()` is exact.
4204 ///
4205 /// Otherwise, a temporary vector is allocated and the tail is moved twice.
4206 ///
4207 /// # Panics
4208 ///
4209 /// Panics if the range has `start_bound > end_bound`, or, if the range is
4210 /// bounded on either end and past the length of the vector.
4211 ///
4212 /// # Examples
4213 ///
4214 /// ```
4215 /// let mut v = vec![1, 2, 3, 4];
4216 /// let new = [7, 8, 9];
4217 /// let u: Vec<_> = v.splice(1..3, new).collect();
4218 /// assert_eq!(v, [1, 7, 8, 9, 4]);
4219 /// assert_eq!(u, [2, 3]);
4220 /// ```
4221 ///
4222 /// Using `splice` to insert new items into a vector efficiently at a specific position
4223 /// indicated by an empty range:
4224 ///
4225 /// ```
4226 /// let mut v = vec![1, 5];
4227 /// let new = [2, 3, 4];
4228 /// v.splice(1..1, new);
4229 /// assert_eq!(v, [1, 2, 3, 4, 5]);
4230 /// ```
4231 #[cfg(not(no_global_oom_handling))]
4232 #[inline]
4233 #[stable(feature = "vec_splice", since = "1.21.0")]
4234 pub fn splice<R, I>(&mut self, range: R, replace_with: I) -> Splice<'_, I::IntoIter, A>
4235 where
4236 A: AllocatorNightly,
4237 R: RangeBounds<usize>,
4238 I: IntoIterator<Item = T>,
4239 {
4240 Splice { drain: self.drain(range), replace_with: replace_with.into_iter() }
4241 }
4242
4243 /// Creates an iterator which uses a closure to determine if an element in the range should be removed.
4244 ///
4245 /// If the closure returns `true`, the element is removed from the vector
4246 /// and yielded. If the closure returns `false`, or panics, the element
4247 /// remains in the vector and will not be yielded.
4248 ///
4249 /// Only elements that fall in the provided range are considered for extraction, but any elements
4250 /// after the range will still have to be moved if any element has been extracted.
4251 ///
4252 /// If the returned `ExtractIf` is not exhausted, e.g. because it is dropped without iterating
4253 /// or the iteration short-circuits, then the remaining elements will be retained.
4254 /// Use `extract_if().for_each(drop)` if you do not need the returned iterator,
4255 /// or [`retain_mut`] with a negated predicate if you also do not need to restrict the range.
4256 ///
4257 /// [`retain_mut`]: Vec::retain_mut
4258 ///
4259 /// Using this method is equivalent to the following code:
4260 ///
4261 /// ```
4262 /// # let some_predicate = |x: &mut i32| { *x % 2 == 1 };
4263 /// # let mut vec = vec![0, 1, 2, 3, 4, 5, 6];
4264 /// # let mut vec2 = vec.clone();
4265 /// # let range = 1..5;
4266 /// let mut i = range.start;
4267 /// let end_items = vec.len() - range.end;
4268 /// # let mut extracted = vec![];
4269 ///
4270 /// while i < vec.len() - end_items {
4271 /// if some_predicate(&mut vec[i]) {
4272 /// let val = vec.remove(i);
4273 /// // your code here
4274 /// # extracted.push(val);
4275 /// } else {
4276 /// i += 1;
4277 /// }
4278 /// }
4279 ///
4280 /// # let extracted2: Vec<_> = vec2.extract_if(range, some_predicate).collect();
4281 /// # assert_eq!(vec, vec2);
4282 /// # assert_eq!(extracted, extracted2);
4283 /// ```
4284 ///
4285 /// But `extract_if` is easier to use. `extract_if` is also more efficient,
4286 /// because it can backshift the elements of the array in bulk.
4287 ///
4288 /// The iterator also lets you mutate the value of each element in the
4289 /// closure, regardless of whether you choose to keep or remove it.
4290 ///
4291 /// # Panics
4292 ///
4293 /// If `range` is out of bounds.
4294 ///
4295 /// # Examples
4296 ///
4297 /// Splitting a vector into even and odd values, reusing the original vector:
4298 ///
4299 /// ```
4300 /// let mut numbers = vec![1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 15];
4301 ///
4302 /// let evens = numbers.extract_if(.., |x| *x % 2 == 0).collect::<Vec<_>>();
4303 /// let odds = numbers;
4304 ///
4305 /// assert_eq!(evens, vec![2, 4, 6, 8, 14]);
4306 /// assert_eq!(odds, vec![1, 3, 5, 9, 11, 13, 15]);
4307 /// ```
4308 ///
4309 /// Using the range argument to only process a part of the vector:
4310 ///
4311 /// ```
4312 /// let mut items = vec![0, 0, 0, 0, 0, 0, 0, 1, 2, 1, 2, 1, 2];
4313 /// let ones = items.extract_if(7.., |x| *x == 1).collect::<Vec<_>>();
4314 /// assert_eq!(items, vec![0, 0, 0, 0, 0, 0, 0, 2, 2, 2]);
4315 /// assert_eq!(ones.len(), 3);
4316 /// ```
4317 #[stable(feature = "extract_if", since = "1.87.0")]
4318 pub fn extract_if<F, R>(&mut self, range: R, filter: F) -> ExtractIf<'_, T, F, A>
4319 where
4320 A: AllocatorNightly,
4321 F: FnMut(&mut T) -> bool,
4322 R: RangeBounds<usize>,
4323 {
4324 ExtractIf::new(self, filter, range)
4325 }
4326}
4327
4328/// Extend implementation that copies elements out of references before pushing them onto the Vec.
4329///
4330/// This implementation is specialized for slice iterators, where it uses [`copy_from_slice`] to
4331/// append the entire slice at once.
4332///
4333/// [`copy_from_slice`]: slice::copy_from_slice
4334#[cfg(not(no_global_oom_handling))]
4335#[stable(feature = "extend_ref", since = "1.2.0")]
4336impl<'a, T: Copy + 'a, A: Allocator> Extend<&'a T> for Vec<T, A> {
4337 fn extend<I: IntoIterator<Item = &'a T>>(&mut self, iter: I) {
4338 self.spec_extend(iter.into_iter())
4339 }
4340
4341 #[inline]
4342 fn extend_one(&mut self, &item: &'a T) {
4343 self.push(item);
4344 }
4345
4346 #[inline]
4347 fn extend_reserve(&mut self, additional: usize) {
4348 self.reserve(additional);
4349 }
4350
4351 #[inline]
4352 unsafe fn extend_one_unchecked(&mut self, &item: &'a T) {
4353 // SAFETY: Our preconditions ensure the space has been reserved, and `extend_reserve` is implemented correctly.
4354 unsafe {
4355 let len = self.len();
4356 ptr::write(self.as_mut_ptr().add(len), item);
4357 self.set_len(len + 1);
4358 }
4359 }
4360}
4361
4362/// Implements comparison of vectors, [lexicographically](Ord#lexicographical-comparison).
4363#[stable(feature = "rust1", since = "1.0.0")]
4364impl<T, A1, A2> PartialOrd<Vec<T, A2>> for Vec<T, A1>
4365where
4366 T: PartialOrd,
4367 A1: Allocator,
4368 A2: Allocator,
4369{
4370 #[inline]
4371 fn partial_cmp(&self, other: &Vec<T, A2>) -> Option<Ordering> {
4372 PartialOrd::partial_cmp(&**self, &**other)
4373 }
4374}
4375
4376#[stable(feature = "rust1", since = "1.0.0")]
4377impl<T: Eq, A: Allocator> Eq for Vec<T, A> {}
4378
4379/// Implements ordering of vectors, [lexicographically](Ord#lexicographical-comparison).
4380#[stable(feature = "rust1", since = "1.0.0")]
4381impl<T: Ord, A: Allocator> Ord for Vec<T, A> {
4382 #[inline]
4383 fn cmp(&self, other: &Self) -> Ordering {
4384 Ord::cmp(&**self, &**other)
4385 }
4386}
4387
4388#[stable(feature = "rust1", since = "1.0.0")]
4389#[rustc_const_unstable(feature = "const_heap", issue = "79597")]
4390const unsafe impl<#[may_dangle] T: [const] Destruct, A: [const] Allocator + [const] Destruct> Drop
4391 for Vec<T, A>
4392{
4393 fn drop(&mut self) {
4394 // ignore-tidy-undocumented-unsafe
4395 unsafe {
4396 // use drop for [T]
4397 // use a raw slice to refer to the elements of the vector as weakest necessary type;
4398 // could avoid questions of validity in certain cases
4399 self.as_mut_ptr().cast_slice(self.len).drop_in_place()
4400 }
4401 // RawVec handles deallocation
4402 }
4403}
4404
4405#[stable(feature = "rust1", since = "1.0.0")]
4406#[rustc_const_unstable(feature = "const_default", issue = "143894")]
4407const impl<T> Default for Vec<T> {
4408 /// Creates an empty `Vec<T>`.
4409 ///
4410 /// The vector will not allocate until elements are pushed onto it.
4411 fn default() -> Vec<T> {
4412 Vec::new()
4413 }
4414}
4415
4416#[stable(feature = "rust1", since = "1.0.0")]
4417impl<T: fmt::Debug, A: Allocator> fmt::Debug for Vec<T, A> {
4418 fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
4419 fmt::Debug::fmt(&**self, f)
4420 }
4421}
4422
4423#[stable(feature = "rust1", since = "1.0.0")]
4424impl<T, A: Allocator> AsRef<Vec<T, A>> for Vec<T, A> {
4425 fn as_ref(&self) -> &Vec<T, A> {
4426 self
4427 }
4428}
4429
4430#[stable(feature = "vec_as_mut", since = "1.5.0")]
4431impl<T, A: Allocator> AsMut<Vec<T, A>> for Vec<T, A> {
4432 fn as_mut(&mut self) -> &mut Vec<T, A> {
4433 self
4434 }
4435}
4436
4437#[stable(feature = "rust1", since = "1.0.0")]
4438impl<T, A: Allocator> AsRef<[T]> for Vec<T, A> {
4439 fn as_ref(&self) -> &[T] {
4440 self
4441 }
4442}
4443
4444#[stable(feature = "vec_as_mut", since = "1.5.0")]
4445impl<T, A: Allocator> AsMut<[T]> for Vec<T, A> {
4446 fn as_mut(&mut self) -> &mut [T] {
4447 self
4448 }
4449}
4450
4451#[cfg(not(no_global_oom_handling))]
4452#[stable(feature = "rust1", since = "1.0.0")]
4453impl<T: Clone> From<&[T]> for Vec<T> {
4454 /// Allocates a `Vec<T>` and fills it by cloning `s`'s items.
4455 ///
4456 /// # Examples
4457 ///
4458 /// ```
4459 /// assert_eq!(Vec::from(&[1, 2, 3][..]), vec![1, 2, 3]);
4460 /// ```
4461 fn from(s: &[T]) -> Vec<T> {
4462 s.to_vec()
4463 }
4464}
4465
4466#[cfg(not(no_global_oom_handling))]
4467#[stable(feature = "vec_from_mut", since = "1.19.0")]
4468impl<T: Clone> From<&mut [T]> for Vec<T> {
4469 /// Allocates a `Vec<T>` and fills it by cloning `s`'s items.
4470 ///
4471 /// # Examples
4472 ///
4473 /// ```
4474 /// assert_eq!(Vec::from(&mut [1, 2, 3][..]), vec![1, 2, 3]);
4475 /// ```
4476 fn from(s: &mut [T]) -> Vec<T> {
4477 s.to_vec()
4478 }
4479}
4480
4481#[cfg(not(no_global_oom_handling))]
4482#[stable(feature = "vec_from_array_ref", since = "1.74.0")]
4483impl<T: Clone, const N: usize> From<&[T; N]> for Vec<T> {
4484 /// Allocates a `Vec<T>` and fills it by cloning `s`'s items.
4485 ///
4486 /// # Examples
4487 ///
4488 /// ```
4489 /// assert_eq!(Vec::from(&[1, 2, 3]), vec![1, 2, 3]);
4490 /// ```
4491 fn from(s: &[T; N]) -> Vec<T> {
4492 Self::from(s.as_slice())
4493 }
4494}
4495
4496#[cfg(not(no_global_oom_handling))]
4497#[stable(feature = "vec_from_array_ref", since = "1.74.0")]
4498impl<T: Clone, const N: usize> From<&mut [T; N]> for Vec<T> {
4499 /// Allocates a `Vec<T>` and fills it by cloning `s`'s items.
4500 ///
4501 /// # Examples
4502 ///
4503 /// ```
4504 /// assert_eq!(Vec::from(&mut [1, 2, 3]), vec![1, 2, 3]);
4505 /// ```
4506 fn from(s: &mut [T; N]) -> Vec<T> {
4507 Self::from(s.as_mut_slice())
4508 }
4509}
4510
4511#[cfg(not(no_global_oom_handling))]
4512#[stable(feature = "vec_from_array", since = "1.44.0")]
4513impl<T, const N: usize> From<[T; N]> for Vec<T> {
4514 /// Allocates a `Vec<T>` and moves `s`'s items into it.
4515 ///
4516 /// # Examples
4517 ///
4518 /// ```
4519 /// assert_eq!(Vec::from([1, 2, 3]), vec![1, 2, 3]);
4520 /// ```
4521 fn from(s: [T; N]) -> Vec<T> {
4522 <[T]>::into_vec(Box::new(s))
4523 }
4524}
4525
4526#[stable(feature = "vec_from_cow_slice", since = "1.14.0")]
4527impl<'a, T> From<Cow<'a, [T]>> for Vec<T>
4528where
4529 [T]: ToOwned<Owned = Vec<T>>,
4530{
4531 /// Converts a clone-on-write slice into a vector.
4532 ///
4533 /// If `s` already owns a `Vec<T>`, it will be returned directly.
4534 /// If `s` is borrowing a slice, a new `Vec<T>` will be allocated and
4535 /// filled by cloning `s`'s items into it.
4536 ///
4537 /// # Examples
4538 ///
4539 /// ```
4540 /// # use std::borrow::Cow;
4541 /// let o: Cow<'_, [i32]> = Cow::Owned(vec![1, 2, 3]);
4542 /// let b: Cow<'_, [i32]> = Cow::Borrowed(&[1, 2, 3]);
4543 /// assert_eq!(Vec::from(o), Vec::from(b));
4544 /// ```
4545 fn from(s: Cow<'a, [T]>) -> Vec<T> {
4546 s.into_owned()
4547 }
4548}
4549
4550// note: test pulls in std, which causes errors here
4551#[stable(feature = "vec_from_box", since = "1.18.0")]
4552impl<T, A: Allocator> From<Box<[T], A>> for Vec<T, A> {
4553 /// Converts a boxed slice into a vector by transferring ownership of
4554 /// the existing heap allocation.
4555 ///
4556 /// # Examples
4557 ///
4558 /// ```
4559 /// let b: Box<[i32]> = vec![1, 2, 3].into_boxed_slice();
4560 /// assert_eq!(Vec::from(b), vec![1, 2, 3]);
4561 /// ```
4562 fn from(s: Box<[T], A>) -> Self {
4563 s.into_vec()
4564 }
4565}
4566
4567// note: test pulls in std, which causes errors here
4568#[cfg(not(no_global_oom_handling))]
4569#[stable(feature = "box_from_vec", since = "1.20.0")]
4570impl<T, A: Allocator> From<Vec<T, A>> for Box<[T], A> {
4571 /// Converts a vector into a boxed slice.
4572 ///
4573 /// Before doing the conversion, this method discards excess capacity like [`Vec::shrink_to_fit`].
4574 ///
4575 /// [owned slice]: Box
4576 /// [`Vec::shrink_to_fit`]: Vec::shrink_to_fit
4577 ///
4578 /// # Examples
4579 ///
4580 /// ```
4581 /// assert_eq!(Box::from(vec![1, 2, 3]), vec![1, 2, 3].into_boxed_slice());
4582 /// ```
4583 ///
4584 /// Any excess capacity is removed:
4585 /// ```
4586 /// let mut vec = Vec::with_capacity(10);
4587 /// vec.extend([1, 2, 3]);
4588 ///
4589 /// assert_eq!(Box::from(vec), vec![1, 2, 3].into_boxed_slice());
4590 /// ```
4591 fn from(v: Vec<T, A>) -> Self {
4592 v.into_boxed_slice()
4593 }
4594}
4595
4596#[cfg(not(no_global_oom_handling))]
4597#[stable(feature = "rust1", since = "1.0.0")]
4598impl From<&str> for Vec<u8> {
4599 /// Allocates a `Vec<u8>` and fills it with a UTF-8 string.
4600 ///
4601 /// # Examples
4602 ///
4603 /// ```
4604 /// assert_eq!(Vec::from("123"), vec![b'1', b'2', b'3']);
4605 /// ```
4606 fn from(s: &str) -> Vec<u8> {
4607 From::from(s.as_bytes())
4608 }
4609}
4610
4611#[stable(feature = "array_try_from_vec", since = "1.48.0")]
4612#[rustc_const_unstable(feature = "const_convert", issue = "143773")]
4613const impl<T: [const] Destruct, A: [const] Allocator + [const] Destruct, const N: usize>
4614 TryFrom<Vec<T, A>> for [T; N]
4615{
4616 type Error = Vec<T, A>;
4617
4618 /// Gets the entire contents of the `Vec<T>` as an array,
4619 /// if its size exactly matches that of the requested array.
4620 ///
4621 /// # Examples
4622 ///
4623 /// ```
4624 /// assert_eq!(vec![1, 2, 3].try_into(), Ok([1, 2, 3]));
4625 /// assert_eq!(<Vec<i32>>::new().try_into(), Ok([]));
4626 /// ```
4627 ///
4628 /// If the length doesn't match, the input comes back in `Err`:
4629 /// ```
4630 /// let r: Result<[i32; 4], _> = (0..10).collect::<Vec<_>>().try_into();
4631 /// assert_eq!(r, Err(vec![0, 1, 2, 3, 4, 5, 6, 7, 8, 9]));
4632 /// ```
4633 ///
4634 /// If you're fine with just getting a prefix of the `Vec<T>`,
4635 /// you can call [`.truncate(N)`](Vec::truncate) first.
4636 /// ```
4637 /// let mut v = String::from("hello world").into_bytes();
4638 /// v.sort();
4639 /// v.truncate(2);
4640 /// let [a, b]: [_; 2] = v.try_into().unwrap();
4641 /// assert_eq!(a, b' ');
4642 /// assert_eq!(b, b'd');
4643 /// ```
4644 fn try_from(mut vec: Vec<T, A>) -> Result<[T; N], Vec<T, A>> {
4645 if vec.len() != N {
4646 return Err(vec);
4647 }
4648
4649 // SAFETY: `.set_len(0)` is always sound.
4650 unsafe { vec.set_len(0) };
4651
4652 // SAFETY: A `Vec`'s pointer is always aligned properly, and
4653 // the alignment the array needs is the same as the items.
4654 // We checked earlier that we have sufficient items.
4655 // The items will not double-drop as the `set_len`
4656 // tells the `Vec` not to also drop them.
4657 let array = unsafe { ptr::read(vec.as_ptr() as *const [T; N]) };
4658 Ok(array)
4659 }
4660}