深入理解 Rust 所有权系统：内存安全的全新范式

在现代编程语言中，Rust 以其独特的所有权（Ownership）系统脱颖而出，实现了无需垃圾回收器（GC）的内存安全保证。本文将深入剖析 Rust 所有权模型的核心机制，以及它如何从根本上解决了 C/C++ 中长期存在的内存安全问题。

一、所有权的三条铁律

Rust 的所有权系统建立在三条基本规则之上：

1. Rust 中的每一个值都有一个被称为其 所有者（owner）的变量。
2. 值在任一时刻有且只有一个所有者。
3. 当所有者（变量）离开作用域，这个值将被丢弃（drop）。

这三条规则看似简单，却能推导出强大的编译时保证。让我们用一个简单的例子来理解：

fn main() {
    let s1 = String::from("hello");
    let s2 = s1;  // s1 的所有权被移动给 s2
    // println!("{}", s1);  // 编译错误！s1 已不再有效
    println!("{}", s2);  // 正确：s2 拥有这个 String
}

当 s2 = s1 执行时，Rust 并不复制数据，而是将堆上字符串的所有权从 s1 "移动" 给 s2，同时使 s1 失效。这种"移动语义"从根源上杜绝了双重释放（double free）问题。

二、借用与引用

所有权转移虽然安全，但在实际编程中频繁转移所有权并不方便。Rust 通过借用（Borrowing）机制允许你临时使用值而不获取所有权：

fn calculate_length(s: &String) -> usize {
    s.len()
}

fn main() {
    let s1 = String::from("hello");
    let len = calculate_length(&s1);  // 不可变借用
    println!("'{}' 的长度是 {}", s1, len);
}

Rust 对借用有两条关键约束：

• 在同一时刻，最多允许一个可变引用（&mut T），或者任意数量的不可变引用（&T）。
• 引用必须始终有效（即不能悬空引用）。

fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
    if x.len() > y.len() { x } else { y }
}