Trait TrustedContainer

pub unsafe trait TrustedContainer {
    type Item: ?Sized + TrustedItem<Self>;
    type Slice: ?Sized;

    // Required methods
    fn unit_len(&self) -> usize;
    unsafe fn get_unchecked(&self, i: usize) -> &Self::Item;
    unsafe fn slice_unchecked(&self, r: Range<usize>) -> &Self::Slice;
}

Types that can back a trusted container: it can have indices and ranges that are trusted to be in bounds.

It must have a continuously addressable range.

Required Associated Types

type Item: ?Sized + TrustedItem<Self>

type Slice: ?Sized

Required Methods

fn unit_len(&self) -> usize

The length of the container in base item units.

unsafe fn get_unchecked(&self, i: usize) -> &Self::Item

unsafe fn slice_unchecked(&self, r: Range<usize>) -> &Self::Slice

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.

Implementations on Foreign Types

impl TrustedContainer for str

type Item = Character

type Slice = str

fn unit_len(&self) -> usize

unsafe fn get_unchecked(&self, i: usize) -> &Self::Item

unsafe fn slice_unchecked(&self, r: Range<usize>) -> &Self::Slice

impl TrustedContainer for String

Available on crate feature std only.

type Item = Character

type Slice = str

fn unit_len(&self) -> usize

unsafe fn get_unchecked(&self, i: usize) -> &Self::Item

unsafe fn slice_unchecked(&self, r: Range<usize>) -> &Self::Slice

impl<T> TrustedContainer for [T]

type Item = T

type Slice = [T]

fn unit_len(&self) -> usize

unsafe fn get_unchecked(&self, i: usize) -> &Self::Item

unsafe fn slice_unchecked(&self, r: Range<usize>) -> &Self::Slice

impl<T> TrustedContainer for Vec<T>

Available on crate feature std only.

type Item = T

type Slice = [T]

fn unit_len(&self) -> usize

unsafe fn get_unchecked(&self, i: usize) -> &Self::Item

unsafe fn slice_unchecked(&self, r: Range<usize>) -> &Self::Slice

impl<T: TrustedContainer + ?Sized> TrustedContainer for &T

type Item = <T as TrustedContainer>::Item

type Slice = <T as TrustedContainer>::Slice

fn unit_len(&self) -> usize

unsafe fn get_unchecked(&self, i: usize) -> &Self::Item

unsafe fn slice_unchecked(&self, r: Range<usize>) -> &Self::Slice

impl<T: TrustedContainer + ?Sized> TrustedContainer for Box<T>

Available on crate feature std only.

type Item = <T as TrustedContainer>::Item

type Slice = <T as TrustedContainer>::Slice

fn unit_len(&self) -> usize

unsafe fn get_unchecked(&self, i: usize) -> &Self::Item

unsafe fn slice_unchecked(&self, r: Range<usize>) -> &Self::Slice

Implementors