引言
在 C/C++ 中，内存错误（如悬垂指针、双重释放、内存泄漏）是常见且难以调试的问题。Rust 通过独特的所有权（Ownership）机制，在编译期就消除了这些错误，而无需垃圾回收。本文将带你理解所有权的基本规则和它如何工作。
所有权的基本规则
Rust 中每个值都有一个所有者（owner），同一时间只能有一个所有者。当所有者离开作用域时，值会被自动释放。这避免了手动内存管理和垃圾回收的开销。
fn main() {
let s = String::from("hello"); // s 拥有这个字符串
// 使用 s
} // s 离开作用域，内存被释放
移动语义与克隆
当我们将值赋给另一个变量或传递给函数时，默认发生移动（move），原变量不再有效。这防止了双重释放。
let s1 = String::from("hello");
let s2 = s1; // s1 被移动，不再有效
// println!("{}", s1); // 编译错误：s1 已被移动
如果需要复制数据，可以使用 clone 方法进行深拷贝。
借用与引用
为了在不转移所有权的情况下使用值，Rust 提供了借用（borrowing）机制。通过引用（&）可以访问值而不获取所有权。
fn calculate_length(s: &String) -> usize {
s.len()
}
let s = String::from("hello");
let len = calculate_length(&s); // 借用 s
println!("The length of '{}' is {}.", s, len); // s 仍然有效
借用规则：同一时间，要么有多个不可变引用，要么只有一个可变引用。这防止了数据竞争。
生命周期
生命周期是 Rust 用来确保引用始终有效的机制。大多数情况下编译器可以自动推断，但有时需要显式标注。
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
if x.len() > y.len() { x } else { y }
}
所有权如何消灭内存错误
- 悬垂指针：编译器确保引用不会比其指向的数据活得更久。
- 双重释放：所有权唯一，值只被释放一次。
- 内存泄漏：虽然 Rust 不保证完全避免泄漏（如使用
Rc循环引用），但大多数情况由所有权自动管理。 - 数据竞争：借用规则在编译期防止了并发下的数据竞争。
总结
Rust 的所有权机制通过编译期检查，在无需垃圾回收的情况下保证了内存安全。虽然学习曲线较陡，但它能显著减少内存错误和调试时间。掌握所有权是编写高效、安全 Rust 代码的关键。