有人可以解释这两者之间的区别是什么,mut a: &T
最常用的时间是什么?
答案 0 :(得分:18)
函数参数和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