Trait scale_info::prelude::ops::DerefMut

1.0.0 · source ·
pub trait DerefMut: Deref {
    fn deref_mut(&mut self) -> &mut Self::Target;
}
Expand description

Used for mutable dereferencing operations, like in *v = 1;.

In addition to being used for explicit dereferencing operations with the (unary) * operator in mutable contexts, DerefMut is also used implicitly by the compiler in many circumstances. This mechanism is called Deref coercion’. In immutable contexts, Deref is used.

Implementing DerefMut for smart pointers makes mutating the data behind them convenient, which is why they implement DerefMut. On the other hand, the rules regarding Deref and DerefMut were designed specifically to accommodate smart pointers. Because of this, DerefMut should only be implemented for smart pointers to avoid confusion.

For similar reasons, this trait should never fail. Failure during dereferencing can be extremely confusing when DerefMut is invoked implicitly.

More on Deref coercion

If T implements DerefMut<Target = U>, and x is a value of type T, then:

  • In mutable contexts, *x (where T is neither a reference nor a raw pointer) is equivalent to *DerefMut::deref_mut(&mut x).
  • Values of type &mut T are coerced to values of type &mut U
  • T implicitly implements all the (mutable) methods of the type U.

For more details, visit the chapter in The Rust Programming Language as well as the reference sections on the dereference operator, method resolution and type coercions.

Examples

A struct with a single field which is modifiable by dereferencing the struct.

use std::ops::{Deref, DerefMut};

struct DerefMutExample<T> {
    value: T
}

impl<T> Deref for DerefMutExample<T> {
    type Target = T;

    fn deref(&self) -> &Self::Target {
        &self.value
    }
}

impl<T> DerefMut for DerefMutExample<T> {
    fn deref_mut(&mut self) -> &mut Self::Target {
        &mut self.value
    }
}

let mut x = DerefMutExample { value: 'a' };
*x = 'b';
assert_eq!('b', x.value);

Required Methods§

Mutably dereferences the value.

Implementors§

impl<K, V, S> DerefMut for AHashMap<K, V, S>

impl<T, S> DerefMut for AHashSet<T, S>

impl DerefMut for Error

impl<T> DerefMut for SequenceVec<T>

impl<T: ?Sized> DerefMut for MutexGuard<'_, T>

impl<T: ?Sized> DerefMut for MutexGuardArc<T>

impl<T: ?Sized> DerefMut for RwLockWriteGuard<'_, T>

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

impl<T, D> DerefMut for FramedRead<T, D>

impl<T, E> DerefMut for FramedWrite<T, E>

impl DerefMut for BString

impl DerefMut for BStr

impl<T: ?Sized + Pointable> DerefMut for Owned<T>

impl<T> DerefMut for CachePadded<T>

impl<T: ?Sized> DerefMut for ShardedLockWriteGuard<'_, T>

impl<L, R> DerefMut for Either<L, R>where
    L: DerefMut,
    R: DerefMut<Target = L::Target>,

impl<S: Stream + Unpin> DerefMut for BlockingStream<S>

impl<T: Unpin> DerefMut for BiLockGuard<'_, T>

impl<T: ?Sized> DerefMut for OwnedMutexGuard<T>

impl<T: ?Sized> DerefMut for MutexGuard<'_, T>

impl<T: ?Sized, U: ?Sized> DerefMut for MappedMutexGuard<'_, T, U>

impl<T, N> DerefMut for GenericArray<T, N>where
    N: ArrayLength<T>,

impl<W: Writer> DerefMut for DebugAbbrev<W>

impl<W: Writer> DerefMut for DebugFrame<W>

impl<W: Writer> DerefMut for EhFrame<W>

impl<W: Writer> DerefMut for DebugLine<W>

impl<W: Writer> DerefMut for DebugLoc<W>

impl<W: Writer> DerefMut for DebugLocLists<W>

impl<W: Writer> DerefMut for DebugRanges<W>

impl<W: Writer> DerefMut for DebugRngLists<W>

impl<W: Writer> DerefMut for DebugStr<W>

impl<W: Writer> DerefMut for DebugLineStr<W>

impl<W: Writer> DerefMut for DebugInfo<W>

impl<Context> DerefMut for RpcModule<Context>

impl<'a, R: RawMutex + 'a, T: ?Sized + 'a> DerefMut for MutexGuard<'a, R, T>

impl<'a, R: RawMutex + 'a, T: ?Sized + 'a> DerefMut for MappedMutexGuard<'a, R, T>

impl<'a, R: RawRwLock + 'a, T: ?Sized + 'a> DerefMut for RwLockWriteGuard<'a, R, T>

impl<'a, R: RawRwLock + 'a, T: ?Sized + 'a> DerefMut for MappedRwLockWriteGuard<'a, R, T>

impl DerefMut for MmapMut

