mut
修饰的变量具有可变性
let mut a = String::from("Hi");
a.push('a');
println!("{}", a);
// 输出: Hia
mut
用于说明是否对应内存的值是否可以修改
let a = & mut String::from("Hi");
// 引用 可修改 堆上的一块内存
// 综合起来:a 代表一个指向堆上的一块可修改的内存的引用
// 即:a 是 "Hi" 的可变引用
假如将上面的例子中的 &
和 mut
调换位置会怎么样?
let a = mut & String::from("Hi");
// 可修改 引用 堆上的一块内存
// 综合起来:a 代表一个指向堆上的一块不可修改的内存的引用,而且这个引用的指向
// 是可以被修改的 (mut 决定的),那么就代表 a 的内存是可以被修改的,这样一来就
// 代表 a 是一个可变的变量,就和 a 的声明有了矛盾,编译器就会报错。
如何获取一个可以更改指向的不可变(或者可变)引用?
// 以获取可更改指向的可变引用举例
let mut s1 = String::from("Hi");
let mut s2 = String::from("There");
let mut r = &mut s1;
*r = "Hello".to_string(); // 通过 r 修改 s1
r = &mut s2; // 更改 r 的指向
*r = "World".to_string(); // 通过 r 修改 s2
println!("{} {}", s1, s2);
// 输出:Hello World
总的来说: mut
修饰的内存可被修改