变量
- Rust的变量必须先声明后使用，使用
let开始声明，默认是不可变的，如果要声明可变需要let mut - Rust只允许
局部变量/全局变量实现类型推导，函数签名是不允许的 - 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常量分配内存空间，在编译过程中，它很可能会被内联优化。
网友评论