Struct creusot_contracts::std::sync::MappedRwLockReadGuard

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

🔬This is a nightly-only experimental API. (mapped_lock_guards)

RAII structure used to release the shared read access of a lock when dropped, which can point to a subfield of the protected data.

This structure is created by the map and try_map methods on RwLockReadGuard.

Implementations

impl<'a, T> MappedRwLockReadGuard<'a, T>

where T: ?Sized,

pub fn map<U, F>( orig: MappedRwLockReadGuard<'a, T>, f: F, ) -> MappedRwLockReadGuard<'a, U>

where F: FnOnce(&T) -> &U, U: ?Sized,

🔬This is a nightly-only experimental API. (mapped_lock_guards)

Makes a MappedRwLockReadGuard for a component of the borrowed data, e.g. an enum variant.

The RwLock is already locked for reading, so this cannot fail.

This is an associated function that needs to be used as MappedRwLockReadGuard::map(...). A method would interfere with methods of the same name on the contents of the MappedRwLockReadGuard used through Deref.

Panics

If the closure panics, the guard will be dropped (unlocked) and the RwLock will not be poisoned.

pub fn try_map<U, F>( orig: MappedRwLockReadGuard<'a, T>, f: F, ) -> Result<MappedRwLockReadGuard<'a, U>, MappedRwLockReadGuard<'a, T>>

where F: FnOnce(&T) -> Option<&U>, U: ?Sized,

🔬This is a nightly-only experimental API. (mapped_lock_guards)

Makes a MappedRwLockReadGuard for a component of the borrowed data. The original guard is returned as an Err(...) if the closure returns None.

The RwLock is already locked for reading, so this cannot fail.

This is an associated function that needs to be used as MappedRwLockReadGuard::try_map(...). A method would interfere with methods of the same name on the contents of the MappedRwLockReadGuard used through Deref.

Panics

If the closure panics, the guard will be dropped (unlocked) and the RwLock will not be poisoned.

Trait Implementations

impl<T> Debug for MappedRwLockReadGuard<'_, T>

where T: Debug + ?Sized,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<T> Deref for MappedRwLockReadGuard<'_, T>

where T: ?Sized,

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

impl<T> Display for MappedRwLockReadGuard<'_, T>

where T: Display + ?Sized,

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<T> Drop for MappedRwLockReadGuard<'_, T>

where T: ?Sized,

fn drop(&mut self)

Executes the destructor for this type.

impl<T> !Send for MappedRwLockReadGuard<'_, T>

where T: ?Sized,

impl<T> Sync for MappedRwLockReadGuard<'_, T>

where T: Sync + ?Sized,