变量

• rust中为了处理高并发安全性，在变量上做了不同的处理，将变量分为可变变量和不可变变量。
• rust中使用let关键字声明变量
• rust是一门强类型语言，但是具有类型推断，所以在声明变量的时候可以不写变量类型；

不可变变量

let a = 123;
a = 456; // 此时报错cannot mutate immutable variable `a`

上述报错是因为a是一个不可变变量，无法直接修改a的值，那如果需要修改a的值，就需要进行重新声明

let a = 123;
let a = 456; // 此时不会报错，但是会有警告，第一个声明的a没有被使用

可变变量

声明一个可变变量，需要使用mut关键字进行额外声明。

let mut a = 123;
a = 456;

上述代码是正确的，因为使用了mut关键字，将a声明成了一个可变变量。

常量

• rust中使用const关键字进行常量声明
• rust中的常量无法修改或进行重影
• rust中声明常量时必须声明常量类型

const a: i32 = 123;
// let a = 456; 此时报错常量无法修改

重影

• 重影就是刚才讲述的所谓"重新绑定"
• 重影就是指变量的名称可以被重新使用的机制

fn main() {
    let x = 5;
    let x = x + 1;
    let x = x * 2;
    println!("{}", x); // 12
}

从上述代码看，重影和可变变量赋值很相似，但其实重影与可变变量的赋值不是一个概念，重影是指用“同一个名字”重新代表另一个变量实体，其类型、可变属性和值都可以变化。但可变变量赋值仅能发生值的变化。

// 可变变量赋值
let mut s = "123";
s = s.len();

上述代码回报错，无法将整形值赋值到字符串上。
重影相当于时使用相同的变量名称表示不同的变量值，看似变量名相同，但其实在计算机内存地址中存取的是不同地址的值。