Rust 基础知识总结

一、所有权规则：

1. Rust中的每一个值都有一个所有者(Owner)；
2. 值在任一时刻有且只有一个所有者；
3. 当所有者（变量）离开作用域时，其对应的值被丢弃；

 

二、Move(转移)

1. 原变量被赋值给其他变量以后，原变量不可用；编译时已知大小的类型除外；如整型；
2. Copy trait; 如果一个值实现了Copy trait; 那么旧的变量在将其赋值给其他变量以后，仍然可用； 如 数字类型的变量；该规则，打破了所有权转移规则；
3. 编译时已知大小的类型，都实现了Copy trait；
4. 编译时已知大小的类型，其值存储在栈上；
5. 编译时已知大小的类型，其值不会被Move；而是被Copy；故而原变量仍然可用；
6. 编译时不确定大小的类型，其值存储在堆上；变量被赋给其它值后，原变量被不可用，被Move了；

 

三、所有权与函数

原理同变量赋值；

 

四、所有权与返回值

原来同变量赋值；

 

五、引用&与借用

1. 引用不拥有值；故而，引用没有所有权；
2. 将创建一个引用的行为称为借用（borrowing）；
3. 引用于可变引用与不可变引用
4. 可以同时拥有多个不可变引用
5. 只能有一个可变引用
6. 有可变引用的同时，不能有不可变引用
7. 悬垂引用，Rust 编译器确保不会有悬垂引用；因为当你拥有一个数据的引用时；编译器会确保数据不会在引用之前离开作用域；

 

六、slice

1. slice 是一种不可变引用，故而其没有所有权；