uninit.rs

#![feature(unsafe_destructor)]

#[deriving(Show)]
struct Uninit<T> {
    pub value: T
}

impl<T> Uninit<T> {
    unsafe fn new() -> Uninit<T> {
        Uninit {
            value: std::intrinsics::uninit()
        }
    }
}

#[unsafe_destructor]
impl<T> Drop for Uninit<T> {
    fn drop(&mut self) {
        // owner is responsible for drop
    }
}

fn main() {
    let mut v: Vec<Uninit<uint>> = Vec::new();
    for _ in range(0u, 5) {
        v.push(unsafe { Uninit::new() });
    }
    println!("{}", v);
}