Rust所有权模型的核心原则

单一所有权原则

在Rust中，每个变量对特定内存区域拥有所有权，并且在任何给定时间内，只有一个变量可以拥有该内存。这种设计消除了多线程程序中可能出现的数据竞争问题。所有权的转移是Rust内存安全模型的核心。

基本类型：复制成本低

对于基本类型（如整数、浮点数、布尔值），复制操作成本很低，因为其内存大小在编译时已知。当你将基本类型赋值给另一个变量时，数据会被复制，而不是移动。

1. let i =5;

2. let j = i;// 这里发生了复制

3. println!("{}", j);// 输出: 5

4. println!("{}", i);// 输出: 5

在这种情况下，变量 i 和 j 是独立的，它们持有相同的值，但所有权没有发生变化。

复杂类型：所有权转移

对于复杂类型（如 Vec 、 String ），其内存大小在编译时并不固定。因此，当一个变量被赋值给另一个变量时，所有权会被转移，而不是复制。

1. let v = vec![1,2,3,4,5];

2. let w = v;// `v`的所有权被转移给`w`

3. println!("{:?}", w);// 输出: [1, 2, 3, 4, 5]

4. println!("{:?}", v);// 错误: 借用已移动的值

当所有权转移到 w 后，变量 v 将不再可访问。

函数和闭包中的所有权

所有权转移同样适用于将复杂类型传递给函数或闭包的情况。不过，所有权可以从函数中返回，从而允许你重新获得对数据的访问。

示例：函数中的所有权

1. let v = vec![1,2,3,4,5];

2. let foo =|v:Vec<i32>|->Vec<i32>{

3. println!("Vector used in foo");

4. v // 返回所有权

5. };

6. let v = foo(v);// 所有权转移到`foo`，然后返回给`v`

7. println!("{:?}", v);// 输出: [1, 2, 3, 4, 5]

步骤如下：

1. 当闭包 foo 被调用时， v 的所有权转移给 foo 。

2. 闭包使用 v （打印它），然后返回它。

3. 所有权重新分配给主作用域中的变量 v ，使其再次可访问。

为什么所有权在Rust中很重要

所有权模型提供了几个优势：

总结

Rust的所有权模型强制执行严格的内存管理规则：