Rust 未绑定可变引用 和绑定可变引用的区别

Rust 绑定可变引用 和可变绑定的区别

在Rust Documents Api 中 我们经常会看到如下的写法

	//绑定可变引用
	let f = &mut String::from("what something");
	//可变绑定
	let mut f = String::from("what something");

这两种语法的区别是很大的。比如在如下代码中：

fn main(){
	let mut j;
	{
		let f = &mut String::from("what something");
		j = f;
		// string "what something" died in the scope
	}
	j.push('.');
	print!("{}\n",j);
}

fn main(){
	let mut j;
	{
		let f = String::from("what something");
		j = f;
	}
	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释放掉某块内存，我们必须指定一个内存的所有者，并通过移动语义确保其所有者有效。