3.5 Unsafe 函数 on 编程那些事儿

3.5.1 Unsafe Rust 函数

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-rust/unsafe-functions/rust.html

3.5.1 Unsafe Rust 函数

若你自己的函数需要特定前置条件才能避免未定义行为，可以将其标记为 unsafe。

 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


// Copyright 2025 Google LLC
// SPDX-License-Identifier: Apache-2.0
/// 交换两个指针所指向的值。
///
/// # Safety
///
/// 指针必须有效、正确对齐，并且在函数调用期间不被以其他方式访问。
unsafe fn swap(a: *mut u8, b: *mut u8) {
 // SAFETY: 调用方承诺指针有效、正确对齐，且无其他访问。
 unsafe {
 let temp = *a;
 *a = *b;
 *b = temp;
 }
}

fn main() {
 let mut a = 42;
 let mut b = 66;

 // SAFETY: 指针来自引用，因此有效、对齐且唯一。
 unsafe {
 swap(&mut a, &mut b);
 }

 println!("a = {}, b = {}", a, b);
}

讲师备注

实际中我们不会用指针写 swap 函数——用引用就能安全完成。

3.5.2 Unsafe 外部函数

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-rust/unsafe-functions/extern-c.html

3.5.2 Unsafe 外部函数

可用 unsafe extern 声明供 Rust 访问的外部函数。这是 unsafe 的，因为编译器无法推理它们的行为。extern 块中声明的函数必须标记为 safe 或 unsafe，取决于安全使用是否有前置条件：

3.5.3 调用 Unsafe 函数

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-rust/unsafe-functions/calling.html

3.5.3 调用 Unsafe 函数

未能满足安全要求会破坏内存安全！

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20


// Copyright 2025 Google LLC
// SPDX-License-Identifier: Apache-2.0
#[derive(Debug)]
#[repr(C)]
struct KeyPair {
 pk: [u16; 4], // 8 bytes
 sk: [u16; 4], // 8 bytes
}

const PK_BYTE_LEN: usize = 8;

fn log_public_key(pk_ptr: *const u16) {
 let pk: &[u16] = unsafe { std::slice::from_raw_parts(pk_ptr, PK_BYTE_LEN) };
 println!("{pk:?}");
}

fn main() {
 let key_pair = KeyPair { pk: [1, 2, 3, 4], sk: [0, 0, 42, 0] };
 log_public_key(key_pair.pk.as_ptr());
}

请始终为每个 unsafe 块附上 safety 注释，解释为何该代码实际上是安全的。本例缺少 safety 注释，并且是不健全（unsound）的。