其中变量类型如i32一般都是可以省略的,因为Rust使用了类型推断 (type inference)。
    Rust还通过模式匹配 (pattern matching) 对变量进行解构,这允许我们同时对多个变量进行赋值。

    有几点是需要特别注意的:

    • 变量默认是不可改变的 (immutable),如果需要改变一个变量的值需要显式加上mut关键字。
    • 变量具有局部作用域,被限制在所属的代码块内,并且允许变量覆盖 (variable shadowing)。
    • Rust默认开启属性#[warn(unused_variable)],会对未使用的变量 (以_开头的除外) 发出警告。
    • Rust允许先声明变量然后再初始化,但是使用未被初始化的变量会产生一个编译时错误。

    原生类型

    Rust内置的原生类型 (primitive types) 有以下几类:

    • 布尔类型:有两个值truefalse
    • 字符类型:表示单个Unicode字符,存储为4个字节。
    • 数值类型:分为有符号整数 (i8, i16, i32, i64, isize)、
      无符号整数 (u8, u16, u32, u64, usize) 以及浮点数 (f32, f64)。
    • 字符串类型:最底层的是不定长类型str,更常用的是字符串切片&str和堆分配字符串String
      其中字符串切片是静态分配的,有固定的大小,并且不可变,而堆分配字符串是可变的。
    • 数组:具有固定大小,并且元素都是同种类型,可表示为[T; N]
    • 切片:引用一个数组的部分数据并且不需要拷贝,可表示为&[T]
    • 元组:具有固定大小的有序列表,每个元素都有自己的类型,通过解构或者索引来获得每个元素的值。
    • 指针:最底层的是裸指针*const T*mut T,但解引用它们是不安全的,必须放到unsafe块里。
    • 函数:具有函数类型的变量实质上是一个函数指针。
    • 元类型:即(),其唯一的值也是()
    1. // boolean type
    2. let t = true;
    3. let f: bool = false;
    4. // char type
    5. let c = 'c';
    6. // numeric types
    7. let x = 42;
    8. let y: u32 = 123_456;
    9. let z: f64 = 1.23e+2;
    10. let zero = z.min(123.4);
    11. let bin = 0b1111_0000;
    12. let oct = 0o7320_1546;
    13. // string types
    14. let str = "Hello, world!";
    15. let mut string = str.to_string();
    16. // arrays and slices
    17. let a = [0, 1, 2, 3, 4];
    18. let middle = &a[1..4];
    19. let mut ten_zeros: [i64; 10] = [0; 10];
    20. // tuples
    21. let tuple: (i32, &str) = (50, "hello");
    22. let (fifty, _) = tuple;
    23. let hello = tuple.1;
    24. // raw pointers
    25. let x = 5;
    26. let raw = &x as *const i32;
    27. let points_at = unsafe { *raw };
    28. // functions
    29. fn foo(x: i32) -> i32 { x }
    30. let bar: fn(i32) -> i32 = foo;

    有几点是需要特别注意的:

    • 数值类型可以使用_分隔符来增加可读性。
    • Rust还支持单字节字符b'H'以及单字节字符串b"Hello",仅限制于ASCII字符。
      此外,还可以使用r#"..."#标记来表示原始字符串,不需要对特殊字符进行转义。
    • 使用&符号将String类型转换成&str类型很廉价,
      但是使用to_string()方法将&str转换到String类型涉及到分配内存,
      除非很有必要否则不要这么做。
    • 数组的长度是不可变的,动态的数组称为向量 (vector),可以使用宏vec!创建。
    • 元组可以使用==!=运算符来判断是否相同。
    • 不多于32个元素的数组和不多于12个元素的元组在值传递时是自动复制的。
    • Rust不提供原生类型之间的隐式转换,只能使用as关键字显式转换。
    • 可以使用type关键字定义某个类型的别名,并且应该采用驼峰命名法。
    1. // explicit conversion
    2. let decimal = 65.4321_f32;
    3. let integer = decimal as u8;
    4. // type aliases
    5. type NanoSecond = u64;
    6. type Point = (u8, u8);

    结构体 (struct) 是一种记录类型,所包含的每个域 (field) 都有一个名称。
    每个结构体也都有一个名称,通常以大写字母开头,使用驼峰命名法。
    元组结构体 (tuple struct) 是由元组和结构体混合构成,元组结构体有名称,
    但是它的域没有。当元组结构体只有一个域时,称为新类型 (newtype)。
    没有任何域的结构体,称为类单元结构体 (unit-like struct)。
    结构体中的值默认是不可变的,需要使用mut使其可变。

    1. #[derive(Default)]
    2. struct Point3d {
    3. x: i32,
    4. z: i32,
    5. }
    6. let origin = Point3d::default();
    7. let point = Point3d { y: 1, ..origin };
    8. let Point3d { x: x0, y: y0, .. } = point;

    需要注意,Rust在语言级别不支持域可变性 (field mutability),所以不能这么写:

    1. struct Point {
    2. mut x: i32,
    3. y: i32,
    4. }

    这是因为可变性是绑定的一个属性,而不是结构体自身的。可以使用Cell<T>来模拟:

    此外,结构体的域默认是私有的,可以使用pub关键字将其设置成公开。

    枚举

    Rust有一个集合类型,称为枚举 (enum),对于一个指定的名称有一组可替代的值,
    其中子数据结构可以存储也可以不存储数据,需要使用::语法来获得每个元素的名称。

    1. // enums
    2. enum Message {
    3. Quit,
    4. ChangeColor(i32, i32, i32),
    5. Move { x: i32, y: i32 },
    6. Write(String),
    7. }
    8. let x: Message = Message::Move { x: 3, y: 4 };

    与结构体一样,枚举中的元素默认不能使用关系运算符进行比较 (如==, !=, >=),
    也不支持像+*这样的双目运算符,需要自己实现,或者使用match进行匹配。

    要声明一个函数,需要使用关键字fn,后面跟上函数名,比如

    1. fn add_one(x: i32) -> i32 {
    2. x + 1
    3. }

    其中函数参数的类型不能省略,可以有多个参数,但是最多只能返回一个值,
    提前返回使用return关键字。Rust编译器会对未使用的函数提出警告,
    可以使用属性#[allow(dead_code)]禁用无效代码检查。

    Rust有一个特殊语法适用于分叉函数 (diverging function),它不返回值:

    其中panic!是一个宏,使当前执行线程崩溃并打印给定信息。返回类型!可用作任何类型:

    1. let x: i32 = diverges();
    2. let y: String = diverges();

    注释

    Rust有三种注释:

    • 行注释 (line comments):以//开头,仅能注释一行。
    • 块注释 (block comments):以/*开头,以*/结尾,能注释多行,但是不建议使用。