o3 0.23.0

shared-nothing primitives
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62

use std::{mem, ops, ptr};

use crate::alloc::tail;

/// Sole authority to initialize the next slot of one owned tail.
#[must_use]
pub struct Entry<H, T> {
    block: tail::Block<H, mem::MaybeUninit<T>>,
    initialized: usize,
}

impl<H, T> Entry<H, T> {
    pub(in crate::alloc::tail) fn new(
        block: tail::Block<H, mem::MaybeUninit<T>>,
    ) -> ops::ControlFlow<tail::Block<H, T>, Self> {
        if tail::View::new(&block).is_empty() {
            // SAFETY: an empty tail has no outstanding initialization obligation.
            return ops::ControlFlow::Break(unsafe { block.assume_init() });
        }
        ops::ControlFlow::Continue(Self {
            block,
            initialized: 0,
        })
    }

    pub fn header(&self) -> &H {
        tail::View::new(&self.block).header()
    }

    pub const fn index(&self) -> usize {
        self.initialized
    }

    /// Initializes the pending slot, whose index is below the representable extent.
    pub fn insert(mut self, value: T) -> ops::ControlFlow<tail::Block<H, T>, Self> {
        // SAFETY: Entry owns exactly the next uninitialized slot inside its tail.
        unsafe {
            self.block
                .data()
                .add(self.initialized)
                .write(mem::MaybeUninit::new(value))
        };
        self.initialized += 1;
        if self.initialized == tail::View::new(&self.block).len() {
            let this = mem::ManuallyDrop::new(self);
            // SAFETY: consuming the final write transfers the completely initialized owner.
            let block = unsafe { ptr::read(&this.block).assume_init() };
            ops::ControlFlow::Break(block)
        } else {
            ops::ControlFlow::Continue(self)
        }
    }
}

impl<H, T> Drop for Entry<H, T> {
    fn drop(&mut self) {
        let values = ptr::slice_from_raw_parts_mut(self.block.data().cast::<T>(), self.initialized);
        // SAFETY: this owner retains exactly this initialized prefix; its block
        // subsequently drops the header and releases the complete allocation.
        unsafe { ptr::drop_in_place(values) };
    }
}