mut a:&T 和a:&mut T的区别

概述

话说 StackOverflow 上有个哥们问了一个问题，正如标题所述，它问的是下面这段代码里:

fn modify_foo(mut foo: Box<i32>) { *foo += 1; *foo }
fn modify_foo(foo: &mut i32) { *foo += 1; *foo }

代码里的mut放在 mut foo: Box<i32>和foo: &mut i32 的区别是什么？

下面是结论，没有 C/C++编程经验的童鞋可以忽略中间这一栏

mut a:&T

先来看 mut a : T和mut a : &T的区别，这个应该比较简明，即前者中a是T类型变量的可变绑定，后者中a是T类型不可变引用的可变绑定。(如果对引用的概念还比较模糊，可以参考公众号中翻译的一篇文章:《Rust 中的引用》)
下面来看个例子：

struct FullName{
    first_name:String,
    last_name:String,
}

// mut a:& T
let mut a = & FullName {
    first_name: String::from("Jobs"),
    last_name: String::from("Steve"),
};
//a重新绑定到一个新的FullName的引用
a = &FullName {
    first_name: String::from("Gates"),
    last_name: String::from("Bill"),
};
//不允许对a指向的内容作出修改
//a.first_name = String::from("Error");
println!("{}:{}",a.last_name, a.first_name);

这里的a是可变的，意思是a可以重新绑定另一个结构体的引用，但是不能对结构体里的内容作修改(比如这里对 a.first_name 的赋值就是不允许的)，因为引用(&T)是不可变的。

a:&mut T

接着看下面这个例子:

// a:&mut T
let a = &mut FullName {
    first_name: String::from("Jobs"),
    last_name: String::from("Steve"),
};
//a不允许重新绑定到一个新的FullName的引用
// a = &FullName {
//     first_name: String::from("Gates"),
//     last_name: String::from("Bill"),
// };
//允许对a指向的内容作出修改
a.first_name = String::from("Gates");
println!("{}:{}",a.last_name, a.first_name);

这里的 a 绑定到了FullName的可变引用，也就是说可以对FullName进行修改，但是a是不可以修改的，即通过a修改FullName里的字段，如first_name是没问题的，但是如果要a重新绑定到新的结构体(相当于修改a)是不行的。

参考资料

1. https://stackoverflow.com/questions/28587698/whats-the-difference-between-placing-mut-before-a-variable-name-and-after-the

2. https://stackoverflow.com/questions/29672373/what-is-difference-between-mut-a-t-and-a-mut-t

禁止转载，谢谢配合！
欢迎关注我的微信公众号: Rust碎碎念