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,编译器将报错!
拥有Copy
Trait 的类型,在进行赋值后旧的变量不会失效(不移动,直接进行深拷贝)。
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];