#[repr(transparent)]pub struct ByteString(pub Vec<u8>);
bstr
A wrapper for Vec<u8> representing a human-readable string that’s conventionally, but not always, UTF-8.
Vec<u8>
Unlike String, this type permits non-UTF-8 contents, making it suitable for user input, non-native filenames (as Path only supports native filenames), and other applications that need to round-trip whatever data the user provides.
String
Path
A ByteString owns its contents and can grow and shrink, like a Vec or String. For a borrowed byte string, see ByteStr.
ByteString
Vec
ByteStr
ByteString implements Deref to &Vec<u8>, so all methods available on &Vec<u8> are available on ByteString. Similarly, ByteString implements DerefMut to &mut Vec<u8>, so you can modify a ByteString using any method available on &mut Vec<u8>.
Deref
&Vec<u8>
DerefMut
&mut Vec<u8>
The Debug and Display implementations for ByteString are the same as those for ByteStr, showing invalid UTF-8 as hex escapes or the Unicode replacement character, respectively.
Debug
Display
0: Vec<u8>
Returns the total number of elements the vector can hold without reallocating.
let mut vec: Vec<i32> = Vec::with_capacity(10); vec.push(42); assert!(vec.capacity() >= 10);
A vector with zero-sized elements will always have a capacity of usize::MAX:
#[derive(Clone)] struct ZeroSized; fn main() { assert_eq!(std::mem::size_of::<ZeroSized>(), 0); let v = vec![ZeroSized; 0]; assert_eq!(v.capacity(), usize::MAX); }
Reserves capacity for at least additional more elements to be inserted in the given Vec<T>. The collection may reserve more space to speculatively avoid frequent reallocations. After calling reserve, capacity will be greater than or equal to self.len() + additional. Does nothing if capacity is already sufficient.
additional
Vec<T>
reserve
self.len() + additional
Panics if the new capacity exceeds isize::MAX bytes.
isize::MAX
let mut vec = vec![1]; vec.reserve(10); assert!(vec.capacity() >= 11);
Reserves the minimum capacity for at least additional more elements to be inserted in the given Vec<T>. Unlike reserve, this will not deliberately over-allocate to speculatively avoid frequent allocations. After calling reserve_exact, capacity will be greater than or equal to self.len() + additional. Does nothing if the capacity is already sufficient.
reserve_exact
Note that the allocator may give the collection more space than it requests. Therefore, capacity can not be relied upon to be precisely minimal. Prefer reserve if future insertions are expected.
let mut vec = vec![1]; vec.reserve_exact(10); assert!(vec.capacity() >= 11);
Tries to reserve capacity for at least additional more elements to be inserted in the given Vec<T>. The collection may reserve more space to speculatively avoid frequent reallocations. After calling try_reserve, capacity will be greater than or equal to self.len() + additional if it returns Ok(()). Does nothing if capacity is already sufficient. This method preserves the contents even if an error occurs.
try_reserve
Ok(())
If the capacity overflows, or the allocator reports a failure, then an error is returned.
use std::collections::TryReserveError; fn process_data(data: &[u32]) -> Result<Vec<u32>, TryReserveError> { let mut output = Vec::new(); / Pre-reserve the memory, exiting if we can't output.try_reserve(data.len())?; / Now we know this can't OOM in the middle of our complex work output.extend(data.iter().map(|&val| { val * 2 + 5 / very complicated })); Ok(output) }
Tries to reserve the minimum capacity for at least additional elements to be inserted in the given Vec<T>. Unlike try_reserve, this will not deliberately over-allocate to speculatively avoid frequent allocations. After calling try_reserve_exact, capacity will be greater than or equal to self.len() + additional if it returns Ok(()). Does nothing if the capacity is already sufficient.
try_reserve_exact
Note that the allocator may give the collection more space than it requests. Therefore, capacity can not be relied upon to be precisely minimal. Prefer try_reserve if future insertions are expected.
use std::collections::TryReserveError; fn process_data(data: &[u32]) -> Result<Vec<u32>, TryReserveError> { let mut output = Vec::new(); / Pre-reserve the memory, exiting if we can't output.try_reserve_exact(data.len())?; / Now we know this can't OOM in the middle of our complex work output.extend(data.iter().map(|&val| { val * 2 + 5 / very complicated })); Ok(output) }
Shrinks the capacity of the vector as much as possible.
The behavior of this method depends on the allocator, which may either shrink the vector in-place or reallocate. The resulting vector might still have some excess capacity, just as is the case for with_capacity. See Allocator::shrink for more details.
with_capacity
Allocator::shrink
let mut vec = Vec::with_capacity(10); vec.extend([1, 2, 3]); assert!(vec.capacity() >= 10); vec.shrink_to_fit(); assert!(vec.capacity() >= 3);
Shrinks the capacity of the vector with a lower bound.
The capacity will remain at least as large as both the length and the supplied value.
If the current capacity is less than the lower limit, this is a no-op.
let mut vec = Vec::with_capacity(10); vec.extend([1, 2, 3]); assert!(vec.capacity() >= 10); vec.shrink_to(4); assert!(vec.capacity() >= 4); vec.shrink_to(0); assert!(vec.capacity() >= 3);
Shortens the vector, keeping the first len elements and dropping the rest.
len
If len is greater or equal to the vector’s current length, this has no effect.
The drain method can emulate truncate, but causes the excess elements to be returned instead of dropped.
drain
truncate
Note that this method has no effect on the allocated capacity of the vector.
Truncating a five element vector to two elements:
let mut vec = vec![1, 2, 3, 4, 5]; vec.truncate(2); assert_eq!(vec, [1, 2]);
No truncation occurs when len is greater than the vector’s current length:
let mut vec = vec![1, 2, 3]; vec.truncate(8); assert_eq!(vec, [1, 2, 3]);
Truncating when len == 0 is equivalent to calling the clear method.
len == 0
clear
let mut vec = vec![1, 2, 3]; vec.truncate(0); assert_eq!(vec, []);
Extracts a slice containing the entire vector.
Equivalent to &s[..].
&s[..]
use std::io::{self, Write}; let buffer = vec![1, 2, 3, 5, 8]; io::sink().write(buffer.as_slice()).unwrap();
Extracts a mutable slice of the entire vector.
Equivalent to &mut s[..].
&mut s[..]
use std::io::{self, Read}; let mut buffer = vec![0; 3]; io::repeat(0b101).read_exact(buffer.as_mut_slice()).unwrap();
Returns a raw pointer to the vector’s buffer, or a dangling raw pointer valid for zero sized reads if the vector didn’t allocate.
The caller must ensure that the vector outlives the pointer this function returns, or else it will end up dangling. Modifying the vector may cause its buffer to be reallocated, which would also make any pointers to it invalid.
The caller must also ensure that the memory the pointer (non-transitively) points to is never written to (except inside an UnsafeCell) using this pointer or any pointer derived from it. If you need to mutate the contents of the slice, use as_mut_ptr.
UnsafeCell
as_mut_ptr
This method guarantees that for the purpose of the aliasing model, this method does not materialize a reference to the underlying slice, and thus the returned pointer will remain valid when mixed with other calls to as_ptr, as_mut_ptr, and as_non_null. Note that calling other methods that materialize mutable references to the slice, or mutable references to specific elements you are planning on accessing through this pointer, as well as writing to those elements, may still invalidate this pointer. See the second example below for how this guarantee can be used.
as_ptr
as_non_null
let x = vec![1, 2, 4]; let x_ptr = x.as_ptr(); unsafe { for i in 0..x.len() { assert_eq!(*x_ptr.add(i), 1 << i); } }
Due to the aliasing guarantee, the following code is legal:
unsafe { let mut v = vec![0, 1, 2]; let ptr1 = v.as_ptr(); let _ = ptr1.read(); let ptr2 = v.as_mut_ptr().offset(2); ptr2.write(2); / Notably, the write to `ptr2` did *not* invalidate `ptr1` / because it mutated a different element: let _ = ptr1.read(); }
Returns a raw mutable pointer to the vector’s buffer, or a dangling raw pointer valid for zero sized reads if the vector didn’t allocate.
This method guarantees that for the purpose of the aliasing model, this method does not materialize a reference to the underlying slice, and thus the returned pointer will remain valid when mixed with other calls to as_ptr, as_mut_ptr, and as_non_null. Note that calling other methods that materialize references to the slice, or references to specific elements you are planning on accessing through this pointer, may still invalidate this pointer. See the second example below for how this guarantee can be used.
The method also guarantees that, as long as T is not zero-sized and the capacity is nonzero, the pointer may be passed into dealloc with a layout of Layout::array::<T>(capacity) in order to deallocate the backing memory. If this is done, be careful not to run the destructor of the Vec, as dropping it will result in double-frees. Wrapping the Vec in a ManuallyDrop is the typical way to achieve this.
T
dealloc
Layout::array::<T>(capacity)
ManuallyDrop
/ Allocate vector big enough for 4 elements. let size = 4; let mut x: Vec<i32> = Vec::with_capacity(size); let x_ptr = x.as_mut_ptr(); / Initialize elements via raw pointer writes, then set length. unsafe { for i in 0..size { *x_ptr.add(i) = i as i32; } x.set_len(size); } assert_eq!(&*x, &[0, 1, 2, 3]);
unsafe { let mut v = vec![0]; let ptr1 = v.as_mut_ptr(); ptr1.write(1); let ptr2 = v.as_mut_ptr(); ptr2.write(2); / Notably, the write to `ptr2` did *not* invalidate `ptr1`: ptr1.write(3); }
Deallocating a vector using Box (which uses dealloc internally):
Box
use std::mem::{ManuallyDrop, MaybeUninit}; let mut v = ManuallyDrop::new(vec![0, 1, 2]); let ptr = v.as_mut_ptr(); let capacity = v.capacity(); let slice_ptr: *mut [MaybeUninit<i32>] = std::ptr::slice_from_raw_parts_mut(ptr.cast(), capacity); drop(unsafe { Box::from_raw(slice_ptr) });
Returns a NonNull pointer to the vector’s buffer, or a dangling NonNull pointer valid for zero sized reads if the vector didn’t allocate.
NonNull
#![feature(box_vec_non_null)] / Allocate vector big enough for 4 elements. let size = 4; let mut x: Vec<i32> = Vec::with_capacity(size); let x_ptr = x.as_non_null(); / Initialize elements via raw pointer writes, then set length. unsafe { for i in 0..size { x_ptr.add(i).write(i as i32); } x.set_len(size); } assert_eq!(&*x, &[0, 1, 2, 3]);
#![feature(box_vec_non_null)] unsafe { let mut v = vec![0]; let ptr1 = v.as_non_null(); ptr1.write(1); let ptr2 = v.as_non_null(); ptr2.write(2); / Notably, the write to `ptr2` did *not* invalidate `ptr1`: ptr1.write(3); }
Returns a reference to the underlying allocator.
Forces the length of the vector to new_len.
new_len
This is a low-level operation that maintains none of the normal invariants of the type. Normally changing the length of a vector is done using one of the safe operations instead, such as truncate, resize, extend, or clear.
resize
extend
capacity()
old_len..new_len
See spare_capacity_mut() for an example with safe initialization of capacity elements and use of this method.
spare_capacity_mut()
set_len() can be useful for situations in which the vector is serving as a buffer for other code, particularly over FFI:
set_len()
pub fn get_dictionary(&self) -> Option<Vec<u8>> { / Per the FFI method's docs, "32768 bytes is always enough". let mut dict = Vec::with_capacity(32_768); let mut dict_length = 0; / SAFETY: When `deflateGetDictionary` returns `Z_OK`, it holds that: / 1. `dict_length` elements were initialized. / 2. `dict_length` <= the capacity (32_768) / which makes `set_len` safe to call. unsafe { / Make the FFI call... let r = deflateGetDictionary(self.strm, dict.as_mut_ptr(), &mut dict_length); if r == Z_OK { / ...and update the length to what was initialized. dict.set_len(dict_length); Some(dict) } else { None } } }
While the following example is sound, there is a memory leak since the inner vectors were not freed prior to the set_len call:
set_len
let mut vec = vec![vec![1, 0], vec![0, 1, 0], vec![0, 0, 1]]; / SAFETY: / 1. `old_len..0` is empty so no elements need to be initialized. / 2. `0 <= capacity` always holds whatever `capacity` is. unsafe { vec.set_len(0); }
Normally, here, one would use clear instead to correctly drop the contents and thus not leak memory.
Removes an element from the vector and returns it.
The removed element is replaced by the last element of the vector.
This does not preserve ordering of the remaining elements, but is O(1). If you need to preserve the element order, use remove instead.
remove
Panics if index is out of bounds.
index
let mut v = vec!["foo", "bar", "baz", "qux"]; assert_eq!(v.swap_remove(1), "bar"); assert_eq!(v, ["foo", "qux", "baz"]); assert_eq!(v.swap_remove(0), "foo"); assert_eq!(v, ["baz", "qux"]);
Inserts an element at position index within the vector, shifting all elements after it to the right.
Panics if index > len.
index > len
let mut vec = vec!['a', 'b', 'c']; vec.insert(1, 'd'); assert_eq!(vec, ['a', 'd', 'b', 'c']); vec.insert(4, 'e'); assert_eq!(vec, ['a', 'd', 'b', 'c', 'e']);
Takes O(Vec::len) time. All items after the insertion index must be shifted to the right. In the worst case, all elements are shifted when the insertion index is 0.
Vec::len
push_mut
Inserts an element at position index within the vector, shifting all elements after it to the right, and returning a reference to the new element.
#![feature(push_mut)] let mut vec = vec![1, 3, 5, 9]; let x = vec.insert_mut(3, 6); *x += 1; assert_eq!(vec, [1, 3, 5, 7, 9]);
Removes and returns the element at position index within the vector, shifting all elements after it to the left.
Note: Because this shifts over the remaining elements, it has a worst-case performance of O(n). If you don’t need the order of elements to be preserved, use swap_remove instead. If you’d like to remove elements from the beginning of the Vec, consider using VecDeque::pop_front instead.
swap_remove
VecDeque::pop_front
let mut v = vec!['a', 'b', 'c']; assert_eq!(v.remove(1), 'b'); assert_eq!(v, ['a', 'c']);
Remove and return the element at position index within the vector, shifting all elements after it to the left, or None if it does not exist.
None
Note: Because this shifts over the remaining elements, it has a worst-case performance of O(n). If you’d like to remove elements from the beginning of the Vec, consider using VecDeque::pop_front instead.
#![feature(vec_try_remove)] let mut v = vec![1, 2, 3]; assert_eq!(v.try_remove(0), Some(1)); assert_eq!(v.try_remove(2), None);
Retains only the elements specified by the predicate.
In other words, remove all elements e for which f(&e) returns false. This method operates in place, visiting each element exactly once in the original order, and preserves the order of the retained elements.
e
f(&e)
false
let mut vec = vec![1, 2, 3, 4]; vec.retain(|&x| x % 2 == 0); assert_eq!(vec, [2, 4]);
Because the elements are visited exactly once in the original order, external state may be used to decide which elements to keep.
let mut vec = vec![1, 2, 3, 4, 5]; let keep = [false, true, false, true]; let mut iter = keep.iter(); vec.retain(|_| *iter.next().unwrap()); assert_eq!(vec, [2, 3, 5]);
Retains only the elements specified by the predicate, passing a mutable reference to it.
In other words, remove all elements e such that f(&mut e) returns false. This method operates in place, visiting each element exactly once in the original order, and preserves the order of the retained elements.
f(&mut e)
let mut vec = vec![1, 2, 3, 4]; vec.retain_mut(|x| if *x <= 3 { *x += 1; true } else { false }); assert_eq!(vec, [2, 3, 4]);
Removes all but the first of consecutive elements in the vector that resolve to the same key.
If the vector is sorted, this removes all duplicates.
let mut vec = vec![10, 20, 21, 30, 20]; vec.dedup_by_key(|i| *i / 10); assert_eq!(vec, [10, 20, 30, 20]);
Removes all but the first of consecutive elements in the vector satisfying a given equality relation.
The same_bucket function is passed references to two elements from the vector and must determine if the elements compare equal. The elements are passed in opposite order from their order in the slice, so if same_bucket(a, b) returns true, a is removed.
same_bucket
same_bucket(a, b)
true
a
let mut vec = vec!["foo", "bar", "Bar", "baz", "bar"]; vec.dedup_by(|a, b| a.eq_ignore_ascii_case(b)); assert_eq!(vec, ["foo", "bar", "baz", "bar"]);
Appends an element to the back of a collection.
let mut vec = vec![1, 2]; vec.push(3); assert_eq!(vec, [1, 2, 3]);
Takes amortized O(1) time. If the vector’s length would exceed its capacity after the push, O(capacity) time is taken to copy the vector’s elements to a larger allocation. This expensive operation is offset by the capacity O(1) insertions it allows.
vec_push_within_capacity
Appends an element if there is sufficient spare capacity, otherwise an error is returned with the element.
Unlike push this method will not reallocate when there’s insufficient capacity. The caller should use reserve or try_reserve to ensure that there is enough capacity.
push
A manual, panic-free alternative to FromIterator:
FromIterator
#![feature(vec_push_within_capacity)] use std::collections::TryReserveError; fn from_iter_fallible<T>(iter: impl Iterator<Item=T>) -> Result<Vec<T>, TryReserveError> { let mut vec = Vec::new(); for value in iter { if let Err(value) = vec.push_within_capacity(value) { vec.try_reserve(1)?; / this cannot fail, the previous line either returned or added at least 1 free slot let _ = vec.push_within_capacity(value); } } Ok(vec) } assert_eq!(from_iter_fallible(0..100), Ok(Vec::from_iter(0..100)));
Takes O(1) time.
Appends an element to the back of a collection, returning a reference to it.
#![feature(push_mut)] let mut vec = vec![1, 2]; let last = vec.push_mut(3); assert_eq!(*last, 3); assert_eq!(vec, [1, 2, 3]); let last = vec.push_mut(3); *last += 1; assert_eq!(vec, [1, 2, 3, 4]);
Appends an element and returns a reference to it if there is sufficient spare capacity, otherwise an error is returned with the element.
Unlike push_mut this method will not reallocate when there’s insufficient capacity. The caller should use reserve or try_reserve to ensure that there is enough capacity.
Removes the last element from a vector and returns it, or None if it is empty.
If you’d like to pop the first element, consider using VecDeque::pop_front instead.
let mut vec = vec![1, 2, 3]; assert_eq!(vec.pop(), Some(3)); assert_eq!(vec, [1, 2]);
Removes and returns the last element from a vector if the predicate returns true, or None if the predicate returns false or the vector is empty (the predicate will not be called in that case).
let mut vec = vec![1, 2, 3, 4]; let pred = |x: &mut i32| *x % 2 == 0; assert_eq!(vec.pop_if(pred), Some(4)); assert_eq!(vec, [1, 2, 3]); assert_eq!(vec.pop_if(pred), None);
Returns a mutable reference to the last item in the vector, or None if it is empty.
Basic usage:
#![feature(vec_peek_mut)] let mut vec = Vec::new(); assert!(vec.peek_mut().is_none()); vec.push(1); vec.push(5); vec.push(2); assert_eq!(vec.last(), Some(&2)); if let Some(mut val) = vec.peek_mut() { *val = 0; } assert_eq!(vec.last(), Some(&0));
Moves all the elements of other into self, leaving other empty.
other
self
let mut vec = vec![1, 2, 3]; let mut vec2 = vec![4, 5, 6]; vec.append(&mut vec2); assert_eq!(vec, [1, 2, 3, 4, 5, 6]); assert_eq!(vec2, []);
Removes the subslice indicated by the given range from the vector, returning a double-ended iterator over the removed subslice.
If the iterator is dropped before being fully consumed, it drops the remaining removed elements.
The returned iterator keeps a mutable borrow on the vector to optimize its implementation.
Panics if the range has start_bound > end_bound, or, if the range is bounded on either end and past the length of the vector.
start_bound > end_bound
If the returned iterator goes out of scope without being dropped (due to mem::forget, for example), the vector may have lost and leaked elements arbitrarily, including elements outside the range.
mem::forget
let mut v = vec![1, 2, 3]; let u: Vec<_> = v.drain(1..).collect(); assert_eq!(v, &[1]); assert_eq!(u, &[2, 3]); / A full range clears the vector, like `clear()` does v.drain(..); assert_eq!(v, &[]);
Clears the vector, removing all values.
let mut v = vec![1, 2, 3]; v.clear(); assert!(v.is_empty());
Returns the number of elements in the vector, also referred to as its ‘length’.
let a = vec![1, 2, 3]; assert_eq!(a.len(), 3);
Returns true if the vector contains no elements.
let mut v = Vec::new(); assert!(v.is_empty()); v.push(1); assert!(!v.is_empty());
Splits the collection into two at the given index.
Returns a newly allocated vector containing the elements in the range [at, len). After the call, the original vector will be left containing the elements [0, at) with its previous capacity unchanged.
[at, len)
[0, at)
mem::take
mem::replace
Vec::truncate
Vec::drain
Panics if at > len.
at > len
let mut vec = vec!['a', 'b', 'c']; let vec2 = vec.split_off(1); assert_eq!(vec, ['a']); assert_eq!(vec2, ['b', 'c']);
Resizes the Vec in-place so that len is equal to new_len.
If new_len is greater than len, the Vec is extended by the difference, with each additional slot filled with the result of calling the closure f. The return values from f will end up in the Vec in the order they have been generated.
f
If new_len is less than len, the Vec is simply truncated.
This method uses a closure to create new values on every push. If you’d rather Clone a given value, use Vec::resize. If you want to use the Default trait to generate values, you can pass Default::default as the second argument.
Clone
Vec::resize
Default
Default::default
let mut vec = vec![1, 2, 3]; vec.resize_with(5, Default::default); assert_eq!(vec, [1, 2, 3, 0]); let mut vec = vec![]; let mut p = 1; vec.resize_with(4, || { p *= 2; p }); assert_eq!(vec, [2, 4, 8, 16]);
Returns the remaining spare capacity of the vector as a slice of MaybeUninit<T>.
MaybeUninit<T>
The returned slice can be used to fill the vector with data (e.g. by reading from a file) before marking the data as initialized using the set_len method.
/ Allocate vector big enough for 10 elements. let mut v = Vec::with_capacity(10); / Fill in the first 3 elements. let uninit = v.spare_capacity_mut(); uninit[0].write(0); uninit[1].write(1); uninit[2].write(2); / Mark the first 3 elements of the vector as being initialized. unsafe { v.set_len(3); } assert_eq!(&v, &[0, 1, 2]);
Returns vector content as a slice of T, along with the remaining spare capacity of the vector as a slice of MaybeUninit<T>.
The returned spare capacity slice can be used to fill the vector with data (e.g. by reading from a file) before marking the data as initialized using the set_len method.
Note that this is a low-level API, which should be used with care for optimization purposes. If you need to append data to a Vec you can use push, extend, extend_from_slice, extend_from_within, insert, append, resize or resize_with, depending on your exact needs.
extend_from_slice
extend_from_within
insert
append
resize_with
#![feature(vec_split_at_spare)] let mut v = vec![1, 1, 2]; / Reserve additional space big enough for 10 elements. v.reserve(10); let (init, uninit) = v.split_at_spare_mut(); let sum = init.iter().copied().sum::<u32>(); / Fill in the next 4 elements. uninit[0].write(sum); uninit[1].write(sum * 2); uninit[2].write(sum * 3); uninit[3].write(sum * 4); / Mark the 4 elements of the vector as being initialized. unsafe { let len = v.len(); v.set_len(len + 4); } assert_eq!(&v, &[1, 1, 2, 4, 8, 12, 16]);
If new_len is greater than len, the Vec is extended by the difference, with each additional slot filled with value. If new_len is less than len, the Vec is simply truncated.
value
This method requires T to implement Clone, in order to be able to clone the passed value. If you need more flexibility (or want to rely on Default instead of Clone), use Vec::resize_with. If you only need to resize to a smaller size, use Vec::truncate.
Vec::resize_with
let mut vec = vec!["hello"]; vec.resize(3, "world"); assert_eq!(vec, ["hello", "world"]); let mut vec = vec!['a', 'b', 'c', 'd']; vec.resize(2, '_'); assert_eq!(vec, ['a', 'b']);
Clones and appends all elements in a slice to the Vec.
Iterates over the slice other, clones each element, and then appends it to this Vec. The other slice is traversed in-order.
Note that this function is the same as extend, except that it also works with slice elements that are Clone but not Copy. If Rust gets specialization this function may be deprecated.
let mut vec = vec![1]; vec.extend_from_slice(&[2, 3, 4]); assert_eq!(vec, [1, 2, 3, 4]);
Given a range src, clones a slice of elements in that range and appends it to the end.
src
src must be a range that can form a valid subslice of the Vec.
Panics if starting index is greater than the end index or if the index is greater than the length of the vector.
let mut characters = vec!['a', 'b', 'c', 'd', 'e']; characters.extend_from_within(2..); assert_eq!(characters, ['a', 'b', 'c', 'd', 'e', 'c', 'd', 'e']); let mut numbers = vec![0, 1, 2, 3, 4]; numbers.extend_from_within(..2); assert_eq!(numbers, [0, 1, 2, 3, 4, 0, 1]); let mut strings = vec![String::from("hello"), String::from("world"), String::from("!")]; strings.extend_from_within(1..=2); assert_eq!(strings, ["hello", "world", "!", "world", "!"]);
Removes consecutive repeated elements in the vector according to the PartialEq trait implementation.
PartialEq
let mut vec = vec![1, 2, 3, 2]; vec.dedup(); assert_eq!(vec, [1, 2, 3, 2]);
Creates a splicing iterator that replaces the specified range in the vector with the given replace_with iterator and yields the removed items. replace_with does not need to be the same length as range.
replace_with
range
range is removed even if the Splice iterator is not consumed before it is dropped.
Splice
It is unspecified how many elements are removed from the vector if the Splice value is leaked.
The input iterator replace_with is only consumed when the Splice value is dropped.
This is optimal if:
size_hint()
Otherwise, a temporary vector is allocated and the tail is moved twice.
let mut v = vec![1, 2, 3, 4]; let new = [7, 8, 9]; let u: Vec<_> = v.splice(1..3, new).collect(); assert_eq!(v, [1, 7, 8, 9, 4]); assert_eq!(u, [2, 3]);
Using splice to insert new items into a vector efficiently at a specific position indicated by an empty range:
splice
let mut v = vec![1, 5]; let new = [2, 3, 4]; v.splice(1..1, new); assert_eq!(v, [1, 2, 3, 4, 5]);
Creates an iterator which uses a closure to determine if an element in the range should be removed.
If the closure returns true, the element is removed from the vector and yielded. If the closure returns false, or panics, the element remains in the vector and will not be yielded.
Only elements that fall in the provided range are considered for extraction, but any elements after the range will still have to be moved if any element has been extracted.
If the returned ExtractIf is not exhausted, e.g. because it is dropped without iterating or the iteration short-circuits, then the remaining elements will be retained. Use retain_mut with a negated predicate if you do not need the returned iterator.
ExtractIf
retain_mut
Using this method is equivalent to the following code:
let mut i = range.start; let end_items = vec.len() - range.end; while i < vec.len() - end_items { if some_predicate(&mut vec[i]) { let val = vec.remove(i); / your code here } else { i += 1; } }
But extract_if is easier to use. extract_if is also more efficient, because it can backshift the elements of the array in bulk.
extract_if
The iterator also lets you mutate the value of each element in the closure, regardless of whether you choose to keep or remove it.
If range is out of bounds.
Splitting a vector into even and odd values, reusing the original vector:
let mut numbers = vec![1, 2, 3, 4, 5, 6, 8, 9, 11, 13, 14, 15]; let evens = numbers.extract_if(.., |x| *x % 2 == 0).collect::<Vec<_>>(); let odds = numbers; assert_eq!(evens, vec![2, 4, 6, 8, 14]); assert_eq!(odds, vec![1, 3, 5, 9, 11, 13, 15]);
Using the range argument to only process a part of the vector:
let mut items = vec![0, 0, 1, 2, 1, 2, 1, 2]; let ones = items.extract_if(7.., |x| *x == 1).collect::<Vec<_>>(); assert_eq!(items, vec![0, 0, 2]); assert_eq!(ones.len(), 3);
Returns the number of elements in the slice.
let a = [1, 2, 3]; assert_eq!(a.len(), 3);
Returns true if the slice has a length of 0.
let a = [1, 2, 3]; assert!(!a.is_empty()); let b: &[i32] = &[]; assert!(b.is_empty());
Returns the first element of the slice, or None if it is empty.
let v = [10, 40, 30]; assert_eq!(Some(&10), v.first()); let w: &[i32] = &[]; assert_eq!(None, w.first());
Returns a mutable reference to the first element of the slice, or None if it is empty.
let x = &mut [0, 1, 2]; if let Some(first) = x.first_mut() { *first = 5; } assert_eq!(x, &[5, 1, 2]); let y: &mut [i32] = &mut []; assert_eq!(None, y.first_mut());
Returns the first and all the rest of the elements of the slice, or None if it is empty.
let x = &[0, 1, 2]; if let Some((first, elements)) = x.split_first() { assert_eq!(first, &0); assert_eq!(elements, &[1, 2]); }
let x = &mut [0, 1, 2]; if let Some((first, elements)) = x.split_first_mut() { *first = 3; elements[0] = 4; elements[1] = 5; } assert_eq!(x, &[3, 4, 5]);
Returns the last and all the rest of the elements of the slice, or None if it is empty.
let x = &[0, 1, 2]; if let Some((last, elements)) = x.split_last() { assert_eq!(last, &2); assert_eq!(elements, &[0, 1]); }
let x = &mut [0, 1, 2]; if let Some((last, elements)) = x.split_last_mut() { *last = 3; elements[0] = 4; elements[1] = 5; } assert_eq!(x, &[4, 5, 3]);
Returns the last element of the slice, or None if it is empty.
let v = [10, 40, 30]; assert_eq!(Some(&30), v.last()); let w: &[i32] = &[]; assert_eq!(None, w.last());
Returns a mutable reference to the last item in the slice, or None if it is empty.
let x = &mut [0, 1, 2]; if let Some(last) = x.last_mut() { *last = 10; } assert_eq!(x, &[0, 1, 10]); let y: &mut [i32] = &mut []; assert_eq!(None, y.last_mut());
Returns an array reference to the first N items in the slice.
N
If the slice is not at least N in length, this will return None.
let u = [10, 40, 30]; assert_eq!(Some(&[10, 40]), u.first_chunk::<2>()); let v: &[i32] = &[10]; assert_eq!(None, v.first_chunk::<2>()); let w: &[i32] = &[]; assert_eq!(Some(&[]), w.first_chunk::<0>());
Returns a mutable array reference to the first N items in the slice.
let x = &mut [0, 1, 2]; if let Some(first) = x.first_chunk_mut::<2>() { first[0] = 5; first[1] = 4; } assert_eq!(x, &[5, 4, 2]); assert_eq!(None, x.first_chunk_mut::<4>());
Returns an array reference to the first N items in the slice and the remaining slice.
let x = &[0, 1, 2]; if let Some((first, elements)) = x.split_first_chunk::<2>() { assert_eq!(first, &[0, 1]); assert_eq!(elements, &[2]); } assert_eq!(None, x.split_first_chunk::<4>());
Returns a mutable array reference to the first N items in the slice and the remaining slice.
let x = &mut [0, 1, 2]; if let Some((first, elements)) = x.split_first_chunk_mut::<2>() { first[0] = 3; first[1] = 4; elements[0] = 5; } assert_eq!(x, &[3, 4, 5]); assert_eq!(None, x.split_first_chunk_mut::<4>());
Returns an array reference to the last N items in the slice and the remaining slice.
let x = &[0, 1, 2]; if let Some((elements, last)) = x.split_last_chunk::<2>() { assert_eq!(elements, &[0]); assert_eq!(last, &[1, 2]); } assert_eq!(None, x.split_last_chunk::<4>());
Returns a mutable array reference to the last N items in the slice and the remaining slice.
let x = &mut [0, 1, 2]; if let Some((elements, last)) = x.split_last_chunk_mut::<2>() { last[0] = 3; last[1] = 4; elements[0] = 5; } assert_eq!(x, &[5, 3, 4]); assert_eq!(None, x.split_last_chunk_mut::<4>());
Returns an array reference to the last N items in the slice.
let u = [10, 40, 30]; assert_eq!(Some(&[40, 30]), u.last_chunk::<2>()); let v: &[i32] = &[10]; assert_eq!(None, v.last_chunk::<2>()); let w: &[i32] = &[]; assert_eq!(Some(&[]), w.last_chunk::<0>());
Returns a mutable array reference to the last N items in the slice.
let x = &mut [0, 1, 2]; if let Some(last) = x.last_chunk_mut::<2>() { last[0] = 10; last[1] = 20; } assert_eq!(x, &[0, 10, 20]); assert_eq!(None, x.last_chunk_mut::<4>());
Returns a reference to an element or subslice depending on the type of index.
let v = [10, 40, 30]; assert_eq!(Some(&40), v.get(1)); assert_eq!(Some(&[10, 40][..]), v.get(0..2)); assert_eq!(None, v.get(3)); assert_eq!(None, v.get(0..4));
Returns a mutable reference to an element or subslice depending on the type of index (see get) or None if the index is out of bounds.
get
let x = &mut [0, 1, 2]; if let Some(elem) = x.get_mut(1) { *elem = 42; } assert_eq!(x, &[0, 42, 2]);
Returns a reference to an element or subslice, without doing bounds checking.
For a safe alternative see get.
Calling this method with an out-of-bounds index is undefined behavior even if the resulting reference is not used.
You can think of this like .get(index).unwrap_unchecked(). It’s UB to call .get_unchecked(len), even if you immediately convert to a pointer. And it’s UB to call .get_unchecked(..len + 1), .get_unchecked(..=len), or similar.
.get(index).unwrap_unchecked()
.get_unchecked(len)
.get_unchecked(..len + 1)
.get_unchecked(..=len)
let x = &[1, 2, 4]; unsafe { assert_eq!(x.get_unchecked(1), &2); }
Returns a mutable reference to an element or subslice, without doing bounds checking.
For a safe alternative see get_mut.
get_mut
You can think of this like .get_mut(index).unwrap_unchecked(). It’s UB to call .get_unchecked_mut(len), even if you immediately convert to a pointer. And it’s UB to call .get_unchecked_mut(..len + 1), .get_unchecked_mut(..=len), or similar.
.get_mut(index).unwrap_unchecked()
.get_unchecked_mut(len)
.get_unchecked_mut(..len + 1)
.get_unchecked_mut(..=len)
let x = &mut [1, 2, 4]; unsafe { let elem = x.get_unchecked_mut(1); *elem = 13; } assert_eq!(x, &[1, 13, 4]);
Returns a raw pointer to the slice’s buffer.
The caller must ensure that the slice outlives the pointer this function returns, or else it will end up dangling.
Modifying the container referenced by this slice may cause its buffer to be reallocated, which would also make any pointers to it invalid.
let x = &[1, 2, 4]; let x_ptr = x.as_ptr(); unsafe { for i in 0..x.len() { assert_eq!(x.get_unchecked(i), &*x_ptr.add(i)); } }
Returns an unsafe mutable pointer to the slice’s buffer.
let x = &mut [1, 2, 4]; let x_ptr = x.as_mut_ptr(); unsafe { for i in 0..x.len() { *x_ptr.add(i) += 2; } } assert_eq!(x, &[3, 4, 6]);
Returns the two raw pointers spanning the slice.
The returned range is half-open, which means that the end pointer points one past the last element of the slice. This way, an empty slice is represented by two equal pointers, and the difference between the two pointers represents the size of the slice.
See as_ptr for warnings on using these pointers. The end pointer requires extra caution, as it does not point to a valid element in the slice.
This function is useful for interacting with foreign interfaces which use two pointers to refer to a range of elements in memory, as is common in C++.
It can also be useful to check if a pointer to an element refers to an element of this slice:
let a = [1, 2, 3]; let x = &a[1] as *const _; let y = &5 as *const _; assert!(a.as_ptr_range().contains(&x)); assert!(!a.as_ptr_range().contains(&y));
Returns the two unsafe mutable pointers spanning the slice.
See as_mut_ptr for warnings on using these pointers. The end pointer requires extra caution, as it does not point to a valid element in the slice.
slice_as_array
Gets a reference to the underlying array.
If N is not exactly equal to the length of self, then this method returns None.
Gets a mutable reference to the slice’s underlying array.
Swaps two elements in the slice.
If a equals to b, it’s guaranteed that elements won’t change value.
b
Panics if a or b are out of bounds.
let mut v = ["a", "b", "c", "d", "e"]; v.swap(2, 4); assert!(v == ["a", "b", "e", "d", "c"]);
Swaps two elements in the slice, without doing bounds checking.
For a safe alternative see swap.
swap
Calling this method with an out-of-bounds index is undefined behavior. The caller has to ensure that a < self.len() and b < self.len().
a < self.len()
b < self.len()
#![feature(slice_swap_unchecked)] let mut v = ["a", "b", "c", "d"]; / SAFETY: we know that 1 and 3 are both indices of the slice unsafe { v.swap_unchecked(1, 3) }; assert!(v == ["a", "d", "c", "b"]);
Reverses the order of elements in the slice, in place.
let mut v = [1, 2, 3]; v.reverse(); assert!(v == [3, 2, 1]);
Returns an iterator over the slice.
The iterator yields all items from start to end.
let x = &[1, 2, 4]; let mut iterator = x.iter(); assert_eq!(iterator.next(), Some(&1)); assert_eq!(iterator.next(), Some(&2)); assert_eq!(iterator.next(), Some(&4)); assert_eq!(iterator.next(), None);
Returns an iterator that allows modifying each value.
let x = &mut [1, 2, 4]; for elem in x.iter_mut() { *elem += 2; } assert_eq!(x, &[3, 4, 6]);
Returns an iterator over all contiguous windows of length size. The windows overlap. If the slice is shorter than size, the iterator returns no values.
size
Panics if size is zero.
let slice = ['l', 'o', 'r', 'e', 'm']; let mut iter = slice.windows(3); assert_eq!(iter.next().unwrap(), &['l', 'o', 'r']); assert_eq!(iter.next().unwrap(), &['o', 'r', 'e']); assert_eq!(iter.next().unwrap(), &['r', 'e', 'm']); assert!(iter.next().is_none());
If the slice is shorter than size:
let slice = ['f', 'o']; let mut iter = slice.windows(4); assert!(iter.next().is_none());
Because the Iterator trait cannot represent the required lifetimes, there is no windows_mut analog to windows; [0,1,2].windows_mut(2).collect() would violate the rules of references (though a LendingIterator analog is possible). You can sometimes use Cell::as_slice_of_cells in conjunction with windows instead:
windows_mut
windows
[0,1,2].windows_mut(2).collect()
Cell::as_slice_of_cells
use std::cell::Cell; let mut array = ['R', 'u', 's', 't', ' ', '2', '0', '1', '5']; let slice = &mut array[..]; let slice_of_cells: &[Cell<char>] = Cell::from_mut(slice).as_slice_of_cells(); for w in slice_of_cells.windows(3) { Cell::swap(&w[0], &w[2]); } assert_eq!(array, ['s', 't', ' ', '2', '0', '1', '5', 'u', 'R']);
Returns an iterator over chunk_size elements of the slice at a time, starting at the beginning of the slice.
chunk_size
The chunks are slices and do not overlap. If chunk_size does not divide the length of the slice, then the last chunk will not have length chunk_size.
See chunks_exact for a variant of this iterator that returns chunks of always exactly chunk_size elements, and rchunks for the same iterator but starting at the end of the slice.
chunks_exact
rchunks
If your chunk_size is a constant, consider using as_chunks instead, which will give references to arrays of exactly that length, rather than slices.
as_chunks
Panics if chunk_size is zero.
let slice = ['l', 'o', 'r', 'e', 'm']; let mut iter = slice.chunks(2); assert_eq!(iter.next().unwrap(), &['l', 'o']); assert_eq!(iter.next().unwrap(), &['r', 'e']); assert_eq!(iter.next().unwrap(), &['m']); assert!(iter.next().is_none());
The chunks are mutable slices, and do not overlap. If chunk_size does not divide the length of the slice, then the last chunk will not have length chunk_size.
See chunks_exact_mut for a variant of this iterator that returns chunks of always exactly chunk_size elements, and rchunks_mut for the same iterator but starting at the end of the slice.
chunks_exact_mut
rchunks_mut
If your chunk_size is a constant, consider using as_chunks_mut instead, which will give references to arrays of exactly that length, rather than slices.
as_chunks_mut
let v = &mut [0, 0]; let mut count = 1; for chunk in v.chunks_mut(2) { for elem in chunk.iter_mut() { *elem += count; } count += 1; } assert_eq!(v, &[1, 1, 2, 3]);
The chunks are slices and do not overlap. If chunk_size does not divide the length of the slice, then the last up to chunk_size-1 elements will be omitted and can be retrieved from the remainder function of the iterator.
chunk_size-1
remainder
Due to each chunk having exactly chunk_size elements, the compiler can often optimize the resulting code better than in the case of chunks.
chunks
See chunks for a variant of this iterator that also returns the remainder as a smaller chunk, and rchunks_exact for the same iterator but starting at the end of the slice.
rchunks_exact
let slice = ['l', 'o', 'r', 'e', 'm']; let mut iter = slice.chunks_exact(2); assert_eq!(iter.next().unwrap(), &['l', 'o']); assert_eq!(iter.next().unwrap(), &['r', 'e']); assert!(iter.next().is_none()); assert_eq!(iter.remainder(), &['m']);
The chunks are mutable slices, and do not overlap. If chunk_size does not divide the length of the slice, then the last up to chunk_size-1 elements will be omitted and can be retrieved from the into_remainder function of the iterator.
into_remainder
Due to each chunk having exactly chunk_size elements, the compiler can often optimize the resulting code better than in the case of chunks_mut.
chunks_mut
See chunks_mut for a variant of this iterator that also returns the remainder as a smaller chunk, and rchunks_exact_mut for the same iterator but starting at the end of the slice.
rchunks_exact_mut
let v = &mut [0, 0]; let mut count = 1; for chunk in v.chunks_exact_mut(2) { for elem in chunk.iter_mut() { *elem += count; } count += 1; } assert_eq!(v, &[1, 1, 2, 0]);
Splits the slice into a slice of N-element arrays, assuming that there’s no remainder.
This is the inverse operation to as_flattened.
as_flattened
As this is unsafe, consider whether you could use as_chunks or as_rchunks instead, perhaps via something like if let (chunks, []) = slice.as_chunks() or let (chunks, []) = slice.as_chunks() else { unreachable!() };.
unsafe
as_rchunks
if let (chunks, []) = slice.as_chunks()
let (chunks, []) = slice.as_chunks() else { unreachable!() };
This may only be called when
self.len() % N == 0
N != 0
let slice: &[char] = &['l', 'o', 'r', 'e', 'm', '!']; let chunks: &[[char; 1]] = / SAFETY: 1-element chunks never have remainder unsafe { slice.as_chunks_unchecked() }; assert_eq!(chunks, &[['l'], ['o'], ['r'], ['e'], ['m'], ['!']]); let chunks: &[[char; 3]] = / SAFETY: The slice length (6) is a multiple of 3 unsafe { slice.as_chunks_unchecked() }; assert_eq!(chunks, &[['l', 'o', 'r'], ['e', 'm', '!']]); / These would be unsound: / let chunks: &[[_; 5]] = slice.as_chunks_unchecked() / The slice length is not a multiple of 5 / let chunks: &[[_; 0]] = slice.as_chunks_unchecked() / Zero-length chunks are never allowed
Splits the slice into a slice of N-element arrays, starting at the beginning of the slice, and a remainder slice with length strictly less than N.
The remainder is meaningful in the division sense. Given let (chunks, remainder) = slice.as_chunks(), then:
let (chunks, remainder) = slice.as_chunks()
chunks.len()
slice.len() / N
remainder.len()
slice.len() % N
slice.len()
chunks.len() * N + remainder.len()
You can flatten the chunks back into a slice-of-T with as_flattened.
Panics if N is zero.
Note that this check is against a const generic parameter, not a runtime value, and thus a particular monomorphization will either always panic or it will never panic.
let slice = ['l', 'o', 'r', 'e', 'm']; let (chunks, remainder) = slice.as_chunks(); assert_eq!(chunks, &[['l', 'o'], ['r', 'e']]); assert_eq!(remainder, &['m']);
If you expect the slice to be an exact multiple, you can combine let-else with an empty slice pattern:
let
else
let slice = ['R', 'u', 's', 't']; let (chunks, []) = slice.as_chunks::<2>() else { panic!("slice didn't have even length") }; assert_eq!(chunks, &[['R', 'u'], ['s', 't']]);
Splits the slice into a slice of N-element arrays, starting at the end of the slice, and a remainder slice with length strictly less than N.
The remainder is meaningful in the division sense. Given let (remainder, chunks) = slice.as_rchunks(), then:
let (remainder, chunks) = slice.as_rchunks()
let slice = ['l', 'o', 'r', 'e', 'm']; let (remainder, chunks) = slice.as_rchunks(); assert_eq!(remainder, &['l']); assert_eq!(chunks, &[['o', 'r'], ['e', 'm']]);
This is the inverse operation to as_flattened_mut.
as_flattened_mut
As this is unsafe, consider whether you could use as_chunks_mut or as_rchunks_mut instead, perhaps via something like if let (chunks, []) = slice.as_chunks_mut() or let (chunks, []) = slice.as_chunks_mut() else { unreachable!() };.
as_rchunks_mut
if let (chunks, []) = slice.as_chunks_mut()
let (chunks, []) = slice.as_chunks_mut() else { unreachable!() };
let slice: &mut [char] = &mut ['l', 'o', 'r', 'e', 'm', '!']; let chunks: &mut [[char; 1]] = / SAFETY: 1-element chunks never have remainder unsafe { slice.as_chunks_unchecked_mut() }; chunks[0] = ['L']; assert_eq!(chunks, &[['L'], ['o'], ['r'], ['e'], ['m'], ['!']]); let chunks: &mut [[char; 3]] = / SAFETY: The slice length (6) is a multiple of 3 unsafe { slice.as_chunks_unchecked_mut() }; chunks[1] = ['a', 'x', '?']; assert_eq!(slice, &['L', 'o', 'r', 'a', 'x', '?']); / These would be unsound: / let chunks: &[[_; 5]] = slice.as_chunks_unchecked_mut() / The slice length is not a multiple of 5 / let chunks: &[[_; 0]] = slice.as_chunks_unchecked_mut() / Zero-length chunks are never allowed
The remainder is meaningful in the division sense. Given let (chunks, remainder) = slice.as_chunks_mut(), then:
let (chunks, remainder) = slice.as_chunks_mut()
You can flatten the chunks back into a slice-of-T with as_flattened_mut.
let v = &mut [0, 0]; let mut count = 1; let (chunks, remainder) = v.as_chunks_mut(); remainder[0] = 9; for chunk in chunks { *chunk = [count; 2]; count += 1; } assert_eq!(v, &[1, 1, 2, 9]);
The remainder is meaningful in the division sense. Given let (remainder, chunks) = slice.as_rchunks_mut(), then:
let (remainder, chunks) = slice.as_rchunks_mut()
let v = &mut [0, 0]; let mut count = 1; let (remainder, chunks) = v.as_rchunks_mut(); remainder[0] = 9; for chunk in chunks { *chunk = [count; 2]; count += 1; } assert_eq!(v, &[9, 1, 2]);
Returns an iterator over overlapping windows of N elements of a slice, starting at the beginning of the slice.
This is the const generic equivalent of windows.
If N is greater than the size of the slice, it will return no windows.
Panics if N is zero. This check will most probably get changed to a compile time error before this method gets stabilized.
#![feature(array_windows)] let slice = [0, 1, 2, 3]; let mut iter = slice.array_windows(); assert_eq!(iter.next().unwrap(), &[0, 1]); assert_eq!(iter.next().unwrap(), &[1, 2]); assert_eq!(iter.next().unwrap(), &[2, 3]); assert!(iter.next().is_none());
Returns an iterator over chunk_size elements of the slice at a time, starting at the end of the slice.
See rchunks_exact for a variant of this iterator that returns chunks of always exactly chunk_size elements, and chunks for the same iterator but starting at the beginning of the slice.
If your chunk_size is a constant, consider using as_rchunks instead, which will give references to arrays of exactly that length, rather than slices.
let slice = ['l', 'o', 'r', 'e', 'm']; let mut iter = slice.rchunks(2); assert_eq!(iter.next().unwrap(), &['e', 'm']); assert_eq!(iter.next().unwrap(), &['o', 'r']); assert_eq!(iter.next().unwrap(), &['l']); assert!(iter.next().is_none());
See rchunks_exact_mut for a variant of this iterator that returns chunks of always exactly chunk_size elements, and chunks_mut for the same iterator but starting at the beginning of the slice.
If your chunk_size is a constant, consider using as_rchunks_mut instead, which will give references to arrays of exactly that length, rather than slices.
let v = &mut [0, 0]; let mut count = 1; for chunk in v.rchunks_mut(2) { for elem in chunk.iter_mut() { *elem += count; } count += 1; } assert_eq!(v, &[3, 2, 1]);
Due to each chunk having exactly chunk_size elements, the compiler can often optimize the resulting code better than in the case of rchunks.
See rchunks for a variant of this iterator that also returns the remainder as a smaller chunk, and chunks_exact for the same iterator but starting at the beginning of the slice.
let slice = ['l', 'o', 'r', 'e', 'm']; let mut iter = slice.rchunks_exact(2); assert_eq!(iter.next().unwrap(), &['e', 'm']); assert_eq!(iter.next().unwrap(), &['o', 'r']); assert!(iter.next().is_none()); assert_eq!(iter.remainder(), &['l']);
See rchunks_mut for a variant of this iterator that also returns the remainder as a smaller chunk, and chunks_exact_mut for the same iterator but starting at the beginning of the slice.
let v = &mut [0, 0]; let mut count = 1; for chunk in v.rchunks_exact_mut(2) { for elem in chunk.iter_mut() { *elem += count; } count += 1; } assert_eq!(v, &[0, 2, 1]);
Returns an iterator over the slice producing non-overlapping runs of elements using the predicate to separate them.
The predicate is called for every pair of consecutive elements, meaning that it is called on slice[0] and slice[1], followed by slice[1] and slice[2], and so on.
slice[0]
slice[1]
slice[2]
let slice = &[1, 1, 3, 2]; let mut iter = slice.chunk_by(|a, b| a == b); assert_eq!(iter.next(), Some(&[1, 1][..])); assert_eq!(iter.next(), Some(&[3, 3][..])); assert_eq!(iter.next(), Some(&[2, 2][..])); assert_eq!(iter.next(), None);
This method can be used to extract the sorted subslices:
let slice = &[1, 1, 2, 3, 2, 3, 2, 3, 4]; let mut iter = slice.chunk_by(|a, b| a <= b); assert_eq!(iter.next(), Some(&[1, 1, 2, 3][..])); assert_eq!(iter.next(), Some(&[2, 3][..])); assert_eq!(iter.next(), Some(&[2, 3, 4][..])); assert_eq!(iter.next(), None);
Returns an iterator over the slice producing non-overlapping mutable runs of elements using the predicate to separate them.
let slice = &mut [1, 1, 3, 2]; let mut iter = slice.chunk_by_mut(|a, b| a == b); assert_eq!(iter.next(), Some(&mut [1, 1][..])); assert_eq!(iter.next(), Some(&mut [3, 3][..])); assert_eq!(iter.next(), Some(&mut [2, 2][..])); assert_eq!(iter.next(), None);
let slice = &mut [1, 1, 2, 3, 2, 3, 2, 3, 4]; let mut iter = slice.chunk_by_mut(|a, b| a <= b); assert_eq!(iter.next(), Some(&mut [1, 1, 2, 3][..])); assert_eq!(iter.next(), Some(&mut [2, 3][..])); assert_eq!(iter.next(), Some(&mut [2, 3, 4][..])); assert_eq!(iter.next(), None);
Divides one slice into two at an index.
The first will contain all indices from [0, mid) (excluding the index mid itself) and the second will contain all indices from [mid, len) (excluding the index len itself).
[0, mid)
mid
[mid, len)
Panics if mid > len. For a non-panicking alternative see split_at_checked.
mid > len
split_at_checked
let v = ['a', 'b', 'c']; { let (left, right) = v.split_at(0); assert_eq!(left, []); assert_eq!(right, ['a', 'b', 'c']); } { let (left, right) = v.split_at(2); assert_eq!(left, ['a', 'b']); assert_eq!(right, ['c']); } { let (left, right) = v.split_at(3); assert_eq!(left, ['a', 'b', 'c']); assert_eq!(right, []); }
Divides one mutable slice into two at an index.
Panics if mid > len. For a non-panicking alternative see split_at_mut_checked.
split_at_mut_checked
let mut v = [1, 0, 3, 0, 5, 6]; let (left, right) = v.split_at_mut(2); assert_eq!(left, [1, 0]); assert_eq!(right, [3, 0, 5, 6]); left[1] = 2; right[1] = 4; assert_eq!(v, [1, 2, 3, 4, 5, 6]);
Divides one slice into two at an index, without doing bounds checking.
For a safe alternative see split_at.
split_at
Calling this method with an out-of-bounds index is undefined behavior even if the resulting reference is not used. The caller has to ensure that 0 <= mid <= self.len().
0 <= mid <= self.len()
let v = ['a', 'b', 'c']; unsafe { let (left, right) = v.split_at_unchecked(0); assert_eq!(left, []); assert_eq!(right, ['a', 'b', 'c']); } unsafe { let (left, right) = v.split_at_unchecked(2); assert_eq!(left, ['a', 'b']); assert_eq!(right, ['c']); } unsafe { let (left, right) = v.split_at_unchecked(3); assert_eq!(left, ['a', 'b', 'c']); assert_eq!(right, []); }
Divides one mutable slice into two at an index, without doing bounds checking.
For a safe alternative see split_at_mut.
split_at_mut
let mut v = [1, 0, 3, 0, 5, 6]; / scoped to restrict the lifetime of the borrows unsafe { let (left, right) = v.split_at_mut_unchecked(2); assert_eq!(left, [1, 0]); assert_eq!(right, [3, 0, 5, 6]); left[1] = 2; right[1] = 4; } assert_eq!(v, [1, 2, 3, 4, 5, 6]);
Divides one slice into two at an index, returning None if the slice is too short.
If mid ≤ len returns a pair of slices where the first will contain all indices from [0, mid) (excluding the index mid itself) and the second will contain all indices from [mid, len) (excluding the index len itself).
mid ≤ len
Otherwise, if mid > len, returns None.
let v = [1, -2, 3, -4, 5, -6]; { let (left, right) = v.split_at_checked(0).unwrap(); assert_eq!(left, []); assert_eq!(right, [1, -2, 3, -4, 5, -6]); } { let (left, right) = v.split_at_checked(2).unwrap(); assert_eq!(left, [1, -2]); assert_eq!(right, [3, -4, 5, -6]); } { let (left, right) = v.split_at_checked(6).unwrap(); assert_eq!(left, [1, -2, 3, -4, 5, -6]); assert_eq!(right, []); } assert_eq!(None, v.split_at_checked(7));
Divides one mutable slice into two at an index, returning None if the slice is too short.
let mut v = [1, 0, 3, 0, 5, 6]; if let Some((left, right)) = v.split_at_mut_checked(2) { assert_eq!(left, [1, 0]); assert_eq!(right, [3, 0, 5, 6]); left[1] = 2; right[1] = 4; } assert_eq!(v, [1, 2, 3, 4, 5, 6]); assert_eq!(None, v.split_at_mut_checked(7));
Returns an iterator over subslices separated by elements that match pred. The matched element is not contained in the subslices.
pred
let slice = [10, 40, 33, 20]; let mut iter = slice.split(|num| num % 3 == 0); assert_eq!(iter.next().unwrap(), &[10, 40]); assert_eq!(iter.next().unwrap(), &[20]); assert!(iter.next().is_none());
If the first element is matched, an empty slice will be the first item returned by the iterator. Similarly, if the last element in the slice is matched, an empty slice will be the last item returned by the iterator:
let slice = [10, 40, 33]; let mut iter = slice.split(|num| num % 3 == 0); assert_eq!(iter.next().unwrap(), &[10, 40]); assert_eq!(iter.next().unwrap(), &[]); assert!(iter.next().is_none());
If two matched elements are directly adjacent, an empty slice will be present between them:
let slice = [10, 6, 33, 20]; let mut iter = slice.split(|num| num % 3 == 0); assert_eq!(iter.next().unwrap(), &[10]); assert_eq!(iter.next().unwrap(), &[]); assert_eq!(iter.next().unwrap(), &[20]); assert!(iter.next().is_none());
Returns an iterator over mutable subslices separated by elements that match pred. The matched element is not contained in the subslices.
let mut v = [10, 40, 30, 20, 60, 50]; for group in v.split_mut(|num| *num % 3 == 0) { group[0] = 1; } assert_eq!(v, [1, 40, 30, 1, 60, 1]);
Returns an iterator over subslices separated by elements that match pred. The matched element is contained in the end of the previous subslice as a terminator.
let slice = [10, 40, 33, 20]; let mut iter = slice.split_inclusive(|num| num % 3 == 0); assert_eq!(iter.next().unwrap(), &[10, 40, 33]); assert_eq!(iter.next().unwrap(), &[20]); assert!(iter.next().is_none());
If the last element of the slice is matched, that element will be considered the terminator of the preceding slice. That slice will be the last item returned by the iterator.
let slice = [3, 10, 40, 33]; let mut iter = slice.split_inclusive(|num| num % 3 == 0); assert_eq!(iter.next().unwrap(), &[3]); assert_eq!(iter.next().unwrap(), &[10, 40, 33]); assert!(iter.next().is_none());
Returns an iterator over mutable subslices separated by elements that match pred. The matched element is contained in the previous subslice as a terminator.
let mut v = [10, 40, 30, 20, 60, 50]; for group in v.split_inclusive_mut(|num| *num % 3 == 0) { let terminator_idx = group.len()-1; group[terminator_idx] = 1; } assert_eq!(v, [10, 40, 1, 20, 1]);
Returns an iterator over subslices separated by elements that match pred, starting at the end of the slice and working backwards. The matched element is not contained in the subslices.
let slice = [11, 22, 33, 0, 44, 55]; let mut iter = slice.rsplit(|num| *num == 0); assert_eq!(iter.next().unwrap(), &[44, 55]); assert_eq!(iter.next().unwrap(), &[11, 22, 33]); assert_eq!(iter.next(), None);
As with split(), if the first or last element is matched, an empty slice will be the first (or last) item returned by the iterator.
split()
let v = &[0, 1, 2, 3, 5, 8]; let mut it = v.rsplit(|n| *n % 2 == 0); assert_eq!(it.next().unwrap(), &[]); assert_eq!(it.next().unwrap(), &[3, 5]); assert_eq!(it.next().unwrap(), &[1, 1]); assert_eq!(it.next().unwrap(), &[]); assert_eq!(it.next(), None);
Returns an iterator over mutable subslices separated by elements that match pred, starting at the end of the slice and working backwards. The matched element is not contained in the subslices.
let mut v = [100, 400, 300, 200, 600, 500]; let mut count = 0; for group in v.rsplit_mut(|num| *num % 3 == 0) { count += 1; group[0] = count; } assert_eq!(v, [3, 400, 300, 2, 600, 1]);
Returns an iterator over subslices separated by elements that match pred, limited to returning at most n items. The matched element is not contained in the subslices.
n
The last element returned, if any, will contain the remainder of the slice.
Print the slice split once by numbers divisible by 3 (i.e., [10, 40], [20, 60, 50]):
[10, 40]
[20, 60, 50]
let v = [10, 40, 30, 20, 60, 50]; for group in v.splitn(2, |num| *num % 3 == 0) { println!("{group:?}"); }
Returns an iterator over mutable subslices separated by elements that match pred, limited to returning at most n items. The matched element is not contained in the subslices.
let mut v = [10, 40, 30, 20, 60, 50]; for group in v.splitn_mut(2, |num| *num % 3 == 0) { group[0] = 1; } assert_eq!(v, [1, 40, 30, 1, 60, 50]);
Returns an iterator over subslices separated by elements that match pred limited to returning at most n items. This starts at the end of the slice and works backwards. The matched element is not contained in the subslices.
Print the slice split once, starting from the end, by numbers divisible by 3 (i.e., [50], [10, 40, 30, 20]):
[50]
[10, 40, 30, 20]
let v = [10, 40, 30, 20, 60, 50]; for group in v.rsplitn(2, |num| *num % 3 == 0) { println!("{group:?}"); }
let mut s = [10, 40, 30, 20, 60, 50]; for group in s.rsplitn_mut(2, |num| *num % 3 == 0) { group[0] = 1; } assert_eq!(s, [1, 40, 30, 20, 60, 1]);
slice_split_once
Splits the slice on the first element that matches the specified predicate.
If any matching elements are present in the slice, returns the prefix before the match and suffix after. The matching element itself is not included. If no elements match, returns None.
#![feature(slice_split_once)] let s = [1, 2, 3, 2, 4]; assert_eq!(s.split_once(|&x| x == 2), Some(( &[1][..], &[3, 2, 4][..] ))); assert_eq!(s.split_once(|&x| x == 0), None);
Splits the slice on the last element that matches the specified predicate.
#![feature(slice_split_once)] let s = [1, 2, 3, 2, 4]; assert_eq!(s.rsplit_once(|&x| x == 2), Some(( &[1, 2, 3][..], &[4][..] ))); assert_eq!(s.rsplit_once(|&x| x == 0), None);
Returns true if the slice contains an element with the given value.
This operation is O(n).
Note that if you have a sorted slice, binary_search may be faster.
binary_search
let v = [10, 40, 30]; assert!(v.contains(&30)); assert!(!v.contains(&50));
If you do not have a &T, but some other value that you can compare with one (for example, String implements PartialEq<str>), you can use iter().any:
&T
PartialEq<str>
iter().any
let v = [String::from("hello"), String::from("world")]; / slice of `String` assert!(v.iter().any(|e| e == "hello")); / search with `&str` assert!(!v.iter().any(|e| e == "hi"));
Returns true if needle is a prefix of the slice or equal to the slice.
needle
let v = [10, 40, 30]; assert!(v.starts_with(&[10])); assert!(v.starts_with(&[10, 40])); assert!(v.starts_with(&v)); assert!(!v.starts_with(&[50])); assert!(!v.starts_with(&[10, 50]));
Always returns true if needle is an empty slice:
let v = &[10, 40, 30]; assert!(v.starts_with(&[])); let v: &[u8] = &[]; assert!(v.starts_with(&[]));
Returns true if needle is a suffix of the slice or equal to the slice.
let v = [10, 40, 30]; assert!(v.ends_with(&[30])); assert!(v.ends_with(&[40, 30])); assert!(v.ends_with(&v)); assert!(!v.ends_with(&[50])); assert!(!v.ends_with(&[50, 30]));
let v = &[10, 40, 30]; assert!(v.ends_with(&[])); let v: &[u8] = &[]; assert!(v.ends_with(&[]));
Returns a subslice with the prefix removed.
If the slice starts with prefix, returns the subslice after the prefix, wrapped in Some. If prefix is empty, simply returns the original slice. If prefix is equal to the original slice, returns an empty slice.
prefix
Some
If the slice does not start with prefix, returns None.
let v = &[10, 40, 30]; assert_eq!(v.strip_prefix(&[10]), Some(&[40, 30][..])); assert_eq!(v.strip_prefix(&[10, 40]), Some(&[30][..])); assert_eq!(v.strip_prefix(&[10, 40, 30]), Some(&[][..])); assert_eq!(v.strip_prefix(&[50]), None); assert_eq!(v.strip_prefix(&[10, 50]), None); let prefix : &str = "he"; assert_eq!(b"hello".strip_prefix(prefix.as_bytes()), Some(b"llo".as_ref()));
Returns a subslice with the suffix removed.
If the slice ends with suffix, returns the subslice before the suffix, wrapped in Some. If suffix is empty, simply returns the original slice. If suffix is equal to the original slice, returns an empty slice.
suffix
If the slice does not end with suffix, returns None.
let v = &[10, 40, 30]; assert_eq!(v.strip_suffix(&[30]), Some(&[10, 40][..])); assert_eq!(v.strip_suffix(&[40, 30]), Some(&[10][..])); assert_eq!(v.strip_suffix(&[10, 40, 30]), Some(&[][..])); assert_eq!(v.strip_suffix(&[50]), None); assert_eq!(v.strip_suffix(&[50, 30]), None);
trim_prefix_suffix
Returns a subslice with the optional prefix removed.
If the slice starts with prefix, returns the subslice after the prefix. If prefix is empty or the slice does not start with prefix, simply returns the original slice. If prefix is equal to the original slice, returns an empty slice.
#![feature(trim_prefix_suffix)] let v = &[10, 40, 30]; / Prefix present - removes it assert_eq!(v.trim_prefix(&[10]), &[40, 30][..]); assert_eq!(v.trim_prefix(&[10, 40]), &[30][..]); assert_eq!(v.trim_prefix(&[10, 40, 30]), &[][..]); / Prefix absent - returns original slice assert_eq!(v.trim_prefix(&[50]), &[10, 40, 30][..]); assert_eq!(v.trim_prefix(&[10, 50]), &[10, 40, 30][..]); let prefix : &str = "he"; assert_eq!(b"hello".trim_prefix(prefix.as_bytes()), b"llo".as_ref());
Returns a subslice with the optional suffix removed.
If the slice ends with suffix, returns the subslice before the suffix. If suffix is empty or the slice does not end with suffix, simply returns the original slice. If suffix is equal to the original slice, returns an empty slice.
#![feature(trim_prefix_suffix)] let v = &[10, 40, 30]; / Suffix present - removes it assert_eq!(v.trim_suffix(&[30]), &[10, 40][..]); assert_eq!(v.trim_suffix(&[40, 30]), &[10][..]); assert_eq!(v.trim_suffix(&[10, 40, 30]), &[][..]); / Suffix absent - returns original slice assert_eq!(v.trim_suffix(&[50]), &[10, 40, 30][..]); assert_eq!(v.trim_suffix(&[50, 30]), &[10, 40, 30][..]);
Binary searches this slice for a given element. If the slice is not sorted, the returned result is unspecified and meaningless.
If the value is found then Result::Ok is returned, containing the index of the matching element. If there are multiple matches, then any one of the matches could be returned. The index is chosen deterministically, but is subject to change in future versions of Rust. If the value is not found then Result::Err is returned, containing the index where a matching element could be inserted while maintaining sorted order.
Result::Ok
Result::Err
See also binary_search_by, binary_search_by_key, and partition_point.
binary_search_by
binary_search_by_key
partition_point
Looks up a series of four elements. The first is found, with a uniquely determined position; the second and third are not found; the fourth could match any position in [1, 4].
[1, 4]
let s = [0, 1, 2, 3, 5, 8, 13, 21, 34, 55]; assert_eq!(s.binary_search(&13), Ok(9)); assert_eq!(s.binary_search(&4), Err(7)); assert_eq!(s.binary_search(&100), Err(13)); let r = s.binary_search(&1); assert!(match r { Ok(1..=4) => true, _ => false, });
If you want to find that whole range of matching items, rather than an arbitrary matching one, that can be done using partition_point:
let s = [0, 1, 2, 3, 5, 8, 13, 21, 34, 55]; let low = s.partition_point(|x| x < &1); assert_eq!(low, 1); let high = s.partition_point(|x| x <= &1); assert_eq!(high, 5); let r = s.binary_search(&1); assert!((low..high).contains(&r.unwrap())); assert!(s[..low].iter().all(|&x| x < 1)); assert!(s[low..high].iter().all(|&x| x == 1)); assert!(s[high..].iter().all(|&x| x > 1)); / For something not found, the "range" of equal items is empty assert_eq!(s.partition_point(|x| x < &11), 9); assert_eq!(s.partition_point(|x| x <= &11), 9); assert_eq!(s.binary_search(&11), Err(9));
If you want to insert an item to a sorted vector, while maintaining sort order, consider using partition_point:
let mut s = vec![0, 1, 2, 3, 5, 8, 13, 21, 34, 55]; let num = 42; let idx = s.partition_point(|&x| x <= num); / If `num` is unique, `s.partition_point(|&x| x < num)` (with `<`) is equivalent to / `s.binary_search(&num).unwrap_or_else(|x| x)`, but using `<=` will allow `insert` / to shift less elements. s.insert(idx, num); assert_eq!(s, [0, 1, 2, 3, 5, 8, 13, 21, 34, 42, 55]);
Binary searches this slice with a comparator function.
The comparator function should return an order code that indicates whether its argument is Less, Equal or Greater the desired target. If the slice is not sorted or if the comparator function does not implement an order consistent with the sort order of the underlying slice, the returned result is unspecified and meaningless.
Less
Equal
Greater
See also binary_search, binary_search_by_key, and partition_point.
let s = [0, 1, 2, 3, 5, 8, 13, 21, 34, 55]; let seek = 13; assert_eq!(s.binary_search_by(|probe| probe.cmp(&seek)), Ok(9)); let seek = 4; assert_eq!(s.binary_search_by(|probe| probe.cmp(&seek)), Err(7)); let seek = 100; assert_eq!(s.binary_search_by(|probe| probe.cmp(&seek)), Err(13)); let seek = 1; let r = s.binary_search_by(|probe| probe.cmp(&seek)); assert!(match r { Ok(1..=4) => true, _ => false, });
Binary searches this slice with a key extraction function.
Assumes that the slice is sorted by the key, for instance with sort_by_key using the same key extraction function. If the slice is not sorted by the key, the returned result is unspecified and meaningless.
sort_by_key
See also binary_search, binary_search_by, and partition_point.
Looks up a series of four elements in a slice of pairs sorted by their second elements. The first is found, with a uniquely determined position; the second and third are not found; the fourth could match any position in [1, 4].
let s = [(0, 0), (2, 1), (4, 1), (5, 1), (3, 1), (1, 2), (2, 3), (4, 5), (5, 8), (3, 13), (1, 21), (2, 34), (4, 55)]; assert_eq!(s.binary_search_by_key(&13, |&(a, b)| b), Ok(9)); assert_eq!(s.binary_search_by_key(&4, |&(a, b)| b), Err(7)); assert_eq!(s.binary_search_by_key(&100, |&(a, b)| b), Err(13)); let r = s.binary_search_by_key(&1, |&(a, b)| b); assert!(match r { Ok(1..=4) => true, _ => false, });
Sorts the slice in ascending order without preserving the initial order of equal elements.
This sort is unstable (i.e., may reorder equal elements), in-place (i.e., does not allocate), and O(n * log(n)) worst-case.
If the implementation of Ord for T does not implement a total order, the function may panic; even if the function exits normally, the resulting order of elements in the slice is unspecified. See also the note on panicking below.
Ord
For example |a, b| (a - b).cmp(a) is a comparison function that is neither transitive nor reflexive nor total, a < b < c < a with a = 1, b = 2, c = 3. For more information and examples see the Ord documentation.
|a, b| (a - b).cmp(a)
a < b < c < a
a = 1, b = 2, c = 3
All original elements will remain in the slice and any possible modifications via interior mutability are observed in the input. Same is true if the implementation of Ord for T panics.
Sorting types that only implement PartialOrd such as f32 and f64 require additional precautions. For example, f32::NAN != f32::NAN, which doesn’t fulfill the reflexivity requirement of Ord. By using an alternative comparison function with slice::sort_unstable_by such as f32::total_cmp or f64::total_cmp that defines a total order users can sort slices containing floating-point values. Alternatively, if all values in the slice are guaranteed to be in a subset for which PartialOrd::partial_cmp forms a total order, it’s possible to sort the slice with sort_unstable_by(|a, b| a.partial_cmp(b).unwrap()).
PartialOrd
f32
f64
f32::NAN != f32::NAN
slice::sort_unstable_by
f32::total_cmp
f64::total_cmp
PartialOrd::partial_cmp
sort_unstable_by(|a, b| a.partial_cmp(b).unwrap())
The current implementation is based on ipnsort by Lukas Bergdoll and Orson Peters, which combines the fast average case of quicksort with the fast worst case of heapsort, achieving linear time on fully sorted and reversed inputs. On inputs with k distinct elements, the expected time to sort the data is O(n * log(k)).
It is typically faster than stable sorting, except in a few special cases, e.g., when the slice is partially sorted.
May panic if the implementation of Ord for T does not implement a total order, or if the Ord implementation panics.
let mut v = [4, -5, 1, -3, 2]; v.sort_unstable(); assert_eq!(v, [-5, -3, 1, 2, 4]);
Sorts the slice in ascending order with a comparison function, without preserving the initial order of equal elements.
If the comparison function compare does not implement a total order, the function may panic; even if the function exits normally, the resulting order of elements in the slice is unspecified. See also the note on panicking below.
compare
All original elements will remain in the slice and any possible modifications via interior mutability are observed in the input. Same is true if compare panics.
May panic if the compare does not implement a total order, or if the compare itself panics.
let mut v = [4, -5, 1, -3, 2]; v.sort_unstable_by(|a, b| a.cmp(b)); assert_eq!(v, [-5, -3, 1, 2, 4]); / reverse sorting v.sort_unstable_by(|a, b| b.cmp(a)); assert_eq!(v, [4, 2, 1, -3, -5]);
Sorts the slice in ascending order with a key extraction function, without preserving the initial order of equal elements.
If the implementation of Ord for K does not implement a total order, the function may panic; even if the function exits normally, the resulting order of elements in the slice is unspecified. See also the note on panicking below.
K
All original elements will remain in the slice and any possible modifications via interior mutability are observed in the input. Same is true if the implementation of Ord for K panics.
May panic if the implementation of Ord for K does not implement a total order, or if the Ord implementation panics.
let mut v = [4i32, -5, 1, -3, 2]; v.sort_unstable_by_key(|k| k.abs()); assert_eq!(v, [1, 2, -3, 4, -5]);
Reorders the slice such that the element at index is at a sort-order position. All elements before index will be <= to this value, and all elements after will be >= to it.
<=
>=
This reordering is unstable (i.e. any element that compares equal to the nth element may end up at that position), in-place (i.e. does not allocate), and runs in O(n) time. This function is also known as “kth element” in other libraries.
Returns a triple that partitions the reordered slice:
The unsorted subslice before index, whose elements all satisfy x <= self[index].
x <= self[index]
The element at index.
The unsorted subslice after index, whose elements all satisfy x >= self[index].
x >= self[index]
The current algorithm is an introselect implementation based on ipnsort by Lukas Bergdoll and Orson Peters, which is also the basis for sort_unstable. The fallback algorithm is Median of Medians using Tukey’s Ninther for pivot selection, which guarantees linear runtime for all inputs.
sort_unstable
Panics when index >= len(), and so always panics on empty slices.
index >= len()
May panic if the implementation of Ord for T does not implement a total order.
let mut v = [-5i32, 4, 2, -3, 1]; / Find the items `<=` to the median, the median itself, and the items `>=` to it. let (lesser, median, greater) = v.select_nth_unstable(2); assert!(lesser == [-3, -5] || lesser == [-5, -3]); assert_eq!(median, &mut 1); assert!(greater == [4, 2] || greater == [2, 4]); / We are only guaranteed the slice will be one of the following, based on the way we sort / about the specified index. assert!(v == [-3, -5, 1, 2, 4] || v == [-5, -3, 1, 2, 4] || v == [-3, -5, 1, 4, 2] || v == [-5, -3, 1, 4, 2]);
Reorders the slice with a comparator function such that the element at index is at a sort-order position. All elements before index will be <= to this value, and all elements after will be >= to it, according to the comparator function.
Returns a triple partitioning the reordered slice:
The unsorted subslice before index, whose elements all satisfy compare(x, self[index]).is_le().
compare(x, self[index]).is_le()
The unsorted subslice after index, whose elements all satisfy compare(x, self[index]).is_ge().
compare(x, self[index]).is_ge()
May panic if compare does not implement a total order.
let mut v = [-5i32, 4, 2, -3, 1]; / Find the items `>=` to the median, the median itself, and the items `<=` to it, by using / a reversed comparator. let (before, median, after) = v.select_nth_unstable_by(2, |a, b| b.cmp(a)); assert!(before == [4, 2] || before == [2, 4]); assert_eq!(median, &mut 1); assert!(after == [-3, -5] || after == [-5, -3]); / We are only guaranteed the slice will be one of the following, based on the way we sort / about the specified index. assert!(v == [2, 4, 1, -5, -3] || v == [2, 4, 1, -3, -5] || v == [4, 2, 1, -5, -3] || v == [4, 2, 1, -3, -5]);
Reorders the slice with a key extraction function such that the element at index is at a sort-order position. All elements before index will have keys <= to the key at index, and all elements after will have keys >= to it.
The unsorted subslice before index, whose elements all satisfy f(x) <= f(self[index]).
f(x) <= f(self[index])
The unsorted subslice after index, whose elements all satisfy f(x) >= f(self[index]).
f(x) >= f(self[index])
Panics when index >= len(), meaning it always panics on empty slices.
May panic if K: Ord does not implement a total order.
K: Ord
let mut v = [-5i32, 4, 1, -3, 2]; / Find the items `<=` to the absolute median, the absolute median itself, and the items / `>=` to it. let (lesser, median, greater) = v.select_nth_unstable_by_key(2, |a| a.abs()); assert!(lesser == [1, 2] || lesser == [2, 1]); assert_eq!(median, &mut -3); assert!(greater == [4, -5] || greater == [-5, 4]); / We are only guaranteed the slice will be one of the following, based on the way we sort / about the specified index. assert!(v == [1, 2, -3, 4, -5] || v == [1, 2, -3, -5, 4] || v == [2, 1, -3, 4, -5] || v == [2, 1, -3, -5, 4]);
slice_partition_dedup
Moves all consecutive repeated elements to the end of the slice according to the PartialEq trait implementation.
Returns two slices. The first contains no consecutive repeated elements. The second contains all the duplicates in no specified order.
If the slice is sorted, the first returned slice contains no duplicates.
#![feature(slice_partition_dedup)] let mut slice = [1, 2, 3, 2, 1]; let (dedup, duplicates) = slice.partition_dedup(); assert_eq!(dedup, [1, 2, 3, 2, 1]); assert_eq!(duplicates, [2, 3, 1]);
Moves all but the first of consecutive elements to the end of the slice satisfying a given equality relation.
The same_bucket function is passed references to two elements from the slice and must determine if the elements compare equal. The elements are passed in opposite order from their order in the slice, so if same_bucket(a, b) returns true, a is moved at the end of the slice.
#![feature(slice_partition_dedup)] let mut slice = ["foo", "Foo", "BAZ", "Bar", "bar", "baz", "BAZ"]; let (dedup, duplicates) = slice.partition_dedup_by(|a, b| a.eq_ignore_ascii_case(b)); assert_eq!(dedup, ["foo", "BAZ", "Bar", "baz"]); assert_eq!(duplicates, ["bar", "Foo", "BAZ"]);
Moves all but the first of consecutive elements to the end of the slice that resolve to the same key.
#![feature(slice_partition_dedup)] let mut slice = [10, 20, 21, 30, 20, 11, 13]; let (dedup, duplicates) = slice.partition_dedup_by_key(|i| *i / 10); assert_eq!(dedup, [10, 20, 30, 20, 11]); assert_eq!(duplicates, [21, 30, 13]);
Rotates the slice in-place such that the first mid elements of the slice move to the end while the last self.len() - mid elements move to the front.
self.len() - mid
After calling rotate_left, the element previously at index mid will become the first element in the slice.
rotate_left
This function will panic if mid is greater than the length of the slice. Note that mid == self.len() does not panic and is a no-op rotation.
mid == self.len()
Takes linear (in self.len()) time.
self.len()
let mut a = ['a', 'b', 'c', 'd', 'e', 'f']; a.rotate_left(2); assert_eq!(a, ['c', 'd', 'e', 'f', 'a', 'b']);
Rotating a subslice:
let mut a = ['a', 'b', 'c', 'd', 'e', 'f']; a[1..5].rotate_left(1); assert_eq!(a, ['a', 'c', 'd', 'e', 'b', 'f']);
Rotates the slice in-place such that the first self.len() - k elements of the slice move to the end while the last k elements move to the front.
self.len() - k
k
After calling rotate_right, the element previously at index self.len() - k will become the first element in the slice.
rotate_right
This function will panic if k is greater than the length of the slice. Note that k == self.len() does not panic and is a no-op rotation.
k == self.len()
let mut a = ['a', 'b', 'c', 'd', 'e', 'f']; a.rotate_right(2); assert_eq!(a, ['e', 'f', 'a', 'b', 'c', 'd']);
let mut a = ['a', 'b', 'c', 'd', 'e', 'f']; a[1..5].rotate_right(1); assert_eq!(a, ['a', 'e', 'b', 'c', 'd', 'f']);
Fills self with elements by cloning value.
let mut buf = vec![0; 10]; buf.fill(1); assert_eq!(buf, vec![1; 10]);