3.4 热身示例 on 编程那些事儿

3.4.1 使用 unsafe 块

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

译文 · 基于 Comprehensive Rust

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

3.4.1 使用 unsafe 块

1
2
3
4
5
6
7
8
9


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
fn main() {
 let numbers = vec![0, 1, 2, 3, 4];
 let i = numbers.len() / 2;

 let x = *numbers.get_unchecked(i);
 assert_eq!(i, x);
}

逐步讲解代码。确认听众熟悉解引用运算符。

3.4.2 定义 unsafe 函数

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

译文 · 基于 Comprehensive Rust

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

3.4.2 定义 unsafe 函数

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


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
/// 将可空指针转换为引用。
///
/// 当 `p` 为 null 时返回 `None`，否则将 `val` 包装在 `Some` 中。
fn ptr_to_ref<'a, T>(ptr: *mut T) -> Option<&'a mut T> {
 if ptr.is_null() {
 None
 } else {
 // SAFETY: `ptr` 非 null
 unsafe { Some(&mut *ptr) }
 }
}

「这段代码看起来像是 safe 代码，但实际上它需要 unsafe 块。」

3.4.3 实现 unsafe trait

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

译文 · 基于 Comprehensive Rust

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

3.4.3 实现 unsafe trait

 1
 2
 3
 4
 5
 6
 7
 8
 9
10


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
pub struct LogicalClock {
 inner: std::sync::Arc<std::sync::atomic::AtomicUsize>,
}

// ...

impl Send for LogicalClock {}
impl Sync for LogicalClock {}

「在看代码之前，我们应再次确认大家都了解 trait 是什么。有人能为全班解释 trait 吗？

3.4.4 定义 unsafe trait

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

译文 · 基于 Comprehensive Rust

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

3.4.4 定义 unsafe trait

1
2
3
4


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
/// 表示该类型使用 32 位内存。
pub trait Size32 {}

「现在我们来定义自己的 unsafe trait。」