[Rust] 变量与类型

变量

1. Rust的变量必须先声明后使用，使用 let 开始声明，默认是不可变的，如果要声明可变需要 let mut
2. Rust只允许 局部变量/全局变量 实现类型推导，函数签名是不允许的
3. Rust不允许使用未初始化的变量

类型

Rust是静态强类型语言，静态的意思是在运行程序前Rust知道所有变量的类型，强类型意思是Rust不会自动将一个变量的类型转化成另一个类型。

内置类型

• 整形（Integer）
• 浮点型（Floating）
• 布尔型（Boolean）
• 字符型（Character）
• 数组（Array）
• 切片（Slice）
• 元组（Tuple）
• 函数（Function）

整数

Rust中整数分有符号/无符号整数，默认是 i32

整数类型	有符号	无符号
8 bits	i8	u8
16 bits	i16	u16
32 bits	i32	u32
64 bits	i64	u64
128 bits	i128	u128
Pointer size	isize	usize

所谓有符号/无符号，指的是内存空间中的bit使用。如果一个变量是有符号类型，那么它的最高位的那一个bit就是“符号位”，表示该数为正值还是负值（高位是 0 表示正数，1 表示负数）。如果一个变量是无符号类型，那么它的最高位和其他位一样，表示该数的大小。比如对于一个byte大小（8 bits）的数据来说，如果存的是无符号数，那么它的表达范围是0～255，如果存的是有符号数，那么它的表达范围是-128～127。
数字类型的字面量表示方式：

let var1 : i32 = 32;          // 十进制表示
let var2 : i32 = 0xFF;        // 以0x开头代表十六进制表示
let var3 : i32 = 0o55;        // 以0o开头代表八进制表示
let var4 : i32 = 0b1001;      // 以0b开头代表二进制表示

所有数字可以在任何地方添加下划线，不影响语义，可以提高可读性：

let var5 = 0x_1234_ABCD;

字面量后面可以跟后缀，可代表该数字的具体类型，从而省略掉显示类型标记：

let var6 = 123usize;        // usize类型
let var7 = 0x_ff_u8;        // u8类型
let var8 = 32;              // 不写类型，默认为 i32 类型

浮点类型

按占据空间大小区分，分别为f32和f64

char

char: char类型的设计目的是描述任意一个unicode字符，因此它占据的内存空间不是1个字节，而是4个字节。我们可以使用一个字母b在字符或者字符串前面，代表这个字面量存储在u8类型数组中，这样只占用1个字节

let x :u8 = 1;
let y :u8 = b'A';
let s :&[u8;5] = b"hello";
let r :&[u8;14] = br#"hello \n world"#;

数组

定义：
let arr: [i8, 3] = [1, 2, 3];
访问：
arr[1] 返回2

元组

定义：
let t: (i32, char) = (2, 'x');
访问：
t.1 返回 x

static

静态变量用 static 声明，用static声明的变量的生命周期是整个程序，从启动到退出。限制：

• 全局变量必须在声明的时候马上初始化
• 全局变量的初始化必须是编译期可确定的常量，不能包括执行期才能确定的表达式、语句和函数调用
• 带有 mut 修饰的全局变量，在使用的时候必须使用unsafe关键字

const

const 常量，一定不允许使用mut关键字修饰这个变量绑定。与 static 区别：编译器并不一定会给const常量分配内存空间，在编译过程中，它很可能会被内联优化。