为何Rust编译器不对变量重声明报错？

Rust里用let重复声明同名变量不是错误，这叫变量遮蔽，是语言特意设计的特性，核心目的是让代码更简洁安全，具体原因如下：

• 无需换名就能修改变量类型：你可以用同一个变量名绑定不同类型的值，不用额外定义x_str、x_num这类区分性名字。比如：

  let x = "42";
  let x = x.parse::<i32>().unwrap();
  

  这里第一个x是字符串，第二个x是整数，完全合法。

• 避免不必要的可变绑定：如果不用遮蔽，你得把变量声明成mut x才能修改值，但mut会让变量在整个作用域都可变，增加误改风险。用遮蔽的话，只有新的x是当前有效的值，旧的x已经被“隐藏”，不会被意外修改。

• 简化临时值处理：处理复杂逻辑时，经常会生成临时值，用遮蔽可以直接复用变量名，让代码更清爽，不用堆砌类似tmp_x、new_x的变量。

回到你的代码例子：
第一个代码里，最后一次let x = 5遮蔽了之前的x = 6，所以断言x == 5时，取的是最后这个新绑定的x，自然成功；第二个代码里，最后有效的x是6，断言自然失败，这都是遮蔽特性的正常表现。

Rust编译器不报错，是因为它认为这是开发者主动选择的写法，而非错误——毕竟遮蔽带来的代码简洁性和安全性，比强制禁止同名声明的收益更大。

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