Rust - 变量，常量

在 rust 中，有不少特有的鲜明特点，比如变量，让我们通过实例一起来了解以下。

变量

声明变量使用 let 关键字，如：

let x:i32 = 1;

i32表示变量 x 的类型：i32 为有符号 32 位整型，但我们可以省略掉变量的类型，如： 

let x = 1;

这是 rust 的特性之一类型推断。至此，我们声明了一个值为1的整型变量x。

通常来说变量是可变的，但是在 Rust 中默认设置的变量默认是不可变的！我们尝试修改 x 的值：

let x = 1;
x = 2;

编译将得到错误提示：

rust 十分有好的错误提示

相比 C++ ，rust 的错误提示可谓十分的友好体贴，不但错误描述可读性很高，明确的指明了错误发生的位置及原因，甚至引导你去了解该类型错误的详细解释，我们根据提示输入“rustc --explain E0384” ：

An immutable variable was reassigned.

Erroneous code example:

```
fn main() {
    let x = 3;
    x = 5; // error, reassignment of immutable variable
}
```

By default, variables in Rust are immutable. To fix this error, add the keyword
`mut` after the keyword `let` when declaring the variable. For example:        

```
fn main() {
    let mut x = 3;
    x = 5;
}
```

解释的很清楚，默认情况下，rust 中的变量是不可修改的，如果要使得变量可重新赋值，需要用关键字 mut 修饰：

let mut x = 1;
x = 2;

如此就可以自由的为 x 变量赋值了。

可见，rust 是鼓励使用不可变变量的，这是基于安全和效率的设计。

💡 在 rust 中，变量分为两种，一种是默认的不可变的变量，一种是用 mut 修饰的可变的变量。rust 鼓励使用默认的不可变变量。

常量

默认的变量已经确保了不可变，那么还需要常量吗？

需要，因为常量只能设置为常量表达式，而不能是函数调用的结果或是只能在运行时计算得到的值。

也就是说，常量需要在编译期就确定值，而变量是运行时被赋值。

常量用 const 关键字声明，并且必须声明值的类型，如

const z = 3;

这样编译器会报错：

我们不能像声明变量那样简洁，需要明确声明出变量的类型：

const z:i32 = 3;

另外一点，常量和不可变变量的区别是：变量只有在其作用域内是生效的，而常量可以在任意作用域内声明，包括全局作用域。

怎么理解这句话呢？看如下代码:

const z:i32 = 3;

fn main() {
    {
        let mut x = 1;
        x = 2;

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

常量 z 因为可以声明在全局作用域，它自然可以在函数体内访问，但变量被局限在了其所在的语句块的作用域内，脱离后就不可访问。

回顾总结下

变量:

• 默认不可变(immutable)
• 可以通过mut关键字定义为可变的(mutable)
• 可以通过初始化表达式推导出类型
• 作用域从定义开始到当前代码块结束

常量:

• 必须是不可变的
• 必须显式声明类型
• 可以在全局作用域声明
• 在编译时计算值
• 可以立即用于任何地方

主要区别在于:

• 变量可以是可变的,常量不可以
• 变量可以推导类型,常量必须声明类型
• 常量作用域是全局的,变量作用域是代码块

这些特点是 rust 平衡了表达性、安全性和优化后的设计。