为何Rust中for/loop循环里被遮蔽变量的值未被修改？

咱们先直接点破核心原因：你在循环里用let foo = foo + 1;这行代码，不是在修改原来的foo，而是创建了一个全新的、只属于当前迭代块的foo变量。这个新foo和外面的foo完全是两个东西，迭代结束它就被销毁了，外面的foo自然还是初始的5。

拆解变量遮蔽的本质 #

Rust里的let关键字，不管当前作用域有没有同名变量，它的作用都是创建新变量——这就是所谓的“变量遮蔽”。咱们对比一下你的两段代码：

• 对于bar的代码：

  let bar: i32 = 5; 
  let bar = bar + 1; 
  

  这两行在同一个作用域（main函数的顶层），第二个let bar遮蔽了第一个bar，后续的println用的是这个新的bar，所以输出6很正常。
• 对于foo的代码：

  let foo: i32 = 5; 
  for _x in 0..5 { 
      let foo = foo + 1; 
  } 
  

  循环的每一次迭代都是一个独立的块作用域！每次执行let foo = foo +1;时，右边的foo是外面那个不可变的5，然后创建一个当前迭代块内的新foo，值是6。但这个新foo只在这次迭代里存在，迭代结束就被丢弃了，外面的foo从头到尾都没被碰过，所以最后输出还是5。

for/loop循环对变量遮蔽的“限制”？其实是作用域规则 #

你说loop循环里也有相同行为，这完全符合Rust的作用域逻辑：不管是for还是loop，循环体都是一个块作用域，每次迭代都会重新进入这个块。在块里用let创建的变量，作用域就仅限于这个块，和外部的同名变量没有任何修改关系——这不是循环的“限制”，是Rust作用域和变量遮蔽的基本规则。

循环里的最佳实践：用mut变量代替遮蔽 #

如果你的目的是在循环中持续更新同一个变量的值，那变量遮蔽绝对不是正确的选择，反而会让代码意图模糊。正确的做法是把变量声明为可变（mut），然后直接修改它，不需要再用let：

fn main() { 
    let mut foo: i32 = 5; // 声明为mut可变变量
    for _x in 0..5 { 
        foo = foo + 1; // 直接修改同一个变量，不用let
        // 或者更简洁的写法：foo += 1;
    } 
    println!("Value of foo: {}", foo); // 这里会输出 Value of foo: 10 
}

同样的逻辑套用到loop循环上：

fn main() {
    let mut foo = 5;
    let mut counter = 0;
    loop {
        foo += 1;
        counter += 1;
        if counter == 5 {
            break;
        }
    }
    println!("Value of foo: {}", foo); // 输出10
}

这样写的好处是代码意图非常清晰：你就是要持续修改同一个foo变量，而不是每次创建新变量。

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