`mut a: &T` 和 `a: &mut T` 有什么区别？

Question

谁能解释一下这两者有什么区别，什么时候 mut a: &T 最常用？

Answer 1

Rust 中的函数参数和 let 绑定是正确的模式，就像 match 中 => 左边的那些（除了 let 和参数模式必须是 irrefutable，也就是说，它们必须始终匹配）。 mut a 只是模式语法的一部分，这意味着 a 是一个可变绑定。另一方面，&mut T/&T 是一种类型 - 可变或不可变引用。

参考文献和模式中 mut 有四种可能的组合：

    a: &T      // immutable binding of immutable reference
mut a: &T      // mutable binding of immutable reference
    a: &mut T  // immutable binding of mutable reference
mut a: &mut T  // mutable binding of mutable reference

第一个变体是绝对不可变的（不考虑 Cell 的内部可变性等）——您既不能更改 a 指向的内容，也不能更改它当前引用的对象。

第二个变体允许您更改 a 以指向其他地方，但不允许您更改它指向的对象。

第三个变体不允许更改 a 以指向其他内容，但它允许改变它引用的值。

最后一个变体允许更改 a 以引用其他内容并改变此引用当前指向的值。

考虑到以上内容，您可以看到可以使用 mut a: &T 的地方。例如，您可以在循环中编写对字符串的一部分的搜索，以便进一步使用，如下所示：

let mut s: &str = source;
loop {
    // ... whatever
    s = &source[i..j];
}
// use the found s here

`mut a: &T` 和 `a: &mut T` 有什么区别？

What is difference between `mut a: &T` and `a: &mut T`?

reference

mutable

rust