Struct PrisonValueRef

Source
pub struct PrisonValueRef<'a, T> { /* private fields */ }
Expand description

Struct representing an immutable reference to a value that has been allowed to leave the Prison temporarily, but remains guarded by a wrapper to prevent it from leaking or never unlocking

PrisonValueRef implements [Deref<Target = T>], AsRef, and Borrow to allow transparent access to its underlying value

As long as the PrisonValueRef remains in scope, the element where it’s value resides in the Prison will remain marked as immutably referenced and unable to be mutably referenced. You can manually drop the PrisonValueRef out of scope by passing it as the first parameter to the function [PrisonValueRef::unguard(p_val_ref)]

You can obtain a PrisonValueRef by calling guard_ref() or guard_ref_idx() on a Prison

§Example

let prison: Prison<u32> = Prison::new();
let key_0 = prison.insert(10)?;
let mut grd_0 = prison.guard_ref(key_0)?;
assert_eq!(*grd_0, 10);
prison.visit_ref(key_0, |val_0| {
    assert_eq!(*val_0, 10);
    Ok(())
});
PrisonValueRef::unguard(grd_0);

Implementations§

Source§

impl<'a, T> PrisonValueRef<'a, T>

Source

pub fn unguard(_prison_val_ref: Self)

Manually end a PrisonValueRef value’s temporary guarded absence from the Prison

This method simply takes ownership of the PrisonValueRef and immediately lets it go out of scope, causing it’s drop() method to be called and decreasing its immutable reference count in the Prison

§Example
let prison: Prison<u32> = Prison::new();
prison.insert(10)?;
let grd_0 = prison.guard_ref_idx(0)?;
// index 0 CANNOT be accessed here because it is being guarded outside the prison
assert!(prison.visit_mut_idx(0, |ref_0| Ok(())).is_err());
PrisonValueRef::unguard(grd_0);
// index 0 CAN be accessed here because it was returned to the prison
assert!(prison.visit_mut_idx(0, |ref_0| Ok(())).is_ok());

Trait Implementations§

Source§

impl<'a, T> AsRef<T> for PrisonValueRef<'a, T>

Source§

fn as_ref(&self) -> &T

Converts this type into a shared reference of the (usually inferred) input type.
Source§

impl<'a, T> Borrow<T> for PrisonValueRef<'a, T>

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<'a, T> Deref for PrisonValueRef<'a, T>

Source§

type Target = T

The resulting type after dereferencing.
Source§

fn deref(&self) -> &Self::Target

Dereferences the value.
Source§

impl<'a, T> Drop for PrisonValueRef<'a, T>

Source§

fn drop(&mut self)

Executes the destructor for this type. Read more

Auto Trait Implementations§

§

impl<'a, T> Freeze for PrisonValueRef<'a, T>

§

impl<'a, T> RefUnwindSafe for PrisonValueRef<'a, T>
where T: RefUnwindSafe,

§

impl<'a, T> Send for PrisonValueRef<'a, T>
where T: Send,

§

impl<'a, T> Sync for PrisonValueRef<'a, T>
where T: Sync,

§

impl<'a, T> Unpin for PrisonValueRef<'a, T>

§

impl<'a, T> !UnwindSafe for PrisonValueRef<'a, T>

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> 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<P, T> Receiver for P
where P: Deref<Target = T> + ?Sized, T: ?Sized,

Source§

type Target = T

🔬This is a nightly-only experimental API. (arbitrary_self_types)
The target type on which the method may be called.
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.