变量
- 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常量分配内存空间,在编译过程中,它很可能会被内联优化。