12aac4cd7SDanilo Krummrich // SPDX-License-Identifier: GPL-2.0 22aac4cd7SDanilo Krummrich 32aac4cd7SDanilo Krummrich //! Implementation of [`Vec`]. 42aac4cd7SDanilo Krummrich 5*a39f3087SMiguel Ojeda // May not be needed in Rust 1.87.0 (pending beta backport). 6*a39f3087SMiguel Ojeda #![allow(clippy::ptr_eq)] 7*a39f3087SMiguel Ojeda 82aac4cd7SDanilo Krummrich use super::{ 92aac4cd7SDanilo Krummrich allocator::{KVmalloc, Kmalloc, Vmalloc}, 102aac4cd7SDanilo Krummrich layout::ArrayLayout, 112aac4cd7SDanilo Krummrich AllocError, Allocator, Box, Flags, 122aac4cd7SDanilo Krummrich }; 132aac4cd7SDanilo Krummrich use core::{ 142aac4cd7SDanilo Krummrich fmt, 152aac4cd7SDanilo Krummrich marker::PhantomData, 162aac4cd7SDanilo Krummrich mem::{ManuallyDrop, MaybeUninit}, 172aac4cd7SDanilo Krummrich ops::Deref, 182aac4cd7SDanilo Krummrich ops::DerefMut, 192aac4cd7SDanilo Krummrich ops::Index, 202aac4cd7SDanilo Krummrich ops::IndexMut, 212aac4cd7SDanilo Krummrich ptr, 222aac4cd7SDanilo Krummrich ptr::NonNull, 232aac4cd7SDanilo Krummrich slice, 242aac4cd7SDanilo Krummrich slice::SliceIndex, 252aac4cd7SDanilo Krummrich }; 262aac4cd7SDanilo Krummrich 272aac4cd7SDanilo Krummrich /// Create a [`KVec`] containing the arguments. 282aac4cd7SDanilo Krummrich /// 292aac4cd7SDanilo Krummrich /// New memory is allocated with `GFP_KERNEL`. 302aac4cd7SDanilo Krummrich /// 312aac4cd7SDanilo Krummrich /// # Examples 322aac4cd7SDanilo Krummrich /// 332aac4cd7SDanilo Krummrich /// ``` 342aac4cd7SDanilo Krummrich /// let mut v = kernel::kvec![]; 352aac4cd7SDanilo Krummrich /// v.push(1, GFP_KERNEL)?; 362aac4cd7SDanilo Krummrich /// assert_eq!(v, [1]); 372aac4cd7SDanilo Krummrich /// 382aac4cd7SDanilo Krummrich /// let mut v = kernel::kvec![1; 3]?; 392aac4cd7SDanilo Krummrich /// v.push(4, GFP_KERNEL)?; 402aac4cd7SDanilo Krummrich /// assert_eq!(v, [1, 1, 1, 4]); 412aac4cd7SDanilo Krummrich /// 422aac4cd7SDanilo Krummrich /// let mut v = kernel::kvec![1, 2, 3]?; 432aac4cd7SDanilo Krummrich /// v.push(4, GFP_KERNEL)?; 442aac4cd7SDanilo Krummrich /// assert_eq!(v, [1, 2, 3, 4]); 452aac4cd7SDanilo Krummrich /// 462aac4cd7SDanilo Krummrich /// # Ok::<(), Error>(()) 472aac4cd7SDanilo Krummrich /// ``` 482aac4cd7SDanilo Krummrich #[macro_export] 492aac4cd7SDanilo Krummrich macro_rules! kvec { 502aac4cd7SDanilo Krummrich () => ( 512aac4cd7SDanilo Krummrich $crate::alloc::KVec::new() 522aac4cd7SDanilo Krummrich ); 532aac4cd7SDanilo Krummrich ($elem:expr; $n:expr) => ( 542aac4cd7SDanilo Krummrich $crate::alloc::KVec::from_elem($elem, $n, GFP_KERNEL) 552aac4cd7SDanilo Krummrich ); 562aac4cd7SDanilo Krummrich ($($x:expr),+ $(,)?) => ( 572aac4cd7SDanilo Krummrich match $crate::alloc::KBox::new_uninit(GFP_KERNEL) { 582aac4cd7SDanilo Krummrich Ok(b) => Ok($crate::alloc::KVec::from($crate::alloc::KBox::write(b, [$($x),+]))), 592aac4cd7SDanilo Krummrich Err(e) => Err(e), 602aac4cd7SDanilo Krummrich } 612aac4cd7SDanilo Krummrich ); 622aac4cd7SDanilo Krummrich } 632aac4cd7SDanilo Krummrich 642aac4cd7SDanilo Krummrich /// The kernel's [`Vec`] type. 652aac4cd7SDanilo Krummrich /// 662aac4cd7SDanilo Krummrich /// A contiguous growable array type with contents allocated with the kernel's allocators (e.g. 672aac4cd7SDanilo Krummrich /// [`Kmalloc`], [`Vmalloc`] or [`KVmalloc`]), written `Vec<T, A>`. 682aac4cd7SDanilo Krummrich /// 692aac4cd7SDanilo Krummrich /// For non-zero-sized values, a [`Vec`] will use the given allocator `A` for its allocation. For 702aac4cd7SDanilo Krummrich /// the most common allocators the type aliases [`KVec`], [`VVec`] and [`KVVec`] exist. 712aac4cd7SDanilo Krummrich /// 722aac4cd7SDanilo Krummrich /// For zero-sized types the [`Vec`]'s pointer must be `dangling_mut::<T>`; no memory is allocated. 732aac4cd7SDanilo Krummrich /// 742aac4cd7SDanilo Krummrich /// Generally, [`Vec`] consists of a pointer that represents the vector's backing buffer, the 752aac4cd7SDanilo Krummrich /// capacity of the vector (the number of elements that currently fit into the vector), its length 762aac4cd7SDanilo Krummrich /// (the number of elements that are currently stored in the vector) and the `Allocator` type used 772aac4cd7SDanilo Krummrich /// to allocate (and free) the backing buffer. 782aac4cd7SDanilo Krummrich /// 792aac4cd7SDanilo Krummrich /// A [`Vec`] can be deconstructed into and (re-)constructed from its previously named raw parts 802aac4cd7SDanilo Krummrich /// and manually modified. 812aac4cd7SDanilo Krummrich /// 822aac4cd7SDanilo Krummrich /// [`Vec`]'s backing buffer gets, if required, automatically increased (re-allocated) when elements 832aac4cd7SDanilo Krummrich /// are added to the vector. 842aac4cd7SDanilo Krummrich /// 852aac4cd7SDanilo Krummrich /// # Invariants 862aac4cd7SDanilo Krummrich /// 872aac4cd7SDanilo Krummrich /// - `self.ptr` is always properly aligned and either points to memory allocated with `A` or, for 882aac4cd7SDanilo Krummrich /// zero-sized types, is a dangling, well aligned pointer. 892aac4cd7SDanilo Krummrich /// 902aac4cd7SDanilo Krummrich /// - `self.len` always represents the exact number of elements stored in the vector. 912aac4cd7SDanilo Krummrich /// 922aac4cd7SDanilo Krummrich /// - `self.layout` represents the absolute number of elements that can be stored within the vector 932aac4cd7SDanilo Krummrich /// without re-allocation. For ZSTs `self.layout`'s capacity is zero. However, it is legal for the 942aac4cd7SDanilo Krummrich /// backing buffer to be larger than `layout`. 952aac4cd7SDanilo Krummrich /// 962aac4cd7SDanilo Krummrich /// - The `Allocator` type `A` of the vector is the exact same `Allocator` type the backing buffer 972aac4cd7SDanilo Krummrich /// was allocated with (and must be freed with). 982aac4cd7SDanilo Krummrich pub struct Vec<T, A: Allocator> { 992aac4cd7SDanilo Krummrich ptr: NonNull<T>, 1002aac4cd7SDanilo Krummrich /// Represents the actual buffer size as `cap` times `size_of::<T>` bytes. 1012aac4cd7SDanilo Krummrich /// 1022aac4cd7SDanilo Krummrich /// Note: This isn't quite the same as `Self::capacity`, which in contrast returns the number of 1032aac4cd7SDanilo Krummrich /// elements we can still store without reallocating. 1042aac4cd7SDanilo Krummrich layout: ArrayLayout<T>, 1052aac4cd7SDanilo Krummrich len: usize, 1062aac4cd7SDanilo Krummrich _p: PhantomData<A>, 1072aac4cd7SDanilo Krummrich } 1082aac4cd7SDanilo Krummrich 1092aac4cd7SDanilo Krummrich /// Type alias for [`Vec`] with a [`Kmalloc`] allocator. 1102aac4cd7SDanilo Krummrich /// 1112aac4cd7SDanilo Krummrich /// # Examples 1122aac4cd7SDanilo Krummrich /// 1132aac4cd7SDanilo Krummrich /// ``` 1142aac4cd7SDanilo Krummrich /// let mut v = KVec::new(); 1152aac4cd7SDanilo Krummrich /// v.push(1, GFP_KERNEL)?; 1162aac4cd7SDanilo Krummrich /// assert_eq!(&v, &[1]); 1172aac4cd7SDanilo Krummrich /// 1182aac4cd7SDanilo Krummrich /// # Ok::<(), Error>(()) 1192aac4cd7SDanilo Krummrich /// ``` 1202aac4cd7SDanilo Krummrich pub type KVec<T> = Vec<T, Kmalloc>; 1212aac4cd7SDanilo Krummrich 1222aac4cd7SDanilo Krummrich /// Type alias for [`Vec`] with a [`Vmalloc`] allocator. 1232aac4cd7SDanilo Krummrich /// 1242aac4cd7SDanilo Krummrich /// # Examples 1252aac4cd7SDanilo Krummrich /// 1262aac4cd7SDanilo Krummrich /// ``` 1272aac4cd7SDanilo Krummrich /// let mut v = VVec::new(); 1282aac4cd7SDanilo Krummrich /// v.push(1, GFP_KERNEL)?; 1292aac4cd7SDanilo Krummrich /// assert_eq!(&v, &[1]); 1302aac4cd7SDanilo Krummrich /// 1312aac4cd7SDanilo Krummrich /// # Ok::<(), Error>(()) 1322aac4cd7SDanilo Krummrich /// ``` 1332aac4cd7SDanilo Krummrich pub type VVec<T> = Vec<T, Vmalloc>; 1342aac4cd7SDanilo Krummrich 1352aac4cd7SDanilo Krummrich /// Type alias for [`Vec`] with a [`KVmalloc`] allocator. 1362aac4cd7SDanilo Krummrich /// 1372aac4cd7SDanilo Krummrich /// # Examples 1382aac4cd7SDanilo Krummrich /// 1392aac4cd7SDanilo Krummrich /// ``` 1402aac4cd7SDanilo Krummrich /// let mut v = KVVec::new(); 1412aac4cd7SDanilo Krummrich /// v.push(1, GFP_KERNEL)?; 1422aac4cd7SDanilo Krummrich /// assert_eq!(&v, &[1]); 1432aac4cd7SDanilo Krummrich /// 1442aac4cd7SDanilo Krummrich /// # Ok::<(), Error>(()) 1452aac4cd7SDanilo Krummrich /// ``` 1462aac4cd7SDanilo Krummrich pub type KVVec<T> = Vec<T, KVmalloc>; 1472aac4cd7SDanilo Krummrich 1482aac4cd7SDanilo Krummrich // SAFETY: `Vec` is `Send` if `T` is `Send` because `Vec` owns its elements. 1492aac4cd7SDanilo Krummrich unsafe impl<T, A> Send for Vec<T, A> 1502aac4cd7SDanilo Krummrich where 1512aac4cd7SDanilo Krummrich T: Send, 1522aac4cd7SDanilo Krummrich A: Allocator, 1532aac4cd7SDanilo Krummrich { 1542aac4cd7SDanilo Krummrich } 1552aac4cd7SDanilo Krummrich 1562aac4cd7SDanilo Krummrich // SAFETY: `Vec` is `Sync` if `T` is `Sync` because `Vec` owns its elements. 1572aac4cd7SDanilo Krummrich unsafe impl<T, A> Sync for Vec<T, A> 1582aac4cd7SDanilo Krummrich where 1592aac4cd7SDanilo Krummrich T: Sync, 1602aac4cd7SDanilo Krummrich A: Allocator, 1612aac4cd7SDanilo Krummrich { 1622aac4cd7SDanilo Krummrich } 1632aac4cd7SDanilo Krummrich 1642aac4cd7SDanilo Krummrich impl<T, A> Vec<T, A> 1652aac4cd7SDanilo Krummrich where 1662aac4cd7SDanilo Krummrich A: Allocator, 1672aac4cd7SDanilo Krummrich { 1682aac4cd7SDanilo Krummrich #[inline] is_zst() -> bool1692aac4cd7SDanilo Krummrich const fn is_zst() -> bool { 1702aac4cd7SDanilo Krummrich core::mem::size_of::<T>() == 0 1712aac4cd7SDanilo Krummrich } 1722aac4cd7SDanilo Krummrich 1732aac4cd7SDanilo Krummrich /// Returns the number of elements that can be stored within the vector without allocating 1742aac4cd7SDanilo Krummrich /// additional memory. capacity(&self) -> usize1752aac4cd7SDanilo Krummrich pub fn capacity(&self) -> usize { 1762aac4cd7SDanilo Krummrich if const { Self::is_zst() } { 1772aac4cd7SDanilo Krummrich usize::MAX 1782aac4cd7SDanilo Krummrich } else { 1792aac4cd7SDanilo Krummrich self.layout.len() 1802aac4cd7SDanilo Krummrich } 1812aac4cd7SDanilo Krummrich } 1822aac4cd7SDanilo Krummrich 1832aac4cd7SDanilo Krummrich /// Returns the number of elements stored within the vector. 1842aac4cd7SDanilo Krummrich #[inline] len(&self) -> usize1852aac4cd7SDanilo Krummrich pub fn len(&self) -> usize { 1862aac4cd7SDanilo Krummrich self.len 1872aac4cd7SDanilo Krummrich } 1882aac4cd7SDanilo Krummrich 1892aac4cd7SDanilo Krummrich /// Forcefully sets `self.len` to `new_len`. 1902aac4cd7SDanilo Krummrich /// 1912aac4cd7SDanilo Krummrich /// # Safety 1922aac4cd7SDanilo Krummrich /// 1932aac4cd7SDanilo Krummrich /// - `new_len` must be less than or equal to [`Self::capacity`]. 1942aac4cd7SDanilo Krummrich /// - If `new_len` is greater than `self.len`, all elements within the interval 1952aac4cd7SDanilo Krummrich /// [`self.len`,`new_len`) must be initialized. 1962aac4cd7SDanilo Krummrich #[inline] set_len(&mut self, new_len: usize)1972aac4cd7SDanilo Krummrich pub unsafe fn set_len(&mut self, new_len: usize) { 1982aac4cd7SDanilo Krummrich debug_assert!(new_len <= self.capacity()); 1992aac4cd7SDanilo Krummrich self.len = new_len; 2002aac4cd7SDanilo Krummrich } 2012aac4cd7SDanilo Krummrich 2022aac4cd7SDanilo Krummrich /// Returns a slice of the entire vector. 2032aac4cd7SDanilo Krummrich #[inline] as_slice(&self) -> &[T]2042aac4cd7SDanilo Krummrich pub fn as_slice(&self) -> &[T] { 2052aac4cd7SDanilo Krummrich self 2062aac4cd7SDanilo Krummrich } 2072aac4cd7SDanilo Krummrich 2082aac4cd7SDanilo Krummrich /// Returns a mutable slice of the entire vector. 2092aac4cd7SDanilo Krummrich #[inline] as_mut_slice(&mut self) -> &mut [T]2102aac4cd7SDanilo Krummrich pub fn as_mut_slice(&mut self) -> &mut [T] { 2112aac4cd7SDanilo Krummrich self 2122aac4cd7SDanilo Krummrich } 2132aac4cd7SDanilo Krummrich 2142aac4cd7SDanilo Krummrich /// Returns a mutable raw pointer to the vector's backing buffer, or, if `T` is a ZST, a 2152aac4cd7SDanilo Krummrich /// dangling raw pointer. 2162aac4cd7SDanilo Krummrich #[inline] as_mut_ptr(&mut self) -> *mut T2172aac4cd7SDanilo Krummrich pub fn as_mut_ptr(&mut self) -> *mut T { 2182aac4cd7SDanilo Krummrich self.ptr.as_ptr() 2192aac4cd7SDanilo Krummrich } 2202aac4cd7SDanilo Krummrich 2212aac4cd7SDanilo Krummrich /// Returns a raw pointer to the vector's backing buffer, or, if `T` is a ZST, a dangling raw 2222aac4cd7SDanilo Krummrich /// pointer. 2232aac4cd7SDanilo Krummrich #[inline] as_ptr(&self) -> *const T2242aac4cd7SDanilo Krummrich pub fn as_ptr(&self) -> *const T { 2252aac4cd7SDanilo Krummrich self.ptr.as_ptr() 2262aac4cd7SDanilo Krummrich } 2272aac4cd7SDanilo Krummrich 2282aac4cd7SDanilo Krummrich /// Returns `true` if the vector contains no elements, `false` otherwise. 2292aac4cd7SDanilo Krummrich /// 2302aac4cd7SDanilo Krummrich /// # Examples 2312aac4cd7SDanilo Krummrich /// 2322aac4cd7SDanilo Krummrich /// ``` 2332aac4cd7SDanilo Krummrich /// let mut v = KVec::new(); 2342aac4cd7SDanilo Krummrich /// assert!(v.is_empty()); 2352aac4cd7SDanilo Krummrich /// 2362aac4cd7SDanilo Krummrich /// v.push(1, GFP_KERNEL); 2372aac4cd7SDanilo Krummrich /// assert!(!v.is_empty()); 2382aac4cd7SDanilo Krummrich /// ``` 2392aac4cd7SDanilo Krummrich #[inline] is_empty(&self) -> bool2402aac4cd7SDanilo Krummrich pub fn is_empty(&self) -> bool { 2412aac4cd7SDanilo Krummrich self.len() == 0 2422aac4cd7SDanilo Krummrich } 2432aac4cd7SDanilo Krummrich 2442aac4cd7SDanilo Krummrich /// Creates a new, empty `Vec<T, A>`. 2452aac4cd7SDanilo Krummrich /// 2462aac4cd7SDanilo Krummrich /// This method does not allocate by itself. 2472aac4cd7SDanilo Krummrich #[inline] new() -> Self2482aac4cd7SDanilo Krummrich pub const fn new() -> Self { 2492aac4cd7SDanilo Krummrich // INVARIANT: Since this is a new, empty `Vec` with no backing memory yet, 2502aac4cd7SDanilo Krummrich // - `ptr` is a properly aligned dangling pointer for type `T`, 2512aac4cd7SDanilo Krummrich // - `layout` is an empty `ArrayLayout` (zero capacity) 2522aac4cd7SDanilo Krummrich // - `len` is zero, since no elements can be or have been stored, 2532aac4cd7SDanilo Krummrich // - `A` is always valid. 2542aac4cd7SDanilo Krummrich Self { 2552aac4cd7SDanilo Krummrich ptr: NonNull::dangling(), 2562aac4cd7SDanilo Krummrich layout: ArrayLayout::empty(), 2572aac4cd7SDanilo Krummrich len: 0, 2582aac4cd7SDanilo Krummrich _p: PhantomData::<A>, 2592aac4cd7SDanilo Krummrich } 2602aac4cd7SDanilo Krummrich } 2612aac4cd7SDanilo Krummrich 2622aac4cd7SDanilo Krummrich /// Returns a slice of `MaybeUninit<T>` for the remaining spare capacity of the vector. spare_capacity_mut(&mut self) -> &mut [MaybeUninit<T>]2632aac4cd7SDanilo Krummrich pub fn spare_capacity_mut(&mut self) -> &mut [MaybeUninit<T>] { 2642aac4cd7SDanilo Krummrich // SAFETY: 2652aac4cd7SDanilo Krummrich // - `self.len` is smaller than `self.capacity` and hence, the resulting pointer is 2662aac4cd7SDanilo Krummrich // guaranteed to be part of the same allocated object. 2672aac4cd7SDanilo Krummrich // - `self.len` can not overflow `isize`. 2682aac4cd7SDanilo Krummrich let ptr = unsafe { self.as_mut_ptr().add(self.len) } as *mut MaybeUninit<T>; 2692aac4cd7SDanilo Krummrich 2702aac4cd7SDanilo Krummrich // SAFETY: The memory between `self.len` and `self.capacity` is guaranteed to be allocated 2712aac4cd7SDanilo Krummrich // and valid, but uninitialized. 2722aac4cd7SDanilo Krummrich unsafe { slice::from_raw_parts_mut(ptr, self.capacity() - self.len) } 2732aac4cd7SDanilo Krummrich } 2742aac4cd7SDanilo Krummrich 2752aac4cd7SDanilo Krummrich /// Appends an element to the back of the [`Vec`] instance. 2762aac4cd7SDanilo Krummrich /// 2772aac4cd7SDanilo Krummrich /// # Examples 2782aac4cd7SDanilo Krummrich /// 2792aac4cd7SDanilo Krummrich /// ``` 2802aac4cd7SDanilo Krummrich /// let mut v = KVec::new(); 2812aac4cd7SDanilo Krummrich /// v.push(1, GFP_KERNEL)?; 2822aac4cd7SDanilo Krummrich /// assert_eq!(&v, &[1]); 2832aac4cd7SDanilo Krummrich /// 2842aac4cd7SDanilo Krummrich /// v.push(2, GFP_KERNEL)?; 2852aac4cd7SDanilo Krummrich /// assert_eq!(&v, &[1, 2]); 2862aac4cd7SDanilo Krummrich /// # Ok::<(), Error>(()) 2872aac4cd7SDanilo Krummrich /// ``` push(&mut self, v: T, flags: Flags) -> Result<(), AllocError>2882aac4cd7SDanilo Krummrich pub fn push(&mut self, v: T, flags: Flags) -> Result<(), AllocError> { 2892aac4cd7SDanilo Krummrich self.reserve(1, flags)?; 2902aac4cd7SDanilo Krummrich 2912aac4cd7SDanilo Krummrich // SAFETY: 2922aac4cd7SDanilo Krummrich // - `self.len` is smaller than `self.capacity` and hence, the resulting pointer is 2932aac4cd7SDanilo Krummrich // guaranteed to be part of the same allocated object. 2942aac4cd7SDanilo Krummrich // - `self.len` can not overflow `isize`. 2952aac4cd7SDanilo Krummrich let ptr = unsafe { self.as_mut_ptr().add(self.len) }; 2962aac4cd7SDanilo Krummrich 2972aac4cd7SDanilo Krummrich // SAFETY: 2982aac4cd7SDanilo Krummrich // - `ptr` is properly aligned and valid for writes. 2992aac4cd7SDanilo Krummrich unsafe { core::ptr::write(ptr, v) }; 3002aac4cd7SDanilo Krummrich 3012aac4cd7SDanilo Krummrich // SAFETY: We just initialised the first spare entry, so it is safe to increase the length 3022aac4cd7SDanilo Krummrich // by 1. We also know that the new length is <= capacity because of the previous call to 3032aac4cd7SDanilo Krummrich // `reserve` above. 3042aac4cd7SDanilo Krummrich unsafe { self.set_len(self.len() + 1) }; 3052aac4cd7SDanilo Krummrich Ok(()) 3062aac4cd7SDanilo Krummrich } 3072aac4cd7SDanilo Krummrich 3082aac4cd7SDanilo Krummrich /// Creates a new [`Vec`] instance with at least the given capacity. 3092aac4cd7SDanilo Krummrich /// 3102aac4cd7SDanilo Krummrich /// # Examples 3112aac4cd7SDanilo Krummrich /// 3122aac4cd7SDanilo Krummrich /// ``` 3132aac4cd7SDanilo Krummrich /// let v = KVec::<u32>::with_capacity(20, GFP_KERNEL)?; 3142aac4cd7SDanilo Krummrich /// 3152aac4cd7SDanilo Krummrich /// assert!(v.capacity() >= 20); 3162aac4cd7SDanilo Krummrich /// # Ok::<(), Error>(()) 3172aac4cd7SDanilo Krummrich /// ``` with_capacity(capacity: usize, flags: Flags) -> Result<Self, AllocError>3182aac4cd7SDanilo Krummrich pub fn with_capacity(capacity: usize, flags: Flags) -> Result<Self, AllocError> { 3192aac4cd7SDanilo Krummrich let mut v = Vec::new(); 3202aac4cd7SDanilo Krummrich 3212aac4cd7SDanilo Krummrich v.reserve(capacity, flags)?; 3222aac4cd7SDanilo Krummrich 3232aac4cd7SDanilo Krummrich Ok(v) 3242aac4cd7SDanilo Krummrich } 3252aac4cd7SDanilo Krummrich 3262aac4cd7SDanilo Krummrich /// Creates a `Vec<T, A>` from a pointer, a length and a capacity using the allocator `A`. 3272aac4cd7SDanilo Krummrich /// 3282aac4cd7SDanilo Krummrich /// # Examples 3292aac4cd7SDanilo Krummrich /// 3302aac4cd7SDanilo Krummrich /// ``` 3312aac4cd7SDanilo Krummrich /// let mut v = kernel::kvec![1, 2, 3]?; 3322aac4cd7SDanilo Krummrich /// v.reserve(1, GFP_KERNEL)?; 3332aac4cd7SDanilo Krummrich /// 3342aac4cd7SDanilo Krummrich /// let (mut ptr, mut len, cap) = v.into_raw_parts(); 3352aac4cd7SDanilo Krummrich /// 3362aac4cd7SDanilo Krummrich /// // SAFETY: We've just reserved memory for another element. 3372aac4cd7SDanilo Krummrich /// unsafe { ptr.add(len).write(4) }; 3382aac4cd7SDanilo Krummrich /// len += 1; 3392aac4cd7SDanilo Krummrich /// 3402aac4cd7SDanilo Krummrich /// // SAFETY: We only wrote an additional element at the end of the `KVec`'s buffer and 3412aac4cd7SDanilo Krummrich /// // correspondingly increased the length of the `KVec` by one. Otherwise, we construct it 3422aac4cd7SDanilo Krummrich /// // from the exact same raw parts. 3432aac4cd7SDanilo Krummrich /// let v = unsafe { KVec::from_raw_parts(ptr, len, cap) }; 3442aac4cd7SDanilo Krummrich /// 3452aac4cd7SDanilo Krummrich /// assert_eq!(v, [1, 2, 3, 4]); 3462aac4cd7SDanilo Krummrich /// 3472aac4cd7SDanilo Krummrich /// # Ok::<(), Error>(()) 3482aac4cd7SDanilo Krummrich /// ``` 3492aac4cd7SDanilo Krummrich /// 3502aac4cd7SDanilo Krummrich /// # Safety 3512aac4cd7SDanilo Krummrich /// 3522aac4cd7SDanilo Krummrich /// If `T` is a ZST: 3532aac4cd7SDanilo Krummrich /// 3542aac4cd7SDanilo Krummrich /// - `ptr` must be a dangling, well aligned pointer. 3552aac4cd7SDanilo Krummrich /// 3562aac4cd7SDanilo Krummrich /// Otherwise: 3572aac4cd7SDanilo Krummrich /// 3582aac4cd7SDanilo Krummrich /// - `ptr` must have been allocated with the allocator `A`. 3592aac4cd7SDanilo Krummrich /// - `ptr` must satisfy or exceed the alignment requirements of `T`. 3602aac4cd7SDanilo Krummrich /// - `ptr` must point to memory with a size of at least `size_of::<T>() * capacity` bytes. 3612aac4cd7SDanilo Krummrich /// - The allocated size in bytes must not be larger than `isize::MAX`. 3622aac4cd7SDanilo Krummrich /// - `length` must be less than or equal to `capacity`. 3632aac4cd7SDanilo Krummrich /// - The first `length` elements must be initialized values of type `T`. 3642aac4cd7SDanilo Krummrich /// 3652aac4cd7SDanilo Krummrich /// It is also valid to create an empty `Vec` passing a dangling pointer for `ptr` and zero for 3662aac4cd7SDanilo Krummrich /// `cap` and `len`. from_raw_parts(ptr: *mut T, length: usize, capacity: usize) -> Self3672aac4cd7SDanilo Krummrich pub unsafe fn from_raw_parts(ptr: *mut T, length: usize, capacity: usize) -> Self { 3682aac4cd7SDanilo Krummrich let layout = if Self::is_zst() { 3692aac4cd7SDanilo Krummrich ArrayLayout::empty() 3702aac4cd7SDanilo Krummrich } else { 3712aac4cd7SDanilo Krummrich // SAFETY: By the safety requirements of this function, `capacity * size_of::<T>()` is 3722aac4cd7SDanilo Krummrich // smaller than `isize::MAX`. 3732aac4cd7SDanilo Krummrich unsafe { ArrayLayout::new_unchecked(capacity) } 3742aac4cd7SDanilo Krummrich }; 3752aac4cd7SDanilo Krummrich 3762aac4cd7SDanilo Krummrich // INVARIANT: For ZSTs, we store an empty `ArrayLayout`, all other type invariants are 3772aac4cd7SDanilo Krummrich // covered by the safety requirements of this function. 3782aac4cd7SDanilo Krummrich Self { 3792aac4cd7SDanilo Krummrich // SAFETY: By the safety requirements, `ptr` is either dangling or pointing to a valid 3802aac4cd7SDanilo Krummrich // memory allocation, allocated with `A`. 3812aac4cd7SDanilo Krummrich ptr: unsafe { NonNull::new_unchecked(ptr) }, 3822aac4cd7SDanilo Krummrich layout, 3832aac4cd7SDanilo Krummrich len: length, 3842aac4cd7SDanilo Krummrich _p: PhantomData::<A>, 3852aac4cd7SDanilo Krummrich } 3862aac4cd7SDanilo Krummrich } 3872aac4cd7SDanilo Krummrich 3882aac4cd7SDanilo Krummrich /// Consumes the `Vec<T, A>` and returns its raw components `pointer`, `length` and `capacity`. 3892aac4cd7SDanilo Krummrich /// 3902aac4cd7SDanilo Krummrich /// This will not run the destructor of the contained elements and for non-ZSTs the allocation 3912aac4cd7SDanilo Krummrich /// will stay alive indefinitely. Use [`Vec::from_raw_parts`] to recover the [`Vec`], drop the 3922aac4cd7SDanilo Krummrich /// elements and free the allocation, if any. into_raw_parts(self) -> (*mut T, usize, usize)3932aac4cd7SDanilo Krummrich pub fn into_raw_parts(self) -> (*mut T, usize, usize) { 3942aac4cd7SDanilo Krummrich let mut me = ManuallyDrop::new(self); 3952aac4cd7SDanilo Krummrich let len = me.len(); 3962aac4cd7SDanilo Krummrich let capacity = me.capacity(); 3972aac4cd7SDanilo Krummrich let ptr = me.as_mut_ptr(); 3982aac4cd7SDanilo Krummrich (ptr, len, capacity) 3992aac4cd7SDanilo Krummrich } 4002aac4cd7SDanilo Krummrich 4012aac4cd7SDanilo Krummrich /// Ensures that the capacity exceeds the length by at least `additional` elements. 4022aac4cd7SDanilo Krummrich /// 4032aac4cd7SDanilo Krummrich /// # Examples 4042aac4cd7SDanilo Krummrich /// 4052aac4cd7SDanilo Krummrich /// ``` 4062aac4cd7SDanilo Krummrich /// let mut v = KVec::new(); 4072aac4cd7SDanilo Krummrich /// v.push(1, GFP_KERNEL)?; 4082aac4cd7SDanilo Krummrich /// 4092aac4cd7SDanilo Krummrich /// v.reserve(10, GFP_KERNEL)?; 4102aac4cd7SDanilo Krummrich /// let cap = v.capacity(); 4112aac4cd7SDanilo Krummrich /// assert!(cap >= 10); 4122aac4cd7SDanilo Krummrich /// 4132aac4cd7SDanilo Krummrich /// v.reserve(10, GFP_KERNEL)?; 4142aac4cd7SDanilo Krummrich /// let new_cap = v.capacity(); 4152aac4cd7SDanilo Krummrich /// assert_eq!(new_cap, cap); 4162aac4cd7SDanilo Krummrich /// 4172aac4cd7SDanilo Krummrich /// # Ok::<(), Error>(()) 4182aac4cd7SDanilo Krummrich /// ``` reserve(&mut self, additional: usize, flags: Flags) -> Result<(), AllocError>4192aac4cd7SDanilo Krummrich pub fn reserve(&mut self, additional: usize, flags: Flags) -> Result<(), AllocError> { 4202aac4cd7SDanilo Krummrich let len = self.len(); 4212aac4cd7SDanilo Krummrich let cap = self.capacity(); 4222aac4cd7SDanilo Krummrich 4232aac4cd7SDanilo Krummrich if cap - len >= additional { 4242aac4cd7SDanilo Krummrich return Ok(()); 4252aac4cd7SDanilo Krummrich } 4262aac4cd7SDanilo Krummrich 4272aac4cd7SDanilo Krummrich if Self::is_zst() { 4282aac4cd7SDanilo Krummrich // The capacity is already `usize::MAX` for ZSTs, we can't go higher. 4292aac4cd7SDanilo Krummrich return Err(AllocError); 4302aac4cd7SDanilo Krummrich } 4312aac4cd7SDanilo Krummrich 4322aac4cd7SDanilo Krummrich // We know that `cap <= isize::MAX` because of the type invariants of `Self`. So the 4332aac4cd7SDanilo Krummrich // multiplication by two won't overflow. 4342aac4cd7SDanilo Krummrich let new_cap = core::cmp::max(cap * 2, len.checked_add(additional).ok_or(AllocError)?); 4352aac4cd7SDanilo Krummrich let layout = ArrayLayout::new(new_cap).map_err(|_| AllocError)?; 4362aac4cd7SDanilo Krummrich 4372aac4cd7SDanilo Krummrich // SAFETY: 4382aac4cd7SDanilo Krummrich // - `ptr` is valid because it's either `None` or comes from a previous call to 4392aac4cd7SDanilo Krummrich // `A::realloc`. 4402aac4cd7SDanilo Krummrich // - `self.layout` matches the `ArrayLayout` of the preceding allocation. 4412aac4cd7SDanilo Krummrich let ptr = unsafe { 4422aac4cd7SDanilo Krummrich A::realloc( 4432aac4cd7SDanilo Krummrich Some(self.ptr.cast()), 4442aac4cd7SDanilo Krummrich layout.into(), 4452aac4cd7SDanilo Krummrich self.layout.into(), 4462aac4cd7SDanilo Krummrich flags, 4472aac4cd7SDanilo Krummrich )? 4482aac4cd7SDanilo Krummrich }; 4492aac4cd7SDanilo Krummrich 4502aac4cd7SDanilo Krummrich // INVARIANT: 4512aac4cd7SDanilo Krummrich // - `layout` is some `ArrayLayout::<T>`, 4522aac4cd7SDanilo Krummrich // - `ptr` has been created by `A::realloc` from `layout`. 4532aac4cd7SDanilo Krummrich self.ptr = ptr.cast(); 4542aac4cd7SDanilo Krummrich self.layout = layout; 4552aac4cd7SDanilo Krummrich 4562aac4cd7SDanilo Krummrich Ok(()) 4572aac4cd7SDanilo Krummrich } 4582aac4cd7SDanilo Krummrich } 4592aac4cd7SDanilo Krummrich 4602aac4cd7SDanilo Krummrich impl<T: Clone, A: Allocator> Vec<T, A> { 4612aac4cd7SDanilo Krummrich /// Extend the vector by `n` clones of `value`. extend_with(&mut self, n: usize, value: T, flags: Flags) -> Result<(), AllocError>4622aac4cd7SDanilo Krummrich pub fn extend_with(&mut self, n: usize, value: T, flags: Flags) -> Result<(), AllocError> { 4632aac4cd7SDanilo Krummrich if n == 0 { 4642aac4cd7SDanilo Krummrich return Ok(()); 4652aac4cd7SDanilo Krummrich } 4662aac4cd7SDanilo Krummrich 4672aac4cd7SDanilo Krummrich self.reserve(n, flags)?; 4682aac4cd7SDanilo Krummrich 4692aac4cd7SDanilo Krummrich let spare = self.spare_capacity_mut(); 4702aac4cd7SDanilo Krummrich 4712aac4cd7SDanilo Krummrich for item in spare.iter_mut().take(n - 1) { 4722aac4cd7SDanilo Krummrich item.write(value.clone()); 4732aac4cd7SDanilo Krummrich } 4742aac4cd7SDanilo Krummrich 4752aac4cd7SDanilo Krummrich // We can write the last element directly without cloning needlessly. 4762aac4cd7SDanilo Krummrich spare[n - 1].write(value); 4772aac4cd7SDanilo Krummrich 4782aac4cd7SDanilo Krummrich // SAFETY: 4792aac4cd7SDanilo Krummrich // - `self.len() + n < self.capacity()` due to the call to reserve above, 4802aac4cd7SDanilo Krummrich // - the loop and the line above initialized the next `n` elements. 4812aac4cd7SDanilo Krummrich unsafe { self.set_len(self.len() + n) }; 4822aac4cd7SDanilo Krummrich 4832aac4cd7SDanilo Krummrich Ok(()) 4842aac4cd7SDanilo Krummrich } 4852aac4cd7SDanilo Krummrich 4862aac4cd7SDanilo Krummrich /// Pushes clones of the elements of slice into the [`Vec`] instance. 4872aac4cd7SDanilo Krummrich /// 4882aac4cd7SDanilo Krummrich /// # Examples 4892aac4cd7SDanilo Krummrich /// 4902aac4cd7SDanilo Krummrich /// ``` 4912aac4cd7SDanilo Krummrich /// let mut v = KVec::new(); 4922aac4cd7SDanilo Krummrich /// v.push(1, GFP_KERNEL)?; 4932aac4cd7SDanilo Krummrich /// 4942aac4cd7SDanilo Krummrich /// v.extend_from_slice(&[20, 30, 40], GFP_KERNEL)?; 4952aac4cd7SDanilo Krummrich /// assert_eq!(&v, &[1, 20, 30, 40]); 4962aac4cd7SDanilo Krummrich /// 4972aac4cd7SDanilo Krummrich /// v.extend_from_slice(&[50, 60], GFP_KERNEL)?; 4982aac4cd7SDanilo Krummrich /// assert_eq!(&v, &[1, 20, 30, 40, 50, 60]); 4992aac4cd7SDanilo Krummrich /// # Ok::<(), Error>(()) 5002aac4cd7SDanilo Krummrich /// ``` extend_from_slice(&mut self, other: &[T], flags: Flags) -> Result<(), AllocError>5012aac4cd7SDanilo Krummrich pub fn extend_from_slice(&mut self, other: &[T], flags: Flags) -> Result<(), AllocError> { 5022aac4cd7SDanilo Krummrich self.reserve(other.len(), flags)?; 5032aac4cd7SDanilo Krummrich for (slot, item) in core::iter::zip(self.spare_capacity_mut(), other) { 5042aac4cd7SDanilo Krummrich slot.write(item.clone()); 5052aac4cd7SDanilo Krummrich } 5062aac4cd7SDanilo Krummrich 5072aac4cd7SDanilo Krummrich // SAFETY: 5082aac4cd7SDanilo Krummrich // - `other.len()` spare entries have just been initialized, so it is safe to increase 5092aac4cd7SDanilo Krummrich // the length by the same number. 5102aac4cd7SDanilo Krummrich // - `self.len() + other.len() <= self.capacity()` is guaranteed by the preceding `reserve` 5112aac4cd7SDanilo Krummrich // call. 5122aac4cd7SDanilo Krummrich unsafe { self.set_len(self.len() + other.len()) }; 5132aac4cd7SDanilo Krummrich Ok(()) 5142aac4cd7SDanilo Krummrich } 5152aac4cd7SDanilo Krummrich 5162aac4cd7SDanilo Krummrich /// Create a new `Vec<T, A>` and extend it by `n` clones of `value`. from_elem(value: T, n: usize, flags: Flags) -> Result<Self, AllocError>5172aac4cd7SDanilo Krummrich pub fn from_elem(value: T, n: usize, flags: Flags) -> Result<Self, AllocError> { 5182aac4cd7SDanilo Krummrich let mut v = Self::with_capacity(n, flags)?; 5192aac4cd7SDanilo Krummrich 5202aac4cd7SDanilo Krummrich v.extend_with(n, value, flags)?; 5212aac4cd7SDanilo Krummrich 5222aac4cd7SDanilo Krummrich Ok(v) 5232aac4cd7SDanilo Krummrich } 5242aac4cd7SDanilo Krummrich } 5252aac4cd7SDanilo Krummrich 5262aac4cd7SDanilo Krummrich impl<T, A> Drop for Vec<T, A> 5272aac4cd7SDanilo Krummrich where 5282aac4cd7SDanilo Krummrich A: Allocator, 5292aac4cd7SDanilo Krummrich { drop(&mut self)5302aac4cd7SDanilo Krummrich fn drop(&mut self) { 5312aac4cd7SDanilo Krummrich // SAFETY: `self.as_mut_ptr` is guaranteed to be valid by the type invariant. 5322aac4cd7SDanilo Krummrich unsafe { 5332aac4cd7SDanilo Krummrich ptr::drop_in_place(core::ptr::slice_from_raw_parts_mut( 5342aac4cd7SDanilo Krummrich self.as_mut_ptr(), 5352aac4cd7SDanilo Krummrich self.len, 5362aac4cd7SDanilo Krummrich )) 5372aac4cd7SDanilo Krummrich }; 5382aac4cd7SDanilo Krummrich 5392aac4cd7SDanilo Krummrich // SAFETY: 5402aac4cd7SDanilo Krummrich // - `self.ptr` was previously allocated with `A`. 5412aac4cd7SDanilo Krummrich // - `self.layout` matches the `ArrayLayout` of the preceding allocation. 5422aac4cd7SDanilo Krummrich unsafe { A::free(self.ptr.cast(), self.layout.into()) }; 5432aac4cd7SDanilo Krummrich } 5442aac4cd7SDanilo Krummrich } 5452aac4cd7SDanilo Krummrich 5462aac4cd7SDanilo Krummrich impl<T, A, const N: usize> From<Box<[T; N], A>> for Vec<T, A> 5472aac4cd7SDanilo Krummrich where 5482aac4cd7SDanilo Krummrich A: Allocator, 5492aac4cd7SDanilo Krummrich { from(b: Box<[T; N], A>) -> Vec<T, A>5502aac4cd7SDanilo Krummrich fn from(b: Box<[T; N], A>) -> Vec<T, A> { 5512aac4cd7SDanilo Krummrich let len = b.len(); 5522aac4cd7SDanilo Krummrich let ptr = Box::into_raw(b); 5532aac4cd7SDanilo Krummrich 5542aac4cd7SDanilo Krummrich // SAFETY: 5552aac4cd7SDanilo Krummrich // - `b` has been allocated with `A`, 5562aac4cd7SDanilo Krummrich // - `ptr` fulfills the alignment requirements for `T`, 5572aac4cd7SDanilo Krummrich // - `ptr` points to memory with at least a size of `size_of::<T>() * len`, 5582aac4cd7SDanilo Krummrich // - all elements within `b` are initialized values of `T`, 5592aac4cd7SDanilo Krummrich // - `len` does not exceed `isize::MAX`. 5602aac4cd7SDanilo Krummrich unsafe { Vec::from_raw_parts(ptr as _, len, len) } 5612aac4cd7SDanilo Krummrich } 5622aac4cd7SDanilo Krummrich } 5632aac4cd7SDanilo Krummrich 5642aac4cd7SDanilo Krummrich impl<T> Default for KVec<T> { 5652aac4cd7SDanilo Krummrich #[inline] default() -> Self5662aac4cd7SDanilo Krummrich fn default() -> Self { 5672aac4cd7SDanilo Krummrich Self::new() 5682aac4cd7SDanilo Krummrich } 5692aac4cd7SDanilo Krummrich } 5702aac4cd7SDanilo Krummrich 5712aac4cd7SDanilo Krummrich impl<T: fmt::Debug, A: Allocator> fmt::Debug for Vec<T, A> { fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result5722aac4cd7SDanilo Krummrich fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result { 5732aac4cd7SDanilo Krummrich fmt::Debug::fmt(&**self, f) 5742aac4cd7SDanilo Krummrich } 5752aac4cd7SDanilo Krummrich } 5762aac4cd7SDanilo Krummrich 5772aac4cd7SDanilo Krummrich impl<T, A> Deref for Vec<T, A> 5782aac4cd7SDanilo Krummrich where 5792aac4cd7SDanilo Krummrich A: Allocator, 5802aac4cd7SDanilo Krummrich { 5812aac4cd7SDanilo Krummrich type Target = [T]; 5822aac4cd7SDanilo Krummrich 5832aac4cd7SDanilo Krummrich #[inline] deref(&self) -> &[T]5842aac4cd7SDanilo Krummrich fn deref(&self) -> &[T] { 5852aac4cd7SDanilo Krummrich // SAFETY: The memory behind `self.as_ptr()` is guaranteed to contain `self.len` 5862aac4cd7SDanilo Krummrich // initialized elements of type `T`. 5872aac4cd7SDanilo Krummrich unsafe { slice::from_raw_parts(self.as_ptr(), self.len) } 5882aac4cd7SDanilo Krummrich } 5892aac4cd7SDanilo Krummrich } 5902aac4cd7SDanilo Krummrich 5912aac4cd7SDanilo Krummrich impl<T, A> DerefMut for Vec<T, A> 5922aac4cd7SDanilo Krummrich where 5932aac4cd7SDanilo Krummrich A: Allocator, 5942aac4cd7SDanilo Krummrich { 5952aac4cd7SDanilo Krummrich #[inline] deref_mut(&mut self) -> &mut [T]5962aac4cd7SDanilo Krummrich fn deref_mut(&mut self) -> &mut [T] { 5972aac4cd7SDanilo Krummrich // SAFETY: The memory behind `self.as_ptr()` is guaranteed to contain `self.len` 5982aac4cd7SDanilo Krummrich // initialized elements of type `T`. 5992aac4cd7SDanilo Krummrich unsafe { slice::from_raw_parts_mut(self.as_mut_ptr(), self.len) } 6002aac4cd7SDanilo Krummrich } 6012aac4cd7SDanilo Krummrich } 6022aac4cd7SDanilo Krummrich 6032aac4cd7SDanilo Krummrich impl<T: Eq, A> Eq for Vec<T, A> where A: Allocator {} 6042aac4cd7SDanilo Krummrich 6052aac4cd7SDanilo Krummrich impl<T, I: SliceIndex<[T]>, A> Index<I> for Vec<T, A> 6062aac4cd7SDanilo Krummrich where 6072aac4cd7SDanilo Krummrich A: Allocator, 6082aac4cd7SDanilo Krummrich { 6092aac4cd7SDanilo Krummrich type Output = I::Output; 6102aac4cd7SDanilo Krummrich 6112aac4cd7SDanilo Krummrich #[inline] index(&self, index: I) -> &Self::Output6122aac4cd7SDanilo Krummrich fn index(&self, index: I) -> &Self::Output { 6132aac4cd7SDanilo Krummrich Index::index(&**self, index) 6142aac4cd7SDanilo Krummrich } 6152aac4cd7SDanilo Krummrich } 6162aac4cd7SDanilo Krummrich 6172aac4cd7SDanilo Krummrich impl<T, I: SliceIndex<[T]>, A> IndexMut<I> for Vec<T, A> 6182aac4cd7SDanilo Krummrich where 6192aac4cd7SDanilo Krummrich A: Allocator, 6202aac4cd7SDanilo Krummrich { 6212aac4cd7SDanilo Krummrich #[inline] index_mut(&mut self, index: I) -> &mut Self::Output6222aac4cd7SDanilo Krummrich fn index_mut(&mut self, index: I) -> &mut Self::Output { 6232aac4cd7SDanilo Krummrich IndexMut::index_mut(&mut **self, index) 6242aac4cd7SDanilo Krummrich } 6252aac4cd7SDanilo Krummrich } 6262aac4cd7SDanilo Krummrich 6272aac4cd7SDanilo Krummrich macro_rules! impl_slice_eq { 6282aac4cd7SDanilo Krummrich ($([$($vars:tt)*] $lhs:ty, $rhs:ty,)*) => { 6292aac4cd7SDanilo Krummrich $( 6302aac4cd7SDanilo Krummrich impl<T, U, $($vars)*> PartialEq<$rhs> for $lhs 6312aac4cd7SDanilo Krummrich where 6322aac4cd7SDanilo Krummrich T: PartialEq<U>, 6332aac4cd7SDanilo Krummrich { 6342aac4cd7SDanilo Krummrich #[inline] 6352aac4cd7SDanilo Krummrich fn eq(&self, other: &$rhs) -> bool { self[..] == other[..] } 6362aac4cd7SDanilo Krummrich } 6372aac4cd7SDanilo Krummrich )* 6382aac4cd7SDanilo Krummrich } 6392aac4cd7SDanilo Krummrich } 6402aac4cd7SDanilo Krummrich 6412aac4cd7SDanilo Krummrich impl_slice_eq! { 6422aac4cd7SDanilo Krummrich [A1: Allocator, A2: Allocator] Vec<T, A1>, Vec<U, A2>, 6432aac4cd7SDanilo Krummrich [A: Allocator] Vec<T, A>, &[U], 6442aac4cd7SDanilo Krummrich [A: Allocator] Vec<T, A>, &mut [U], 6452aac4cd7SDanilo Krummrich [A: Allocator] &[T], Vec<U, A>, 6462aac4cd7SDanilo Krummrich [A: Allocator] &mut [T], Vec<U, A>, 6472aac4cd7SDanilo Krummrich [A: Allocator] Vec<T, A>, [U], 6482aac4cd7SDanilo Krummrich [A: Allocator] [T], Vec<U, A>, 6492aac4cd7SDanilo Krummrich [A: Allocator, const N: usize] Vec<T, A>, [U; N], 6502aac4cd7SDanilo Krummrich [A: Allocator, const N: usize] Vec<T, A>, &[U; N], 6512aac4cd7SDanilo Krummrich } 6521d1d223aSDanilo Krummrich 6531d1d223aSDanilo Krummrich impl<'a, T, A> IntoIterator for &'a Vec<T, A> 6541d1d223aSDanilo Krummrich where 6551d1d223aSDanilo Krummrich A: Allocator, 6561d1d223aSDanilo Krummrich { 6571d1d223aSDanilo Krummrich type Item = &'a T; 6581d1d223aSDanilo Krummrich type IntoIter = slice::Iter<'a, T>; 6591d1d223aSDanilo Krummrich into_iter(self) -> Self::IntoIter6601d1d223aSDanilo Krummrich fn into_iter(self) -> Self::IntoIter { 6611d1d223aSDanilo Krummrich self.iter() 6621d1d223aSDanilo Krummrich } 6631d1d223aSDanilo Krummrich } 6641d1d223aSDanilo Krummrich 6651d1d223aSDanilo Krummrich impl<'a, T, A: Allocator> IntoIterator for &'a mut Vec<T, A> 6661d1d223aSDanilo Krummrich where 6671d1d223aSDanilo Krummrich A: Allocator, 6681d1d223aSDanilo Krummrich { 6691d1d223aSDanilo Krummrich type Item = &'a mut T; 6701d1d223aSDanilo Krummrich type IntoIter = slice::IterMut<'a, T>; 6711d1d223aSDanilo Krummrich into_iter(self) -> Self::IntoIter6721d1d223aSDanilo Krummrich fn into_iter(self) -> Self::IntoIter { 6731d1d223aSDanilo Krummrich self.iter_mut() 6741d1d223aSDanilo Krummrich } 6751d1d223aSDanilo Krummrich } 6761d1d223aSDanilo Krummrich 6771d1d223aSDanilo Krummrich /// An [`Iterator`] implementation for [`Vec`] that moves elements out of a vector. 6781d1d223aSDanilo Krummrich /// 6791d1d223aSDanilo Krummrich /// This structure is created by the [`Vec::into_iter`] method on [`Vec`] (provided by the 6801d1d223aSDanilo Krummrich /// [`IntoIterator`] trait). 6811d1d223aSDanilo Krummrich /// 6821d1d223aSDanilo Krummrich /// # Examples 6831d1d223aSDanilo Krummrich /// 6841d1d223aSDanilo Krummrich /// ``` 6851d1d223aSDanilo Krummrich /// let v = kernel::kvec![0, 1, 2]?; 6861d1d223aSDanilo Krummrich /// let iter = v.into_iter(); 6871d1d223aSDanilo Krummrich /// 6881d1d223aSDanilo Krummrich /// # Ok::<(), Error>(()) 6891d1d223aSDanilo Krummrich /// ``` 6901d1d223aSDanilo Krummrich pub struct IntoIter<T, A: Allocator> { 6911d1d223aSDanilo Krummrich ptr: *mut T, 6921d1d223aSDanilo Krummrich buf: NonNull<T>, 6931d1d223aSDanilo Krummrich len: usize, 6941d1d223aSDanilo Krummrich layout: ArrayLayout<T>, 6951d1d223aSDanilo Krummrich _p: PhantomData<A>, 6961d1d223aSDanilo Krummrich } 6971d1d223aSDanilo Krummrich 69893e60231SDanilo Krummrich impl<T, A> IntoIter<T, A> 69993e60231SDanilo Krummrich where 70093e60231SDanilo Krummrich A: Allocator, 70193e60231SDanilo Krummrich { into_raw_parts(self) -> (*mut T, NonNull<T>, usize, usize)70293e60231SDanilo Krummrich fn into_raw_parts(self) -> (*mut T, NonNull<T>, usize, usize) { 70393e60231SDanilo Krummrich let me = ManuallyDrop::new(self); 70493e60231SDanilo Krummrich let ptr = me.ptr; 70593e60231SDanilo Krummrich let buf = me.buf; 70693e60231SDanilo Krummrich let len = me.len; 70793e60231SDanilo Krummrich let cap = me.layout.len(); 70893e60231SDanilo Krummrich (ptr, buf, len, cap) 70993e60231SDanilo Krummrich } 71093e60231SDanilo Krummrich 71193e60231SDanilo Krummrich /// Same as `Iterator::collect` but specialized for `Vec`'s `IntoIter`. 71293e60231SDanilo Krummrich /// 71393e60231SDanilo Krummrich /// # Examples 71493e60231SDanilo Krummrich /// 71593e60231SDanilo Krummrich /// ``` 71693e60231SDanilo Krummrich /// let v = kernel::kvec![1, 2, 3]?; 71793e60231SDanilo Krummrich /// let mut it = v.into_iter(); 71893e60231SDanilo Krummrich /// 71993e60231SDanilo Krummrich /// assert_eq!(it.next(), Some(1)); 72093e60231SDanilo Krummrich /// 72193e60231SDanilo Krummrich /// let v = it.collect(GFP_KERNEL); 72293e60231SDanilo Krummrich /// assert_eq!(v, [2, 3]); 72393e60231SDanilo Krummrich /// 72493e60231SDanilo Krummrich /// # Ok::<(), Error>(()) 72593e60231SDanilo Krummrich /// ``` 72693e60231SDanilo Krummrich /// 72793e60231SDanilo Krummrich /// # Implementation details 72893e60231SDanilo Krummrich /// 72993e60231SDanilo Krummrich /// Currently, we can't implement `FromIterator`. There are a couple of issues with this trait 73093e60231SDanilo Krummrich /// in the kernel, namely: 73193e60231SDanilo Krummrich /// 73293e60231SDanilo Krummrich /// - Rust's specialization feature is unstable. This prevents us to optimize for the special 73393e60231SDanilo Krummrich /// case where `I::IntoIter` equals `Vec`'s `IntoIter` type. 73493e60231SDanilo Krummrich /// - We also can't use `I::IntoIter`'s type ID either to work around this, since `FromIterator` 73593e60231SDanilo Krummrich /// doesn't require this type to be `'static`. 73693e60231SDanilo Krummrich /// - `FromIterator::from_iter` does return `Self` instead of `Result<Self, AllocError>`, hence 73793e60231SDanilo Krummrich /// we can't properly handle allocation failures. 73893e60231SDanilo Krummrich /// - Neither `Iterator::collect` nor `FromIterator::from_iter` can handle additional allocation 73993e60231SDanilo Krummrich /// flags. 74093e60231SDanilo Krummrich /// 74193e60231SDanilo Krummrich /// Instead, provide `IntoIter::collect`, such that we can at least convert a `IntoIter` into a 74293e60231SDanilo Krummrich /// `Vec` again. 74393e60231SDanilo Krummrich /// 74493e60231SDanilo Krummrich /// Note that `IntoIter::collect` doesn't require `Flags`, since it re-uses the existing backing 74593e60231SDanilo Krummrich /// buffer. However, this backing buffer may be shrunk to the actual count of elements. collect(self, flags: Flags) -> Vec<T, A>74693e60231SDanilo Krummrich pub fn collect(self, flags: Flags) -> Vec<T, A> { 74793e60231SDanilo Krummrich let old_layout = self.layout; 74893e60231SDanilo Krummrich let (mut ptr, buf, len, mut cap) = self.into_raw_parts(); 74993e60231SDanilo Krummrich let has_advanced = ptr != buf.as_ptr(); 75093e60231SDanilo Krummrich 75193e60231SDanilo Krummrich if has_advanced { 75293e60231SDanilo Krummrich // Copy the contents we have advanced to at the beginning of the buffer. 75393e60231SDanilo Krummrich // 75493e60231SDanilo Krummrich // SAFETY: 75593e60231SDanilo Krummrich // - `ptr` is valid for reads of `len * size_of::<T>()` bytes, 75693e60231SDanilo Krummrich // - `buf.as_ptr()` is valid for writes of `len * size_of::<T>()` bytes, 75793e60231SDanilo Krummrich // - `ptr` and `buf.as_ptr()` are not be subject to aliasing restrictions relative to 75893e60231SDanilo Krummrich // each other, 75993e60231SDanilo Krummrich // - both `ptr` and `buf.ptr()` are properly aligned. 76093e60231SDanilo Krummrich unsafe { ptr::copy(ptr, buf.as_ptr(), len) }; 76193e60231SDanilo Krummrich ptr = buf.as_ptr(); 76293e60231SDanilo Krummrich 76393e60231SDanilo Krummrich // SAFETY: `len` is guaranteed to be smaller than `self.layout.len()`. 76493e60231SDanilo Krummrich let layout = unsafe { ArrayLayout::<T>::new_unchecked(len) }; 76593e60231SDanilo Krummrich 76693e60231SDanilo Krummrich // SAFETY: `buf` points to the start of the backing buffer and `len` is guaranteed to be 76793e60231SDanilo Krummrich // smaller than `cap`. Depending on `alloc` this operation may shrink the buffer or leaves 76893e60231SDanilo Krummrich // it as it is. 76993e60231SDanilo Krummrich ptr = match unsafe { 77093e60231SDanilo Krummrich A::realloc(Some(buf.cast()), layout.into(), old_layout.into(), flags) 77193e60231SDanilo Krummrich } { 77293e60231SDanilo Krummrich // If we fail to shrink, which likely can't even happen, continue with the existing 77393e60231SDanilo Krummrich // buffer. 77493e60231SDanilo Krummrich Err(_) => ptr, 77593e60231SDanilo Krummrich Ok(ptr) => { 77693e60231SDanilo Krummrich cap = len; 77793e60231SDanilo Krummrich ptr.as_ptr().cast() 77893e60231SDanilo Krummrich } 77993e60231SDanilo Krummrich }; 78093e60231SDanilo Krummrich } 78193e60231SDanilo Krummrich 78293e60231SDanilo Krummrich // SAFETY: If the iterator has been advanced, the advanced elements have been copied to 78393e60231SDanilo Krummrich // the beginning of the buffer and `len` has been adjusted accordingly. 78493e60231SDanilo Krummrich // 78593e60231SDanilo Krummrich // - `ptr` is guaranteed to point to the start of the backing buffer. 78693e60231SDanilo Krummrich // - `cap` is either the original capacity or, after shrinking the buffer, equal to `len`. 78793e60231SDanilo Krummrich // - `alloc` is guaranteed to be unchanged since `into_iter` has been called on the original 78893e60231SDanilo Krummrich // `Vec`. 78993e60231SDanilo Krummrich unsafe { Vec::from_raw_parts(ptr, len, cap) } 79093e60231SDanilo Krummrich } 79193e60231SDanilo Krummrich } 79293e60231SDanilo Krummrich 7931d1d223aSDanilo Krummrich impl<T, A> Iterator for IntoIter<T, A> 7941d1d223aSDanilo Krummrich where 7951d1d223aSDanilo Krummrich A: Allocator, 7961d1d223aSDanilo Krummrich { 7971d1d223aSDanilo Krummrich type Item = T; 7981d1d223aSDanilo Krummrich 7991d1d223aSDanilo Krummrich /// # Examples 8001d1d223aSDanilo Krummrich /// 8011d1d223aSDanilo Krummrich /// ``` 8021d1d223aSDanilo Krummrich /// let v = kernel::kvec![1, 2, 3]?; 8031d1d223aSDanilo Krummrich /// let mut it = v.into_iter(); 8041d1d223aSDanilo Krummrich /// 8051d1d223aSDanilo Krummrich /// assert_eq!(it.next(), Some(1)); 8061d1d223aSDanilo Krummrich /// assert_eq!(it.next(), Some(2)); 8071d1d223aSDanilo Krummrich /// assert_eq!(it.next(), Some(3)); 8081d1d223aSDanilo Krummrich /// assert_eq!(it.next(), None); 8091d1d223aSDanilo Krummrich /// 8101d1d223aSDanilo Krummrich /// # Ok::<(), Error>(()) 8111d1d223aSDanilo Krummrich /// ``` next(&mut self) -> Option<T>8121d1d223aSDanilo Krummrich fn next(&mut self) -> Option<T> { 8131d1d223aSDanilo Krummrich if self.len == 0 { 8141d1d223aSDanilo Krummrich return None; 8151d1d223aSDanilo Krummrich } 8161d1d223aSDanilo Krummrich 8171d1d223aSDanilo Krummrich let current = self.ptr; 8181d1d223aSDanilo Krummrich 8191d1d223aSDanilo Krummrich // SAFETY: We can't overflow; decreasing `self.len` by one every time we advance `self.ptr` 8201d1d223aSDanilo Krummrich // by one guarantees that. 8211d1d223aSDanilo Krummrich unsafe { self.ptr = self.ptr.add(1) }; 8221d1d223aSDanilo Krummrich 8231d1d223aSDanilo Krummrich self.len -= 1; 8241d1d223aSDanilo Krummrich 8251d1d223aSDanilo Krummrich // SAFETY: `current` is guaranteed to point at a valid element within the buffer. 8261d1d223aSDanilo Krummrich Some(unsafe { current.read() }) 8271d1d223aSDanilo Krummrich } 8281d1d223aSDanilo Krummrich 8291d1d223aSDanilo Krummrich /// # Examples 8301d1d223aSDanilo Krummrich /// 8311d1d223aSDanilo Krummrich /// ``` 8321d1d223aSDanilo Krummrich /// let v: KVec<u32> = kernel::kvec![1, 2, 3]?; 8331d1d223aSDanilo Krummrich /// let mut iter = v.into_iter(); 8341d1d223aSDanilo Krummrich /// let size = iter.size_hint().0; 8351d1d223aSDanilo Krummrich /// 8361d1d223aSDanilo Krummrich /// iter.next(); 8371d1d223aSDanilo Krummrich /// assert_eq!(iter.size_hint().0, size - 1); 8381d1d223aSDanilo Krummrich /// 8391d1d223aSDanilo Krummrich /// iter.next(); 8401d1d223aSDanilo Krummrich /// assert_eq!(iter.size_hint().0, size - 2); 8411d1d223aSDanilo Krummrich /// 8421d1d223aSDanilo Krummrich /// iter.next(); 8431d1d223aSDanilo Krummrich /// assert_eq!(iter.size_hint().0, size - 3); 8441d1d223aSDanilo Krummrich /// 8451d1d223aSDanilo Krummrich /// # Ok::<(), Error>(()) 8461d1d223aSDanilo Krummrich /// ``` size_hint(&self) -> (usize, Option<usize>)8471d1d223aSDanilo Krummrich fn size_hint(&self) -> (usize, Option<usize>) { 8481d1d223aSDanilo Krummrich (self.len, Some(self.len)) 8491d1d223aSDanilo Krummrich } 8501d1d223aSDanilo Krummrich } 8511d1d223aSDanilo Krummrich 8521d1d223aSDanilo Krummrich impl<T, A> Drop for IntoIter<T, A> 8531d1d223aSDanilo Krummrich where 8541d1d223aSDanilo Krummrich A: Allocator, 8551d1d223aSDanilo Krummrich { drop(&mut self)8561d1d223aSDanilo Krummrich fn drop(&mut self) { 8571d1d223aSDanilo Krummrich // SAFETY: `self.ptr` is guaranteed to be valid by the type invariant. 8581d1d223aSDanilo Krummrich unsafe { ptr::drop_in_place(ptr::slice_from_raw_parts_mut(self.ptr, self.len)) }; 8591d1d223aSDanilo Krummrich 8601d1d223aSDanilo Krummrich // SAFETY: 8611d1d223aSDanilo Krummrich // - `self.buf` was previously allocated with `A`. 8621d1d223aSDanilo Krummrich // - `self.layout` matches the `ArrayLayout` of the preceding allocation. 8631d1d223aSDanilo Krummrich unsafe { A::free(self.buf.cast(), self.layout.into()) }; 8641d1d223aSDanilo Krummrich } 8651d1d223aSDanilo Krummrich } 8661d1d223aSDanilo Krummrich 8671d1d223aSDanilo Krummrich impl<T, A> IntoIterator for Vec<T, A> 8681d1d223aSDanilo Krummrich where 8691d1d223aSDanilo Krummrich A: Allocator, 8701d1d223aSDanilo Krummrich { 8711d1d223aSDanilo Krummrich type Item = T; 8721d1d223aSDanilo Krummrich type IntoIter = IntoIter<T, A>; 8731d1d223aSDanilo Krummrich 8741d1d223aSDanilo Krummrich /// Consumes the `Vec<T, A>` and creates an `Iterator`, which moves each value out of the 8751d1d223aSDanilo Krummrich /// vector (from start to end). 8761d1d223aSDanilo Krummrich /// 8771d1d223aSDanilo Krummrich /// # Examples 8781d1d223aSDanilo Krummrich /// 8791d1d223aSDanilo Krummrich /// ``` 8801d1d223aSDanilo Krummrich /// let v = kernel::kvec![1, 2]?; 8811d1d223aSDanilo Krummrich /// let mut v_iter = v.into_iter(); 8821d1d223aSDanilo Krummrich /// 8831d1d223aSDanilo Krummrich /// let first_element: Option<u32> = v_iter.next(); 8841d1d223aSDanilo Krummrich /// 8851d1d223aSDanilo Krummrich /// assert_eq!(first_element, Some(1)); 8861d1d223aSDanilo Krummrich /// assert_eq!(v_iter.next(), Some(2)); 8871d1d223aSDanilo Krummrich /// assert_eq!(v_iter.next(), None); 8881d1d223aSDanilo Krummrich /// 8891d1d223aSDanilo Krummrich /// # Ok::<(), Error>(()) 8901d1d223aSDanilo Krummrich /// ``` 8911d1d223aSDanilo Krummrich /// 8921d1d223aSDanilo Krummrich /// ``` 8931d1d223aSDanilo Krummrich /// let v = kernel::kvec![]; 8941d1d223aSDanilo Krummrich /// let mut v_iter = v.into_iter(); 8951d1d223aSDanilo Krummrich /// 8961d1d223aSDanilo Krummrich /// let first_element: Option<u32> = v_iter.next(); 8971d1d223aSDanilo Krummrich /// 8981d1d223aSDanilo Krummrich /// assert_eq!(first_element, None); 8991d1d223aSDanilo Krummrich /// 9001d1d223aSDanilo Krummrich /// # Ok::<(), Error>(()) 9011d1d223aSDanilo Krummrich /// ``` 9021d1d223aSDanilo Krummrich #[inline] into_iter(self) -> Self::IntoIter9031d1d223aSDanilo Krummrich fn into_iter(self) -> Self::IntoIter { 9041d1d223aSDanilo Krummrich let buf = self.ptr; 9051d1d223aSDanilo Krummrich let layout = self.layout; 9061d1d223aSDanilo Krummrich let (ptr, len, _) = self.into_raw_parts(); 9071d1d223aSDanilo Krummrich 9081d1d223aSDanilo Krummrich IntoIter { 9091d1d223aSDanilo Krummrich ptr, 9101d1d223aSDanilo Krummrich buf, 9111d1d223aSDanilo Krummrich len, 9121d1d223aSDanilo Krummrich layout, 9131d1d223aSDanilo Krummrich _p: PhantomData::<A>, 9141d1d223aSDanilo Krummrich } 9151d1d223aSDanilo Krummrich } 9161d1d223aSDanilo Krummrich } 917