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 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174
use_prelude!();
/// Extension trait providing tranformations between init and uninit.
///
/// This is currently only implemented for [`Copy`] types, since the
/// semantics when [`drop` glue][`mem::needs_drop`] is involved are less
/// easy to handle correctly (danger of leaking memory).
///
/// # `from_mut`?
///
/// The conversion `&mut T` to `&mut MaybeUninit<T>` is actually unsound,
/// since there is nothing preventing the obtained `mut` reference to be used
/// to overwrite the pointee with `MaybeUninit::uninit()`, _i.e._, an
/// uninitialised (and thus garbage) value:
///
/// ```rust,no_run
/// use ::core::mem::{MaybeUninit, transmute};
///
/// unsafe fn from_mut<T> (it: &'_ mut T) -> &'_ mut MaybeUninit<T>
/// {
/// transmute(it)
/// }
///
/// let mut x = Box::new(42);
/// let at_x_uninit: &mut MaybeUninit<Box<i32>> = unsafe {
/// // If this were safe...
/// from_mut(&mut x)
/// };
/// // Then safe code would be able to do this:
/// *at_x_uninit = MaybeUninit::uninit(); // <--------+
/// // drop(x); // drops an uninitialized value! UB --+
/// ```
///
/// The author of the crate did overlook that and offered such transformation
/// within a non-`unsafe` function, leading to an unsound function. Hence the
/// yanked versions of the crate.
///
/// The correct way to do this now is through
/// [the `&out` reference abstraction][`crate::out_ref`].
pub
trait MaybeUninitExt {
#[allow(missing_docs)]
type T : ?Sized;
/// Converts a `&MaybeUninit<_>` to a `& _`.
///
/// # Safety
///
/// Don't be lured by the reference: this has the same safety requirements
/// that [`.assume_init`][`MaybeUninit::assume_init`] does. Mainly:
///
/// - The `Self::T` that `self` points to must be initialized.
unsafe
fn assume_init_by_ref (self: &'_ Self)
-> &'_ Self::T
;
/// Converts a `&mut MaybeUninit<_>` to a `&mut _`.
///
/// # Safety
///
/// Don't be lured by the `mut` reference: this has the same safety
/// requirements that [`.assume_init`][`MaybeUninit::assume_init`] does.
/// Mainly:
///
/// - The `Self::T` that `self` points to must be initialized.
unsafe
fn assume_init_by_mut (self: &'_ mut Self)
-> &'_ mut Self::T
;
/// Downgrades a `& _` to a `&MaybeUninit<_>`. Rarely useful.
fn from_ref (init_ref: &'_ Self::T)
-> &'_ Self
;
}
#[allow(unused_unsafe)]
impl<T : Copy> MaybeUninitExt for MaybeUninit<T> {
type T = T;
#[inline]
unsafe
fn assume_init_by_ref (self: &'_ Self)
-> &'_ Self::T
{
unsafe {
// # Safety
//
// - Same memory layout, bounded lifetimes, same mut-ness
mem::transmute(self)
}
}
#[inline]
unsafe
fn assume_init_by_mut (self: &'_ mut Self)
-> &'_ mut Self::T
{
unsafe {
// # Safety
//
// - Same memory layout, bounded lifetimes, same mut-ness
mem::transmute(self)
}
}
#[inline]
fn from_ref (some_ref: &'_ Self::T)
-> &'_ Self
{
unsafe {
// # Safety
//
// - Same memory layout, bounded lifetimes, same mut-ness
mem::transmute(some_ref)
}
}
}
#[allow(unused_unsafe)]
impl<T : Copy> MaybeUninitExt for [MaybeUninit<T>] {
type T = [T];
#[inline]
unsafe
fn assume_init_by_ref (self: &'_ Self)
-> &'_ Self::T
{
unsafe {
// # Safety
//
// - Same memory layout, bounded lifetimes, same mut-ness
let len = self.len();
slice::from_raw_parts(
self.as_ptr().cast(),
len,
)
}
}
#[inline]
unsafe
fn assume_init_by_mut (self: &'_ mut Self)
-> &'_ mut Self::T
{
unsafe {
// # Safety
//
// - Same memory layout, bounded lifetimes, same mut-ness
let len = self.len();
slice::from_raw_parts_mut(
self.as_mut_ptr().cast(),
len,
)
}
}
#[inline]
fn from_ref (slice: &'_ Self::T)
-> &'_ Self
{
unsafe {
// # Safety
//
// - Same memory layout, bounded lifetimes, same mut-ness
let len = slice.len();
slice::from_raw_parts(
slice.as_ptr().cast(),
len,
)
}
}
}