第17章不安全性 on 编程那些事儿

01-unsafe 关键字

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/unsafe-keyword.html

r[unsafe]

r[unsafe.intro] unsafe 关键字用于创建或解除证明某事安全的义务。具体而言：

用于标记那些定义额外安全条件、且这些条件必须在别处得到满足的代码。
- 这包括 unsafe fn、unsafe static 和 unsafe trait。
用于标记程序员断言已满足别处所定义安全条件的代码。
- 这包括 unsafe {}、unsafe impl、没有启用 unsafe_op_in_unsafe_fn 的 unsafe fn、unsafe extern，以及 #[unsafe(attr)]。

下文分别讨论这些情形。一些说明性示例见关键字文档。

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/behavior-considered-undefined.html

r[undefined]

r[undefined.intro] 若 Rust 代码表现出下列任一行为，则该代码不正确。这包括 unsafe 块与 unsafe 函数中的代码。unsafe 仅意味着避免未定义行为是程序员的责任；它并不改变 Rust 程序绝不能导致未定义行为这一事实。

Tue, 18 Aug 2026 08:45:00 +0800

译文 · 基于 The Rust Reference

原文链接: https://doc.rust-lang.org/reference/behavior-not-considered-unsafe.html

Rust 编译器不认为下列行为是_不安全_的，尽管程序员可能（也应该）觉得它们不受欢迎、出乎意料或是错误的。

若程序包含算术溢出，则程序员犯了错误。在下文讨论中，我们区分算术溢出与回绕算术。前者是错误的，后者是有意为之。