Linux系统Rust如何进行内存管理

时间：2026-07-13

在Linux系统上谈论内存管理，Rust走了一条截然不同的路——它把内存安全的承诺从运行时搬到了编译时。你不需要GC（垃圾回收），也不需要手动malloc/free，全靠一套所有权、借用和生命周期的规则，在编译阶段就堵住了空指针、野指针和数据竞争这些老生常谈的漏洞。下面就来拆解一下，这套机制具体是怎么运作的。

Linux系统Rust如何进行内存管理

1. 所有权（Ownership）

单一所有权：每个值只能有一个主人，这个主人就是“所有者”。
所有权转移：一旦所有者离开作用域，值会被自动丢弃，内存也随之释放——干净利落。

fn main() {
let s1 = String::from("hello"); // s1拥有这个字符串
let s2 = s1; // 所有权从s1转移到s2
// println!("{}", s1); // 这行会编译错误，因为s1不再拥有数据
}

所有权规则乍看有点生硬，但它的直觉很清晰：谁最后拿着数据，谁负责清理。一旦转让，原主人就不再拥有访问权，彻底杜绝了悬空引用。

2. 借用（Borrowing）

不可变借用：可以同时有多个只读引用（&T），但谁都不能改它。
可变借用：只能有一个可写引用（&mut T），而且在此期间其他引用都不能存在（包括不可变借用）。

fn main() {
let mut s = String::from("hello");
let r1 = &s; // 不可变借用
let r2 = &s; // 另一个不可变借用
println!("{} and {}", r1, r2);
let r3 = &mut s; // 可变借用
r3.push_str(", world"); // 修改s
println!("{}", r3);
}

借用规则就像图书馆的借阅制度：可以很多人同时看同一本书（不可变借用），但如果有人要修改书的内容（可变借用），那必须清场，其他读者都得把书放下。这种“读写分离”的思路，直接消灭了数据竞争。

3. 生命周期（Lifetimes）

生命周期注解：编译器需要知道每个引用都活得比它指向的数据短。通过生命周期参数，Rust能确保引用不会悬空。

fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
if x.len() > y.len() {
x
} else {
y
}
}
fn main() {
let string1 = String::from("abcd");
let string2 = "xyz";
let result = longest(string1.as_str(), string2);
println!("The longest string is {}", result);
}

生命周期注解在代码里看起来像一堆尖括号和撇号，其实它只是显式告诉编译器：“这两个引用的有效期是相同的。” 编译器利用这个信息做静态检查，避免返回一个指向局部变量的引用。

4. 智能指针

基础的所有权和借用规则已经很强大了，但遇到需要共享所有权或引用计数的场景，Rust还提供了几个“智能指针”工具：

Box：最简单的堆分配器，值放在堆上，离开作用域自动释放。
Rc：引用计数指针，允许多个不可变引用共享同一份所有权（单线程内使用）。
Arc：线程安全的引用计数指针，通过原子操作实现跨线程共享。

use std::rc::Rc;
fn main() {
let five = Rc::new(5);
let five_clone = Rc::clone(&five);
println!("Count after clone: {}", Rc::strong_count(&five)); // 输出: 2
}

这些智能指针背后依然是所有权思想在支撑——只不过所有权被“计数”了。当引用计数降到0时，内存自动释放。