Trait cl_generic_vec::raw::Storage

pub unsafe trait Storage: AsRef<[MaybeUninit<Self::Item>]> + AsMut<[MaybeUninit<Self::Item>]> {
    type Item;
    fn reserve(&mut self, new_capacity: usize);
    fn try_reserve(&mut self, new_capacity: usize) -> AllocResult;
}

A type that can hold Ts, and potentially reserve space for more Self::Itemss

Safety

Other safe types rely on this trait being implemented correctly. See the safety requirements on each function

Associated Types

type Item

The type of item that this storage can contain

Required methods

fn reserve(&mut self, new_capacity: usize)

Reserves space for at least new_capacity elements

Safety

After this call successfully ends, the capacity must be at least new_capacity

Panic/Abort

Maybe panic or abort if it is impossible to set the capacity to at least new_capacity

fn try_reserve(&mut self, new_capacity: usize) -> AllocResult

Tries to reserve space for at least new_capacity elements

Returns Ok(()) on success, Err(AllocError) if it is impossible to set the capacity to at least new_capacity

Safety

If Ok(()) is returned, the capacity must be at least new_capacity

Implementations on Foreign Types

impl<T, const N: usize> Storage for [MaybeUninit<T>; N]

type Item = T

fn reserve(&mut self, capacity: usize)

fn try_reserve(&mut self, capacity: usize) -> AllocResult

impl<T, A: Allocator> Storage for Box<[MaybeUninit<T>], A>

type Item = T

fn reserve(&mut self, new_capacity: usize)

fn try_reserve(&mut self, new_capacity: usize) -> AllocResult

impl<T> Storage for [MaybeUninit<T>]

type Item = T

fn reserve(&mut self, new_capacity: usize)

fn try_reserve(&mut self, capacity: usize) -> AllocResult

impl<S: ?Sized + Storage> Storage for &mut S

type Item = S::Item

fn reserve(&mut self, new_capacity: usize)

fn try_reserve(&mut self, new_capacity: usize) -> AllocResult

Implementors

impl<S: ?Sized + Storage> Storage for BoxStorage<S>

type Item = S::Item