为什么这个Rust程序忽略了不变性

Question

我有以下Rust程序,我希望它会导致编译错误,因为x稍后会重新分配.但它符合并提供输出.为什么？

fn main() {
   let (x, y) = (1, 3);
   println!("X is {} and Y is {}", x, y);

   let x: i32 = 565;
   println!("Now X is {}", x);
}

Answer 1

Rust实际上允许您对块中的其他变量进行阴影处理,因此let x: i32 = 565;定义了一个新的变量x,该变量使用x前面定义的阴影let (x,y) = (1,3);.请注意,您甚至可以重新定义x为具有不同的类型,因为第二个x是一个全新的变量!

fn main(){
   let x = 1;
   println!("Now X is {}",x);

   let x = "hi";
   println!("Now X is {}",x);
}

这个reddit线程详细介绍了这个有用的原因.提到的两件看起来很有趣的事情是:

• 对于获取变量所有权但返回相同类型的另一个变量的操作,有时"看起来很好"将重新定义的返回变量具有相同的名称.从这里:

  let iter = vec.into_iter();
  let iter = modify(iter);
  let iter = double(iter);
  

• 或者使变量不可变:

  let mut x;
  // Code where `x` is mutable
  let x = x;
  // Code where `x` is immutable