Rust原来很简单二：所有权系统

发布时间：2026/11/5 16:27:39
Rust原来很简单二：所有权系统

Part 2 · 核心篇 —— 所有权系统

本篇覆盖第 6 ~ 10 章：所有权、借用与引用、生命周期、字符串与切片、内存模型。

⚠️这是全书最重要的一篇。把它吃透，Rust 从此“很简单”；跳过它，你会处处碰壁。请慢下来，动手敲每一段代码。

第 6 章 所有权：Rust 的第一性原理

6.1 为什么需要所有权？

其他语言管理内存有两条路：

  1. 垃圾回收（GC）：Java、Go、Python、JS。运行时不断扫描“哪些内存没人用了”并回收。代价：运行时开销、不可预测的停顿（STW）、内存占用高。
  2. 手动管理：C、C++。程序员自己malloc/free。代价：忘记释放→内存泄漏；重复释放→崩溃；释放后使用→悬垂指针→安全漏洞。

Rust 选了第三条路：

在编译期，用一套规则确定每个值的“主人”，主人离开作用域时自动释放内存。无需 GC，也不靠人肉。

这套规则就是所有权（Ownership）。

6.2 所有权三大铁律

请务必背下来：

1. Rust 中每一个值都有一个所有者（owner）。

2. 值在任一时刻有且只有一个所有者。

3. 当所有者（变量）离开作用域，这个值将被丢弃（drop）。

“离开作用域”指变量所在的花括号{}结束。此时 Rust 自动调用该类型的drop函数释放资源——就像 C++ 的 RAII，但由编译器保证执行。

fnmain(){{lets=String::from("hello");// s 是 "hello" 这块堆内存的所有者println!("{s}");}// ← s 离开作用域，内存被自动释放（调用 drop）// println!("{s}"); // ❌ s 已不存在}

6.3 移动语义（Move）：赋值即“交出所有权”

对于堆上数据（如String），把一个值赋给另一个变量，或传给函数，会**移动（move）**所有权，原变量随即失效：

fnmain(){lets1=String::from("hello");lets2=s1;// s1 的所有权“移动”给了 s2// println!("{s1}"); // ❌ 编译错误：value borrowed after moveprintln!("{s2}");// ✅ 只有 s2 是所有者}

为什么这样设计？因为如果s1和s2都指向同一块堆内存，作用域结束时会释放两次（double free）——这是经典内存 bug。Rust 通过“移动后原变量失效”从根上杜绝了它。

🔑心智模型：把值想象成一本书。let s2 = s1;是把书交给s2，s1 手里就空了，不能再用。

函数调用同理：

fntake_ownership(s:String){// s 获得所有权println!("{s}");}// s 离开作用域，内存释放fnmake_copy(n:i32){// i32 是 Copy 类型，按位复制println!("{n}");}fnmain(){lets=String::from("hello");take_ownership(s);// s 的所有权移入函数// println!("{s}"); // ❌ s 已失效letx=5;make_copy(x);// x 被复制，仍可用println!("{x}");// ✅ x 依然有效}

函数返回值也会转移所有权：

fngive_ownership()->String{String::from("yours")// 所有权移给调用者}fntake_and_give_back(s:String)->String{s// 把所有权再还回去}fnmain(){lets1=give_ownership();lets2=String::from("hello");lets3=take_and_give_back(s2);// s2 失效，s3 成为新所有者}

6.4Copy类型：赋值即复制

有些类型完全存在栈上、大小固定，Rust 让它们实现Copytrait，赋值时按位复制而非移动，原变量依然有效：

  • 所有整数类型（i32,u8…）、浮点（f64…）
  • bool、char
  • 仅含Copy类型的元组，如(i32, i32)
  • 不可变引用&T（注意：可变引用&mut T不是 Copy）
letx=5;lety=x;// 复制，x 仍有效println!("{x} {y}");// ✅lets=String::from("hi");lett=s.clone();// String 不是 Copy，要显式 clone（深拷贝堆数据）println!("{s} {t}");// ✅ 两者都有效，各有一份堆内存

规则：任何实现了Drop的类型都不能是Copy。String拥有堆内存、需要释放，所以不是Copy。

6.5clone()：新手的救生圈

当你需要多份数据、又不想被借用规则困住时，.clone()做深拷贝：

lets1=String::from("hello");lets2=s1.clone();// 显式复制堆数据println!("{s1} {s2}");// ✅ 都有效

clone有性能成本（复制堆内存）。建议新手策略：先用clone让代码跑起来，理解所有权后再用“借用”优化掉它（下面第 7 章）。不要一开始就为省一次 clone 而卡死。

6.6 所有权与堆栈的关系

栈 (Stack) 堆 (Heap) ┌──────────────┐ ┌───────────────┐ │ s1: ptr ─────┼──────────────▶│ h e l l o │ │ len: 5 │ │ (cap: 5) │ │ cap: 5 │ └───────────────┘ └──────────────┘

String在栈上存了一个“胖指针”（指向堆的指针 + 长度 + 容量），真正的字符数据在堆上。移动的是栈上的这个结构，堆数据不动，所有权随之转移。

第 7 章 借用与引用：不转移所有权的访问

7.1 引用的概念

如果每次访问都要转移所有权再还回来，太笨拙了。引用（Reference）让你借用一个值而不获取所有权：

fncalculate_length(s:&String)->usize{// &String：借用，不获取所有权s.len()}// s 离开作用域，但它不拥有数据，什么都不释放fnmain(){lets1=String::from(