类型推断

本课属于 Coddy Rust 学习旅程的“基础知识”单元。第 12 课，共 75 课。

在 Rust 中，类型推断允许编译器根据变量的值和用法自动推断其类型。这意味着声明变量时，你通常不需要显式指定类型，这样代码会更简洁，也更易于阅读。

例如：

let x = 5;
// Rust 推断出 x 的类型是 i32

let y = 3.14;
// Rust 推断出 y 的类型是 f64

let message = "Hello, world!";
// Rust 推断出 message 的类型是 &str（字符串）

let is_true = true;
// Rust 推断出 is_true 的类型是 bool

在这些示例中，我们没有指定 x、y、message 和 is_true 的数据类型。Rust 编译器根据赋给它们的值自动推断出了它们的类型。

类型推断不仅方便，还有助于防止错误。编译器会检查变量的使用方式，并确保推断出的类型在整个代码中保持一致。如果出现冲突，编译器就会生成错误。

挑战

入门

编写一个 Rust 程序来演示类型推断。声明并初始化以下变量，不要显式标注类型：

声明一个名为 quantity、值为 10 的变量。
声明一个名为 price、值为 99.99 的变量。
声明一个名为 message、值为 "Coddy is awesome!" 的变量。
声明一个名为 is_available、值为 true 的变量。

声明这些变量后，使用 println!() 将它们的值输出到控制台。观察 Rust 如何根据这些变量的值推断它们的类型。

亲手试试

fn main() {
    // 在这里声明变量
    
    
    // 输出这些值
    println!("Quantity: {}", quantity);
    println!("Price: {}", price);
    println!("Message: {}", message);
    println!("Is available: {}", is_available);
}