‘mut a：&T’和‘a：&mut T’之间有什么区别？

Question

有人能解释一下这两者之间的区别吗？mut a: &T最常用的是什么时候？

Answer 1

Rust中的函数参数和let绑定是正确的模式，就像匹配的=>左边的模式一样(除了let和参数模式必须是不可反驳的，也就是说，它们必须始终匹配)。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