变量

一个 变量 是栈帧的一个组成部分，它可以是一个命名的函数参数、一个匿名的 临时值，或者一个命名的局部变量。

一个 局部变量（或 栈局部 分配）直接持有一个值，该值分配在栈内存中。该值是栈帧的一部分。

局部变量是不可变的，除非另行声明。例如：let mut x = ...。

函数参数是不可变的，除非用 mut 声明。mut 关键字仅适用于紧随其后的参数。例如：|mut x, y| 和 fn f(mut x: Box<i32>, y: Box<i32>) 声明了一个可变变量 x 和一个不可变变量 y。

局部变量在分配时不会被初始化。相反，在进入帧时，整个帧的局部变量都被分配在一个未初始化状态。函数中的后续语句可能会或可能不会初始化局部变量。局部变量只有在通过所有可达的控制流路径被初始化后才能使用。

在接下来的例子中，init_after_if 在 if 表达式 之后被初始化，而 uninit_after_if 没有，因为它在 else 分支中没有被初始化。

#![allow(unused)]
fn main() {
fn random_bool() -> bool { true }
fn initialization_example() {
    let init_after_if: ();
    let uninit_after_if: ();

    if random_bool() {
        init_after_if = ();
        uninit_after_if = ();
    } else {
        init_after_if = ();
    }

    init_after_if; // ok
    // uninit_after_if; // err: use of possibly uninitialized `uninit_after_if`
}
}