1//! Based on
2//! <https://github.com/matthieu-m/rfc2580/blob/b58d1d3cba0d4b5e859d3617ea2d0943aaa31329/examples/thin.rs>
3//! by matthieu-m
45use core::error::Error;
6use core::fmt::{self, Debug, Display, Formatter};
7#[cfg(not(no_global_oom_handling))]
8use core::intrinsics::{const_allocate, const_make_global};
9use core::marker::PhantomData;
10#[cfg(not(no_global_oom_handling))]
11use core::marker::Unsize;
12#[cfg(not(no_global_oom_handling))]
13use core::mem;
14use core::mem::{DropGuard, SizedTypeProperties};
15use core::ops::{Deref, DerefMut};
16use core::ptr::{self, NonNull, Pointee};
1718use crate::alloc::{self, Layout, LayoutError};
1920/// ThinBox.
21///
22/// A thin pointer for heap allocation, regardless of T.
23///
24/// # Examples
25///
26/// ```
27/// #![feature(thin_box)]
28/// use std::boxed::ThinBox;
29///
30/// let five = ThinBox::new(5);
31/// let thin_slice = ThinBox::<[i32]>::new_unsize([1, 2, 3, 4]);
32///
33/// let size_of_ptr = size_of::<*const ()>();
34/// assert_eq!(size_of_ptr, size_of_val(&five));
35/// assert_eq!(size_of_ptr, size_of_val(&thin_slice));
36/// ```
37#[unstable(feature = "thin_box", issue = "92791")]
38pub struct ThinBox<T: ?Sized> {
39// This is essentially `WithHeader<<T as Pointee>::Metadata>`,
40 // but that would be invariant in `T`, and we want covariance.
41ptr: WithOpaqueHeader,
42 _marker: PhantomData<T>,
43}
4445/// `ThinBox<T>` is `Send` if `T` is `Send` because the data is owned.
46#[unstable(feature = "thin_box", issue = "92791")]
47unsafe impl<T: ?Sized + Send> Sendfor ThinBox<T> {}
4849/// `ThinBox<T>` is `Sync` if `T` is `Sync` because the data is owned.
50#[unstable(feature = "thin_box", issue = "92791")]
51unsafe impl<T: ?Sized + Sync> Syncfor ThinBox<T> {}
5253#[unstable(feature = "thin_box", issue = "92791")]
54impl<T> ThinBox<T> {
55/// Moves a type to the heap with its [`Metadata`] stored in the heap allocation instead of on
56 /// the stack.
57 ///
58 /// # Examples
59 ///
60 /// ```
61 /// #![feature(thin_box)]
62 /// use std::boxed::ThinBox;
63 ///
64 /// let five = ThinBox::new(5);
65 /// ```
66 ///
67 /// [`Metadata`]: core::ptr::Pointee::Metadata
68#[cfg(not(no_global_oom_handling))]
69pub fn new(value: T) -> Self {
70let meta = ptr::metadata(&value);
71let ptr = WithOpaqueHeader::new(meta, value);
72ThinBox { ptr, _marker: PhantomData }
73 }
7475/// Moves a type to the heap with its [`Metadata`] stored in the heap allocation instead of on
76 /// the stack. Returns an error if allocation fails, instead of aborting.
77 ///
78 /// # Examples
79 ///
80 /// ```
81 /// #![feature(allocator_api)]
82 /// #![feature(thin_box)]
83 /// use std::boxed::ThinBox;
84 ///
85 /// let five = ThinBox::try_new(5)?;
86 /// # Ok::<(), std::alloc::AllocError>(())
87 /// ```
88 ///
89 /// [`Metadata`]: core::ptr::Pointee::Metadata
90pub fn try_new(value: T) -> Result<Self, core::alloc::AllocError> {
91let meta = ptr::metadata(&value);
92WithOpaqueHeader::try_new(meta, value).map(|ptr| ThinBox { ptr, _marker: PhantomData })
93 }
94}
9596#[unstable(feature = "thin_box", issue = "92791")]
97impl<Dyn: ?Sized> ThinBox<Dyn> {
98/// Moves a type to the heap with its [`Metadata`] stored in the heap allocation instead of on
99 /// the stack.
100 ///
101 /// # Examples
102 ///
103 /// ```
104 /// #![feature(thin_box)]
105 /// use std::boxed::ThinBox;
106 ///
107 /// let thin_slice = ThinBox::<[i32]>::new_unsize([1, 2, 3, 4]);
108 /// ```
109 ///
110 /// [`Metadata`]: core::ptr::Pointee::Metadata
111#[cfg(not(no_global_oom_handling))]
112pub fn new_unsize<T>(value: T) -> Self
113where
114T: Unsize<Dyn>,
115 {
116if T::IS_ZST {
117let ptr = WithOpaqueHeader::new_unsize_zst::<Dyn, T>(value);
118ThinBox { ptr, _marker: PhantomData }
119 } else {
120let meta = ptr::metadata(&valueas &Dyn);
121let ptr = WithOpaqueHeader::new(meta, value);
122ThinBox { ptr, _marker: PhantomData }
123 }
124 }
125}
126127#[unstable(feature = "thin_box", issue = "92791")]
128impl<T: ?Sized + Debug> Debugfor ThinBox<T> {
129fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
130 Debug::fmt(self.deref(), f)
131 }
132}
133134#[unstable(feature = "thin_box", issue = "92791")]
135impl<T: ?Sized + Display> Displayfor ThinBox<T> {
136fn fmt(&self, f: &mut Formatter<'_>) -> fmt::Result {
137 Display::fmt(self.deref(), f)
138 }
139}
140141#[unstable(feature = "thin_box", issue = "92791")]
142impl<T: ?Sized> Dereffor ThinBox<T> {
143type Target = T;
144145fn deref(&self) -> &T {
146let value = self.data();
147let metadata = self.meta();
148let pointer = ptr::from_raw_parts(valueas *const (), metadata);
149// SAFETY: &ThinBox<T> points to a valid pointer for T.
150unsafe { &*pointer }
151 }
152}
153154#[unstable(feature = "thin_box", issue = "92791")]
155impl<T: ?Sized> DerefMutfor ThinBox<T> {
156fn deref_mut(&mut self) -> &mut T {
157let value = self.data();
158let metadata = self.meta();
159let pointer = ptr::from_raw_parts_mut::<T>(valueas *mut (), metadata);
160// SAFETY: &mut ThinBox<T> points to a valid and unique pointer for T.
161unsafe { &mut *pointer }
162 }
163}
164165#[unstable(feature = "thin_box", issue = "92791")]
166impl<T: ?Sized> Dropfor ThinBox<T> {
167fn drop(&mut self) {
168// ignore-tidy-undocumented-unsafe
169unsafe {
170let value = self.deref_mut();
171let value = valueas *mut T;
172self.with_header().drop::<T>(value);
173 }
174 }
175}
176177#[unstable(feature = "thin_box", issue = "92791")]
178impl<T: ?Sized> ThinBox<T> {
179fn meta(&self) -> <T as Pointee>::Metadata {
180// SAFETY: NonNull and valid.
181unsafe { *self.with_header().header() }
182 }
183184fn data(&self) -> *mut u8 {
185self.with_header().value()
186 }
187188fn with_header(&self) -> &WithHeader<<T as Pointee>::Metadata> {
189// SAFETY: both types are transparent to `NonNull<u8>`
190unsafe { &*((&raw const self.ptr) as *const WithHeader<_>) }
191 }
192}
193194/// A pointer to type-erased data, guaranteed to either be:
195/// 1. `NonNull::dangling()`, in the case where both the pointee (`T`) and
196/// metadata (`H`) are ZSTs.
197/// 2. A pointer to a valid `T` that has a header `H` directly before the
198/// pointed-to location.
199#[repr(transparent)]
200struct WithHeader<H>(NonNull<u8>, PhantomData<H>);
201202/// An opaque representation of `WithHeader<H>` to avoid the
203/// projection invariance of `<T as Pointee>::Metadata`.
204#[repr(transparent)]
205struct WithOpaqueHeader(NonNull<u8>);
206207impl WithOpaqueHeader {
208#[cfg(not(no_global_oom_handling))]
209fn new<H, T>(header: H, value: T) -> Self {
210let ptr = WithHeader::new(header, value);
211Self(ptr.0)
212 }
213214#[cfg(not(no_global_oom_handling))]
215fn new_unsize_zst<Dyn, T>(value: T) -> Self
216where
217Dyn: ?Sized,
218 T: Unsize<Dyn>,
219 {
220let ptr = WithHeader::<<Dyn as Pointee>::Metadata>::new_unsize_zst::<Dyn, T>(value);
221Self(ptr.0)
222 }
223224fn try_new<H, T>(header: H, value: T) -> Result<Self, core::alloc::AllocError> {
225WithHeader::try_new(header, value).map(|ptr| Self(ptr.0))
226 }
227}
228229impl<H> WithHeader<H> {
230#[cfg(not(no_global_oom_handling))]
231fn new<T>(header: H, value: T) -> WithHeader<H> {
232let value_layout = Layout::new::<T>();
233let Ok((layout, value_offset)) = Self::alloc_layout(value_layout) else {
234// We pass an empty layout here because we do not know which layout caused the
235 // arithmetic overflow in `Layout::extend` and `handle_alloc_error` takes `Layout` as
236 // its argument rather than `Result<Layout, LayoutError>`, also this function has been
237 // stable since 1.28 ._.
238 //
239 // On the other hand, look at this gorgeous turbofish!
240alloc::handle_alloc_error(Layout::new::<()>());
241 };
242243// ignore-tidy-undocumented-unsafe
244unsafe {
245// Note: It's UB to pass a layout with a zero size to `alloc::alloc`, so
246 // we use `layout.dangling()` for this case, which should have a valid
247 // alignment for both `T` and `H`.
248let ptr = if layout.size() == 0 {
249// Some paranoia checking, mostly so that the ThinBox tests are
250 // more able to catch issues.
251if true {
if !(value_offset == 0 && T::IS_ZST && H::IS_ZST) {
::core::panicking::panic("assertion failed: value_offset == 0 && T::IS_ZST && H::IS_ZST")
};
};debug_assert!(value_offset == 0 && T::IS_ZST && H::IS_ZST);
252layout.dangling_ptr()
253 } else {
254let ptr = alloc::alloc(layout);
255if ptr.is_null() {
256 alloc::handle_alloc_error(layout);
257 }
258// Safety:
259 // - The size is at least `aligned_header_size`.
260let ptr = ptr.add(value_offset) as *mut _;
261262NonNull::new_unchecked(ptr)
263 };
264265let result = WithHeader(ptr, PhantomData);
266 ptr::write(result.header(), header);
267 ptr::write(result.value().cast(), value);
268269result270 }
271 }
272273/// Non-panicking version of `new`.
274 /// Any error is returned as `Err(core::alloc::AllocError)`.
275fn try_new<T>(header: H, value: T) -> Result<WithHeader<H>, core::alloc::AllocError> {
276let value_layout = Layout::new::<T>();
277let Ok((layout, value_offset)) = Self::alloc_layout(value_layout) else {
278return Err(core::alloc::AllocError);
279 };
280281// ignore-tidy-undocumented-unsafe
282unsafe {
283// Note: It's UB to pass a layout with a zero size to `alloc::alloc`, so
284 // we use `layout.dangling()` for this case, which should have a valid
285 // alignment for both `T` and `H`.
286let ptr = if layout.size() == 0 {
287// Some paranoia checking, mostly so that the ThinBox tests are
288 // more able to catch issues.
289if true {
if !(value_offset == 0 && T::IS_ZST && H::IS_ZST) {
::core::panicking::panic("assertion failed: value_offset == 0 && T::IS_ZST && H::IS_ZST")
};
};debug_assert!(value_offset == 0 && T::IS_ZST && H::IS_ZST);
290layout.dangling_ptr()
291 } else {
292let ptr = alloc::alloc(layout);
293if ptr.is_null() {
294return Err(core::alloc::AllocError);
295 }
296297// Safety:
298 // - The size is at least `aligned_header_size`.
299let ptr = ptr.add(value_offset) as *mut _;
300301NonNull::new_unchecked(ptr)
302 };
303304let result = WithHeader(ptr, PhantomData);
305 ptr::write(result.header(), header);
306 ptr::write(result.value().cast(), value);
307308Ok(result)
309 }
310 }
311312// `Dyn` is `?Sized` type like `[u32]`, and `T` is ZST type like `[u32; 0]`.
313#[cfg(not(no_global_oom_handling))]
314fn new_unsize_zst<Dyn, T>(value: T) -> WithHeader<H>
315where
316Dyn: Pointee<Metadata = H> + ?Sized,
317 T: Unsize<Dyn>,
318 {
319if !T::IS_ZST { ::core::panicking::panic("assertion failed: T::IS_ZST") };assert!(T::IS_ZST);
320321const fn max(a: usize, b: usize) -> usize {
322if a > b { a } else { b }
323 }
324325// Compute a pointer to the right metadata. This will point to the beginning
326 // of the header, past the padding, so the assigned type makes sense.
327 // It also ensures that the address at the end of the header is sufficiently
328 // aligned for T.
329let alloc: &<Dyn as Pointee>::Metadata = const {
330// FIXME: just call `WithHeader::alloc_layout` with size reset to 0.
331 // Currently that's blocked on `Layout::extend` not being `const fn`.
332333let alloc_align = max(align_of::<T>(), align_of::<<Dyn as Pointee>::Metadata>());
334335let alloc_size = max(align_of::<T>(), size_of::<<Dyn as Pointee>::Metadata>());
336337// SAFETY: align is power of two because it is the maximum of two alignments.
338let alloc: *mut u8 = unsafe { const_allocate(alloc_size, alloc_align) };
339340let metadata_offset =
341alloc_size.checked_sub(size_of::<<Dyn as Pointee>::Metadata>()).unwrap();
342let metadata_ptr: *mut <Dyn as Pointee>::Metadata =
343// SAFETY: adding offset within the allocation.
344unsafe { alloc.add(metadata_offset).cast() };
345// SAFETY: `*metadata_ptr` is within the allocation.
346unsafe {
347metadata_ptr.write(ptr::metadata::<Dyn>(ptr::dangling::<T>() as *const Dyn));
348 }
349// SAFETY: valid heap allocation
350unsafe { const_make_global(alloc) };
351// SAFETY: we have just written the metadata.
352unsafe { &*metadata_ptr }
353 };
354355let value_ptr =
356// SAFETY: `alloc` points to `<Dyn as Pointee>::Metadata`, so addition stays in-bounds.
357unsafe { (allocas *const <Dyn as Pointee>::Metadata).add(1) }.cast::<T>().cast_mut();
358if true {
if !value_ptr.is_aligned() {
::core::panicking::panic("assertion failed: value_ptr.is_aligned()")
};
};debug_assert!(value_ptr.is_aligned());
359 mem::forget(value);
360WithHeader(NonNull::new(value_ptr.cast()).unwrap(), PhantomData)
361 }
362363// Safety:
364 // - Assumes that either `value` can be dereferenced, or is the
365 // `NonNull::dangling()` we use when both `T` and `H` are ZSTs.
366unsafe fn drop<T: ?Sized>(&self, value: *mut T) {
367// SAFETY: Caller ensures `value` is valid.
368let value_layout = unsafe { Layout::for_value_raw(value) };
369370let _guard;
371372// All ZST are allocated statically.
373if value_layout.size() != 0 {
374_guard = DropGuard::new(self.0, |ptr| {
375let layout = WithHeader::<H>::alloc_layout(value_layout);
376// SAFETY: Layout must have been computable if we're in this callback
377let (layout, value_offset) = unsafe { layout.unwrap_unchecked() };
378// Since we only allocate for non-ZSTs, the layout size cannot be zero.
379if true {
{
match (&layout.size(), &0) {
(left_val, right_val) => {
if *left_val == *right_val {
let kind = ::core::panicking::AssertKind::Ne;
::core::panicking::assert_failed(kind, &*left_val,
&*right_val, ::core::option::Option::None);
}
}
}
};
};debug_assert_ne!(layout.size(), 0);
380// SAFETY: We own the allocation with `layout` at `ptr - value_offset`.
381unsafe { alloc::dealloc(ptr.as_ptr().sub(value_offset), layout) };
382 });
383 }
384385// We only drop the value because the Pointee trait requires that the metadata is copy
386 // aka trivially droppable.
387 // SAFETY: We're the only droppers of `value` and it's not dropped again.
388unsafe { ptr::drop_in_place::<T>(value) };
389 }
390391fn header(&self) -> *mut H {
392// SAFETY:
393 // - At least `size_of::<H>()` bytes are allocated ahead of the pointer.
394 // - We know that H will be aligned because the middle pointer is aligned to the greater
395 // of the alignment of the header and the data and the header size includes the padding
396 // needed to align the header. Subtracting the header size from the aligned data pointer
397 // will always result in an aligned header pointer, it just may not point to the
398 // beginning of the allocation.
399let hp = unsafe { self.0.as_ptr().sub(Self::header_size()) as *mut H };
400if true {
if !hp.is_aligned() {
::core::panicking::panic("assertion failed: hp.is_aligned()")
};
};debug_assert!(hp.is_aligned());
401hp402 }
403404fn value(&self) -> *mut u8 {
405self.0.as_ptr()
406 }
407408const fn header_size() -> usize {
409size_of::<H>()
410 }
411412fn alloc_layout(value_layout: Layout) -> Result<(Layout, usize), LayoutError> {
413Layout::new::<H>().extend(value_layout)
414 }
415}
416417#[unstable(feature = "thin_box", issue = "92791")]
418impl<T: ?Sized + Error> Errorfor ThinBox<T> {
419fn source(&self) -> Option<&(dyn Error + 'static)> {
420self.deref().source()
421 }
422}
423424#[cfg(not(no_global_oom_handling))]
425#[unstable(feature = "thin_box", issue = "92791")]
426impl<T> From<T> for ThinBox<T> {
427#[inline(always)]
428fn from(value: T) -> Self {
429Self::new(value)
430 }
431}