概说

Rust 是一种静态类型语言，这意味着它必须在编译时知道所有变量的类型。编译器通常可以根据值以及我们如何使用它来推断我们想要使用什么类型。在可能有多种类型的情况下，如将猜测值与秘密数字比较String部分中将 a 转换为数字类型时，我们必须添加类型注释，如下所示：parse

fn main() {
let guess: u32 = "42".parse().expect("Not a number!");
}

如果我们不在这里添加类型注释，Rust 将显示以下错误，这意味着编译器需要我们提供更多信息才能知道我们要使用哪种类型：

   Compiling no_type_annotations v0.1.0 (file:///projects/no_type_annotations)
error[E0282]: type annotations needed
 --> src/main.rs:2:9
  |
2 |     let guess = "42".parse().expect("Not a number!");
  |         ^^^^^ consider giving `guess` a type

For more information about this error, try `rustc --explain E0282`.
error: could not compile `no_type_annotations` due to previous error

标量类型

标量类型表示单个值

Rust 有四种主要的标量类型：整数、浮点数、布尔值和字符。您可以从其他编程语言中识别出这些。

整数类型

浮点类型

Rust 也有两种用于浮点数的原始类型，它们是带小数点的数字。Rust 的浮点类型是f32和f64，它们的大小分别为 32 位和 64 位。默认类型是f64 因为在现代 CPU 上它的速度大致相同，f32但精度更高。所有浮点类型都是有符号的。

fn main() {
    let x = 2.0; // f64

    let y: f32 = 3.0; // f32
}
//浮点数根据 IEEE-754 标准表示。该 f32类型是单精度浮点数，并且f64具有双精度。

数值运算

Rust 支持所有数字类型的基本数学运算：加法、减法、乘法、除法和余数。整数除法向下舍入到最接近的整数。以下代码显示了如何在let语句中使用每个数字运算：

fn main() {
    // addition
    let sum = 5 + 10;

    // subtraction
    let difference = 95.5 - 4.3;

    // multiplication
    let product = 4 * 30;

    // division
    let quotient = 56.7 / 32.2;
    let floored = 2 / 3; // Results in 0

    // remainder
    let remainder = 43 % 5;
}

布尔类型

fn main() {
    let t = true;

    let f: bool = false; // with explicit type annotation
}

字符类型

Rust 的char类型是该语言最原始的字母类型。下面是一些声明char值的例子

fn main() {
    let c = 'z';
    let z = 'ℤ';
    let heart_eyed_cat = '😻';
}

复合类型

复合类型可以将多个值组合为一种类型。Rust 有两种原始的复合类型：元组和数组

元组类型

元组是将具有多种类型的多个值组合成一个复合类型的一般方法。元组具有固定长度：一旦声明，它们的大小就不能增长或缩小。

我们通过在括号内编写一个逗号分隔的值列表来创建一个元组。元组中的每个位置都有一个类型，元组中不同值的类型不必相同。我们在这个例子中添加了可选的类型注解：

fn main() {
    let tup: (i32, f64, u8) = (500, 6.4, 1);
}

该程序首先创建一个元组并将其绑定到变量tup。然后它使用模式 withlet将tup其转换为三个单独的变量，x，y和z。这称为解构，因为它将单个元组分成三个部分。最后，程序打印 的值 y，即6.4。

我们还可以通过使用句点 ( .) 后跟我们要访问的值的索引来直接访问元组元素。例如：

fn main() {
    let x: (i32, f64, u8) = (500, 6.4, 1);

    let five_hundred = x.0;

    let six_point_four = x.1;

    let one = x.2;
}

该程序创建元组x，然后使用它们各自的索引为每个元素创建新变量。与大多数编程语言一样，元组中的第一个索引是 0。

没有任何值的元组(), 是一种只有一个值的特殊类型，也写成()。类型称为单位类型，值称为单位值。如果表达式不返回任何其他值，则表达式会隐式返回单位值。

数组类型

fn main() {
    let a = [1, 2, 3, 4, 5];
}

访问数组元素

fn main() {
    let a = [1, 2, 3, 4, 5];

    let first = a[0];
    let second = a[1];
}