Rust 所有权系统深度解析：从借用检查器到生命周期

引言：为什么需要所有权系统

系统编程语言长期面临一个根本矛盾：性能与控制力往往意味着手动内存管理，而手动管理又容易引发内存泄漏、悬垂指针、数据竞争等问题。C/C++ 依赖程序员的自觉和工具链的辅助，Java/Go 则通过垃圾回收（GC）换取安全性，但 GC 带来的运行时开销和不可预测的停顿让它们在系统级场景中受限。

Rust 选择了第三条路：通过编译时的所有权系统（Ownership System），在零运行时开销的前提下保证内存安全。这套系统不是运行时检查，而是编译期的静态分析——如果你的代码通过了编译，那么内存安全就有保障。

所有权三规则

Rust 的所有权系统建立在三个核心规则之上：

1. 每个值有且仅有一个所有者（Owner）：任何时刻，一个值只能被一个变量绑定。
2. 当所有者离开作用域，值被自动释放：Rust 在编译时确定何时调用 drop 函数。
3. 值可以被移动（Move）或复制（Copy），但不能同时存在：赋值、传参、返回值时，所有权发生转移。

fn main() {
    let s1 = String::from("hello");
    let s2 = s1;           // s1 的所有权移动到 s2
    // println!("{}", s1); // 编译错误：s1 已失效
    println!("{}", s2);    // 正常
} // s2 离开作用域，内存自动释放

这种设计从根本上消除了双重释放（Double Free）和使用已释放内存（Use-After-Free）的可能性，因为编译器保证一个值只有一个所有者。

借用与引用

如果每次传参都转移所有权，代码会非常笨重。Rust 提供了借用（Borrowing）机制：通过引用（&T 和 &mut T）临时访问值，而不获取所有权。

借用规则（Borrowing Rules）是 Rust 安全性的核心：

• 不可变借用（&T）可以有任意多个，因为它们不修改数据。
• 可变借用（&mut T）只能有一个，且不能与不可变借用同时存在。
• 引用必须始终有效，不能指向已释放的内存。

fn calculate_length(s: &String) -> usize {
    s.len()
} // s 离开作用域，但因为它只是引用，不拥有数据，所以不会释放

fn main() {
    let s = String::from("hello");
    let len = calculate_length(&s);
    println!("'{}' 的长度是 {}", s, len); // s 仍然有效
}

这些规则在编译时由借用检查器（Borrow Checker）强制执行，代价是编译时间变长，但换来了运行时的内存安全。

生命周期：引用的有效期

生命周期（Lifetime）是 Rust 中容易被误解的概念。它并不是运行时的时间概念，而是编译时用来描述引用有效范围的标记。生命周期标注的目的是让编译器确认：所有引用在使用时都指向有效数据。

大多数情况下，Rust 可以自动推断生命周期（生命周期省略规则）。但在某些场景下，需要手动标注：

// 当函数返回引用时，需要标注生命周期
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.len() > y.len() { x } else { y }
}

// 结构体中的引用也需要生命周期
struct Excerpt<'a> {
    part: &'a str,
}

生命周期标注的核心思想是：输出引用的生命周期不能超过输入引用的最短生命周期。编译器通过这种方式确保不会出现悬垂引用。

智能指针：Box、Rc 与 Arc

Rust 的所有权系统不仅适用于栈上的基本类型，还通过智能指针扩展到堆上分配和共享所有权场景：

• Box：独占所有权的堆分配指针，用于递归类型或大对象优化。
• Rc：引用计数智能指针，允许多个所有者共享数据（单线程）。
• Arc：原子引用计数，线程安全的共享所有权。
• RefCell：运行时借用检查，用于内部可变性模式。

use std::rc::Rc;

let a = Rc::new(String::from("shared data"));
let b = Rc::clone(&a);
let c = Rc::clone(&a);
// 三个变量共享同一份数据，引用计数为 3
// 当最后一个 Rc 离开作用域时，数据被释放

use std::rc::{Rc, Weak};

struct Node {
    next: Option>,
}

let mut vec = vec![1, 2, 3];
for i in &vec {
    // vec.push(*i); // 编译错误：不能可变借用正在被不可变借用的 vec
}