Rust常用编程概念之变量和可变性

Time: 20190921

基本编程概念

Rust的学习曲线相对陡峭，更好的学习方式是先把概念理清楚，形成相对宏观的认知后，再动手实践，和一般的语言学习方式略有不同。

具体说就是，会涉及到Rust语言的以下概念：

变量
基本类型
函数
注释
控制流

变量与可变性

默认情况下，变量是不可变的，如果想让变量显式可变，则用mut关键字修饰即可。

那我们一定想问，这么设计的目的是什么？有什么好处吗》》

fn main() {let x = 5;println!("x的值是：{}", x);x = 6;println!("x的值是：{}", x);
}

这种代码，VSCode编译器会直接报红，不用等到执行时就知道错了。但是通过这个例子，我们可以读一读编译器给出的信息。

error[E0384]: cannot assign twice to immutable variable `x`--> src/main.rs:4:5|
2 |     let x = 5;|         -|         ||         first assignment to `x`|         help: make this binding mutable: `mut x`
3 |     println!("x的值是：{}", x);
4 |     x = 6;|     ^^^^^ cannot assign twice to immutable variableerror: aborting due to previous error

Rust的编译报错信息非常细致，这也是实践中提高代码能力的一种方式。

变量 vs. 常量

不能改变变量的值，很自然会让我们联想到另一个概念：常量。

区别在哪里呢？

在Rust语言里，也有const关键字修饰变量，表示的是常量。

第一个区别是，常量不允许添加mut改变为变量。

const MAX_POINTS: u32 = 100_000;

常量声明无需let。

Rust人性化的地方还在于这些小细节，数字之间插入下划线并不影响定义，只是为了增加可读性。

官方就说了这些，暂时先就说这么多吧。

Shadowing

这个不是很清楚中文是如何翻译，从意思上来看，表示遮盖，定义新的同名变量可以覆盖前面的同名变量。

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

这种做法是定义新的变量，和将变量修饰为mut，再修改变量的值的做法是不同的。

定义新的变量比mut限制少一些，比如下面这种：

let spaces = "    ";
let spaces = spaces.len(); // ok

如果是定义mut，下面的代码是会报错的：

let mut spaces = "    ";
spaces = spaces.len(); // 类型不匹配

即，先行推断类型已经确定，后面再改时，也需要是相同类型的数据。

2019.10 Update:

第一届PAT算法直播课培训班招募帖，欢迎点击查看详情、

END.