Struct konst::maybe_uninit::UNINIT

pub struct UNINIT<T>(/* private fields */);

Generic constant for an uninitialized MaybeUninit<T>. Usable to safely construct a [MaybeUninit<T>; LEN] when T is non-Copy.

As of Rust 1.65.0, [MaybeUninit::uninit(); LEN] is not valid for non-Copy types, but [CONST; LEN] does work, like in the example below.

Example

use konst::maybe_uninit::{self as mu, UNINIT};

use std::mem::{self, MaybeUninit};

// Intentionally doesn't implement `Copy`
#[derive(Debug, PartialEq, Eq, Clone)]
struct NonCopy(u8);

const INITS: [NonCopy; 5] = {
    let mut uninits = [UNINIT::<NonCopy>::V; 5];
    konst::for_range!{i in 0..5=>
        uninits[i] = MaybeUninit::new(NonCopy(i as u8 * 3));
    }
    unsafe{ mu::array_assume_init(uninits) }
};

assert_eq!(INITS, [NonCopy(0), NonCopy(3), NonCopy(6), NonCopy(9), NonCopy(12)]);

Implementations

impl<T> UNINIT<T>

pub const V: MaybeUninit<T> = _

The value that this constructs.