rust - 如何将任意就地操作应用于 &mut 引用？

Question

这个问题在这里已经有了答案:





How can I swap in a new value for a field in a mutable reference to a structure?

(2 个回答)



Cannot move out of borrowed content when trying to transfer ownership

(1 个回答)



Temporarily move out of borrowed content

(3 个回答)



How to write a trait bound for adding two references of a generic type?

(1 个回答)


1年前关闭。




有没有不需要 AddAssign 的方法来编写这个函数？或 Clone在 T ?

use std::ops::Add;

fn increment<T: Add<isize, Output = T>>(x: &mut T) {
    *x = *x + 1;
}

如所写，我收到错误:

error[E0507]: cannot move out of `*x` which is behind a mutable reference
 --> src/lib.rs:4:10
  |
4 |     *x = *x + 1;
  |          ^^ move occurs because `*x` has type `T`, which does not implement the `Copy` trait

Answer 1

根据@Shepmaster 在评论中的回复，我认为如果不更改函数签名，这是不可能的，因为正在应用的函数可能会 panic 离开 x。如果从 panic 中恢复，则处于内存不安全状态。
但是，通过添加 Default使用 mem::replace 约束成为可能.

use std::mem;
use std::ops::Add;

fn increment<T: Default + Add<isize, Output = T>>(x: &mut T) {
    let y = mem::replace(x, Default::default());
    *x = y + 1;
}

现在如果 add panic ， x将有默认 T .