7.1 MaybeUninit（可能未初始化） on 编程那些事儿

7.1.1 未初始化数组

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/initialization/maybeuninit/arrays.html

7.1.1 未初始化数组

 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
28
29
30
31
32
33


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
use std::mem::MaybeUninit;
use std::ptr;

fn main() {
 let input = b"RUST";

 let mut buf = [const { MaybeUninit::<u8>::uninit() }; 2048];

 // 通过向内存写入值来初始化元素
 for (i, input_byte) in input.iter().enumerate() {
 unsafe {
 let dst = buf.as_mut_ptr().add(i);
 ptr::write((*dst).as_mut_ptr(), *input_byte);
 }
 }

 // 当数组的一部分已初始化时，
 // 可以使用 unsafe 将其隔离出来
 let ptr_to_init_subslice = buf.as_ptr() as *const u8;
 let init =
 unsafe { std::slice::from_raw_parts(ptr_to_init_subslice, input.len()) };
 let text = std::str::from_utf8(init).unwrap();
 println!("{text}");

 // 必须手动 drop 已初始化的元素
 for element in &mut buf[0..input.len()] {
 unsafe {
 element.assume_init_drop();
 }
 }
}

要创建未初始化内存的数组，可在 const 上下文中使用 ::uninit() 构造函数。

7.1.2 MaybeUninit::zeroed() 方法

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/initialization/maybeuninit/zeroed-method.html

7.1.2 MaybeUninit::zeroed() 方法

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


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
use std::mem::{MaybeUninit, transmute};

fn main() {
 let mut x = [const { MaybeUninit::<u32>::zeroed() }; 10];

 x[6].write(7);

 // SAFETY: `x` 的所有元素都已写入
 let x: [u32; 10] = unsafe { transmute(x) };
 println!("{x:?}")
}

「MaybeUninit<T>::zeroed() 是 MaybeUninit<T>::uninit() 的另一种构造函数。它指示编译器用零填充 T 的位。」

7.1.3 ptr::write 与赋值

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

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/unsafe-deep-dive/initialization/maybeuninit/write-vs-assignment.html

7.1.3 ptr::write 与赋值

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


// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0
use std::mem::MaybeUninit;

fn main() {
 let mut buf = MaybeUninit::<String>::uninit();

 // 初始化
 buf.write(String::from("Hello, Rust!"));

 // 覆写
 buf.write(String::from("Hi again"));

 // 赋值会替换整个 MaybeUninit 值
 buf = MaybeUninit::new(String::from("Goodbye"));

 // 确保内部值被 drop
 let _ = unsafe { buf.assume_init() };
}

替换内部值可能导致内存泄漏，因为其 drop 语义与大多数类型不同。MaybeUninit<T> 不会对内部的 T 调用析构函数。