深入理解Rust核心机制——所有权系统,掌握移动、复制、借用和引用规则。
fn main() {
let s1 = String::from("hello");
let s2 = s1; // 移动!s1不再有效
// println!("{}", s1); // ❌ 编译错误
println!("s2 = {}", s2);
// 对比:Copy trait
let x = 5;
let y = x; // 复制!x仍有效
println!("x={}, y={}", x, y);
}
✅ 编译验证通过
fn main() {
let s1 = String::from("hello");
let s2 = s1.clone(); // 深拷贝
println!("s1={}, s2={}", s1, s2); // ✅ 都有效
}
✅ 编译验证通过
实现Copy的类型在赋值时自动复制:
fn main() {
let x: i32 = 42; // i32: Copy
let y = x; // 复制
let arr = [1,2,3]; // [i32;3]: Copy
let arr2 = arr; // 复制
let s = String::from("hi"); // String: 非Copy
let s2 = s; // 移动!
}
✅ 编译验证通过
fn calculate_length(s: &String) -> usize {
s.len() // 借用,不获取所有权
}
fn main() {
let s1 = String::from("hello");
let len = calculate_length(&s1);
println!("'{}' 长度 {}", s1, len);
}
✅ 编译验证通过
fn append_world(s: &mut String) {
s.push_str(", world");
}
fn main() {
let mut s = String::from("hello");
append_world(&mut s);
println!("{}", s); // "hello, world"
}
✅ 编译验证通过
在同一时刻:
&mut T&T绝不能同时!
fn main() {
let mut s = String::from("hello");
let r1 = &s; // ✅
let r2 = &s; // ✅
// let r3 = &mut s; // ❌ 已有不可变引用
println!("{} {}", r1, r2);
let r3 = &mut s; // ✅ NLL允许
println!("{}", r3);
}
✅ 编译验证通过
fn dangle() -> &String {
let s = String::from("hello");
&s // ❌ 返回局部变量的引用
}
// 正确:返回所有权
fn no_dangle() -> String {
String::from("hello")
}
let s1 = String::from("hello");
let s2 = s1;
println!("{}, world!", s1); // ?
写函数接受&mut String,原地反转。
追踪process(s)后s的所有权变化。
理解所有权系统——无GC内存安全的核心
Rust的设计遵循几个核心原则,理解这些原则能帮助你更好地使用Rust:
Rust要求你显式声明可变性(mut)、生命周期、错误处理。没有隐式类型转换、没有隐式异常传播、没有隐式GC。虽然代码更冗长,但行为更可预测。
借用检查器、生命周期分析、trait约束——所有这些都在编译期完成。这意味着运行时零开销。你付出的代价是编译时间,换来的是运行时性能和安全。
高层抽象(泛型、trait、迭代器、async/await)编译后与手写底层代码一样高效。你不需要在抽象和性能之间做选择。
所有其他特性——借用检查、生命周期、并发安全——都建立在所有权模型之上。理解所有权,就理解了Rust。
| 年份 | 里程碑 |
|---|---|
| 2006 | Graydon Hoare开始Rust项目 |
| 2009 | Mozilla开始赞助 |
| 2010 | 首次公开 |
| 2012 | 第一个预发布版 |
| 2015 | Rust 1.0发布 |
| 2016-2024 | 连续Stack Overflow最受喜爱语言 |
| 2022 | Linux内核接纳Rust |
| 2023 | Android、Windows开始使用Rust |
| 2024 | Rust基金会成立,生态系统成熟 |
| 2026 | 你正在学习Rust! |
基础阶段(1-2周):完成本课程第1-7课,重点理解所有权和借用。
进阶阶段(2-3周):完成第8-14课,掌握trait、泛型、智能指针。
系统阶段(2-3周):完成第15-21课,实际写并发程序。
网络阶段(2-3周):完成第22-28课,构建真实的网络服务。
实战阶段(持续):完成第29-35课,开始自己的项目。
以下资源帮助你深入学习本课主题:
本课涉及的核心概念,确保你理解每一个:
| 术语 | 说明 |
|---|---|
| 所有权 | Rust内存管理的核心机制,每个值有唯一所有者 |
| 借用 | 通过引用访问数据,不获取所有权 |
| 生命周期 | 引用有效的范围,编译期分析工具 |
| trait | Rust的接口/抽象机制,类似其他语言的接口 |
| 泛型 | 参数化类型,零成本抽象 |
| 模式匹配 | 强大的数据解构和分支机制 |
| 零成本抽象 | 高层抽象不引入运行时开销 |
| fearless concurrency | 编译器保证线程安全 |
Q: Rust学习曲线真的很陡吗?
A: 前期确实需要适应所有权和借用检查器,但一旦理解了,这些概念会让你的代码更可靠。大多数人2-4周就能上手。
Q: Rust适合什么项目?
A: 系统编程、Web服务、CLI工具、嵌入式、WASM、网络服务、数据库等。基本上需要性能和安全的地方都适合。
Q: 遇到编译错误怎么办?
A: Rust编译器的错误信息非常友好!仔细阅读,通常会指出问题所在和修复建议。也可以用cargo clippy获取更多提示。