rust - 非 mut 变量是可变的，导致崩溃

Question

我遇到了一个奇怪的案例，Rust 告诉我我不需要 mut在一个变量上，即使我显然正在改变它!经过一番摆弄之后，我设法编译了以下代码，这些代码看起来已经损坏了。

fn main() {
    let x: u32;
    loop {
        match 1 {
            1 => {}
            _ => {
                x = 5;
                break;
            }
        }
    }
    dbg!(x);
}

运行它( playground )会导致某种崩溃。这里发生了什么？这是编译器错误吗？我每晚都试过，它仍然超时。

Answer 1

这也编译:

let x: u32;

if false {
    x = 5;
}

也:

let x: u32;
x = 5;

正如@trentcl 提到的，这是延迟初始化，这就是它被接受的原因。