Rust DerefMut用法及代码示例

用于可变的取消引用操作，例如 *v = 1; 。

除了用于(一元)的显式取消引用操作*可变上下文中的运算符，DerefMut在许多情况下，编译器也会隐式使用。这种机制称为'Deref 强制'.在不可变的上下文中，core::ops::Deref被使用。

实施DerefMut对于智能指针来说，可以方便地改变它们背后的数据，这就是它们实现的原因DerefMut。另一方面，有关规则core::ops::Deref和DerefMut专门为适应智能指针而设计。因为这，DerefMut 只能针对智能指针实现以避免混淆。

出于类似的原因，这个特质永远不应该失败。取消引用期间的失败可能会非常令人困惑DerefMut被隐式调用。

更多关于 Deref 强制

如果 T 实现了 DerefMut<Target = U> ，并且 x 是 T 类型的值，则：

• 在可变上下文中，*x(其中 T 既不是引用也不是原始指针)等价于 *DerefMut::deref_mut(&mut x)。
• &mut T 类型的值被强制转换为 &mut U 类型的值
• T 隐式实现 U 类型的所有(可变)方法。

欲了解更多详情，请访问中的章节Rust 编程语言以及参考部分解引用运算符,方法解析和类型强制.

例子

具有单个字段的结构，可通过取消引用该结构来修改。

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