第4章泛型 on 编程那些事儿

01-泛型是什么？

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/33_zh-cn.html

泛型是什么？

泛型允许我们不完全定义一个 struct 或 enum，使编译器能够根据我们的代码使用情况，在编译时创建一个完全定义的版本。

02-表示空

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/34_zh-cn.html

表示空

在其他语言中，关键字 null 用于表示没有值。它给编程语言带来了困难，因为它使我们的程序在与变量字段交互时可能失败。

03-Option

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/35_zh-cn.html

Option

Rust 有一个内置的泛型枚举叫做 Option，它可以让我们不使用 null 就可以表示可以为空的值。

enum Option<T> {
 None,
 Some(T),
}

这个枚举很常见，使用关键字 Some 和 None 可以在任何地方创建其实例。

04-Result

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/36_zh-cn.html

Result

Rust 有一个内置的泛型枚举叫做 Result，它可以让我们返回一个可能包含错误的值。这是编程语言进行错误处理的惯用方法。

05-可失败的主函数

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/37_zh-cn.html

可失败的主函数

main 函数有可以返回 Result 的能力！

示例代码

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26


fn do_something_that_might_fail(i: i32) -> Result<f32, String> {
 if i == 42 {
 Ok(13.0)
 } else {
 Err(String::from("this is not the right number"))
 }
}

// 主函数不返回值，但可能返回一个错误！
fn main() -> Result<(), String> {
 let result = do_something_that_might_fail(12);

 match result {
 Ok(v) => println!("found {}", v),
 Err(_e) => {
 // 优雅地处理错误
 
 // 返回一个说明发生了什么的新错误！
 return Err(String::from("something went wrong in main!"));
 }
 }

 // Notice we use a unit value inside a Result Ok
 // to represent everything is fine
 Ok(())
}

06-优雅地错误处理

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/38_zh-cn.html

优雅地错误处理

Result 如此常见以至于 Rust 有个强大的操作符 ? 来与之配合。以下两个表达式是等价的：

do_something_that_might_fail()?

match do_something_that_might_fail() {
 Ok(v) => v,
 Err(e) => return Err(e),
}

示例代码

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14


fn do_something_that_might_fail(i: i32) -> Result<f32, String> {
 if i == 42 {
 Ok(13.0)
 } else {
 Err(String::from("this is not the right number"))
 }
}

fn main() -> Result<(), String> {
 // 看看我们节省了多少代码！
 let v = do_something_that_might_fail(42)?;
 println!("found {}", v);
 Ok(())
}

07-丑陋的 Option/Result 处理

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/39_zh-cn.html

丑陋的 Option/Result 处理

当你只是试图快速地写一些代码时，Option/Result 对付起来可能比较无聊。 Option 和 Result 都有一个名为 unwrap 的函数：这个函数可以简单粗暴地获取其中的值。 unwrap 会：

08-Vectors

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/40_zh-cn.html

Vectors

一些经常使用的泛型是集合类型。一个 vector 是可变长度的元素集合，以 Vec 结构表示。

比起手动构建，宏 vec! 让我们可以轻松地创建 vector。

09-第四章 - 总结

Mon, 17 Aug 2026 22:00:00 +0800

内容来源 · Tour of Rust / Rust 语言之旅

原文链接: https://tourofrust.com/41_zh-cn.html

第四章 - 总结

在这一章中，我们了解了泛型给我们带来的强大功能！如果你还不完全知道该如何使用这一切，别担心，仅仅是了解这些将会在代码中反复出现的中心思想就足够了。我们的功能在日趋强大！在下一章中，我们将讨论 Rust 中的一个重要概念：数据所有权。

第4章 泛型 on 编程那些事儿

01-泛型是什么？

泛型是什么？

02-表示空

表示空

03-Option

Option

04-Result

Result

05-可失败的主函数

可失败的主函数

示例代码

06-优雅地错误处理

优雅地错误处理

示例代码

07-丑陋的 Option/Result 处理

丑陋的 Option/Result 处理

08-Vectors

Vectors

09-第四章 - 总结

第四章 - 总结

第4章泛型 on 编程那些事儿