3 简介 on 编程那些事儿

3.1 Unsafe Rust 的定义

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/introduction/definition.html

3.1 Unsafe Rust 的定义

╭───────────────────────────────────────────────────────────╮
│╭─────────────────────────────────────────────────────────╮│
││ ││
││ Safe ││
││ Rust ││
││ ││
││ ││
│╰─────────╮ ││
│ │ ││
│ Unsafe │ ││
│ Rust │ ││
│ ╰───────────────────────────────────────────────╯│
╰───────────────────────────────────────────────────────────╯

「Unsafe Rust 是 Safe Rust 的超集。」

3.2 unsafe 关键字的用途

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/introduction/purpose.html

3.2 unsafe 关键字的用途

Rust 保证安全性
但编译器能做的事有限
unsafe 关键字让程序员承担维护 Rust 规则的责任

「Rust 的一个基本目标是保证内存安全。」

3.3 unsafe 关键字的两种角色

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/introduction/two-roles.html

3.3 unsafe 关键字的两种角色

创建带有安全考量的 API
- unsafe 函数：unsafe fn get_unchecked(&self) { ... }
- unsafe trait：unsafe trait Send {}
使用带有安全考量的 API

3.6 责任转移

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/introduction/responsibility-shift.html

3.6 责任转移

	内存是否安全？	内存安全的责任方
Safe Rust	是	编译器
Unsafe Rust	是	程序员

谁对内存安全负责？

3.7 需要更严格的开发流程

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/introduction/impact-on-workflow.html

3.7 需要更严格的开发流程

编写代码时

确认你理解任何 unsafe 函数/trait 的前置条件
检查前置条件是否已满足
在 safety comment（安全注释）中记录你的推理

加强代码审查

3.8 示例：may_overflow

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/introduction/may_overflow.html

3.8 示例：may_overflow

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
/// 对负数加上 2^31 - 1。
unsafe fn may_overflow(a: i32) -> i32 {
 a + i32::MAX
}

fn main() {
 let x = unsafe { may_overflow(123) };
 println!("{x}");
}

「unsafe 关键字的含义可能比某些人假设的更为微妙。」