[][src]Struct oxygengine_core::ecs::shred::cell::Ref

pub struct Ref<'a, T> where
    T: 'a + ?Sized
{ /* fields omitted */ }

An immutable reference to data in a TrustCell.

Access the value via std::ops::Deref (e.g. *val)

Implementations

impl<'a, T> Ref<'a, T> where
    T: ?Sized
[src]

pub fn map<U, F>(self, f: F) -> Ref<'a, U> where
    F: FnOnce(&T) -> &U,
    U: ?Sized
[src]

Makes a new Ref for a component of the borrowed data which preserves the existing borrow.

The TrustCell is already immutably borrowed, so this cannot fail.

This is an associated function that needs to be used as Ref::map(...). A method would interfere with methods of the same name on the contents of a Ref used through Deref. Further this preserves the borrow of the value and hence does the proper cleanup when it's dropped.

Examples

This can be used to avoid pointer indirection when a boxed item is stored in the TrustCell.

use shred::cell::{Ref, TrustCell};

let cb = TrustCell::new(Box::new(5));

// Borrowing the cell causes the `Ref` to store a reference to the `Box`, which is a
// pointer to the value on the heap, not the actual value.
let boxed_ref: Ref<'_, Box<usize>> = cb.borrow();
assert_eq!(**boxed_ref, 5); // Notice the double deref to get the actual value.

// By using `map` we can let `Ref` store a reference directly to the value on the heap.
let pure_ref: Ref<'_, usize> = Ref::map(boxed_ref, Box::as_ref);

assert_eq!(*pure_ref, 5);

We can also use map to get a reference to a sub-part of the borrowed value.


let c = TrustCell::new((5, 'b'));
let b1: Ref<'_, (u32, char)> = c.borrow();
let b2: Ref<'_, u32> = Ref::map(b1, |t| &t.0);
assert_eq!(*b2, 5);

Trait Implementations

impl<'a, T> Clone for Ref<'a, T> where
    T: ?Sized
[src]

impl<'a, T> Debug for Ref<'a, T> where
    T: 'a + Debug + ?Sized
[src]

impl<'a, T> Deref for Ref<'a, T> where
    T: ?Sized
[src]

type Target = T

The resulting type after dereferencing.

impl<'a, T> Drop for Ref<'a, T> where
    T: ?Sized
[src]

Auto Trait Implementations

impl<'a, T: ?Sized> RefUnwindSafe for Ref<'a, T> where
    T: RefUnwindSafe

impl<'a, T: ?Sized> Send for Ref<'a, T> where
    T: Sync

impl<'a, T: ?Sized> Sync for Ref<'a, T> where
    T: Sync

impl<'a, T: ?Sized> Unpin for Ref<'a, T>

impl<'a, T: ?Sized> UnwindSafe for Ref<'a, T> where
    T: RefUnwindSafe

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Any for T where
    T: Any

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> Event for T where
    T: Send + Sync + 'static, 
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Resource for T where
    T: Any, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,