Struct creusot_contracts::std::sync::RwLockReadGuard

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

RAII structure used to release the shared read access of a lock when dropped.

This structure is created by the read and try_read methods on RwLock.

Implementations

impl<'a, T> RwLockReadGuard<'a, T>

where T: ?Sized,

pub fn map<U, F>( orig: RwLockReadGuard<'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 RwLockReadGuard::map(...). A method would interfere with methods of the same name on the contents of the RwLockReadGuard 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: RwLockReadGuard<'a, T>, f: F, ) -> Result<MappedRwLockReadGuard<'a, U>, RwLockReadGuard<'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 RwLockReadGuard::try_map(...). A method would interfere with methods of the same name on the contents of the RwLockReadGuard 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 RwLockReadGuard<'_, T>

where T: Debug + ?Sized,

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

Formats the value using the given formatter.

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

where T: ?Sized,

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

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

where T: Display + ?Sized,

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

Formats the value using the given formatter.

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

where T: ?Sized,

fn drop(&mut self)

Executes the destructor for this type.

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

where T: ?Sized,

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

where T: Sync + ?Sized,