一、所有权规则:
- Rust中的每一个值都有一个所有者(Owner);
- 值在任一时刻有且只有一个所有者;
- 当所有者(变量)离开作用域时,其对应的值被丢弃;
二、Move(转移)
- 原变量被赋值给其他变量以后,原变量不可用;编译时已知大小的类型除外;如整型;
- Copy trait; 如果一个值实现了Copy trait; 那么旧的变量在将其赋值给其他变量以后,仍然可用; 如 数字类型的变量;该规则,打破了所有权转移规则;
- 编译时已知大小的类型,都实现了Copy trait;
- 编译时已知大小的类型,其值存储在栈上;
- 编译时已知大小的类型,其值不会被Move;而是被Copy;故而原变量仍然可用;
- 编译时不确定大小的类型,其值存储在堆上;变量被赋给其它值后,原变量被不可用,被Move了;
三、所有权与函数
原理同变量赋值;
四、所有权与返回值
原来同变量赋值;
五、引用&与借用
- 引用不拥有值;故而,引用没有所有权;
- 将创建一个引用的行为称为借用(borrowing);
- 引用于可变引用与不可变引用
- 可以同时拥有多个不可变引用
- 只能有一个可变引用
- 有可变引用的同时,不能有不可变引用
- 悬垂引用,Rust 编译器确保不会有悬垂引用;因为当你拥有一个数据的引用时;编译器会确保数据不会在引用之前离开作用域;
六、slice
- slice 是一种不可变引用,故而其没有所有权;