第19章标准库类型 on 编程那些事儿

01-箱子、栈和堆

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/std/box.html

箱子、栈和堆

在 Rust 中，所有值默认都是栈分配的。通过创建 Box<T>，可以把值装箱（boxed）来使它在堆上分配。箱子（box，即 Box<T> 类型的实例）是一个智能指针，指向堆分配的 T 类型的值。当箱子离开作用域时，它的析构函数会被调用，内部的对象会被销毁，堆上分配的内存也会被释放。

02-动态数组 vector

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/std/vec.html

动态数组 vector

vector 是大小可变的数组。和 slice（切片）类似，它们的大小在编译时是未知的，但它们可以随时扩大或缩小。一个 vector 使用 3 个词来表示：一个指向数据的指针，vector 的长度，还有它的容量。此容量指明了要为这个 vector 保留多少内存。vector 的长度只要小于该容量，就可以随意增长；当需要超过这个阈值时，会给 vector 重新分配一段更大的容量。

03-字符串 String

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/std/str.html

字符串 String

Rust 中有两种字符串类型：String 和 &str。

String 被存储为由字节组成的 vector（Vec<u8>），但保证了它一定是一个有效的 UTF-8 序列。String 是堆分配的，可增长的，且不是零结尾的（null terminated）。

04-选项 `Option`

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/std/option.html

选项 `Option`

有时候想要捕捉到程序某部分的失败信息，而不是调用 panic!；这可使用 Option 枚举类型来实现。

Option<T> 有两个变量：

None，表明失败或缺少值
Some(value)，元组结构体，封装了一个 T 类型的值 value

 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
27
28
29
30
31
32
33
34
35
36
37
38


// 不会 `panic!` 的整数除法。
fn checked_division(dividend: i32, divisor: i32) -> Option<i32> {
 if divisor == 0 {
 // 失败表示成 `None` 取值
 None
 } else {
 // 结果 Result 被包装到 `Some` 取值中
 Some(dividend / divisor)
 }
}

// 此函数处理可能失败的除法
fn try_division(dividend: i32, divisor: i32) {
 // `Option` 值可以进行模式匹配，就和其他枚举类型一样
 match checked_division(dividend, divisor) {
 None => println!("{} / {} failed!", dividend, divisor),
 Some(quotient) => {
 println!("{} / {} = {}", dividend, divisor, quotient)
 },
 }
}

fn main() {
 try_division(4, 2);
 try_division(1, 0);

 // 绑定 `None` 到一个变量需要类型标注
 let none: Option<i32> = None;
 let _equivalent_none = None::<i32>;

 let optional_float = Some(0f32);

 // 解包 `Some` 将取出被包装的值。
 println!("{:?} unwraps to {:?}", optional_float, optional_float.unwrap());

 // 解包 `None` 将会引发 `panic!`。
 println!("{:?} unwraps to {:?}", none, none.unwrap());
}

06-`panic!`

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/std/panic.html

`panic!`

panic! 宏可用于产生一个 panic （恐慌），并开始回退（unwind）它的栈。在回退栈的同时，运行时将会释放该线程所拥有的所有资源，这是通过调用线程中所有对象的析构函数完成的。

08-引用计数 Rc

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/std/rc.html

引用计数 Rc

当需要多个所有权时，可以使用 Rc（引用计数，Reference Counting 缩写）。Rc 跟踪引用的数量，这相当于包裹在 Rc 值的所有者的数量.

09-共享引用计数 Arc

Thu, 20 Aug 2026 21:20:00 +0800

译文 · 基于 Rust By Example

原文链接: https://doc.rust-lang.org/stable/rust-by-example/std/arc.html

共享引用计数 Arc

当线程之间所有权需要共享时，可以使用Arc（共享引用计数，Atomic Reference Counted 缩写）可以使用。这个结构通过 Clone 实现可以为内存堆中的值的位置创建一个引用指针，同时增加引用计数器。由于它在线程之间共享所有权，因此当指向某个值的最后一个引用指针退出作用域时，该变量将被删除。

第19章 标准库类型 on 编程那些事儿

01-箱子、栈和堆

箱子、栈和堆

02-动态数组 vector

动态数组 vector

03-字符串 String

字符串 String

04-选项 `Option`

选项 Option

06-`panic!`

panic!

08-引用计数 Rc

引用计数 Rc

09-共享引用计数 Arc

共享引用计数 Arc

第19章标准库类型 on 编程那些事儿

选项 `Option`

`panic!`