学习笔记五——Rust 控制流全解析

📚 目录

1. 什么是控制流？Rust 有什么特别？
2. if 表达式完整语法
3. loop / while / for 三种循环写法
4. match 表达式 + _ 通配符深入解释
5. if let 表达式用法与场景
6. Option、Some、None 全面通俗讲解
   • "Tom" 和 "Tom".to_string() 有啥本质区别？
   • 什么叫“你需要完整拥有这个字符串”？
7. 总结：从语法到思想的控制流精通路线

1️⃣ 什么是控制流？Rust 又有什么不同？

控制流就是**程序根据情况“怎么走”**的能力。

在 Rust 中，控制流不只是控制路径，更是表达式，也就是说，大部分结构都能返回值，不是单纯“执行一下就完了”。

2️⃣ if 表达式语法（可以返回值！）

let score = 75;

let result = if score >= 60 {
    "及格"
} else {
    "不及格"
};

println!("成绩是：{}", result);

✅ Rust 中 if 是表达式，意思是它有返回值，能被赋值。

注意：if 和 else 返回的值必须是相同类型！

3️⃣ 循环语法：loop / while / for

🔁 loop（死循环 + 可返回值）

let mut count = 0;

let result = loop {
    count += 1;
    if count == 3 {
        break count * 2;
    }
};
println!("结果：{}", result); // 输出：6

🔁 while（条件成立就循环）

let mut n = 3;

while n > 0 {
    println!("倒数：{}", n);
    n -= 1;
}

🔁 for（遍历范围或集合）

for i in 1..4 {
    println!("{}", i); // 输出 1, 2, 3（不含4）
}

let names = vec!["Tom", "Amy"];
for name in names {
    println!("你好，{}", name);
}

4️⃣ match 表达式 + _ 通配符的真正含义

基本用法

let score = 45;

let level = match score {
    90..=100 => "优秀",
    60..=89 => "及格",
    _ => "不及格",  // 通配符：兜底处理
};

println!("成绩等级：{}", level);

❓ _ 是什么？

• _ 是一个“通配符”，意思是：“不管其他是什么，统统算进来”；
• 它在 match 中的作用相当于 JavaScript 的 default、Python 的 else 分支；
• Rust 的 match 要求你必须穷举所有可能的分支，所以 _ 是一个通用的“兜底方案”。

✅ _ 的本质含义是：“我不关心这个值具体是多少，你只管来了就处理成这样。”

示例：也可以只打印

match day {
    1 => println!("星期一"),
    2 => println!("星期二"),
    _ => println!("其他天"),  // 不管你是3、4、99、9999，全算“其他”
}

5️⃣ if let：只匹配一种情况的快捷方式

原始 match 写法

let name = Some("Tom".to_string());

match name {
    Some(n) => println!("名字是：{}", n),
    None => println!("没有名字"),
}

if let 简写版本

if let Some(n) = name {
    println!("名字是：{}", n);
} else {
    println!("没有名字");
}

✅ 适合只关注 Some(x) 一种情况的时候，更加清爽！

6️⃣ Option / Some / None 的原理与通俗解释

❓ 为什么需要 Option？

在 C/Java 中，很多人因为空指针（null）访问导致崩溃。Rust 不允许出现“空值”，而是用 Option<T> 来明确告诉你：这个值可能有，可能没有！

let name: Option<String> = Some("Tom".to_string());
let nickname: Option<String> = None;

✅ Option 是啥？

enum Option<T> {
    Some(T), // 有值
    None     // 没值
}

你必须显式处理这两种情况，编译器才放行。这就是 Rust 保证“安全”的核心手段！

❗ 为什么 Some("Tom") 报错？

看起来没毛病吧？

let name: Option<String> = Some("Tom"); // ❌ 报错

我们拆开来看：

🧠 什么是“你需要完整拥有这个字符串”？

当你声明：

let name: Option<String>

你就等于说：“我要拥有一个可变的堆上字符串，我可能有，也可能没有。”

Rust 的 String 是：

• 存在堆上的数据（可以动态增长）
• 有“所有权”：谁负责创建，就负责释放
• 可变的

但是 "Tom" 是：

• 固定存在程序里的静态只读文本
• 类型是 &str，只是“借来读一下”
• 你不能修改它、不能拿来做主

所以，Option<String> 不能让你装一个“借来的只读文字进去”，因为它要能负责到底（也就是拥有它）！

✅ 正确写法（获得堆上的可变拥有字符串）：

let name = Some("Tom".to_string());
let name2 = Some(String::from("Tom"));

📦 比喻理解：“借书” VS “买书”

• &str：你去图书馆借一本书看（你不能撕、不能写、不能带回家）
• String：你自己买了一本书（你可以改写，放哪都行）

当你说 Option<String>，就像你要一个“书架（Option）”去“收纳（拥有）”一本书（String），你当然不能用“借来的图书馆书”放进去！

✅ 最后总结

🎁 Bonus：一句话记住核心概念

“如果你要拥有，就别拿别人的，Rust 会让你自己造一份！”

这就是 Rust 的哲学：安全、清晰、必须负责任。