03【变量观】`let`, `mut` 与 Shadowing：理解 Rust 的变量绑定哲学

系列： Rust 精进之路：构建可靠、高效软件的底层逻辑
作者： 码觉客
发布日期： 2025-04-20

引言：为数据命名，Rust 的第一道“安全阀”

在上一篇文章中，我们成功搭建了 Rust 开发环境，并用 Cargo 运行了第一个程序，迈出了坚实的一步。现在，是时候深入了解构成程序的基本单元了。变量，作为在内存中存储和引用数据的核心机制，在任何编程语言中都至关重要。你可能对 C、Java 或 Python 等语言中的变量声明和使用非常熟悉。

然而，当你开始接触 Rust 时，会发现它在处理变量的方式上，从一开始就展现了其独特且深思熟虑的设计理念。最引人注目的就是对“可变性”的严格控制。与许多主流语言默认变量可变不同，Rust 坚定地选择了默认不可变 (immutable)。这个看似增加了少许“麻烦”的设计，实际上是 Rust 强大的安全保证体系的基石，对于编写可维护、尤其是在并发环境下可靠的代码至关重要。

本文将详细探讨 Rust 中变量的声明方式 (let)、如何审慎地引入可变性 (mut)、定义真正恒定值的常量 (const) 与贯穿程序生命周期的静态变量 (