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

时间:2015-04-16 10:45:24

标签: reference rust mutable

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

1 个答案:

答案 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