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