rust - 当你在 Rust 中可变地隐藏一个 Vector 时会发生什么？

Question

我目前正在学习 ruSTLings 类(class)，当这个关于 move 语义的练习出现时，我感到很困惑。这是它的要点:

fn main(){
  let vec0 = Vec::new();
  let mut vec1 = fill_vec(vec0);
  //stuff happens
}

fn fill_vec(vec: Vec<i32>) -> Vec<i32> {
  let mut vec = vec;
  //do stuff
  vec
}

据我所知，不可变的 vec0 正在作为参数 vec move 到 fill_vec，然后可变 被 let mut vec = vec; 覆盖。由于 Vectors 是对堆存储的引用，这是否意味着 clone() 由于阴影而发生，或者是否重复使用了相同的指针并使其可变？为什么要在这种情况下使用阴影？

Answer 1

is the same pointer reused and just made mutable?

是的。完全相同的对象，在运行时它本质上是一个空操作。

Why would shadowing be used in this case at all?

有些人喜欢通过阴影暂时“锁定”和“解锁”绑定(bind)的模式，例如

let a = …;
…
let mut a = a;
// mutate `a` in-place
let a = a; // lock to readonly again

这真的只是个人喜好。这里:

• 本可以引入一个新变量，但它真的更有用吗？它会叫什么？ vec_mut？不像源可以重复使用，它被移走了。
• 或者，输入参数可以直接是 mut vec: ...。

这主要取决于个人选择。