Trait core::ops::DerefMut

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

用于可变解引用操作,例如在 *v = 1; 中。

DerefMut 除了可用于 (一元) * 运算符在可变上下文中的显式解引用操作外,还可以在许多情况下被编译器隐式使用。 该机制称为 Deref 强制多态。 在不可变的上下文中,使用 Deref

为智能指针实现 DerefMut 可以方便地对其背后的数据进行可变的,这就是为什么它们实现 DerefMut 的原因。 另一方面,有关 DerefDerefMut 的规则是专门为容纳智能指针而设计的。 因此,DerefMut 仅应针对智能指针实现,以免造成混淆。

出于类似的原因,这个 trait 永远不会失败。当隐式调用 DerefMut 时,解引用过程中的失败可能会非常令人困惑。

有关 Deref 强制多态的更多信息

如果 T 实现 DerefMut<Target = U>,并且 xT 类型的值,则:

  • 在可变上下文中,*x (其中 T 既不是引用也不是裸指针) 等效于 * DerefMut::deref_mut(&mut x)
  • &mut T 类型的值被强制为 &mut U 类型的值
  • T 隐式地实现了 U 类型的所有 (mutable) 方法。

有关更多详细信息,请访问 Rust 编程语言中的章节 以及 解引用运算符方法解析类型强制转换 上的引用部分。

Examples

具有单个字段的结构体,可以通过解引用该结构体进行修改。

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);
Run

Required Methods§

source

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

可变地解引用该值。

Implementors§

source§

impl<'a, 'f: 'a> DerefMut for VaList<'a, 'f>

1.33.0 · source§

impl<P: DerefMut<Target: Unpin>> DerefMut for Pin<P>

1.9.0 · source§

impl<T> DerefMut for AssertUnwindSafe<T>

source§

impl<T: ?Sized> !DerefMut for &T

source§

impl<T: ?Sized> DerefMut for &mut T

source§

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

1.20.0 · source§

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