Rust 语言学习小记（数据类型，所有权）

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];