Open
Description
Feature gate: #![feature(slice_as_array)]
This is a tracking issue for adding conversion functions from slices to arrays.
Public API
impl<T> [T] {
pub const fn as_array<const N: usize>(&self) -> Option<&[T; N]>;
pub const fn as_mut_array<const N: usize>(&mut self) -> Option<&mut [T; N]>;
}
impl<T> *const [T] {
pub const fn as_array<const N: usize>(self) -> Option<*const [T; N]>;
}
impl<T> *mut [T] {
pub const fn as_mut_array<const N: usize>(self) -> Option<*mut [T; N]>;
}
// alloc::boxed
impl<T> Box<[T]> {
pub fn into_array<const N: usize>(self) -> Option<Box<[T; N]>>;
}
// alloc::rc
impl<T> Rc<[T]> {
pub fn into_array<const N: usize>(self) -> Option<Rc<[T; N]>>;
}
// alloc::sync
impl<T> Arc<[T]> {
pub fn into_array<const N: usize>(self) -> Option<Arc<[T; N]>>;
}
Steps / History
- API change proposal (ACP): #496
- Implementation for
[T]
,*const [T]
, and*mut [T]
: Addas_array
andas_mut_array
conversion methods to slices. #133512 - Fix docs for
<[T]>::as_array
: Fix docs for<[T]>::as_array
. #133743 - Implementation for
Box<[T]>
,Rc<[T]>
, andArc<[T]>
: Addinto_array
conversion destructors forBox
,Rc
, andArc
. #134379 - Final comment period (FCP)
- Stabilization PR
Unresolved Questions
const
-compatible for the non-primitive types?Option
orResult
for the owning conversions?- Implementations for
Mutex
andRwLock
? Vec::into_boxed_array
?str::as_bytes_array
andString::into_boxed_bytes_array
?