Rust loop循环内被遮蔽的变量为何迭代回顶部时变回String类型

代码中观察到的guess类型切换，本质是两个完全独立的同名变量在各自作用域内的可见性变化，不存在单个变量类型反复修改的情况：

• 第一个guess是main函数根作用域下声明的String类型变量，生命周期从声明点开始，到main函数结束才终止，全程类型、存储都没有变化
• 第二个guess是loop循环体内部声明的i32类型变量，作用域仅从自身的let声明语句开始，到当前次循环体块的末尾结束，和外层String类型的guess是完全独立的两个值，二者互不干扰

逐段匹配代码的作用域逻辑 #

1. 每次循环进入loop块顶部时，内层i32类型的guess还未声明，此时标识符guess指向外层作用域的String变量，因此guess.clear()、read_line(&mut guess)这些要求String类型的操作可以正常执行。
2. 执行到let guess: i32 = match ...行时，才会在当前循环体的块作用域内声明新的i32类型同名变量。从这行开始到当前次循环结束，所有对guess的引用都会优先匹配这个内层i32变量，外层的String变量只是被遮蔽、暂时不可见，本身没有被修改或销毁。
3. 当单次循环执行到末尾（包括parse失败触发continue、或者guess != 69自然走完循环体），内层i32类型的guess会离开自身作用域被自动销毁，遮蔽效果直接消失。下一轮循环回到块顶部时，可访问的自然是外层一直存在的String类型guess。
4. loop块外的println!("{}", guess)位于外层作用域，访问的同样是最开始声明的String变量。

等价逻辑简化示例 #

loop循环体本质是会被重复执行的普通块，上述遮蔽效果和普通块嵌套的逻辑完全一致：

fn main() {
    // 外层String变量，作用域覆盖整个main函数
    let mut guess = String::from("hello");
    {
        // 块开头未声明内层变量，访问外层String
        println!("{}", guess); // 输出 hello
        // 声明内层i32变量，遮蔽外层同名变量
        let guess = 42;
        println!("{}", guess); // 输出 42
    }
    // 块结束，内层i32变量销毁，遮蔽解除
    println!("{}", guess); // 输出 hello
}

变量遮蔽是Rust编译器的标识符查找规则，和变量本身的存储无关：编译器查找变量名时会从当前作用域逐层向外查找，匹配最近的同名声明，外层同名变量不会因为内层存在同名绑定就被修改或回收。

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