|
| 1 | +# Rust 中的所有权 |
| 2 | + |
| 3 | +为了兼顾内存使用的**安全**和**性能**,Rust 在设计之初就采用了与 C++ 完全不同的内存管理。 |
| 4 | + |
| 5 | +Rust 引入了**所有权(ownership)**的概念: |
| 6 | + |
| 7 | +- Rust 中的每个值都有所有者 (owner)。 |
| 8 | +- 同一时刻每个值只有一个所有者。 |
| 9 | +- 当所有者失效,值也将被丢弃。 |
| 10 | + |
| 11 | +变量通过绑定的方式,获得对数据的所有权。如果一个绑定超出作用域,其绑定的数据将被自动释放 |
| 12 | + |
| 13 | +```rust |
| 14 | +let a = 1; |
| 15 | +``` |
| 16 | + |
| 17 | +变量之间的**赋值**行为,将会直接导致绑定关系的变化,这一语义被称为**移动所有权**,亦即**掩盖 (shadowing)**。 |
| 18 | + |
| 19 | +```rust |
| 20 | +let s1 = String::from("hello"); |
| 21 | +let s2 = s1; // 字符串 "hello" 已经被 s2 绑定,s1 悬置。 |
| 22 | + |
| 23 | +println!("{s1}, world!"); |
| 24 | +// 此时将发生编译错误 error: borrow of moved value: `s1` |
| 25 | +``` |
| 26 | + |
| 27 | +但并非所有语境下的变量赋值都希望移交所有权,这个时候应该采用 Rust 中的**借用(borrow)**概念。 |
| 28 | + |
| 29 | +```rust |
| 30 | +let v = vec![1, 2, 3]; |
| 31 | +let v_ref = &v; // v_ref is a reference to v. |
| 32 | +``` |
| 33 | + |
| 34 | +!!! note "移动所有权" |
| 35 | + - 移动所有权是编译时的语义,不涉及程序运行时的数据移动,数据对应的内存区域并没有改变,只是更改了对应的变量名(类似C++的指针)。 |
| 36 | + - 移动是默认行为(通过绑定或赋值),不需要像 C++ 那样用 std::move 来显式指定。 |
| 37 | + - 原来的变量依然拥有对数据的所有权。 |
| 38 | + |
| 39 | + |
| 40 | +当借用发生时,会对原来的变量增加限制: |
| 41 | +- 当一个变量有引用存在时,不能移交它所绑定的数据的所有权。 |
| 42 | + |
| 43 | +```rust |
| 44 | +let v = vec![1, 2, 3]; |
| 45 | +let v_ref = &v; |
| 46 | +let v_new = v; |
| 47 | +// Moving ownership to v_new would invalidate v_ref. |
| 48 | +// error: cannot move out of `v` because it is borrowed |
| 49 | +``` |
| 50 | + |
| 51 | +Rust 类型系统中,变量被分为**可变**与**不可变**。在借用中,同理可分为**可变借用** `&mut` 和**不可变借用** `&`。 |
| 52 | +```rust |
| 53 | +fn main() { |
| 54 | + let mut vector: Vec<i32> = vec![]; |
| 55 | + let vector_ref: &mut Vec<i32> = &mut vector; |
| 56 | + push(vector_ref, 4); |
| 57 | +} |
| 58 | +``` |
| 59 | + |
| 60 | +!!! note "借用规则" |
| 61 | + - 不能在某个对象不存在后继续保留对它的引用。一个对象可以 |
| 62 | + - 同时存在**多个不可变**引用(&T) |
| 63 | + - 或者**仅有一个可变引用**(&mut T)。 |
| 64 | + - 以上两者不能同时存在 |
| 65 | + |
| 66 | +需要注意的是,**函数**的**参数传递**时,采用的是与变量赋值和借用相同的语法规则。如果不指定 `&` 或 `&mut`,变量会直接发生移动。 |
| 67 | +```rust |
| 68 | +fn hello_move(s: String) { |
| 69 | + println!("Message by moving: {}", S); |
| 70 | +} |
| 71 | + |
| 72 | +fn hello_borrow(s: &String) { |
| 73 | + println!("Message by borrowing: {}", S); |
| 74 | +} |
| 75 | + |
| 76 | +fn main() { |
| 77 | + let x: String = String::from("hello"); |
| 78 | + let y: String = String::from("hello"); |
| 79 | + |
| 80 | + hello_move(x); |
| 81 | + hello_borrow(&y); |
| 82 | + |
| 83 | + println!("x:{}",x); // error[E0382]: borrow of moved value: `x` |
| 84 | + println!("y:{}",y); // This runs normally. |
| 85 | +} |
| 86 | + |
| 87 | +``` |
| 88 | + |
| 89 | +!!! note "变量的拷贝" |
| 90 | + 如果想要直接获得一份变量的副本,可以使用 Rust 的 Copy 特型。 |
| 91 | + |
| 92 | + - 大多数基本类型是 Copy 类型(i32、f64、char、bool 等等)。 |
| 93 | + - 基本类型发生赋值时,会发生拷贝而非移动。 |
| 94 | + |
| 95 | + |
| 96 | + ```rust |
| 97 | + let x: i32 = 12; |
| 98 | + let y = x; // `i32` is `Copy`, so it's not moved :D |
| 99 | + println!("x still works: {}, and so does y: {}", x, y); |
| 100 | + ``` |
| 101 | + |
| 102 | + - 可以通过 `impl Copy for ...` 或 `#[derive(Copy)]` 宏为变量实现 Copy 特型 |
| 103 | + - 非基本类型在实现了 Copy 特型后,可以通过 `clone()` 等方法进行拷贝。 |
| 104 | + |
| 105 | + ```rust |
| 106 | + let x: String = String::from("hello"); |
| 107 | + let y = x.clone(); // here copy an 'x' to y |
| 108 | + println!("x still works: {}, and so does y: {}", x, y); |
| 109 | + ``` |
| 110 | +所有权的思想贯穿了 Rust 编程的全过程,在后续的 **变量**、**函数**、**结构体** 等章节中,你还会多次遇到所有权的**转移**与**借用**问题。 |
0 commit comments