most types have additional invariants beyond merely being considered initialized at the type level. For example, a 1-initialized Vec<T> is considered initialized (under the current implementation; this does not constitute a stable guarantee) because the only requirement the compiler knows about it is that the data pointer must be non-null.
Это отсюда: https://doc.rust-lang.org/std/mem/union.MaybeUninit.html
Кажется, дошло. Это как zero-initialized, только не нулями. Почему-то изначально подумал, что это какой-то особый термин.
Обсуждают сегодня