Rust 未繫結可變引用和繫結可變引用的區別

在rust documents api 中我們經常會看到如下的寫法

//繫結可變引用
let f = &mut string::from("what something");
//可變繫結
let mut f = string::from("what something");

這兩種語法的區別是很大的。比如在如下**中：

fn main()
j.push('.');
print!("{}\n",j);
}

fn main()
j.push('.');
print!("{}\n",j);
}

第一種寫法會編譯報錯。而第二種寫法則可以正常執行。其原因是rust的所有權規則：

在rust中所有值（分配在堆上或者分配在棧上的記憶體）有且只有乙個稱之為所有者的變數（繫結）。

值有且只有乙個所有者。當所有者離開作用域時，這個值（記憶體）將被丟棄。

在第一種寫法中，"string::from("what something")並沒有乙個所有者變數。這叫做乙個temporary value臨時值（記憶體），其作用域為當前作用域。且其任何的不可變引用或可變借用在其離開作用域之後都會無效。

因此，j = f在遇到第乙個}時無效。此時j指向的值被丟棄。編譯器會報錯。

在第二種寫法中，f 是string::from("what something")的擁有者，當呼叫j = f時string::from("what something")被移動到了j變數中，因此在第乙個}之後記憶體並被沒有被**。所以第二種寫法可以編譯通過。

當在函式呼叫時，我們需要一些臨時變數來當作引數值，並確定之後不會使用，則可以使用&mut string::("what something")這在某些時候是很有用的。

然而，如果我們不想rustc釋放掉某塊記憶體，我們必須指定乙個記憶體的所有者，並通過移動語義確保其所有者有效。

Rust 未繫結可變引用 和繫結可變引用的區別