Struct OwnedRwLockMappedWriteGuard

pub struct OwnedRwLockMappedWriteGuard<T, U = T>
where
    T: ?Sized,
    U: ?Sized,
{
    pub(super) permits_acquired: u32,
    pub(super) lock: Arc<RwLock<T>>,
    pub(super) data: *mut U,
    pub(super) _p: PhantomData<T>,
}

Owned RAII structure used to release the exclusive write access of a lock when dropped.

This structure is created by mapping an OwnedRwLockWriteGuard. It is a separate type from OwnedRwLockWriteGuard to disallow downgrading a mapped guard, since doing so can cause undefined behavior.

Fields

permits_acquired: u32

lock: Arc<RwLock<T>>

data: *mut U

_p: PhantomData<T>

Implementations

impl<T, U> OwnedRwLockMappedWriteGuard<T, U>

where T: ?Sized, U: ?Sized,

pub fn map<F, V>( this: OwnedRwLockMappedWriteGuard<T, U>, f: F, ) -> OwnedRwLockMappedWriteGuard<T, V>

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

Makes a new OwnedRwLockMappedWriteGuard for a component of the locked data.

This operation cannot fail as the OwnedRwLockMappedWriteGuard passed in already locked the data.

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

Examples

use std::sync::Arc;
use tokio::sync::{RwLock, OwnedRwLockWriteGuard};

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
struct Foo(u32);

let lock = Arc::new(RwLock::new(Foo(1)));

{
    let lock = Arc::clone(&lock);
    let mut mapped = OwnedRwLockWriteGuard::map(lock.write_owned().await, |f| &mut f.0);
    *mapped = 2;
}

assert_eq!(Foo(2), *lock.read().await);

pub fn try_map<F, V>( this: OwnedRwLockMappedWriteGuard<T, U>, f: F, ) -> Result<OwnedRwLockMappedWriteGuard<T, V>, OwnedRwLockMappedWriteGuard<T, U>>

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

Attempts to make a new OwnedRwLockMappedWriteGuard for a component of the locked data. The original guard is returned if the closure returns None.

This operation cannot fail as the OwnedRwLockMappedWriteGuard passed in already locked the data.

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

Examples

use std::sync::Arc;
use tokio::sync::{RwLock, OwnedRwLockWriteGuard};

#[derive(Debug, Clone, Copy, PartialEq, Eq)]
struct Foo(u32);

let lock = Arc::new(RwLock::new(Foo(1)));

{
    let guard = Arc::clone(&lock).write_owned().await;
    let mut guard = OwnedRwLockWriteGuard::try_map(guard, |f| Some(&mut f.0)).expect("should not fail");
    *guard = 2;
}

assert_eq!(Foo(2), *lock.read().await);

pub fn rwlock(this: &OwnedRwLockMappedWriteGuard<T, U>) -> &Arc<RwLock<T>>

Returns a reference to the original Arc<RwLock>.

Examples

use std::sync::Arc;
use tokio::sync::{
    RwLock,
    OwnedRwLockWriteGuard,
    OwnedRwLockMappedWriteGuard,
};

let lock = Arc::new(RwLock::new(1));

let guard = lock.clone().write_owned().await;
let guard = OwnedRwLockWriteGuard::map(guard, |x| x);
assert!(Arc::ptr_eq(&lock, OwnedRwLockMappedWriteGuard::rwlock(&guard)));

Trait Implementations

impl<T, U> Debug for OwnedRwLockMappedWriteGuard<T, U>

where U: Debug + ?Sized, T: ?Sized,

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

Formats the value using the given formatter.

impl<T, U> Deref for OwnedRwLockMappedWriteGuard<T, U>

where T: ?Sized, U: ?Sized,

type Target = U

The resulting type after dereferencing.

fn deref(&self) -> &U

Dereferences the value.

impl<T, U> DerefMut for OwnedRwLockMappedWriteGuard<T, U>

where T: ?Sized, U: ?Sized,

fn deref_mut(&mut self) -> &mut U

Mutably dereferences the value.

impl<T, U> Display for OwnedRwLockMappedWriteGuard<T, U>

where U: Display + ?Sized, T: ?Sized,

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

Formats the value using the given formatter.

impl<T, U> Drop for OwnedRwLockMappedWriteGuard<T, U>

where T: ?Sized, U: ?Sized,

fn drop(&mut self)

Executes the destructor for this type.

impl<T, U> Send for OwnedRwLockMappedWriteGuard<T, U>

where T: Send + Sync + ?Sized, U: Send + Sync + ?Sized,

impl<T, U> Sync for OwnedRwLockMappedWriteGuard<T, U>

where T: Send + Sync + ?Sized, U: Send + Sync + ?Sized,