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

Question

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

Answer 1

函数参数和Rust中的绑定是正确的模式,就像=>匹配中左边的那些(除了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