学习 Rust 的第六天：所有权问题

大家好，

欢迎来到学习 Rust 的第 6 天，过去 5 天我们学到的内容在几乎每种语言中都是一样的。所有权是 Rust 的一个独特概念。

介绍

所有权是一种独特的内存管理系统，其中每个值都有一个指定的所有者，在所有者超出范围时自动释放内存，消除了常见的与内存相关的 bug。这种所有权模型增强了系统编程中的安全性和性能。

栈和堆

大多数编程语言不要求你去关心数据存储在哪里以及如何存储，但在低级编程语言中，这会产生很大的不同。

栈是用于函数调用管理和局部变量的内存区域。

堆是程序运行时用于分配和释放内存的动态内存区域。

工作原理

在运行时，我们的程序可以访问栈和堆。栈是一个固定大小的内存，用于存储每个函数调用和变量的栈帧。堆的大小是动态的，可以存储任意数量的数据。

示例：

rust">fn main() {  fn a() {  let z: String = String::from("Hello World");  b();  }  fn b() {  let x: u8 = 5;  let y: &str = "hello";  }  a();  
}

首先调用函数 A，所以我们创建了一个栈帧。String 类型的大小可以是动态的，所以我们在堆中分配一些内存并将值存储在那里。
stack

然后调用函数 b，这里 x 是一个无符号 8 位整数，所以我们可以直接将它存储在栈内存中。现在 y 是一个字符串字面量，它将存储在可执行文件中。
func

所有权

所有权的规则

Rust 中的每个值都有一个唯一的所有者。
同一时间只能有一个所有者，防止程序的多个部分同时修改数据。
所有权可以通过所有权转移和通过引用借用进行转移。
当所有者超出范围时，值将被丢弃。

示例：

rust">fn main() {  {  // 变量在这里不是有效的，因为它还没有被声明...  let var: &str = "Hello"; // 从这里开始变量是有效的  } // 作用域结束，var 不再有效  
}

内存和分配

在 Rust 中，多个变量可以以不同的方式与相同的数据交互。

示例：

rust">fn main() {  let x: u8 = 5;  let y = x;  println!("X = {}, Y = {}", x, y);  
}

这将把 x 的值复制给 y，所以输出是

rust">X = 5, Y = 5

但是：

rust">fn main() {  let str1: String = String::from("Hello, World!");  let str2: String = str1;  
}

我们可能会认为这里会发生相同的事情，但为了确保内存安全，str1 被无效化，并且字符串 Hello, World! 被移动到 str2 中。

栈和堆的示意图可能如下所示：

尽管我们有克隆字符串的功能：

rust">fn main() {  let str1: String = String::from("Hello, World!");  let str2: String = str1.clone();  
}

所有权和函数

将变量作为参数传递给函数的效果与将其分配给另一个变量相同。函数获取了变量的所有权。

rust">fn main() {  let str1: String = String::from("Hello");  takes_ownership(str1);  println!("{}", str1); // 这会导致错误  
}  fn takes_ownership(some_string: String) {  println!("{}", some_string);  
}

这段代码会导致错误，因为我们已经把 str1 的所有权交给了 takes_ownership 函数。因此在我们尝试在第 4 行打印它时，str1 被丢弃了。

这也适用于相反的情况。就像一个函数可以获取变量的所有权一样，它也可以将变量的所有权转移给另一个变量。

示例：

rust">fn main() {  let str1: String = gives_ownership();  println!("String 1 : {}", str1);  
}  fn gives_ownership() -> String {  let some_string: String = String::from("Hello World");  some_string  
}