不可变对象根据函数签名更改为可变对象

Question

查看下面的 Rust 代码。它编译

fn main() {
    let vec0 = Vec::new();

    let mut vec1 = fill_vec(vec0);

    println!("{} has length {} content `{:?}`", "vec1", vec1.len(), vec1);

    vec1.push(88);

    println!("{} has length {} content `{:?}`", "vec1", vec1.len(), vec1);
}

fn fill_vec(mut vec: Vec<i32>) -> Vec<i32> {
    vec.push(22);
    vec.push(44);
    vec.push(66);

    vec
}

在这里，我将vec0 声明为immutable，但fill_vec 接受一个可变向量。根据函数签名，Rust 似乎正在改变所传递参数的性质。

我的问题是，这显然看起来像是“射中自己的脚”的瞬间。为什么 Rust 允许这样做？或者，这真的安全吗？我错过了什么？

Answer 1

这里有不同的事情可以解释为什么这种行为是有意义的：

• 首先，mut 并不真的 意味着“可变”。有诸如内部可变性、Cells、Mutexes 等之类的东西，它们允许您在不需要单个 mut 的情况下修改状态。相反，mut 意味着您可以相互获得独占引用。

• 其次，可变性是绑定的属性。 vec0 in main 和 vec in fill_vec 是不同的绑定，因此它们可以具有不同的可变性。

  另见：

  • What does 'let x = x' do in Rust?

• 最终所有权：fill_vec 获得其参数的完全所有权，而 main 中实际上不再存在该参数。为什么不允许函数使用其拥有的参数为所欲为？如果函数将参数作为可变引用，您需要将原始绑定声明为mut：

  fn main() {
      let mut vec0 = Vec::new();
      //  ^^^ now _needs_ a mutable binding
  
      fill_vec(&mut vec0);
      //       ^^^^ needs an explicit `&mut` reference
  }
  
  fn fill_vec(vec: &mut Vec<i32>) {
      //           ^^^^ borrows rather than take ownership
      // …
  }
  

Answer 2

您正在使fill_vec 的参数vec 可变。您仍在按值传递 vec。

如果您想要一个可变引用，您可以使用vec: &mut Vec<i32>。