rust学习-8.1-所有权的转移

在Rust编程语言中，所有权的转移遵循一系列明确的规则，这些规则确保了内存安全和高效的内存管理。所有权转移通常发生在以下几种情况下：

1. 变量赋值：当将一个变量赋值给另一个变量时，所有权会从源变量转移到目标变量。例如：

   let x = String::from("hello");
   let y = x; // 此时，所有权从x转移到y
   

   在这个例子中，x 变量不再有效，不能在后续代码中使用，以防止悬垂引用。

2. 函数参数传递：当将一个变量作为参数传递给函数时，所有权会转移到函数的参数上。例如：

   fn take_ownership(some_string: String) {
       // 函数体内，some_string拥有所有权
   }
   let s = String::from("hello");
   take_ownership(s); // s的所有权转移到函数内
   // 这里s不再有效
   

3. 函数返回值：当函数返回一个值时，返回值的所有权会转移到调用者那里。例如：

   fn give_ownership() -> String {
       let some_string = String::from("hello");
       some_string // 返回，所有权转移到调用者
   }
   let s = give_ownership(); // s获得所有权
   

赋值转移的特殊条件

不是所有类型都能转移

let x = 42;
let y = x; // 这里发生了赋值操作，并没有转移

在Rust中，当你执行 let x = 42; let y = x; 这样的操作时，并不会发生所有权转移。这是因为整数类型（如 i32，u32，f64 等）实现了 Copy trait。这意味着当你在变量之间赋值时，实际上是在进行值的复制，而不是所有权的转移。
对于实现了 Copy trait 的类型，Rust 允许你在不移动（move）所有权的情况下复制值。这是 Rust 的一种优化，使得处理基本数据类型更加方便和高效。当你复制一个实现了 Copy 的值时，原始值仍然有效，可以继续使用。

在Rust中，实现了Copy trait的类型包括：

1. 所有整数类型：例如 i32, u32, i64, u64, isize, usize 等。
2. 浮点数类型：例如 f32, f64。
3. 布尔类型：bool。
4. 字符类型：char。
5. 元组：当且仅当它们包含的类型都实现了Copy时，例如 (i32, i32) 是 Copy 的，但 (i32, String) 不是。
6. 固定大小的数组：当且仅当数组元素类型实现了Copy时，例如 [i32; 3] 是 Copy 的。
7. 枚举：如果它们的变体都实现了Copy，则枚举也实现了Copy。例如：

enum Enum {
    Variant1,
    Variant2,
}

在这个例子中，如果 Enum 中的变体（如 Variant1 和 Variant2）都是 Copy 的，那么 Enum 本身也是 Copy 的。