Rust可变与不可变变量行为差异：两段循环代码输出不同的原因

两段代码的行为差异明确：

• 第一段代码依次打印1到9后退出循环
• 第二段代码会无限循环打印1

第一段代码分析 #

fn main() {
    let mut x = 1;
    while x < 10 {
        println!("{}", x);
        x = x + 1;
    }
}

这里let mut x = 1;声明了可变绑定：变量x的值允许被后续修改。循环条件x < 10判断的是这个可变x的当前值，每次循环里的x = x + 1直接修改了该绑定的值，x从1逐步递增到9，当x变为10时循环条件不满足，程序退出。

第二段代码分析 #

fn main() {
    let x = 1;
    while x < 10 {
        println!("{}", x);
        let x = x + 1;
    }
}

外层的let x = 1;是不可变绑定：这个x的值一旦确定就无法被修改。循环条件x < 10始终判断的是外层这个不可变的x，它的值永远是1，因此循环永远不会终止。

循环里的let x = x + 1;并非修改外层的x，而是变量遮蔽——在当前循环迭代的局部作用域内创建了一个新的同名不可变绑定，这个新x的值是外层x加1，但它仅在当前迭代的局部作用域内有效，完全不影响外层的x。每次循环都会重新创建这个局部x，但外层x始终保持初始值1，最终导致无限循环。

不可变性的核心作用 #

Rust的不可变性规则强制约束：不可变绑定的值无法被直接修改。第二段代码中，因为外层x是不可变的，我们不能通过x = x +1修改它，只能通过重新声明同名变量来遮蔽外层绑定，但这种遮蔽不会改变外层变量的状态。这就是两段代码行为差异的根源——不可变性限制了变量的修改能力，同时明确了变量遮蔽与直接赋值的本质区别。

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