第5章未初始化内存 on 编程那些事儿

5.1 受检的未初始化

Thu, 06 Aug 2026 17:08:00 +0800

译文 · 基于 The Rustonomicon

受检的未初始化

原文链接: https://doc.rust-lang.org/nomicon/checked-uninit.html

　　与 C 类似，Rust 中所有栈变量在显式赋值之前都是未初始化的。与 C 不同，Rust 静态阻止你在赋值前读取它们：

fn main() {
 let x: i32;
 println!("{}", x);
}

1
2
3


 |
3 | println!("{}", x);
 | ^ use of possibly uninitialized `x`

　　这基于基本分支分析：每个分支在首次使用前必须为 x 赋值。简言之，也说「x 已初始化」或「x 未初始化」。

5.2 Drop 标志

Thu, 06 Aug 2026 17:08:00 +0800

译文 · 基于 The Rustonomicon

Drop 标志

原文链接: https://doc.rust-lang.org/nomicon/drop-flags.html

　　上一节的例子为 Rust 引入了一个有趣问题。　　我们已经看到可以有条件地初始化、去初始化和重新初始化内存位置，且完全安全。对 Copy 类型这不特别值得注意，因为它们只是随机比特堆。但有析构函数的类型不同：Rust 需要知道变量被赋值或变量离开作用域时是否应调用析构函数。　　在有条件初始化的情况下如何做到？

5.3 未受检的未初始化

Thu, 06 Aug 2026 17:08:00 +0800

译文 · 基于 The Rustonomicon

未受检的未初始化

原文链接: https://doc.rust-lang.org/nomicon/unchecked-uninit.html

　　此规则的一个有趣例外是处理数组。Safe Rust 不允许部分初始化数组。初始化数组时，要么用 let x = [val; N] 把所有元素设为同一值，要么用 let x = [val1, val2, val3] 逐个指定。遗憾的是这相当死板，尤其需要更渐进或动态方式初始化数组时。

第5章 未初始化内存 on 编程那些事儿

5.1 受检的未初始化

受检的未初始化

5.2 Drop 标志

Drop 标志

5.3 未受检的未初始化

未受检的未初始化

第5章未初始化内存 on 编程那些事儿