小编点评

## Rust所有权规则概述 Rust 中的每一个值都有一个所有者，值在任一时刻有且只有一个所有者。当所有者离开作用域时，其对应的值被丢弃。 1. **值的移动（Move）**：当一个变量被赋值给另一个变量时，原变量将不可用，除非该值为编译时已知大小的类型（如整型）或实现了 `Copy` trait 的类型。对于这些类型，原变量在被赋值给新变量后仍然可用。 - 原变量在被移动后变为只读状态，对其的任何修改都会导致编译错误。 - 原变量在移动后被丢弃，新变量取得了原变量的值和所有权。 2. **编译时不确定大小的类型**：这些类型的值存储在堆上。当一个变量被赋给其他值后，原变量将被不可用，并且被移动。因此，这些类型的变量在原地是不可用的。 - 这些类型的变量通常用作参数或返回值，因为它们在调用前后保持不变。 3. **所有权与函数原理**：函数参数的传递方式与变量赋值类似，都是通过值传递，即将实参的值复制给形参。 - 在函数内部对参数所做的任何修改都不会影响到实参，因为实参只是拷贝了一份参数的值。 4. **所有权与返回值**：函数的返回值遵循与变量赋值相同的规则。当函数返回一个值时，这个值的拷贝会被丢弃。 - 函数内的变量通常用来计算或保存中间结果，而不是作为输出参数。 5. **引用与借用**：引用（`&`）不拥有值，因此不涉及所有权。引用是通过借用（`borrow`）获得的，这意味着在引用有效期内，它指向的值不能被移动。 - 可变引用（`&mut`）允许修改被引用的值，但仍然不涉及所有权问题，因为引用本身没有实际控制权。 - 不可变引用（`&`）则不允许修改被引用的值，因为它们只持有值的引用，而不是实际的值本身。 6. **sliceslice（切片）**：由于切片是一个不可变的引用，它实际上并不拥有所引用的内存区域的所有权。然而，在某些情况下，切片可能包含指向底层数据的指针，这种情况下就需要仔细处理所有权和生命周期的问题。 总的来说，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 是一种不可变引用，故而其没有所有权；