1.数据类型部分
1.1 整数类型
整型数据类型
1.2 整数字面量
整数字面量写法
1.3 元组
元组使用
.加索引的方式获取各部分的值。
let x = (1,2,3);
let first = x.1;
1.4 数组
数组长度固定，每个数组元素类型都相同。数组空间在栈上分配。
1.5 函数
函数定义中必须注明参数的类型。函数定义示例：
fn example(x : i32, y:i64) -> i32{
x+y
}
函数体最后一个表达式的值默认为函数的返回值，亦可用return关键字提前返回。
1.6 表达式
表达式有返回值而语句没有。代码块也是表达式。i.e.
let y = {
let x = 1;
x + 1
}
上面的表达式最后一行没有;，它将返回x+1的值。若x+1加上了分号，则她就变成了语句，不会返回值了。
1.7 if 表达式
在rust语言中，if分支判断不是语句而是表达式。它会返回被命中的分支所返回的值。
let y = if 1 == 1 {
5
}else {
6
};
如果想要接收if表达式返回的值，需注意每个arms返回的数值的类型都应该相同，否则编译会报错。
let y = if 1 == 1 {
5
}else {
"error"
};
//编译后会报错
error[E0308]: if and else have incompatible types
--> src/main.rs:2:13
|
2 | let y = if 1 == 1 {
| _____________^
3 | | 5
4 | | }else {
5 | | "hello"
6 | | };
| |_____^ expected integral variable, found &str
|
= note: expected type `{integer}`
found type `&str`
1.8 range类型：(1...4)。左闭右开。结合for循环使用，口味更佳：
for i in (1...4){
//do something...
}
2.所有权
2.1 所有权是用来管理堆上的数据的：
跟踪哪部分代码正在使用堆上的哪些数据，最大限度的减少堆上的重复数据的数量，以及清理堆上不再使用的数据确保不会耗尽空间，这些问题正是所有权系统要处理的。
2.2 所有权规则：
1.Rust 中的每一个值都有一个被称为其 所有者（owner）的变量。
2.值有且只有一个所有者。
3.当所有者（变量）离开作用域，这个值将被丢弃（此处丢弃指编译器自动调用该类型的drop方法释放内存及其他系统资源）。
2.3 栈与堆的区别：
- 栈上的数据需要在编译是明确知道所需空间大小；堆上的数据则不需要。
- 堆上的数据需要通过指针来访问，因此访问速度更慢；而栈的数据都在栈顶，且数据大小是已知的，此外还能更好的利用局部性定理，因此访问栈上的数据更快。
2.4 数据的移动：
对堆数据的变量进行拷贝（赋值、函数传参等操作）时，旧的指针将失效，该操作称为移动：
let s = String::from("hello");
let s1 = s; //此时s将失效。若继续使用s，编译器将报错！
拥有CopyTrait 的类型，在进行赋值后旧的变量不会失效（不移动，直接进行深拷贝）。
2.4 引用（如何在并发场景下预防内存释放的冲突？？）
- 类似于指向变量的指针。拥有引用的代码块不会获取该变量的所有权，因此离开作用域时不会释放指定的变量。
- 在一个作用域中，不可变引用可以有多个，但是可变引用只能有一个。
- 在一个作用域中，不可变引用与可变引用不可以同时存在
- 引用必须是有效的。引用指向的值不能在引用之前被释放，否则编译时会报错。
2.5 slice，一种特殊的引用。允许引用集合类型的部分元素。
字符串引用声明为&str。字符串的字面量就是字符串slice，其含义为指向二进制程序特定位置的slice。字符串字面量是一个不可边引用。从一个字符串获取字符串引用的方式如下：
let s = String::from("Hello world");
let s1 = &s[1..2]; // 获取只包含第二个字符的字符串slice
let s2 = &s[..3]; //获取包含前三个字符的字符串slice
let s3 = &s[..]; //获取包含整个字符串的字符串引用
除字符串外，其他集合类型也可以使用引用，其性质与字符串引用相同：
let s = [1,2,3,4,5];
let s1 = &s[1..2];
网友评论