impl<T: Scalar, S> DerefMut for Matrix<T, U1, U1, S>where
    S: ContiguousStorageMut<T, U1, U1>,

impl<T: Scalar, S> DerefMut for Matrix<T, U2, U1, S>where
    S: ContiguousStorageMut<T, U2, U1>,

impl<T: Scalar, S> DerefMut for Matrix<T, U3, U1, S>where
    S: ContiguousStorageMut<T, U3, U1>,

impl<T: Scalar, S> DerefMut for Matrix<T, U4, U1, S>where
    S: ContiguousStorageMut<T, U4, U1>,

impl<T: Scalar, S> DerefMut for Matrix<T, U5, U1, S>where
    S: ContiguousStorageMut<T, U5, U1>,

impl<T: Scalar, S> DerefMut for Matrix<T, U6, U1, S>where
    S: ContiguousStorageMut<T, U6, U1>,

impl<T: Scalar, S> DerefMut for Matrix<T, U1, U2, S>where
    S: ContiguousStorageMut<T, U1, U2>,

impl<T: Scalar, S> DerefMut for Matrix<T, U1, U3, S>where
    S: ContiguousStorageMut<T, U1, U3>,

impl<T: Scalar, S> DerefMut for Matrix<T, U1, U4, S>where
    S: ContiguousStorageMut<T, U1, U4>,

impl<T: Scalar, S> DerefMut for Matrix<T, U1, U5, S>where
    S: ContiguousStorageMut<T, U1, U5>,

impl<T: Scalar, S> DerefMut for Matrix<T, U1, U6, S>where
    S: ContiguousStorageMut<T, U1, U6>,

impl<T: Scalar, S> DerefMut for Matrix<T, U2, U2, S>where
    S: ContiguousStorageMut<T, U2, U2>,

impl<T: Scalar, S> DerefMut for Matrix<T, U2, U3, S>where
    S: ContiguousStorageMut<T, U2, U3>,

impl<T: Scalar, S> DerefMut for Matrix<T, U2, U4, S>where
    S: ContiguousStorageMut<T, U2, U4>,

impl<T: Scalar, S> DerefMut for Matrix<T, U2, U5, S>where
    S: ContiguousStorageMut<T, U2, U5>,

impl<T: Scalar, S> DerefMut for Matrix<T, U2, U6, S>where
    S: ContiguousStorageMut<T, U2, U6>,

impl<T: Scalar, S> DerefMut for Matrix<T, U3, U2, S>where
    S: ContiguousStorageMut<T, U3, U2>,

impl<T: Scalar, S> DerefMut for Matrix<T, U3, U3, S>where
    S: ContiguousStorageMut<T, U3, U3>,

impl<T: Scalar, S> DerefMut for Matrix<T, U3, U4, S>where
    S: ContiguousStorageMut<T, U3, U4>,

impl<T: Scalar, S> DerefMut for Matrix<T, U3, U5, S>where
    S: ContiguousStorageMut<T, U3, U5>,

impl<T: Scalar, S> DerefMut for Matrix<T, U3, U6, S>where
    S: ContiguousStorageMut<T, U3, U6>,

impl<T: Scalar, S> DerefMut for Matrix<T, U4, U2, S>where
    S: ContiguousStorageMut<T, U4, U2>,

impl<T: Scalar, S> DerefMut for Matrix<T, U4, U3, S>where
    S: ContiguousStorageMut<T, U4, U3>,

impl<T: Scalar, S> DerefMut for Matrix<T, U4, U4, S>where
    S: ContiguousStorageMut<T, U4, U4>,

impl<T: Scalar, S> DerefMut for Matrix<T, U4, U5, S>where
    S: ContiguousStorageMut<T, U4, U5>,

impl<T: Scalar, S> DerefMut for Matrix<T, U4, U6, S>where
    S: ContiguousStorageMut<T, U4, U6>,

impl<T: Scalar, S> DerefMut for Matrix<T, U5, U2, S>where
    S: ContiguousStorageMut<T, U5, U2>,

impl<T: Scalar, S> DerefMut for Matrix<T, U5, U3, S>where
    S: ContiguousStorageMut<T, U5, U3>,

impl<T: Scalar, S> DerefMut for Matrix<T, U5, U4, S>where
    S: ContiguousStorageMut<T, U5, U4>,

impl<T: Scalar, S> DerefMut for Matrix<T, U5, U5, S>where
    S: ContiguousStorageMut<T, U5, U5>,

impl<T: Scalar, S> DerefMut for Matrix<T, U5, U6, S>where
    S: ContiguousStorageMut<T, U5, U6>,

impl<T: Scalar, S> DerefMut for Matrix<T, U6, U2, S>where
    S: ContiguousStorageMut<T, U6, U2>,

impl<T: Scalar, S> DerefMut for Matrix<T, U6, U3, S>where
    S: ContiguousStorageMut<T, U6, U3>,

