FROMGIT: rust: alloc: add Vec::dec_len
Add `Vec::dec_len` that reduces the length of the receiver. This method is intended to be used from methods that remove elements from `Vec` such as `truncate`, `pop`, `remove`, and others. This method is intentionally not `pub`. Reviewed-by: Alice Ryhl <aliceryhl@google.com> Signed-off-by: Tamir Duberstein <tamird@gmail.com> Link: https://lore.kernel.org/r/20250416-vec-set-len-v4-2-112b222604cd@gmail.com [ Add #[expect(unused)] to dec_len(). - Danilo ] Signed-off-by: Danilo Krummrich <dakr@kernel.org> Bug: 414994413 (cherry picked from commit dbb0b840a0cd2ebabbc94a0040e366c7f1a70f7b https://github.com/Rust-for-Linux/linux.git alloc-next) Change-Id: I14c7692950758094895ee7376568f6c89c73e852 Signed-off-by: Alice Ryhl <aliceryhl@google.com>
This commit is contained in:
committed by
Matthew Maurer
parent
48080570b0
commit
8a1546ee71
@@ -201,6 +201,26 @@ where
|
|||||||
self.len = new_len;
|
self.len = new_len;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/// Decreases `self.len` by `count`.
|
||||||
|
///
|
||||||
|
/// Returns a mutable slice to the elements forgotten by the vector. It is the caller's
|
||||||
|
/// responsibility to drop these elements if necessary.
|
||||||
|
///
|
||||||
|
/// # Safety
|
||||||
|
///
|
||||||
|
/// - `count` must be less than or equal to `self.len`.
|
||||||
|
#[expect(unused)]
|
||||||
|
unsafe fn dec_len(&mut self, count: usize) -> &mut [T] {
|
||||||
|
debug_assert!(count <= self.len());
|
||||||
|
// INVARIANT: We relinquish ownership of the elements within the range `[self.len - count,
|
||||||
|
// self.len)`, hence the updated value of `set.len` represents the exact number of elements
|
||||||
|
// stored within `self`.
|
||||||
|
self.len -= count;
|
||||||
|
// SAFETY: The memory after `self.len()` is guaranteed to contain `count` initialized
|
||||||
|
// elements of type `T`.
|
||||||
|
unsafe { slice::from_raw_parts_mut(self.as_mut_ptr().add(self.len), count) }
|
||||||
|
}
|
||||||
|
|
||||||
/// Returns a slice of the entire vector.
|
/// Returns a slice of the entire vector.
|
||||||
#[inline]
|
#[inline]
|
||||||
pub fn as_slice(&self) -> &[T] {
|
pub fn as_slice(&self) -> &[T] {
|
||||||
|
|||||||
Reference in New Issue
Block a user