MaybeUninit

MaybeUninit<T> позволяет Rust ссылаться на неинициализированную память.

// Copyright 2026 Google LLC
// SPDX-License-Identifier: Apache-2.0

use std::mem::MaybeUninit;

fn main() {
    let uninit = MaybeUninit::<&i32>::uninit();
    println!("{uninit:?}");
}

This slide and its sub-slides should take about 16 minutes.

«Безопасный Rust не может ссылаться на данные, которые потенциально не инициализированы».

«Однако все данные поступают в программу неинициализированными».

«Поэтому нам нужен мост в системе типов, который позволит памяти переходить между состояниями. Таким типом и является MaybeUninit<T>».

«MaybeUninit<T> очень похож на тип Option<T>, хотя его семантика сильно отличается. Аналог Option::None для MaybeUninit<T> — неинициализированная память, в которую безопасно только записывать».

«Чтение из памяти, которая может быть неинициализированной, крайне опасно».

Keyboard shortcuts

Comprehensive Rust 🦀

MaybeUninit