|
| 1 | +use repr::Maybe; |
| 2 | +use std::mem::MaybeUninit; |
| 3 | + |
| 4 | +/// # Safety |
| 5 | +/// This trait should only be implemented in `workerd-cxx` on types |
| 6 | +/// which contain a specialization of `kj::Maybe` that needs to be represented in |
| 7 | +/// Rust. |
| 8 | +unsafe trait HasNiche: Sized { |
| 9 | + fn is_niche(value: &MaybeUninit<Self>) -> bool; |
| 10 | +} |
| 11 | + |
| 12 | +unsafe impl<T> HasNiche for *const T { |
| 13 | + fn is_niche(value: &MaybeUninit<*const T>) -> bool { |
| 14 | + unsafe { value.assume_init().is_null() } |
| 15 | + } |
| 16 | +} |
| 17 | + |
| 18 | +unsafe impl<T> HasNiche for *mut T { |
| 19 | + fn is_niche(value: &MaybeUninit<*mut T>) -> bool { |
| 20 | + unsafe { value.assume_init().is_null() } |
| 21 | + } |
| 22 | +} |
| 23 | + |
| 24 | +unsafe impl<T> HasNiche for &T { |
| 25 | + fn is_niche(value: &MaybeUninit<&T>) -> bool { |
| 26 | + unsafe { |
| 27 | + std::mem::transmute_copy::<MaybeUninit<&T>, MaybeUninit<*const T>>(value) |
| 28 | + // This is to avoid potentially zero-initalizing a reference, which is always undefined behavior |
| 29 | + .assume_init() |
| 30 | + .is_null() |
| 31 | + } |
| 32 | + } |
| 33 | +} |
| 34 | + |
| 35 | +unsafe impl<T> HasNiche for &mut T { |
| 36 | + fn is_niche(value: &MaybeUninit<&mut T>) -> bool { |
| 37 | + unsafe { |
| 38 | + std::mem::transmute_copy::<MaybeUninit<&mut T>, MaybeUninit<*mut T>>(value) |
| 39 | + // This is to avoid potentially zero-initalizing a reference, which is always undefined behavior |
| 40 | + .assume_init() |
| 41 | + .is_null() |
| 42 | + } |
| 43 | + } |
| 44 | +} |
| 45 | + |
| 46 | +unsafe impl<T> HasNiche for crate::repr::Own<T> { |
| 47 | + fn is_niche(value: &MaybeUninit<crate::repr::Own<T>>) -> bool { |
| 48 | + unsafe { value.assume_init_ref().as_ptr().is_null() } |
| 49 | + } |
| 50 | +} |
| 51 | + |
| 52 | +/// Trait that is used as the bounds for what can be in a Maybe |
| 53 | +/// |
| 54 | +/// # Safety |
| 55 | +/// This trait should always be automatically implemented and should |
| 56 | +/// never be manually implemented |
| 57 | +pub unsafe trait MaybeItem: Sized { |
| 58 | + type Discriminant: Copy; |
| 59 | + fn is_some(value: &Maybe<Self>) -> bool; |
| 60 | + fn is_none(value: &Maybe<Self>) -> bool; |
| 61 | + fn from_option(value: Option<Self>) -> Maybe<Self>; |
| 62 | + fn drop_in_place(value: &mut Maybe<Self>) { |
| 63 | + if <Self as MaybeItem>::is_some(value) { |
| 64 | + unsafe { |
| 65 | + value.some.assume_init_drop(); |
| 66 | + } |
| 67 | + } |
| 68 | + } |
| 69 | +} |
| 70 | + |
| 71 | +macro_rules! impl_maybe_item_for_has_niche { |
| 72 | + () => {}; |
| 73 | + ($ty:ty) => { |
| 74 | + unsafe impl<T> MaybeItem for $ty { |
| 75 | + type Discriminant = (); |
| 76 | + |
| 77 | + fn is_some(value: &Maybe<Self>) -> bool { |
| 78 | + !<$ty as HasNiche>::is_niche(&value.some) |
| 79 | + } |
| 80 | + |
| 81 | + fn is_none(value: &Maybe<Self>) -> bool { |
| 82 | + <$ty as HasNiche>::is_niche(&value.some) |
| 83 | + } |
| 84 | + |
| 85 | + fn from_option(value: Option<Self>) -> Maybe<Self> { |
| 86 | + match value { |
| 87 | + None => Maybe { |
| 88 | + is_set: (), |
| 89 | + some: MaybeUninit::zeroed(), |
| 90 | + }, |
| 91 | + Some(val) => Maybe { |
| 92 | + is_set: (), |
| 93 | + some: MaybeUninit::new(val), |
| 94 | + } |
| 95 | + } |
| 96 | + } |
| 97 | + } |
| 98 | + }; |
| 99 | + ($ty:ty, $($tail:ty),+) => { |
| 100 | + impl_maybe_item_for_has_niche!($ty); |
| 101 | + impl_maybe_item_for_has_niche!($($tail),*); |
| 102 | + }; |
| 103 | +} |
| 104 | + |
| 105 | +macro_rules! impl_maybe_item_for_primitive { |
| 106 | + () => {}; |
| 107 | + ($ty:ty) => { |
| 108 | + unsafe impl MaybeItem for $ty { |
| 109 | + type Discriminant = bool; |
| 110 | + |
| 111 | + fn is_some(value: &Maybe<Self>) -> bool { |
| 112 | + value.is_set |
| 113 | + } |
| 114 | + |
| 115 | + fn is_none(value: &Maybe<Self>) -> bool { |
| 116 | + !value.is_set |
| 117 | + } |
| 118 | + |
| 119 | + fn from_option(value: Option<Self>) -> Maybe<Self> { |
| 120 | + match value { |
| 121 | + None => Maybe { |
| 122 | + is_set: false, |
| 123 | + some: MaybeUninit::zeroed(), |
| 124 | + }, |
| 125 | + Some(val) => Maybe { |
| 126 | + is_set: true, |
| 127 | + some: MaybeUninit::new(val), |
| 128 | + } |
| 129 | + } |
| 130 | + } |
| 131 | + } |
| 132 | + }; |
| 133 | + ($ty:ty, $($tail:ty),+) => { |
| 134 | + impl_maybe_item_for_primitive!($ty); |
| 135 | + impl_maybe_item_for_primitive!($($tail),*); |
| 136 | + }; |
| 137 | +} |
| 138 | + |
| 139 | +impl_maybe_item_for_has_niche!(crate::Own<T>, &T, &mut T, *const T, *mut T); |
| 140 | +impl_maybe_item_for_primitive!( |
| 141 | + u8, u16, u32, u64, u128, i8, i16, i32, i64, i128, usize, isize, bool |
| 142 | +); |
| 143 | + |
| 144 | +pub(crate) mod repr { |
| 145 | + use super::MaybeItem; |
| 146 | + use static_assertions::assert_eq_size; |
| 147 | + use std::fmt::{Debug, Display}; |
| 148 | + use std::mem::MaybeUninit; |
| 149 | + |
| 150 | + /// A [`Maybe`] represents bindings to the `kj::Maybe` class. |
| 151 | + /// It is an optional type, but represented using a struct, for alignment with kj. |
| 152 | + /// |
| 153 | + /// # Layout |
| 154 | + /// In kj, `Maybe` has 3 specializations, one without niche value optimization, and |
| 155 | + /// two with it. In order to maintain an identical layout in Rust, we include a second |
| 156 | + /// generic argument with a default value of `bool`, which functions as a flag for whether |
| 157 | + /// the `Maybe` is some or none. |
| 158 | + /// |
| 159 | + /// ## Niche Value Optimization |
| 160 | + /// In kj, however, references which may be null are stored using a `kj::Maybe`, and utilize |
| 161 | + /// the niche value optimization. To accomplish this in Rust, we create a struct, [`Niche`], |
| 162 | + /// which has zero size, and is used as both the generic value of the discriminant, and as |
| 163 | + /// a typestate generic to specify that our [`Maybe`] utilizes niche value optimization. |
| 164 | + #[repr(C)] |
| 165 | + pub struct Maybe<T: MaybeItem> { |
| 166 | + pub(super) is_set: T::Discriminant, |
| 167 | + pub(super) some: MaybeUninit<T>, |
| 168 | + } |
| 169 | + |
| 170 | + assert_eq_size!(Maybe<isize>, [usize; 2]); |
| 171 | + assert_eq_size!(Maybe<&isize>, usize); |
| 172 | + assert_eq_size!(Maybe<crate::Own<isize>>, [usize; 2]); |
| 173 | + assert_eq_size!(Maybe<*const isize>, usize); |
| 174 | + |
| 175 | + impl<T: MaybeItem> Maybe<T> { |
| 176 | + /// # Safety |
| 177 | + /// This function shouldn't be used except by macro generation. |
| 178 | + pub unsafe fn is_set(&self) -> T::Discriminant { |
| 179 | + self.is_set |
| 180 | + } |
| 181 | + |
| 182 | + /// # Safety |
| 183 | + /// This function shouldn't be used except by macro generation. |
| 184 | + pub unsafe fn from_parts_unchecked( |
| 185 | + is_set: T::Discriminant, |
| 186 | + some: MaybeUninit<T>, |
| 187 | + ) -> Maybe<T> { |
| 188 | + Maybe { is_set, some } |
| 189 | + } |
| 190 | + |
| 191 | + pub fn is_some(&self) -> bool { |
| 192 | + T::is_some(self) |
| 193 | + } |
| 194 | + |
| 195 | + pub fn is_none(&self) -> bool { |
| 196 | + T::is_none(self) |
| 197 | + } |
| 198 | + } |
| 199 | + |
| 200 | + impl<T: MaybeItem> From<Maybe<T>> for Option<T> { |
| 201 | + fn from(value: Maybe<T>) -> Self { |
| 202 | + if value.is_some() { |
| 203 | + // We can't move out of value so we copy it and forget it in |
| 204 | + // order to perform a "manual" move out of value |
| 205 | + let ret = unsafe { Some(value.some.assume_init_read()) }; |
| 206 | + std::mem::forget(value); |
| 207 | + ret |
| 208 | + } else { |
| 209 | + None |
| 210 | + } |
| 211 | + } |
| 212 | + } |
| 213 | + |
| 214 | + impl<T: MaybeItem> From<Option<T>> for Maybe<T> { |
| 215 | + fn from(value: Option<T>) -> Self { |
| 216 | + <T as MaybeItem>::from_option(value) |
| 217 | + } |
| 218 | + } |
| 219 | + |
| 220 | + impl<T: MaybeItem + Debug> Debug for Maybe<T> { |
| 221 | + fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { |
| 222 | + if self.is_none() { |
| 223 | + write!(f, "kj::None") |
| 224 | + } else { |
| 225 | + write!(f, "kj::Some({:?})", unsafe { self.some.assume_init_ref() }) |
| 226 | + } |
| 227 | + } |
| 228 | + } |
| 229 | + |
| 230 | + impl<T: MaybeItem + Display> Display for Maybe<T> { |
| 231 | + fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result { |
| 232 | + if self.is_none() { |
| 233 | + write!(f, "kj::None") |
| 234 | + } else { |
| 235 | + write!(f, "kj::Some({})", unsafe { self.some.assume_init_ref() }) |
| 236 | + } |
| 237 | + } |
| 238 | + } |
| 239 | + |
| 240 | + impl<T: MaybeItem> Drop for Maybe<T> { |
| 241 | + fn drop(&mut self) { |
| 242 | + T::drop_in_place(self); |
| 243 | + } |
| 244 | + } |
| 245 | +} |
0 commit comments