Trait zc::Dependant

pub unsafe trait Dependant<'o>: Sized + 'o {
    type Static: Dependant<'static>;
}

Implemented for types that use data provided by an Owner and guarantee that internal state is protected.

Derive implementations (recommended)

It is recommended not to implement this manually and instead use the provided proc-macro as show below.

use zc::Dependant;

#[derive(Dependant)]
pub struct MyStruct<'a> {
    value: &'a str,
}

Derive implementations for Copy

If a type implements Copy it cannot support interior mutability and therefore is a valid Dependant type.

To use a Copy type without having to implement Dependant you can tell the derive implementation to check based on a Copy bound for a specific field or all fields.

use zc::Dependant;

#[derive(Copy, Clone)]
pub struct CopyType;

#[derive(Dependant)]
pub struct StructWithCopy<'a> {
    // This field has a `Copy` bound.
    #[zc(check = "Copy")]
    field_a: &'a CopyType,
    // This field has the standard `Dependant` bound.
    field_b: u8,
}

// All fields in this struct have the `Copy` bound.
#[derive(Dependant)]
#[zc(check = "Copy")]
pub struct StructWithAllCopy<'a> {
    field_a: &'a CopyType,
    field_b: u8,
}

Manual implementations

If you wish not to use the provided proc-macro you implement as shown:

struct MyStruct<'a>(&'a [u8]);

unsafe impl<'o> zc::Dependant<'o> for MyStruct<'o> {
    type Static = MyStruct<'static>;
}

Safety

Implementer must guarantee:

• the structure only requires a single lifetime.
• Self::Static must be the same type but with a 'static lifetime.

And in addition the structure:

• has no interior mutability.

OR

• can safely be stored with it's lifetime erased (ie. as 'static).
• does not provided an interface that will accept data with non-'static lifetime though a interior mutable interface.

Interior Mutability

Types that provide interior mutability include both !Sync types (eg. RefCell<T>) and Sync types (eg. Mutex<T>).

See the Rust Language Book on interior mutability.

Associated Types

type Static: Dependant<'static>

Always the exact same structure as Self but instead with a 'static lifetime.

Loading content...

Implementations on Foreign Types

impl<'o> Dependant<'o> for &'o str

type Static = &'static str

impl<'o> Dependant<'o> for &'o [u8]

type Static = &'static [u8]

impl<'o> Dependant<'o> for ()

type Static = ()

impl<'o> Dependant<'o> for bool

type Static = bool

impl<'o> Dependant<'o> for char

type Static = char

impl<'o> Dependant<'o> for f32

type Static = f32

impl<'o> Dependant<'o> for f64

type Static = f64

impl<'o> Dependant<'o> for isize

type Static = isize

impl<'o> Dependant<'o> for usize

type Static = usize

impl<'o> Dependant<'o> for u8

type Static = u8

impl<'o> Dependant<'o> for u16

type Static = u16

impl<'o> Dependant<'o> for u32

type Static = u32

impl<'o> Dependant<'o> for u64

type Static = u64

impl<'o> Dependant<'o> for u128

type Static = u128

impl<'o> Dependant<'o> for i8

type Static = i8

impl<'o> Dependant<'o> for i16

type Static = i16

impl<'o> Dependant<'o> for i32

type Static = i32

impl<'o> Dependant<'o> for i64

type Static = i64

impl<'o> Dependant<'o> for i128

type Static = i128

impl<'o> Dependant<'o> for NonZeroI8

type Static = NonZeroI8

impl<'o> Dependant<'o> for NonZeroI16

type Static = NonZeroI16

impl<'o> Dependant<'o> for NonZeroI32

type Static = NonZeroI32

impl<'o> Dependant<'o> for NonZeroI64

type Static = NonZeroI64

impl<'o> Dependant<'o> for NonZeroI128

type Static = NonZeroI128

impl<'o> Dependant<'o> for NonZeroIsize

type Static = NonZeroIsize

impl<'o> Dependant<'o> for NonZeroU8

type Static = NonZeroU8

impl<'o> Dependant<'o> for NonZeroU16

type Static = NonZeroU16

impl<'o> Dependant<'o> for NonZeroU32

type Static = NonZeroU32

impl<'o> Dependant<'o> for NonZeroU64

type Static = NonZeroU64

impl<'o> Dependant<'o> for NonZeroU128

type Static = NonZeroU128

impl<'o> Dependant<'o> for NonZeroUsize

type Static = NonZeroUsize

impl<'o, T: Dependant<'o>> Dependant<'o> for &'o T

type Static = &'static T::Static

impl<'o, T: Dependant<'o>> Dependant<'o> for Option<T>

type Static = Option<T::Static>

impl<'o, T: Dependant<'o>> Dependant<'o> for Wrapping<T>

type Static = Wrapping<T::Static>

impl<'o, T, E> Dependant<'o> for Result<T, E> where
    T: Dependant<'o>,
    E: Dependant<'o>, 

type Static = Result<T::Static, E::Static>

