Rust 变量绑定与类型推断

简介

在本实验中，我们将学习 Rust 中的变量绑定，即如何使用 let 绑定将值赋给变量，以及如何使用类型注释，但编译器通常会推断类型。

注意：如果实验未指定文件名，你可以使用任何你想要的文件名。例如，你可以使用 main.rs，并通过 rustc main.rs &&./main 进行编译和运行。

变量绑定

Rust 通过静态类型检查提供类型安全。变量绑定在声明时可以进行类型注释。然而，在大多数情况下，编译器能够从上下文推断出变量的类型，从而大大减轻注释负担。

可以使用 let 绑定将值（如字面量）绑定到变量。

fn main() {
    let an_integer = 1u32;
    let a_boolean = true;
    let unit = ();

    // 将 `an_integer` 复制到 `copied_integer`
    let copied_integer = an_integer;

    println!("An integer: {:?}", copied_integer);
    println!("A boolean: {:?}", a_boolean);
    println!("Meet the unit value: {:?}", unit);

    // 编译器会对未使用的变量绑定发出警告；可以通过在变量名前加下划线来消除这些警告
    let _unused_variable = 3u32;

    let noisy_unused_variable = 2u32;
    // FIXME ^ 在前加下划线以抑制警告
    // 请注意，警告可能不会在浏览器中显示
}

总结

恭喜你！你已经完成了变量绑定实验。你可以在 LabEx 中练习更多实验来提升你的技能。