Rust学习入门--【6】Rust 基础语法

Rust 基础语法

变量，数据类型，注释，函数和控制流，这些是大部分编程语言都具有的编程概念。

本节将学习理解这些概念。

变量

Rust 是强类型语言，但具有自动判断变量类型的能力。这很容易让人与弱类型语言产生混淆。

声明变量时，需要使用 let 关键字。例如：

let a = 123;

在上面的声明语句之后，以下三行代码都是被禁止的：

a = "abc";
a = 4.56; 
a = 456;

• 第1行的错误在于：当声明 a 是 123 以后，a 就被确定为整型数字，不能把字符串类型的值赋给它。

• 第2行的错误在于：自动转换数字精度有损失，Rust 语言不允许精度有损失的自动数据类型转换。

• 第3行的错误在于： a 不是个可变变量。

“a 不是个可变变量”怎样理解呢？

这就牵扯到了 Rust 语言为了高并发安全而做的设计：在语言层面尽量少的让变量的值可以改变，所以 a 的值不可变。 a 是"变量"（英文中的 variable），官方文档称 a 这种变量为**“不可变变量”**。

Rust 语言设计这种机制的原因：
如果我们编写的程序的一部分在假设值永远不会改变的情况下运行，而我们代码的另一部分在改变该值，那么代码的第一部分可能就不会按照设计的意图去运转。由于这种原因造成的错误很难在事后找到。

当然，使变量变得"可变"（mutable）只需一个 mut 关键字。

let mut a = 123;//mut 关键字
a = 456;

常量与不可变变量的区别

既然不可变变量是不可变的，那不就是常量吗？为什么叫变量？

变量和常量还是有区别的。在 Rust 中，以下程序是合法的：

let a = 123;   // 可以编译，但可能有警告，因为该变量没有被使用
let a = 456;

但是如果 a 是常量就不合法：

const a: i32 = 123;
let a = 456;

变量的值可以"重新绑定"，但在"重新绑定"以前不能私自被改变，这样可以确保在每一次"绑定"之后的区域内编译器可以充分的推理程序逻辑。 虽然 Rust 有自动判断类型的功能，但有些情况下声明类型更加方便：

let a: u64 = 123;

这里声明了 a 为无符号 64 位整型变量，如果没有声明类型，a 将自动被判断为有符号 32 位整型变量，这对于 a 的取值范围有很大的影响。

重影（Shadowing）

重影的概念与其他面向对象语言里的**“重写”（Override）或"重载"（Overload）是不一样的。重影就是刚才讲述的所谓"重新绑定"**。

重影就是指变量的名称可以被重新使用的机制：

实例

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

这段程序的运行结果：

x = 12

重影与可变变量的赋值的区别

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

let mut s = "123";
s = s.len();

这段程序会出错：不能给字符串变量赋整型值。