pub unsafe trait Divisible<U: UnderlierType>: UnderlierType {
type Array: IntoIterator<Item = U, IntoIter: Send>;
const WIDTH: usize = _;
// Required methods
fn split_val(self) -> Self::Array;
fn split_ref(&self) -> &[U];
fn split_mut(&mut self) -> &mut [U];
// Provided methods
fn split_slice(values: &[Self]) -> &[U] { ... }
fn split_slice_mut(values: &mut [Self]) -> &mut [U] { ... }
}Expand description
Underlier value that can be split into a slice of smaller U values.
This trait is unsafe because it allows to reinterpret the memory of a type as a slice of another type.
§Safety
Implementors must ensure that &Self can be safely bit-cast to &[U; Self::WIDTH] and
&mut Self can be safely bit-cast to &mut [U; Self::WIDTH].
Provided Associated Constants§
Required Associated Types§
Sourcetype Array: IntoIterator<Item = U, IntoIter: Send>
type Array: IntoIterator<Item = U, IntoIter: Send>
This is actually [U; Self::WIDTH] but we can’t use it as the default value in the trait definition
without generic_const_exprs feature enabled.
Required Methods§
fn split_val(self) -> Self::Array
fn split_ref(&self) -> &[U]
fn split_mut(&mut self) -> &mut [U]
Provided Methods§
fn split_slice(values: &[Self]) -> &[U]
fn split_slice_mut(values: &mut [Self]) -> &mut [U]
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.