变量绑定与解构

变量可变性

• 在其它大多数语言中，要么只支持声明可变的变量，要么只支持声明声明不可变的变量，前者提供灵活性，后者提供了安全性，但rust两者都要。rust在默认情况下是不可变的，可以通过mut关键字让变量变成可变的。
• 示例如下，我们使用cargo new variables新建一个项目，在新建的variables目录下编辑src/main.rs，我在vscode上编辑的代码，改为下面代码

fn main() {
    let x = 5;
    println!("The value of x is: {}", x);
    x = 6;
    println!("The value of x is: {}", x);
}

保存文件后在终端输入cargo run命令运行该代码，报错信息如下

修改代码为

fn main() {
    let mut x = 5;
    println!("The value of x is: {}", x);
    x = 6;
    println!("The value of x is: {}", x);
}

保存文件后运行如下

使用下划线开头忽略未使用的变量

当你希望告诉rust不要紧高未使用的变量，就可以使用下划线作为变量名的开头

• 示例，代码如下

fn main() {
let _x = 5;
let y = 10;
}

然后运行它，发现只警告了y

变量解构

• let表达式不仅仅用于变量的绑定，还能从一个相对复杂的变量中匹配出该变量的一部分内容。如下

struct Struct {
    e: i32
}

fn main() {
    let (a, b, c, d, e);

    (a, b) = (1, 2);
    // _ 代表匹配一个值，但是我们不关心具体的值是什么，因此没有使用一个变量名而是使用了 _
    [c, .., d, _] = [1, 2, 3, 4, 5];
    Struct { e, .. } = Struct { e: 5 };

    assert_eq!([1, 2, 1, 4, 5], [a, b, c, d, e]);
}

注：使用+=的赋值语句还不支持解构式赋值。

变量和常量之间的差异

• 常量
  • 常量不允许使用mut，常量默认自始自终不可变，因为常量在编译完成之后已经确定它的值。
  • 常量使用const关键字而不是let关键字来声明，并且值的类型必须标注。
  • 常量命名约定是全部字母都使用大写，使用下划线分隔单词，另外对数字字面量可插入下划线以提高可读性。
  • 常量可以在任意作用域内声明，在声明的作用域内，常量在程序运行的整个过程中都有效。
    例：const MAX_POINTS: u32 = 100_000;

变量遮蔽

• rust允许声明相同的变量，在后面声明的变量会遮蔽掉前面声明的
• 示例代码

fn main() {
    let x = 5;
    // 在main函数的作用域内对之前的x进行遮蔽
    let x = x + 1;

    {
        // 在当前的花括号作用域内，对之前的x进行遮蔽
        let x = x * 2;
        println!("The value of x in the inner scope is: {}", x);
    }

    println!("The value of x is: {}", x);
}

• 保存文件后运行该代码，如下
  
  注意：这并不是代表x是可变的，前面讲到过let声明的默认是不可变的，在这里第二个let生成了完全不同的新变量，只是恰好有同样的名称，好比有两个人有同样的名字，而mut是可以修改同一个变量的值。但是rust对类型的要求很严格，不允许将整数类型usize赋值给字符串类型。usize是一种CPU相关的整数类型。