Rust 为什么这个变量不需要是可变的

发布于11月25日

在这段代码中，我将变量max声明为mut，但ruust-analyer告诉我这不是必需的.我移除了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!");
}

推荐答案

为什么会这样？我在match语句中重新分配max的值.

你并不是真的在分配re，你只是在分配.

与C(++)或Go不同，Rust不执行隐式缺省初始化，它跟踪"位置状态"，因此在

let max: u32;

max是定义的，但uninitialised是定义的，如果您try 读取它，则会出现编译错误:

error[E0381]: used binding `max` is possibly-uninitialized

所以match语句只是对其进行初始化，而拉斯特不需要对其进行Mutations .

顺便说一句，与RUST match中的大多数内容一样，RUST match也是表达式，因此更具RUST-Y风格的方法是返回match中的值并就地初始化max:

    let max = match month {
        1 | 3 | 5 | 7 | 8 | 10 | 12 =>31,
        2 => 28,
        4 | 6 | 9 | 11 => 30,
        _ => panic!("Should not happen"),
    };

类型批注也不是必需的，因为validate_in_range_u32强制使用u32.