为何Rust中的该变量无需声明为mut？

我原本将变量max声明为mut，但rust-analyzer提示无需添加。移除mut后代码仍可正常运行，尽管我在match语句中为max赋值了。请问这是为什么？

fn validate_in_range_u32(value:u32, min:u32, max:u32) -> bool { 
    if value < min || value > max {
        return false;
    }
    true
}

fn main() { 
    let day = 24;
    let month = 8;

    if !validate_in_range_u32(month, 1, 12) {
        println!("Month is out of range (1-12)");
    }
    let max: u32;
    match month {
        1 | 3 | 5 | 7 | 8 | 10 | 12 => max = 31,
        2 => max = 28,
        4 | 6 | 9 | 11 => max = 30,
        _ => panic!("Should not happen"),
    }

    if !validate_in_range_u32(day, 1, max) {
        println!("Day is out of range (1-{max})");
    }
    
    println!("It worked!");
}

这是因为Rust中变量的初始化操作和修改操作是完全不同的概念：

• mut关键字的作用是允许对已经完成初始化的变量进行后续修改，比如重新赋值。
• 你的代码里，let max: u32;只是声明了变量但没有初始化，后续match的每个分支都是在给这个未初始化的变量完成一次性初始化，这不属于“修改”操作，自然不需要mut。

Rust的编译器会严格检查这类变量的初始化：它会确保所有可能的执行路径都能给max完成初始化（你的match覆盖了所有可能的month值，包括兜底的_分支），所以编译可以通过。如果存在某个路径没有初始化max，编译器会直接报错。

举个反例，如果是先初始化max再修改，那才需要mut：

// 这里必须加mut，因为是修改已初始化的变量
let mut max = 31;
if month == 2 {
    max = 28;
}

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