Struct RestrictedStorage

Source
pub struct RestrictedStorage<'rf, 'st, C, S, B, Restrict>
where 'st: 'rf, C: Component, S: Borrow<<C as Component>::Storage> + 'rf, B: Borrow<BitSet> + 'rf,
{ /* private fields */ }
Expand description

Similar to a MaskedStorage and a Storage combined, but restricts usage to only getting and modifying the components. That means it’s not possible to modify the inner bitset so the iteration cannot be invalidated. In other words, no insertion or removal is allowed.

Example Usage:

struct SomeComp(u32);
impl Component for SomeComp {
    type Storage = VecStorage<Self>;
}

struct RestrictedSystem;
impl<'a> System<'a> for RestrictedSystem {
    type SystemData = (
        Entities<'a>,
        WriteStorage<'a, SomeComp>,
    );
    fn run(&mut self, (entities, mut some_comps): Self::SystemData) {
        for (entity, mut comps) in (
            &entities,
            &mut some_comps.restrict_mut()
        ).join() {
            // Check if the reference is fine to mutate.
            if comps.get_unchecked().0 < 5 {
                // Get a mutable reference now.
                let mut mutable = comps.get_mut_unchecked();
                mutable.0 += 1;
            }
        }
    }
}

Trait Implementations§

Source§

impl<'rf, 'st, C, S, B, Restrict> Join for &'rf RestrictedStorage<'rf, 'st, C, S, B, Restrict>
where 'st: 'rf, C: Component, S: Borrow<<C as Component>::Storage>, B: Borrow<BitSet>,

Source§

type Type = PairedStorage<'rf, 'st, C, &'rf <C as Component>::Storage, &'rf BitSet, Restrict>

Type of joined components.
Source§

type Value = (&'rf <C as Component>::Storage, &'rf Fetch<'st, EntitiesRes>, &'rf BitSet)

Type of joined storages.
Source§

type Mask = &'rf BitSet

Type of joined bit mask.
Source§

unsafe fn open( self, ) -> (<&'rf RestrictedStorage<'rf, 'st, C, S, B, Restrict> as Join>::Mask, <&'rf RestrictedStorage<'rf, 'st, C, S, B, Restrict> as Join>::Value)

Open this join by returning the mask and the storages. Read more
Source§

unsafe fn get( value: &mut <&'rf RestrictedStorage<'rf, 'st, C, S, B, Restrict> as Join>::Value, id: u32, ) -> <&'rf RestrictedStorage<'rf, 'st, C, S, B, Restrict> as Join>::Type

Get a joined component value by a given index.
Source§

fn join(self) -> JoinIter<Self>
where Self: Sized,

Create a joined iterator over the contents.
Source§

fn maybe(self) -> MaybeJoin<Self>
where Self: Sized,

Returns a Join-able structure that yields all indices, returning None for all missing elements and Some(T) for found elements. Read more
Source§

fn is_unconstrained() -> bool

If this Join typically returns all indices in the mask, then iterating over only it or combined with other joins that are also dangerous will cause the JoinIter/ParJoin to go through all indices which is usually not what is wanted and will kill performance.
Source§

impl<'rf, 'st, C, S, B, Restrict> Join for &'rf mut RestrictedStorage<'rf, 'st, C, S, B, Restrict>
where 'st: 'rf, C: Component, S: BorrowMut<<C as Component>::Storage>, B: Borrow<BitSet>,

Source§

type Type = PairedStorage<'rf, 'st, C, &'rf mut <C as Component>::Storage, &'rf BitSet, Restrict>

Type of joined components.
Source§

type Value = (&'rf mut <C as Component>::Storage, &'rf Fetch<'st, EntitiesRes>, &'rf BitSet)

Type of joined storages.
Source§

type Mask = &'rf BitSet

Type of joined bit mask.
Source§

unsafe fn open( self, ) -> (<&'rf mut RestrictedStorage<'rf, 'st, C, S, B, Restrict> as Join>::Mask, <&'rf mut RestrictedStorage<'rf, 'st, C, S, B, Restrict> as Join>::Value)

Open this join by returning the mask and the storages. Read more
Source§

unsafe fn get( value: &mut <&'rf mut RestrictedStorage<'rf, 'st, C, S, B, Restrict> as Join>::Value, id: u32, ) -> <&'rf mut RestrictedStorage<'rf, 'st, C, S, B, Restrict> as Join>::Type

Get a joined component value by a given index.
Source§

fn join(self) -> JoinIter<Self>
where Self: Sized,

Create a joined iterator over the contents.
Source§

fn maybe(self) -> MaybeJoin<Self>
where Self: Sized,

Returns a Join-able structure that yields all indices, returning None for all missing elements and Some(T) for found elements. Read more
Source§

fn is_unconstrained() -> bool

If this Join typically returns all indices in the mask, then iterating over only it or combined with other joins that are also dangerous will cause the JoinIter/ParJoin to go through all indices which is usually not what is wanted and will kill performance.

Auto Trait Implementations§

§

impl<'rf, 'st, C, S, B, Restrict> Freeze for RestrictedStorage<'rf, 'st, C, S, B, Restrict>
where B: Freeze, S: Freeze,

§

impl<'rf, 'st, C, S, B, Restrict> !RefUnwindSafe for RestrictedStorage<'rf, 'st, C, S, B, Restrict>

§

impl<'rf, 'st, C, S, B, Restrict> Send for RestrictedStorage<'rf, 'st, C, S, B, Restrict>
where B: Send, S: Send, C: Send, Restrict: Send,

§

impl<'rf, 'st, C, S, B, Restrict> Sync for RestrictedStorage<'rf, 'st, C, S, B, Restrict>
where B: Sync, S: Sync, C: Sync, Restrict: Sync,

§

impl<'rf, 'st, C, S, B, Restrict> Unpin for RestrictedStorage<'rf, 'st, C, S, B, Restrict>
where B: Unpin, S: Unpin, C: Unpin, Restrict: Unpin,

§

impl<'rf, 'st, C, S, B, Restrict> !UnwindSafe for RestrictedStorage<'rf, 'st, C, S, B, Restrict>

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Any for T
where T: Any,

Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

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

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> Erased for T

Source§

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

Source§

impl<T> Resource for T
where T: Any + Send + Sync,