o3 0.36.1

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
63

use crate::{
    buffer,
    buffer::segments::{
        self, Chain, Handle, Header, Pool,
        chain::{edit, view},
        handles,
    },
};

/// An exclusive, nonempty front whose owner can be inspected or taken.
pub struct Front<'a, T, H: Handle<T> = Pool<T>> {
    pub(in crate::buffer::segments::chain) sequence: &'a mut Chain<T, H>,
}

impl<'a, T: buffer::raw::Segment, H: Handle<T>> Front<'a, T, H> {
    pub fn get(&self) -> &T {
        // SAFETY: Front retains the original exclusive nonempty sequence loan.
        match unsafe { self.sequence.occupied() } {
            view::Occupied::Single(_, item) => item,
            view::Occupied::Multi(desc) => {
                // SAFETY: this retained descriptor owns its initialized front in this exact store.
                unsafe { handles::nodes(&self.sequence.handle).value(desc.links.head_raw()) }
            }
        }
        .as_ref()
    }

    pub(in crate::buffer::segments::chain) fn position(&self) -> handles::Occupied {
        // SAFETY: every Front constructor retains exclusive ownership of a nonempty sequence.
        unsafe { self.sequence.key.occupied() }
    }

    pub fn pop(self) -> T {
        self.take().into_inner()
    }

    /// Removes and returns the admitted nonempty front owner.
    #[inline(always)]
    pub fn take(self) -> segments::Item<T> {
        match self.position() {
            handles::Occupied::Single(index) => edit::Single {
                sequence: self.sequence,
                index,
            }
            .take(),
            handles::Occupied::Multi(index) => {
                edit::Multi {
                    sequence: self.sequence,
                    index,
                }
                .take_front()
                .0
            }
        }
    }
}

const _: () = {
    assert!(size_of::<Front<'static, (), Pool<()>>>() == size_of::<usize>());
    assert!(size_of::<Option<Front<'static, (), Pool<()>>>>() == size_of::<usize>());
    assert!(size_of::<Front<'static, (), &Header<()>>>() == size_of::<usize>());
    assert!(size_of::<Option<Front<'static, (), &Header<()>>>>() == size_of::<usize>());
};