第1章认识 Safe 与 Unsafe on 编程那些事儿

1.1 Safe 与 Unsafe 如何交互

Thu, 06 Aug 2026 17:08:00 +0800

译文 · 基于 The Rustonomicon

Safe 与 Unsafe 如何交互

原文链接: https://doc.rust-lang.org/nomicon/safe-unsafe-meaning.html

　　Safe Rust 与 Unsafe Rust 是什么关系？它们如何交互？

　　Safe 与 Unsafe 的分界由 unsafe 关键字控制，它充当二者之间的接口。因此我们说 Safe Rust 是安全语言：所有 unsafe 部分都严格关在 unsafe 边界之后。若愿意，你甚至可以在代码库中加入 #![forbid(unsafe_code)]，静态保证只写 Safe Rust。

1.2 Unsafe 能做什么

Thu, 06 Aug 2026 17:08:00 +0800

译文 · 基于 The Rustonomicon

Unsafe 能做什么

原文链接: https://doc.rust-lang.org/nomicon/what-unsafe-does.html

　　Unsafe Rust 与 Safe Rust 的唯一区别在于，你可以：

解引用裸指针
调用 unsafe 函数（包括 C 函数、编译器内建 intrinsic、原始分配器）
实现 unsafe trait
访问或修改可变静态变量
访问 union 的字段

　　就这些。这些操作被 relegated 到 Unsafe，是因为误用任意一项都会导致令人畏惧的未定义行为。触发未定义行为等于赋予编译器对你的程序为所欲为的权限。你绝对不应触发未定义行为。

1.3 使用 Unsafe

Thu, 06 Aug 2026 17:08:00 +0800

译文 · 基于 The Rustonomicon

使用 Unsafe

原文链接: https://doc.rust-lang.org/nomicon/working-with-unsafe.html

　　Rust 通常只给我们以有范围、二元的方式讨论 Unsafe Rust 的工具。遗憾的是，现实远比这复杂。例如看这个玩具函数：

1
2
3
4
5
6
7
8
9


fn index(idx: usize, arr: &[u8]) -> Option<u8> {
 if idx < arr.len() {
 unsafe {
 Some(*arr.get_unchecked(idx))
 }
 } else {
 None
 }
}

　　该函数安全且正确。我们检查索引在界内，若在界内则无检查地索引数组。这种正确但不安全实现的函数称为健全（sound）：Safe 代码不能通过它导致未定义行为（记住，这是 Safe Rust 的唯一基本性质）。

第1章 认识 Safe 与 Unsafe on 编程那些事儿

1.1 Safe 与 Unsafe 如何交互

Safe 与 Unsafe 如何交互

1.2 Unsafe 能做什么

Unsafe 能做什么

1.3 使用 Unsafe

使用 Unsafe

第1章认识 Safe 与 Unsafe on 编程那些事儿