为什么 Rust 借用检查器会拒绝这个功能？

Question

这个（很傻的）函数编译失败：

fn silliness(mut z: &mut int) {
    z = &mut *z;
}

编译器输出：

$ rustc blah.rs 
blah.rs:2:5: 2:16 error: cannot assign to `z` because it is borrowed
blah.rs:2     z = &mut *z;
              ^~~~~~~~~~~
blah.rs:2:14: 2:16 note: borrow of `z` occurs here
blah.rs:2     z = &mut *z;
                       ^~
error: aborting due to previous error

在我看来，由于在任何时候都只有一个引用 z 指向的内容，所以应该没问题。什么不明白？

Answer 1

它是安全的，但编译器还不够聪明，无法理解它。以下扰动编译良好：

fn silliness(mut z: &mut int) {
    let tmp = z;
    z = &mut *tmp;
}

fn main() {}

playpen

这种引入临时技巧是一个有用的工具，尤其是在编写遍历您有 &mut 引用的数据结构的循环时，例如TreeMap 将它（let temp）用于find_mut，它使用循环来提高效率（而不是通过递归的明显实现，它不需要这个技巧）。