爲什麼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

此引入-A-臨時訣竅是特別編寫遍歷數據結構的環，其你有&mut參考，例如，當一個有用的工具TreeMap使用它（let temp）爲find_mut，它使用效率循環（而不是通過遞歸顯然實現，這不需要這個技巧）。