1 // SPDX-License-Identifier: Apache-2.0 OR MIT
2
3 //! This module contains library internal items.
4 //!
5 //! These items must not be used outside of this crate and the pin-init-internal crate located at
6 //! `../internal`.
7
8 use super::*;
9
10 /// See the [nomicon] for what subtyping is. See also [this table].
11 ///
12 /// The reason for not using `PhantomData<*mut T>` is that that type never implements [`Send`] and
13 /// [`Sync`]. Hence `fn(*mut T) -> *mut T` is used, as that type always implements them.
14 ///
15 /// [nomicon]: https://doc.rust-lang.org/nomicon/subtyping.html
16 /// [this table]: https://doc.rust-lang.org/nomicon/phantom-data.html#table-of-phantomdata-patterns
17 pub(crate) type Invariant<T> = PhantomData<fn(*mut T) -> *mut T>;
18
19 /// Module-internal type implementing `PinInit` and `Init`.
20 ///
21 /// It is unsafe to create this type, since the closure needs to fulfill the same safety
22 /// requirement as the `__pinned_init`/`__init` functions.
23 pub(crate) struct InitClosure<F, T: ?Sized, E>(pub(crate) F, pub(crate) Invariant<(E, T)>);
24
25 // SAFETY: While constructing the `InitClosure`, the user promised that it upholds the
26 // `__init` invariants.
27 unsafe impl<T: ?Sized, F, E> Init<T, E> for InitClosure<F, T, E>
28 where
29 F: FnOnce(*mut T) -> Result<(), E>,
30 {
31 #[inline]
__init(self, slot: *mut T) -> Result<(), E>32 unsafe fn __init(self, slot: *mut T) -> Result<(), E> {
33 (self.0)(slot)
34 }
35 }
36
37 // SAFETY: While constructing the `InitClosure`, the user promised that it upholds the
38 // `__pinned_init` invariants.
39 unsafe impl<T: ?Sized, F, E> PinInit<T, E> for InitClosure<F, T, E>
40 where
41 F: FnOnce(*mut T) -> Result<(), E>,
42 {
43 #[inline]
__pinned_init(self, slot: *mut T) -> Result<(), E>44 unsafe fn __pinned_init(self, slot: *mut T) -> Result<(), E> {
45 (self.0)(slot)
46 }
47 }
48
49 /// Token type to signify successful initialization.
50 ///
51 /// Can only be constructed via the unsafe [`Self::new`] function. The initializer macros use this
52 /// token type to prevent returning `Ok` from an initializer without initializing all fields.
53 pub struct InitOk(());
54
55 impl InitOk {
56 /// Creates a new token.
57 ///
58 /// # Safety
59 ///
60 /// This function may only be called from the `init!` macro in `../internal/src/init.rs`.
61 #[inline(always)]
new() -> Self62 pub unsafe fn new() -> Self {
63 Self(())
64 }
65 }
66
67 /// This trait is only implemented via the `#[pin_data]` proc-macro. It is used to facilitate
68 /// the pin projections within the initializers.
69 ///
70 /// # Safety
71 ///
72 /// Only the `init` module is allowed to use this trait.
73 pub unsafe trait HasPinData {
74 type PinData: PinData;
75
76 #[expect(clippy::missing_safety_doc)]
__pin_data() -> Self::PinData77 unsafe fn __pin_data() -> Self::PinData;
78 }
79
80 /// Marker trait for pinning data of structs.
81 ///
82 /// # Safety
83 ///
84 /// Only the `init` module is allowed to use this trait.
85 pub unsafe trait PinData: Copy {
86 type Datee: ?Sized + HasPinData;
87
88 /// Type inference helper function.
89 #[inline(always)]
make_closure<F, E>(self, f: F) -> F where F: FnOnce(*mut Self::Datee) -> Result<InitOk, E>,90 fn make_closure<F, E>(self, f: F) -> F
91 where
92 F: FnOnce(*mut Self::Datee) -> Result<InitOk, E>,
93 {
94 f
95 }
96 }
97
98 /// This trait is automatically implemented for every type. It aims to provide the same type
99 /// inference help as `HasPinData`.
100 ///
101 /// # Safety
102 ///
103 /// Only the `init` module is allowed to use this trait.
104 pub unsafe trait HasInitData {
105 type InitData: InitData;
106
107 #[expect(clippy::missing_safety_doc)]
__init_data() -> Self::InitData108 unsafe fn __init_data() -> Self::InitData;
109 }
110
111 /// Same function as `PinData`, but for arbitrary data.
112 ///
113 /// # Safety
114 ///
115 /// Only the `init` module is allowed to use this trait.
116 pub unsafe trait InitData: Copy {
117 type Datee: ?Sized + HasInitData;
118
119 /// Type inference helper function.
120 #[inline(always)]
make_closure<F, E>(self, f: F) -> F where F: FnOnce(*mut Self::Datee) -> Result<InitOk, E>,121 fn make_closure<F, E>(self, f: F) -> F
122 where
123 F: FnOnce(*mut Self::Datee) -> Result<InitOk, E>,
124 {
125 f
126 }
127 }
128
129 pub struct AllData<T: ?Sized>(Invariant<T>);
130
131 impl<T: ?Sized> Clone for AllData<T> {
clone(&self) -> Self132 fn clone(&self) -> Self {
133 *self
134 }
135 }
136
137 impl<T: ?Sized> Copy for AllData<T> {}
138
139 // SAFETY: TODO.
140 unsafe impl<T: ?Sized> InitData for AllData<T> {
141 type Datee = T;
142 }
143
144 // SAFETY: TODO.
145 unsafe impl<T: ?Sized> HasInitData for T {
146 type InitData = AllData<T>;
147
__init_data() -> Self::InitData148 unsafe fn __init_data() -> Self::InitData {
149 AllData(PhantomData)
150 }
151 }
152
153 /// Stack initializer helper type. Use [`stack_pin_init`] instead of this primitive.
154 ///
155 /// # Invariants
156 ///
157 /// If `self.is_init` is true, then `self.value` is initialized.
158 ///
159 /// [`stack_pin_init`]: crate::stack_pin_init
160 pub struct StackInit<T> {
161 value: MaybeUninit<T>,
162 is_init: bool,
163 }
164
165 impl<T> Drop for StackInit<T> {
166 #[inline]
drop(&mut self)167 fn drop(&mut self) {
168 if self.is_init {
169 // SAFETY: As we are being dropped, we only call this once. And since `self.is_init` is
170 // true, `self.value` is initialized.
171 unsafe { self.value.assume_init_drop() };
172 }
173 }
174 }
175
176 impl<T> StackInit<T> {
177 /// Creates a new [`StackInit<T>`] that is uninitialized. Use [`stack_pin_init`] instead of this
178 /// primitive.
179 ///
180 /// [`stack_pin_init`]: crate::stack_pin_init
181 #[inline]
uninit() -> Self182 pub fn uninit() -> Self {
183 Self {
184 value: MaybeUninit::uninit(),
185 is_init: false,
186 }
187 }
188
189 /// Initializes the contents and returns the result.
190 #[inline]
init<E>(self: Pin<&mut Self>, init: impl PinInit<T, E>) -> Result<Pin<&mut T>, E>191 pub fn init<E>(self: Pin<&mut Self>, init: impl PinInit<T, E>) -> Result<Pin<&mut T>, E> {
192 // SAFETY: We never move out of `this`.
193 let this = unsafe { Pin::into_inner_unchecked(self) };
194 // The value is currently initialized, so it needs to be dropped before we can reuse
195 // the memory (this is a safety guarantee of `Pin`).
196 if this.is_init {
197 this.is_init = false;
198 // SAFETY: `this.is_init` was true and therefore `this.value` is initialized.
199 unsafe { this.value.assume_init_drop() };
200 }
201 // SAFETY: The memory slot is valid and this type ensures that it will stay pinned.
202 unsafe { init.__pinned_init(this.value.as_mut_ptr())? };
203 // INVARIANT: `this.value` is initialized above.
204 this.is_init = true;
205 // SAFETY: The slot is now pinned, since we will never give access to `&mut T`.
206 Ok(unsafe { Pin::new_unchecked(this.value.assume_init_mut()) })
207 }
208 }
209
210 #[test]
211 #[cfg(feature = "std")]
stack_init_reuse()212 fn stack_init_reuse() {
213 use ::std::{borrow::ToOwned, println, string::String};
214 use core::pin::pin;
215
216 #[derive(Debug)]
217 struct Foo {
218 a: usize,
219 b: String,
220 }
221 let mut slot: Pin<&mut StackInit<Foo>> = pin!(StackInit::uninit());
222 let value: Result<Pin<&mut Foo>, core::convert::Infallible> =
223 slot.as_mut().init(crate::init!(Foo {
224 a: 42,
225 b: "Hello".to_owned(),
226 }));
227 let value = value.unwrap();
228 println!("{value:?}");
229 let value: Result<Pin<&mut Foo>, core::convert::Infallible> =
230 slot.as_mut().init(crate::init!(Foo {
231 a: 24,
232 b: "world!".to_owned(),
233 }));
234 let value = value.unwrap();
235 println!("{value:?}");
236 }
237
238 /// When a value of this type is dropped, it drops a `T`.
239 ///
240 /// Can be forgotten to prevent the drop.
241 pub struct DropGuard<T: ?Sized> {
242 ptr: *mut T,
243 }
244
245 impl<T: ?Sized> DropGuard<T> {
246 /// Creates a new [`DropGuard<T>`]. It will [`ptr::drop_in_place`] `ptr` when it gets dropped.
247 ///
248 /// # Safety
249 ///
250 /// `ptr` must be a valid pointer.
251 ///
252 /// It is the callers responsibility that `self` will only get dropped if the pointee of `ptr`:
253 /// - has not been dropped,
254 /// - is not accessible by any other means,
255 /// - will not be dropped by any other means.
256 #[inline]
new(ptr: *mut T) -> Self257 pub unsafe fn new(ptr: *mut T) -> Self {
258 Self { ptr }
259 }
260 }
261
262 impl<T: ?Sized> Drop for DropGuard<T> {
263 #[inline]
drop(&mut self)264 fn drop(&mut self) {
265 // SAFETY: A `DropGuard` can only be constructed using the unsafe `new` function
266 // ensuring that this operation is safe.
267 unsafe { ptr::drop_in_place(self.ptr) }
268 }
269 }
270
271 /// Token used by `PinnedDrop` to prevent calling the function without creating this unsafely
272 /// created struct. This is needed, because the `drop` function is safe, but should not be called
273 /// manually.
274 pub struct OnlyCallFromDrop(());
275
276 impl OnlyCallFromDrop {
277 /// # Safety
278 ///
279 /// This function should only be called from the [`Drop::drop`] function and only be used to
280 /// delegate the destruction to the pinned destructor [`PinnedDrop::drop`] of the same type.
new() -> Self281 pub unsafe fn new() -> Self {
282 Self(())
283 }
284 }
285
286 /// Initializer that always fails.
287 ///
288 /// Used by [`assert_pinned!`].
289 ///
290 /// [`assert_pinned!`]: crate::assert_pinned
291 pub struct AlwaysFail<T: ?Sized> {
292 _t: PhantomData<T>,
293 }
294
295 impl<T: ?Sized> AlwaysFail<T> {
296 /// Creates a new initializer that always fails.
new() -> Self297 pub fn new() -> Self {
298 Self { _t: PhantomData }
299 }
300 }
301
302 impl<T: ?Sized> Default for AlwaysFail<T> {
default() -> Self303 fn default() -> Self {
304 Self::new()
305 }
306 }
307
308 // SAFETY: `__pinned_init` always fails, which is always okay.
309 unsafe impl<T: ?Sized> PinInit<T, ()> for AlwaysFail<T> {
__pinned_init(self, _slot: *mut T) -> Result<(), ()>310 unsafe fn __pinned_init(self, _slot: *mut T) -> Result<(), ()> {
311 Err(())
312 }
313 }
314