Rust同一作用域内的变量遮蔽问题及相关技术问询

嘿，这个问题问到点子上了，咱们结合你给出的代码，一步步把变量遮蔽的细节说清楚～

先把你的代码贴出来方便参考：

fn main() { 
    let x = 5; 
    println!("{}", x); 
    let x = 3.14; 
    println!("{}", x); 
    let x = "Hello"; 
    println!("{}", x); 
}

1. 被遮蔽的前序变量值会如何变化？ #

完全不会变化！变量遮蔽不是修改原有变量，而是创建了一个全新的变量，只是刚好和之前的变量重名了而已。比如第一个x是整数5，当你写let x = 3.14时，原来的整数x依然好好地保留着自己的值5，只是在当前作用域里，x这个名字被新的浮点数变量“抢”走了。

2. 被遮蔽的变量值还能访问吗？ #

很遗憾，在当前作用域里没法直接访问了。因为当你用let x再次声明时，新的x会覆盖掉之前同名变量的可见性——现在你在代码里写x，编译器只会识别最新的那个变量。

不过如果是嵌套作用域的遮蔽（比如在大括号里声明新的x），那外面的x还是可以在作用域外访问的，但你的例子里三个x都在main的顶层作用域，所以被遮蔽后就彻底没法通过x这个名字访问之前的值了。

3. 这些被遮蔽的变量占用的内存能主动释放吗？ #

首先你不用太担心内存问题：Rust的所有权系统会自动处理这件事。当一个变量不再被任何代码引用时（比如第一个整数x，在第二个x声明之后，再也没有地方用到它了），Rust会自动调用它的drop方法释放内存，这个过程完全是编译器自动处理的，不需要你手动干预。

另外要注意：Rust不允许手动释放内存，因为所有权系统就是为了保证内存安全设计的，手动释放会打破这个安全机制，编译器直接会报错阻止你这么做。

最后补个小知识点：变量遮蔽和let mut是完全不同的东西——let mut x是让同一个变量可以被修改值，而遮蔽是创建新变量，只是共用了名字而已～

内容的提问来源于stack exchange，提问作者r_duck