impl<T: Scalar, S> DerefMut for Matrix<T, U6, U4, S>where
    S: ContiguousStorageMut<T, U6, U4>,

impl<T: Scalar, S> DerefMut for Matrix<T, U6, U5, S>where
    S: ContiguousStorageMut<T, U6, U5>,

impl<T: Scalar, S> DerefMut for Matrix<T, U6, U6, S>where
    S: ContiguousStorageMut<T, U6, U6>,

impl<T: Scalar> DerefMut for Point<T, 1>

impl<T: Scalar> DerefMut for Point<T, 2>

impl<T: Scalar> DerefMut for Point<T, 3>

impl<T: Scalar> DerefMut for Point<T, 4>

impl<T: Scalar> DerefMut for Point<T, 5>

impl<T: Scalar> DerefMut for Point<T, 6>

impl<T: Scalar + SimdValue> DerefMut for Quaternion<T>

impl<T: Scalar> DerefMut for Translation<T, 1>

impl<T: Scalar> DerefMut for Translation<T, 2>

impl<T: Scalar> DerefMut for Translation<T, 3>

impl<T: Scalar> DerefMut for Translation<T, 4>

impl<T: Scalar> DerefMut for Translation<T, 5>

impl<T: Scalar> DerefMut for Translation<T, 6>

impl<T, F: FnOnce() -> T> DerefMut for Lazy<T, F>

impl<T, F: FnOnce() -> T> DerefMut for Lazy<T, F>

impl<T: Float> DerefMut for OrderedFloat<T>

impl<O, H> DerefMut for OwningHandle<O, H>where
    O: StableAddress,
    H: DerefMut,

impl<O, T: ?Sized> DerefMut for OwningRefMut<O, T>

impl<T: Config> DerefMut for BondedPool<T>

impl<T> DerefMut for SendWrapper<T>

impl<T> DerefMut for MeteredReceiver<T>

impl<T> DerefMut for MeteredSender<T>

impl DerefMut for Literal

impl<T> DerefMut for ConnectionCommon<T>

impl<'a, T> DerefMut for SharedDataLocked<'a, T>

impl<T, F, S> DerefMut for ScopeGuard<T, F, S>where
    F: FnOnce(T),
    S: Strategy,

impl<'a, T, C> DerefMut for RefMut<'a, T, C>where
    T: Clear + Default,
    C: Config,

impl<T, C> DerefMut for OwnedRefMut<T, C>where
    T: Clear + Default,
    C: Config,

impl<A: Array> DerefMut for SmallVec<A>

impl<'a> DerefMut for MaybeUninitSlice<'a>

impl<'a, T> DerefMut for ApiRef<'a, T>

impl<'a, T: ?Sized> DerefMut for MutexGuard<'a, T>

impl<'rwlock, T: ?Sized> DerefMut for RwLockWriteGuard<'rwlock, T>

impl<T, F> DerefMut for Lazy<T, F>where
    F: FnOnce() -> T,

impl<T, F> DerefMut for Lazy<T, F>where
    F: FnOnce() -> T,

impl<T> DerefMut for Static<T>

impl DerefMut for Add

impl DerefMut for And

impl DerefMut for At

impl DerefMut for Bang

impl DerefMut for Caret

impl DerefMut for Colon

impl DerefMut for Comma

impl DerefMut for Div

impl DerefMut for Dollar

impl DerefMut for Dot

impl DerefMut for Eq

impl DerefMut for Gt

impl DerefMut for Lt

impl DerefMut for Or

impl DerefMut for Pound

impl DerefMut for Rem

impl DerefMut for Semi

impl DerefMut for Star

impl DerefMut for Sub

impl DerefMut for Tilde

impl<C> DerefMut for ReadHalf<C>where
    C: Read,

impl<C> DerefMut for WriteHalf<C>where
    C: Write,

impl<A: Array> DerefMut for ArrayVec<A>

impl<'s, T> DerefMut for SliceVec<'s, T>

impl<A: Array> DerefMut for TinyVec<A>

impl<T: ?Sized> DerefMut for MutexGuard<'_, T>

impl<T: ?Sized> DerefMut for OwnedMutexGuard<T>

impl<'a, T: ?Sized> DerefMut for MappedMutexGuard<'a, T>

impl<T: ?Sized, U: ?Sized> DerefMut for OwnedRwLockMappedWriteGuard<T, U>

impl<T: ?Sized> DerefMut for RwLockWriteGuard<'_, T>

impl<T: ?Sized> DerefMut for RwLockMappedWriteGuard<'_, T>

impl<'a, T> DerefMut for Locked<'a, T>

impl<S> DerefMut for Ascii<S>

impl<S> DerefMut for UniCase<S>

impl<T> DerefMut for Clamped<T>

impl DerefMut for MmapVec

impl<Z> DerefMut for Zeroizing<Z>where
    Z: Zeroize,