Trait std::ops::DerefMut

#[lang = "deref_mut"]
pub trait DerefMut: Deref {
    fn deref_mut(&mut self) -> &mut Self::Target;
}

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 on non-pointer types 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] book as well as the reference sections on [the dereference operator] ref-deref-op, 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);

Required methods

fn deref_mut(&mut self) -> &mut Self::Target

Mutably dereferences the value.

Loading content...

Implementors

impl DerefMut for String

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

impl<'_, T> DerefMut for &'_ mut T where
    T: ?Sized, 

Important traits for &'_ mut F

impl<'_, F> Future for &'_ mut F where
    F: Unpin + Future + ?Sized,  type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;impl<R: Read + ?Sized, '_> Read for &'_ mut Rimpl<W: Write + ?Sized, '_> Write for &'_ mut W

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

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

Important traits for &'_ mut F

impl<'_, F> Future for &'_ mut F where
    F: Unpin + Future + ?Sized,  type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;impl<R: Read + ?Sized, '_> Read for &'_ mut Rimpl<W: Write + ?Sized, '_> Write for &'_ mut W

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

impl<'_, T> DerefMut for PeekMut<'_, T> where
    T: Ord, 

Important traits for &'_ mut F

impl<'_, F> Future for &'_ mut F where
    F: Unpin + Future + ?Sized,  type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;impl<R: Read + ?Sized, '_> Read for &'_ mut Rimpl<W: Write + ?Sized, '_> Write for &'_ mut W

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

impl<'a> DerefMut for IoSliceMut<'a>

Important traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]

fn deref_mut(&mut self) -> &mut [u8]

impl<P> DerefMut for Pin<P> where
    P: DerefMut,
    <P as Deref>::Target: Unpin, 

fn deref_mut(&mut self) -> &mut <P as Deref>::Target

impl<T> DerefMut for Box<T> where
    T: ?Sized, 

Important traits for &'_ mut F

impl<'_, F> Future for &'_ mut F where
    F: Unpin + Future + ?Sized,  type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;impl<R: Read + ?Sized, '_> Read for &'_ mut Rimpl<W: Write + ?Sized, '_> Write for &'_ mut W

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

impl<T> DerefMut for ManuallyDrop<T> where
    T: ?Sized, 

Important traits for &'_ mut F

impl<'_, F> Future for &'_ mut F where
    F: Unpin + Future + ?Sized,  type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;impl<R: Read + ?Sized, '_> Read for &'_ mut Rimpl<W: Write + ?Sized, '_> Write for &'_ mut W

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

impl<T> DerefMut for AssertUnwindSafe<T>

Important traits for &'_ mut F

impl<'_, F> Future for &'_ mut F where
    F: Unpin + Future + ?Sized,  type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;impl<R: Read + ?Sized, '_> Read for &'_ mut Rimpl<W: Write + ?Sized, '_> Write for &'_ mut W

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

impl<T> DerefMut for Vec<T>

Important traits for &'_ [u8]

impl<'_> Read for &'_ [u8]impl<'_> Write for &'_ mut [u8]

fn deref_mut(&mut self) -> &mut [T]

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

Important traits for &'_ mut F

impl<'_, F> Future for &'_ mut F where
    F: Unpin + Future + ?Sized,  type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;impl<R: Read + ?Sized, '_> Read for &'_ mut Rimpl<W: Write + ?Sized, '_> Write for &'_ mut W

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

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

Important traits for &'_ mut F

impl<'_, F> Future for &'_ mut F where
    F: Unpin + Future + ?Sized,  type Output = <F as Future>::Output;impl<'_, I> Iterator for &'_ mut I where
    I: Iterator + ?Sized,  type Item = <I as Iterator>::Item;impl<R: Read + ?Sized, '_> Read for &'_ mut Rimpl<W: Write + ?Sized, '_> Write for &'_ mut W

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

Loading content...