impl<'o> Dependant<'o> for String

type Static = String

impl<'o, T: Dependant<'o>> Dependant<'o> for Vec<T>

type Static = Vec<T::Static>

impl<'o, T: Dependant<'o>> Dependant<'o> for BTreeSet<T>

type Static = BTreeSet<T::Static>

impl<'o, T: Dependant<'o>> Dependant<'o> for BinaryHeap<T>

type Static = BinaryHeap<T::Static>

impl<'o, K, V> Dependant<'o> for BTreeMap<K, V> where
    K: Dependant<'o>,
    V: Dependant<'o>, 

type Static = BTreeMap<K::Static, V::Static>

impl<'o, T, S> Dependant<'o> for HashSet<T, S> where
    T: Dependant<'o>,
    S: BuildHasher + 'static, 

type Static = HashSet<T::Static, S>

impl<'o, K, V, S> Dependant<'o> for HashMap<K, V, S> where
    K: Dependant<'o>,
    V: Dependant<'o>,
    S: BuildHasher + 'static, 

type Static = HashMap<K::Static, V::Static, S>

impl<'o, T1: Dependant<'o>> Dependant<'o> for (T1,)

type Static = (T1::Static,)

impl<'o, T1: Dependant<'o>, T2: Dependant<'o>> Dependant<'o> for (T1, T2)

type Static = (T1::Static, T2::Static)

impl<'o, T1: Dependant<'o>, T2: Dependant<'o>, T3: Dependant<'o>> Dependant<'o> for (T1, T2, T3)

type Static = (T1::Static, T2::Static, T3::Static)

impl<'o, T1: Dependant<'o>, T2: Dependant<'o>, T3: Dependant<'o>, T4: Dependant<'o>> Dependant<'o> for (T1, T2, T3, T4)

type Static = (T1::Static, T2::Static, T3::Static, T4::Static)

impl<'o, T1: Dependant<'o>, T2: Dependant<'o>, T3: Dependant<'o>, T4: Dependant<'o>, T5: Dependant<'o>> Dependant<'o> for (T1, T2, T3, T4, T5)

type Static = (T1::Static, T2::Static, T3::Static, T4::Static, T5::Static)

impl<'o, T1: Dependant<'o>, T2: Dependant<'o>, T3: Dependant<'o>, T4: Dependant<'o>, T5: Dependant<'o>, T6: Dependant<'o>> Dependant<'o> for (T1, T2, T3, T4, T5, T6)

type Static = (T1::Static, T2::Static, T3::Static, T4::Static, T5::Static, T6::Static)

impl<'o, T1: Dependant<'o>, T2: Dependant<'o>, T3: Dependant<'o>, T4: Dependant<'o>, T5: Dependant<'o>, T6: Dependant<'o>, T7: Dependant<'o>> Dependant<'o> for (T1, T2, T3, T4, T5, T6, T7)

type Static = (T1::Static, T2::Static, T3::Static, T4::Static, T5::Static, T6::Static, T7::Static)

impl<'o, T1: Dependant<'o>, T2: Dependant<'o>, T3: Dependant<'o>, T4: Dependant<'o>, T5: Dependant<'o>, T6: Dependant<'o>, T7: Dependant<'o>, T8: Dependant<'o>> Dependant<'o> for (T1, T2, T3, T4, T5, T6, T7, T8)

type Static = (T1::Static, T2::Static, T3::Static, T4::Static, T5::Static, T6::Static, T7::Static, T8::Static)

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 1]

type Static = [T::Static; 1]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 2]

type Static = [T::Static; 2]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 3]

type Static = [T::Static; 3]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 4]

type Static = [T::Static; 4]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 5]

type Static = [T::Static; 5]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 6]

type Static = [T::Static; 6]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 7]

type Static = [T::Static; 7]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 8]

type Static = [T::Static; 8]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 9]

type Static = [T::Static; 9]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 10]

type Static = [T::Static; 10]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 11]

type Static = [T::Static; 11]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 12]

type Static = [T::Static; 12]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 13]

type Static = [T::Static; 13]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 14]

type Static = [T::Static; 14]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 15]

type Static = [T::Static; 15]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 16]

type Static = [T::Static; 16]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 17]

type Static = [T::Static; 17]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 18]

type Static = [T::Static; 18]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 19]

type Static = [T::Static; 19]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 20]

type Static = [T::Static; 20]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 21]

type Static = [T::Static; 21]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 22]

type Static = [T::Static; 22]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 23]

type Static = [T::Static; 23]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 24]

type Static = [T::Static; 24]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 25]

type Static = [T::Static; 25]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 26]

type Static = [T::Static; 26]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 27]

type Static = [T::Static; 27]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 28]

type Static = [T::Static; 28]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 29]

type Static = [T::Static; 29]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 30]

type Static = [T::Static; 30]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 31]

type Static = [T::Static; 31]

impl<'o, T: Dependant<'o>> Dependant<'o> for [T; 32]

type Static = [T::Static; 32]

Loading content...

Implementors

Loading content...