Rust 遮蔽（Shadowing）

在 Rust 中，遮蔽（shadowing）是一种允许你重新声明同名变量的特性，它不同于可变性，而是创建一个新的变量绑定，覆盖之前的同名变量。这有助于在作用域内重用变量名，同时改变其类型或值，提高代码的可读性和灵活性。

遮蔽的基本概念

遮蔽通过使用 let 关键字重新声明变量来实现。例如，你可以先声明一个整数变量，然后遮蔽它为一个字符串：

fn main() {
    let x = 5;
    println!("x = {}", x); // 输出: x = 5
    let x = "hello";
    println!("x = {}", x); // 输出: x = hello
}

遮蔽与可变性的区别

遮蔽常与可变性（使用 mut）混淆，但两者有本质不同。可变性允许修改变量的值，而遮蔽允许改变变量的类型或重新赋值。比较以下示例：

fn main() {
    // 使用可变性
    let mut y = 10;
    y = 20; // 修改值，类型不变
    println!("y = {}", y); // 输出: y = 20
    // 使用遮蔽
    let z = 30;
    let z = "world"; // 改变类型
    println!("z = {}", z); // 输出: z = world
}

遮蔽的优势在于它可以在不引入新变量名的情况下，适应不同的数据类型，这在处理复杂逻辑时非常有用。

遮蔽的作用域规则

遮蔽只在当前作用域内有效。当离开作用域时，原变量会重新变得可用。例如：

fn main() {
    let a = 1;
    {
        let a = 2; // 遮蔽 a
        println!("inner a = {}", a); // 输出: inner a = 2
    }
    println!("outer a = {}", a); // 输出: outer a = 1
}

遮蔽的实用示例

遮蔽在解析用户输入或转换数据类型时特别有用。以下示例展示如何将字符串输入转换为整数：

fn main() {
    let input = "42";
    let input: i32 = input.parse().expect("Not a number!"); // 遮蔽为整数
    println!("Parsed input: {}", input); // 输出: Parsed input: 42
}

这避免了创建多个临时变量，使代码更简洁。