Skip to main content

core/mem/
mod.rs

1//! Basic functions for dealing with memory, values, and types.
2//!
3//! The contents of this module can be seen as belonging to a few families:
4//!
5//! * [`drop`], [`replace`], [`swap`], and [`take`]
6//!   are safe functions for moving values in particular ways.
7//!   They are useful in everyday Rust code.
8//!
9//! * [`size_of`], [`size_of_val`], [`align_of`], [`align_of_val`], and [`offset_of`]
10//!   give information about the representation of values in memory.
11//!
12//! * [`discriminant`]
13//!   allows comparing the variants of [`enum`] values while ignoring their fields.
14//!
15//! * [`forget`] and [`ManuallyDrop`]
16//!   prevent destructors from running, which is used in certain kinds of ownership transfer.
17//!   [`needs_drop`]
18//!   tells you whether a type’s destructor even does anything.
19//!
20//! * [`transmute`], [`transmute_copy`], and [`MaybeUninit`]
21//!   convert and construct values in [`unsafe`] ways.
22//!
23//! See also the [`alloc`] and [`ptr`] modules for more primitive operations on memory.
24//!
25// core::alloc exists but doesn’t contain all the items we want to discuss
26//! [`alloc`]: ../../std/alloc/index.html
27//! [`enum`]: ../../std/keyword.enum.html
28//! [`ptr`]: crate::ptr
29//! [`unsafe`]: ../../std/keyword.unsafe.html
30
31#![stable(feature = "rust1", since = "1.0.0")]
32
33use crate::alloc::Layout;
34use crate::clone::TrivialClone;
35use crate::cmp::Ordering;
36use crate::marker::{Destruct, DiscriminantKind};
37use crate::panic::const_assert;
38use crate::ub_checks::assert_unsafe_precondition;
39use crate::{clone, cmp, fmt, hash, intrinsics, ptr};
40
41mod alignment;
42#[unstable(feature = "ptr_alignment_type", issue = "102070")]
43pub use alignment::Alignment;
44
45mod manually_drop;
46#[stable(feature = "manually_drop", since = "1.20.0")]
47pub use manually_drop::ManuallyDrop;
48
49mod maybe_uninit;
50#[stable(feature = "maybe_uninit", since = "1.36.0")]
51pub use maybe_uninit::MaybeUninit;
52
53mod maybe_dangling;
54#[unstable(feature = "maybe_dangling", issue = "118166")]
55pub use maybe_dangling::MaybeDangling;
56
57mod transmutability;
58#[unstable(feature = "transmutability", issue = "99571")]
59pub use transmutability::{Assume, TransmuteFrom};
60
61mod drop_guard;
62#[unstable(feature = "drop_guard", issue = "144426")]
63pub use drop_guard::DropGuard;
64
65// This one has to be a re-export (rather than wrapping the underlying intrinsic) so that we can do
66// the special magic "types have equal size" check at the call site.
67#[stable(feature = "rust1", since = "1.0.0")]
68#[doc(inline)]
69pub use crate::intrinsics::transmute;
70
71#[unstable(feature = "type_info", issue = "146922")]
72pub mod type_info;
73
74/// Takes ownership and "forgets" about the value **without running its destructor**.
75///
76/// Any resources the value manages, such as heap memory or a file handle, will linger
77/// forever in an unreachable state. However, it does not guarantee that pointers
78/// to this memory will remain valid.
79///
80/// * If you want to leak memory, see [`Box::leak`].
81/// * If you want to obtain a raw pointer to the memory, see [`Box::into_raw`].
82/// * If you want to dispose of a value properly, running its destructor, see
83///   [`mem::drop`].
84///
85/// # Safety
86///
87/// `forget` is not marked as `unsafe`, because Rust's safety guarantees
88/// do not include a guarantee that destructors will always run. For example,
89/// a program can create a reference cycle using [`Rc`][rc], or call
90/// [`process::exit`][exit] to exit without running destructors. Thus, allowing
91/// `mem::forget` from safe code does not fundamentally change Rust's safety
92/// guarantees.
93///
94/// That said, leaking resources such as memory or I/O objects is usually undesirable.
95/// The need comes up in some specialized use cases for FFI or unsafe code, but even
96/// then, [`ManuallyDrop`] is typically preferred.
97///
98/// Because forgetting a value is allowed, any `unsafe` code you write must
99/// allow for this possibility. You cannot return a value and expect that the
100/// caller will necessarily run the value's destructor.
101///
102/// [rc]: ../../std/rc/struct.Rc.html
103/// [exit]: ../../std/process/fn.exit.html
104///
105/// # Examples
106///
107/// The canonical safe use of `mem::forget` is to circumvent a value's destructor
108/// implemented by the `Drop` trait. For example, this will leak a `File`, i.e. reclaim
109/// the space taken by the variable but never close the underlying system resource:
110///
111/// ```no_run
112/// use std::mem;
113/// use std::fs::File;
114///
115/// let file = File::open("foo.txt").unwrap();
116/// mem::forget(file);
117/// ```
118///
119/// This is useful when the ownership of the underlying resource was previously
120/// transferred to code outside of Rust, for example by transmitting the raw
121/// file descriptor to C code.
122///
123/// # Relationship with `ManuallyDrop`
124///
125/// While `mem::forget` can also be used to transfer *memory* ownership, doing so is error-prone.
126/// [`ManuallyDrop`] should be used instead. Consider, for example, this code:
127///
128/// ```
129/// use std::mem;
130///
131/// let mut v = vec![65, 122];
132/// // Build a `String` using the contents of `v`
133/// let s = unsafe { String::from_raw_parts(v.as_mut_ptr(), v.len(), v.capacity()) };
134/// // leak `v` because its memory is now managed by `s`
135/// mem::forget(v);  // ERROR - v is invalid and must not be passed to a function
136/// assert_eq!(s, "Az");
137/// // `s` is implicitly dropped and its memory deallocated.
138/// ```
139///
140/// There are two issues with the above example:
141///
142/// * If more code were added between the construction of `String` and the invocation of
143///   `mem::forget()`, a panic within it would cause a double free because the same memory
144///   is handled by both `v` and `s`.
145/// * After calling `v.as_mut_ptr()` and transmitting the ownership of the data to `s`,
146///   the `v` value is invalid. Even when a value is just moved to `mem::forget` (which won't
147///   inspect it), some types have strict requirements on their values that
148///   make them invalid when dangling or no longer owned. Using invalid values in any
149///   way, including passing them to or returning them from functions, constitutes
150///   undefined behavior and may break the assumptions made by the compiler.
151///
152/// Switching to `ManuallyDrop` avoids both issues:
153///
154/// ```
155/// use std::mem::ManuallyDrop;
156///
157/// let v = vec![65, 122];
158/// // Before we disassemble `v` into its raw parts, make sure it
159/// // does not get dropped!
160/// let mut v = ManuallyDrop::new(v);
161/// // Now disassemble `v`. These operations cannot panic, so there cannot be a leak.
162/// let (ptr, len, cap) = (v.as_mut_ptr(), v.len(), v.capacity());
163/// // Finally, build a `String`.
164/// let s = unsafe { String::from_raw_parts(ptr, len, cap) };
165/// assert_eq!(s, "Az");
166/// // `s` is implicitly dropped and its memory deallocated.
167/// ```
168///
169/// `ManuallyDrop` robustly prevents double-free because we disable `v`'s destructor
170/// before doing anything else. `mem::forget()` doesn't allow this because it consumes its
171/// argument, forcing us to call it only after extracting anything we need from `v`. Even
172/// if a panic were introduced between construction of `ManuallyDrop` and building the
173/// string (which cannot happen in the code as shown), it would result in a leak and not a
174/// double free. In other words, `ManuallyDrop` errs on the side of leaking instead of
175/// erring on the side of (double-)dropping.
176///
177/// Also, `ManuallyDrop` prevents us from having to "touch" `v` after transferring the
178/// ownership to `s` — the final step of interacting with `v` to dispose of it without
179/// running its destructor is entirely avoided.
180///
181/// [`Box`]: ../../std/boxed/struct.Box.html
182/// [`Box::leak`]: ../../std/boxed/struct.Box.html#method.leak
183/// [`Box::into_raw`]: ../../std/boxed/struct.Box.html#method.into_raw
184/// [`mem::drop`]: drop
185/// [ub]: ../../reference/behavior-considered-undefined.html
186#[inline]
187#[rustc_const_stable(feature = "const_forget", since = "1.46.0")]
188#[stable(feature = "rust1", since = "1.0.0")]
189#[rustc_diagnostic_item = "mem_forget"]
190#[rustc_no_writable]
191pub const fn forget<T>(t: T) {
192    let _ = ManuallyDrop::new(t);
193}
194
195/// Like [`forget`], but also accepts unsized values.
196///
197/// While Rust does not permit unsized locals since its removal in [#111942] it is
198/// still possible to call functions with unsized values from a function argument
199/// or place expression.
200///
201/// ```rust
202/// #![feature(unsized_fn_params, forget_unsized)]
203/// #![allow(internal_features)]
204///
205/// use std::mem::forget_unsized;
206///
207/// pub fn in_place() {
208///     forget_unsized(*Box::<str>::from("str"));
209/// }
210///
211/// pub fn param(x: str) {
212///     forget_unsized(x);
213/// }
214/// ```
215///
216/// This works because the compiler will alter these functions to pass the parameter
217/// by reference instead. This trick is necessary to support `Box<dyn FnOnce()>: FnOnce()`.
218/// See [#68304] and [#71170] for more information.
219///
220/// [#111942]: https://github.com/rust-lang/rust/issues/111942
221/// [#68304]: https://github.com/rust-lang/rust/issues/68304
222/// [#71170]: https://github.com/rust-lang/rust/pull/71170
223#[inline]
224#[unstable(feature = "forget_unsized", issue = "none")]
225pub fn forget_unsized<T: ?Sized>(t: T) {
226    intrinsics::forget(t)
227}
228
229/// Returns the size of a type in bytes.
230///
231/// More specifically, this is the offset in bytes between successive elements
232/// in an array with that item type including alignment padding. Thus, for any
233/// type `T` and length `n`, `[T; n]` has a size of `n * size_of::<T>()`.
234///
235/// In general, the size of a type is not stable across compilations, but
236/// specific types such as primitives are.
237///
238/// The following table gives the size for primitives.
239///
240/// Type | `size_of::<Type>()`
241/// ---- | ---------------
242/// () | 0
243/// bool | 1
244/// u8 | 1
245/// u16 | 2
246/// u32 | 4
247/// u64 | 8
248/// u128 | 16
249/// i8 | 1
250/// i16 | 2
251/// i32 | 4
252/// i64 | 8
253/// i128 | 16
254/// f32 | 4
255/// f64 | 8
256/// char | 4
257///
258/// Furthermore, `usize` and `isize` have the same size.
259///
260/// The types [`*const T`], `&T`, [`Box<T>`], [`Option<&T>`], and `Option<Box<T>>` all have
261/// the same size. If `T` is `Sized`, all of those types have the same size as `usize`.
262///
263/// The mutability of a pointer does not change its size. As such, `&T` and `&mut T`
264/// have the same size. Likewise for `*const T` and `*mut T`.
265///
266/// # Size of `#[repr(C)]` items
267///
268/// The `C` representation for items has a defined layout. With this layout,
269/// the size of items is also stable as long as all fields have a stable size.
270///
271/// ## Size of Structs
272///
273/// For `struct`s, the size is determined by the following algorithm.
274///
275/// For each field in the struct ordered by declaration order:
276///
277/// 1. Add the size of the field.
278/// 2. Round up the current size to the nearest multiple of the next field's [alignment].
279///
280/// Finally, round the size of the struct to the nearest multiple of its [alignment].
281/// The alignment of the struct is usually the largest alignment of all its
282/// fields; this can be changed with the use of `repr(align(N))`.
283///
284/// Unlike `C`, zero sized structs are not rounded up to one byte in size.
285///
286/// ## Size of Enums
287///
288/// Enums that carry no data other than the discriminant have the same size as C enums
289/// on the platform they are compiled for.
290///
291/// ## Size of Unions
292///
293/// The size of a union is the size of its largest field.
294///
295/// Unlike `C`, zero sized unions are not rounded up to one byte in size.
296///
297/// # Examples
298///
299/// ```
300/// // Some primitives
301/// assert_eq!(4, size_of::<i32>());
302/// assert_eq!(8, size_of::<f64>());
303/// assert_eq!(0, size_of::<()>());
304///
305/// // Some arrays
306/// assert_eq!(8, size_of::<[i32; 2]>());
307/// assert_eq!(12, size_of::<[i32; 3]>());
308/// assert_eq!(0, size_of::<[i32; 0]>());
309///
310///
311/// // Pointer size equality
312/// assert_eq!(size_of::<&i32>(), size_of::<*const i32>());
313/// assert_eq!(size_of::<&i32>(), size_of::<Box<i32>>());
314/// assert_eq!(size_of::<&i32>(), size_of::<Option<&i32>>());
315/// assert_eq!(size_of::<Box<i32>>(), size_of::<Option<Box<i32>>>());
316/// ```
317///
318/// Using `#[repr(C)]`.
319///
320/// ```
321/// #[repr(C)]
322/// struct FieldStruct {
323///     first: u8,
324///     second: u16,
325///     third: u8
326/// }
327///
328/// // The size of the first field is 1, so add 1 to the size. Size is 1.
329/// // The alignment of the second field is 2, so add 1 to the size for padding. Size is 2.
330/// // The size of the second field is 2, so add 2 to the size. Size is 4.
331/// // The alignment of the third field is 1, so add 0 to the size for padding. Size is 4.
332/// // The size of the third field is 1, so add 1 to the size. Size is 5.
333/// // Finally, the alignment of the struct is 2 (because the largest alignment amongst its
334/// // fields is 2), so add 1 to the size for padding. Size is 6.
335/// assert_eq!(6, size_of::<FieldStruct>());
336///
337/// #[repr(C)]
338/// struct TupleStruct(u8, u16, u8);
339///
340/// // Tuple structs follow the same rules.
341/// assert_eq!(6, size_of::<TupleStruct>());
342///
343/// // Note that reordering the fields can lower the size. We can remove both padding bytes
344/// // by putting `third` before `second`.
345/// #[repr(C)]
346/// struct FieldStructOptimized {
347///     first: u8,
348///     third: u8,
349///     second: u16
350/// }
351///
352/// assert_eq!(4, size_of::<FieldStructOptimized>());
353///
354/// // Union size is the size of the largest field.
355/// #[repr(C)]
356/// union ExampleUnion {
357///     smaller: u8,
358///     larger: u16
359/// }
360///
361/// assert_eq!(2, size_of::<ExampleUnion>());
362/// ```
363///
364/// [alignment]: align_of
365/// [`*const T`]: primitive@pointer
366/// [`Box<T>`]: ../../std/boxed/struct.Box.html
367/// [`Option<&T>`]: crate::option::Option
368///
369#[inline(always)]
370#[must_use]
371#[stable(feature = "rust1", since = "1.0.0")]
372#[rustc_promotable]
373#[rustc_const_stable(feature = "const_mem_size_of", since = "1.24.0")]
374#[rustc_diagnostic_item = "mem_size_of"]
375pub const fn size_of<T>() -> usize {
376    // By making this a constant, we also guarantee that the constant can be successfully evaluated
377    // in any program execution that actually executes `size_of`. Which is relevant because the
378    // constant can fail to evaluate if the type is too big. Someone might do something cursed where
379    // soundness relies on a certain type not being too big, and they check that by just invoking
380    // size_of on the type to ensure it exists, so if we fully DCE'd size_of calls that would be
381    // considered unsound... but by making this a constant, it participates in the usual "required
382    // consts" system, and we are safe.
383    <T as SizedTypeProperties>::SIZE
384}
385
386/// Returns the size of the pointed-to value in bytes.
387///
388/// This is usually the same as [`size_of::<T>()`]. However, when `T` *has* no
389/// statically-known size, e.g., a slice [`[T]`][slice] or a [trait object],
390/// then `size_of_val` can be used to get the dynamically-known size.
391///
392/// [trait object]: ../../book/ch17-02-trait-objects.html
393///
394/// # Examples
395///
396/// ```
397/// assert_eq!(4, size_of_val(&5i32));
398///
399/// let x: [u8; 13] = [0; 13];
400/// let y: &[u8] = &x;
401/// assert_eq!(13, size_of_val(y));
402/// ```
403///
404/// [`size_of::<T>()`]: size_of
405#[inline]
406#[must_use]
407#[stable(feature = "rust1", since = "1.0.0")]
408#[rustc_const_stable(feature = "const_size_of_val", since = "1.85.0")]
409#[rustc_diagnostic_item = "mem_size_of_val"]
410pub const fn size_of_val<T: ?Sized>(val: &T) -> usize {
411    // SAFETY: `val` is a reference, so it's a valid raw pointer
412    unsafe { intrinsics::size_of_val(val) }
413}
414
415/// Returns the size of the pointed-to value in bytes.
416///
417/// This is usually the same as [`size_of::<T>()`]. However, when `T` *has* no
418/// statically-known size, e.g., a slice [`[T]`][slice] or a [trait object],
419/// then `size_of_val_raw` can be used to get the dynamically-known size.
420///
421/// # Safety
422///
423/// This function is safe to call if the pointer is safe to reborrow as `&T`
424/// (in which case you could also call [`size_of_val`]).
425/// Otherwise, the following conditions must hold:
426///
427/// - If `T` is `Sized`, this function is always safe to call.
428/// - If the *unsized tail* of `T` is:
429///     - a [slice] `[U]`, `str`, or a [trait object] `dyn Trait`, then the size of the *entire value*
430///       (dynamic tail length + statically sized prefix) must fit in `isize`.
431///       For the special case where the dynamic tail length is 0, this function
432///       is safe to call.
433//        NOTE: the reason this is safe is that if an overflow were to occur already with size 0,
434//        then we would stop compilation as even the "statically known" part of the type would
435//        already be too big (or the call may be in dead code and optimized away, but then it
436//        doesn't matter).
437///     - No other kind of unsized tail currently exists that satisfies the trait bounds for this
438///       function. If more kinds of unsized tails get introduced in the future, the documentation
439///       of this function will have to be extended before it can be used for such types.
440///
441/// Here, *unsized tail* refers to the type obtained by recursively descending through the last
442/// field of a tuple or struct until we arrived at a built-in unsized type.
443///
444/// As a consequence of these rules, it is the case that whenever it is allowed to convert `val`
445/// into a shared reference, then it is also allowed to invoke this function.
446///
447/// [`size_of::<T>()`]: size_of
448/// [trait object]: ../../book/ch17-02-trait-objects.html
449/// [extern type]: ../../unstable-book/language-features/extern-types.html
450///
451/// # Examples
452///
453/// ```
454/// use std::mem;
455///
456/// assert_eq!(4, size_of_val(&5i32));
457///
458/// let x: [u8; 13] = [0; 13];
459/// let y: &[u8] = &x;
460/// assert_eq!(13, unsafe { mem::size_of_val_raw(y) });
461/// ```
462#[inline]
463#[must_use]
464#[stable(feature = "layout_for_ptr", since = "CURRENT_RUSTC_VERSION")]
465#[rustc_const_stable(feature = "layout_for_ptr", since = "CURRENT_RUSTC_VERSION")]
466pub const unsafe fn size_of_val_raw<T: ?Sized>(val: *const T) -> usize {
467    // SAFETY: the caller must provide a valid raw pointer
468    unsafe { intrinsics::size_of_val(val) }
469}
470
471/// Returns the [ABI]-required minimum alignment of a type in bytes.
472///
473/// Every reference to a value of the type `T` must be a multiple of this number.
474///
475/// This is the alignment used for struct fields. It may be smaller than the preferred alignment.
476///
477/// [ABI]: https://en.wikipedia.org/wiki/Application_binary_interface
478///
479/// # Examples
480///
481/// ```
482/// # #![allow(deprecated)]
483/// use std::mem;
484///
485/// assert_eq!(4, mem::min_align_of::<i32>());
486/// ```
487#[inline]
488#[must_use]
489#[stable(feature = "rust1", since = "1.0.0")]
490#[deprecated(note = "use `align_of` instead", since = "1.2.0", suggestion = "align_of")]
491pub fn min_align_of<T>() -> usize {
492    <T as SizedTypeProperties>::ALIGN
493}
494
495/// Returns the [ABI]-required minimum alignment of the type of the value that `val` points to in
496/// bytes.
497///
498/// Every reference to a value of the type `T` must be a multiple of this number.
499///
500/// [ABI]: https://en.wikipedia.org/wiki/Application_binary_interface
501///
502/// # Examples
503///
504/// ```
505/// # #![allow(deprecated)]
506/// use std::mem;
507///
508/// assert_eq!(4, mem::min_align_of_val(&5i32));
509/// ```
510#[inline]
511#[must_use]
512#[stable(feature = "rust1", since = "1.0.0")]
513#[deprecated(note = "use `align_of_val` instead", since = "1.2.0", suggestion = "align_of_val")]
514pub fn min_align_of_val<T: ?Sized>(val: &T) -> usize {
515    // SAFETY: val is a reference, so it's a valid raw pointer
516    unsafe { intrinsics::align_of_val(val) }
517}
518
519/// Returns the [ABI]-required minimum alignment of a type, in bytes.
520///
521/// Every reference to a value of the type `T` must be a multiple of this number.
522///
523/// This is the alignment used for struct fields. It may be smaller than the preferred alignment.
524///
525/// [ABI]: https://en.wikipedia.org/wiki/Application_binary_interface
526///
527/// # Examples
528///
529/// ```
530/// assert_eq!(4, align_of::<i32>());
531/// ```
532///
533/// (Caution: [it is not guaranteed][type-layout] that the alignment of `i32` is `4`;
534/// that is, the above assertion does not pass on all platforms.)
535///
536/// [type-layout]: ../../reference/type-layout.html#r-layout.primitive
537#[inline(always)]
538#[must_use]
539#[stable(feature = "rust1", since = "1.0.0")]
540#[rustc_promotable]
541#[rustc_const_stable(feature = "const_align_of", since = "1.24.0")]
542#[rustc_diagnostic_item = "mem_align_of"]
543pub const fn align_of<T>() -> usize {
544    <T as SizedTypeProperties>::ALIGN
545}
546
547/// Returns the [ABI]-required minimum alignment of the type of the value that `val` points to, in
548/// bytes.
549///
550/// This function is identical to [`align_of::<T>()`][align_of] whenever <code>T: [Sized]</code>,
551/// but also supports determining the alignment required by a `dyn Trait` value, which is the
552/// alignment of the underlying concrete type.
553///
554/// [ABI]: https://en.wikipedia.org/wiki/Application_binary_interface
555///
556/// # Examples
557///
558/// ```
559/// assert_eq!(4, align_of_val(&5i32));
560/// ```
561///
562/// (Caution: [it is not guaranteed][type-layout] that the alignment of `i32` is `4`;
563/// that is, this example assertion does not pass on all platforms.)
564///
565/// `dyn` types may have different alignments for different values;
566/// `align_of_val` can be used to learn those alignments:
567///
568/// ```
569/// let a: &dyn ToString = &1234u16;
570/// let b: &dyn ToString = &String::from("abcd");
571///
572/// assert_eq!(align_of_val(a), align_of::<u16>());
573/// assert_eq!(align_of_val(b), align_of::<String>());
574/// ```
575///
576/// [type-layout]: ../../reference/type-layout.html#r-layout.primitive
577#[inline]
578#[must_use]
579#[stable(feature = "rust1", since = "1.0.0")]
580#[rustc_const_stable(feature = "const_align_of_val", since = "1.85.0")]
581pub const fn align_of_val<T: ?Sized>(val: &T) -> usize {
582    // SAFETY: val is a reference, so it's a valid raw pointer
583    unsafe { intrinsics::align_of_val(val) }
584}
585
586/// Returns the [ABI]-required minimum alignment of the type of the value that `val` points to, in
587/// bytes.
588///
589/// This function is identical to [`align_of_val()`], except that it can be used with raw pointers
590/// in situations where it would be unsound or undesirable to convert them to
591/// [`&` references][primitive@reference] and impose the aliasing rules that come with that.
592///
593/// [ABI]: https://en.wikipedia.org/wiki/Application_binary_interface
594///
595/// # Safety
596///
597/// This function is safe to call if the pointer is safe to reborrow as `&T`
598/// (in which case you could also call [`align_of_val`]).
599/// Otherwise, the following conditions must hold:
600///
601/// - If `T` is `Sized`, this function is always safe to call.
602/// - If the unsized tail of `T` is:
603///     - a [slice] `[U]`, `str`, or a [trait object] `dyn Trait`, then the size of the *entire value*
604///       (dynamic tail length + statically sized prefix) must fit in `isize`.
605///       For the special case where the dynamic tail length is 0, this function
606///       is safe to call.
607//        NOTE: the reason this is safe is that if an overflow were to occur already with size 0,
608//        then we would stop compilation as even the "statically known" part of the type would
609//        already be too big (or the call may be in dead code and optimized away, but then it
610//        doesn't matter).
611///     - No other kind of unsized tail currently exists that satisfies the trait bounds for this
612///       function. If more kinds of unsized tails get introduced in the future, the documentation
613///       of this function will have to be extended before it can be used for such types.
614///
615/// Here, *unsized tail* refers to the type obtained by recursively descending through the last
616/// field of a tuple or struct until we arrived at a built-in unsized type.
617///
618/// As a consequence of these rules, it is the case that whenever it is allowed to convert `val`
619/// into a shared reference, then it is also allowed to invoke this function.
620///
621/// [trait object]: ../../book/ch17-02-trait-objects.html
622/// [extern type]: ../../unstable-book/language-features/extern-types.html
623///
624/// # Examples
625///
626/// ```
627/// use std::mem;
628///
629/// assert_eq!(4, unsafe { mem::align_of_val_raw(&5i32) });
630/// ```
631///
632/// (Caution: [it is not guaranteed][type-layout] that the alignment of `i32` is `4`;
633/// that is, the above assertion does not pass on all platforms.)
634///
635/// [type-layout]: ../../reference/type-layout.html#r-layout.primitive
636#[inline]
637#[must_use]
638#[stable(feature = "layout_for_ptr", since = "CURRENT_RUSTC_VERSION")]
639#[rustc_const_stable(feature = "layout_for_ptr", since = "CURRENT_RUSTC_VERSION")]
640pub const unsafe fn align_of_val_raw<T: ?Sized>(val: *const T) -> usize {
641    // SAFETY: the caller must provide a valid raw pointer
642    unsafe { intrinsics::align_of_val(val) }
643}
644
645/// Returns `true` if dropping values of type `T` matters.
646///
647/// This is purely an optimization hint, and may be implemented conservatively:
648/// it may return `true` for types that don't actually need to be dropped.
649/// As such always returning `true` would be a valid implementation of
650/// this function. However if this function actually returns `false`, then you
651/// can be certain dropping `T` has no side effect.
652///
653/// Low level implementations of things like collections, which need to manually
654/// drop their data, should use this function to avoid unnecessarily
655/// trying to drop all their contents when they are destroyed. This might not
656/// make a difference in release builds (where a loop that has no side-effects
657/// is easily detected and eliminated), but is often a big win for debug builds.
658///
659/// Note that [`drop_in_place`] already performs this check, so if your workload
660/// can be reduced to some small number of [`drop_in_place`] calls, using this is
661/// unnecessary. In particular note that you can [`drop_in_place`] a slice, and that
662/// will do a single needs_drop check for all the values.
663///
664/// Types like Vec therefore just `drop_in_place(&mut self[..])` without using
665/// `needs_drop` explicitly. Types like [`HashMap`], on the other hand, have to drop
666/// values one at a time and should use this API.
667///
668/// [`drop_in_place`]: crate::ptr::drop_in_place
669/// [`HashMap`]: ../../std/collections/struct.HashMap.html
670///
671/// # Examples
672///
673/// Here's an example of how a collection might make use of `needs_drop`:
674///
675/// ```
676/// use std::{mem, ptr};
677///
678/// pub struct MyCollection<T> {
679/// #   data: [T; 1],
680///     /* ... */
681/// }
682/// # impl<T> MyCollection<T> {
683/// #   fn iter_mut(&mut self) -> &mut [T] { &mut self.data }
684/// #   fn free_buffer(&mut self) {}
685/// # }
686///
687/// impl<T> Drop for MyCollection<T> {
688///     fn drop(&mut self) {
689///         unsafe {
690///             // drop the data
691///             if mem::needs_drop::<T>() {
692///                 for x in self.iter_mut() {
693///                     ptr::drop_in_place(x);
694///                 }
695///             }
696///             self.free_buffer();
697///         }
698///     }
699/// }
700/// ```
701#[inline]
702#[must_use]
703#[stable(feature = "needs_drop", since = "1.21.0")]
704#[rustc_const_stable(feature = "const_mem_needs_drop", since = "1.36.0")]
705#[rustc_diagnostic_item = "needs_drop"]
706pub const fn needs_drop<T: ?Sized>() -> bool {
707    const { intrinsics::needs_drop::<T>() }
708}
709
710/// Returns the value of type `T` represented by the all-zero byte-pattern.
711///
712/// This means that, for example, the padding byte in `(u8, u16)` is not
713/// necessarily zeroed.
714///
715/// There is no guarantee that an all-zero byte-pattern represents a valid value
716/// of some type `T`. For example, the all-zero byte-pattern is not a valid value
717/// for reference types (`&T`, `&mut T`) and function pointers. Using `zeroed`
718/// on such types causes immediate [undefined behavior][ub] because [the Rust
719/// compiler assumes][inv] that there always is a valid value in a variable it
720/// considers initialized.
721///
722/// This has the same effect as [`MaybeUninit::zeroed().assume_init()`][zeroed].
723/// It is useful for FFI sometimes, but should generally be avoided.
724///
725/// [zeroed]: MaybeUninit::zeroed
726/// [ub]: ../../reference/behavior-considered-undefined.html
727/// [inv]: MaybeUninit#initialization-invariant
728///
729/// # Examples
730///
731/// Correct usage of this function: initializing an integer with zero.
732///
733/// ```
734/// use std::mem;
735///
736/// let x: i32 = unsafe { mem::zeroed() };
737/// assert_eq!(0, x);
738/// ```
739///
740/// *Incorrect* usage of this function: initializing a reference with zero.
741///
742/// ```rust,no_run
743/// # #![allow(invalid_value)]
744/// use std::mem;
745///
746/// let _x: &i32 = unsafe { mem::zeroed() }; // Undefined behavior!
747/// let _y: fn() = unsafe { mem::zeroed() }; // And again!
748/// ```
749#[inline(always)]
750#[must_use]
751#[stable(feature = "rust1", since = "1.0.0")]
752#[rustc_diagnostic_item = "mem_zeroed"]
753#[track_caller]
754#[rustc_const_stable(feature = "const_mem_zeroed", since = "1.75.0")]
755pub const unsafe fn zeroed<T>() -> T {
756    // SAFETY: the caller must guarantee that an all-zero value is valid for `T`.
757    unsafe {
758        intrinsics::assert_zero_valid::<T>();
759        MaybeUninit::zeroed().assume_init()
760    }
761}
762
763/// Bypasses Rust's normal memory-initialization checks by pretending to
764/// produce a value of type `T`, while doing nothing at all.
765///
766/// **This function is deprecated.** Use [`MaybeUninit<T>`] instead.
767/// It also might be slower than using `MaybeUninit<T>` due to mitigations that were put in place to
768/// limit the potential harm caused by incorrect use of this function in legacy code.
769///
770/// The reason for deprecation is that the function basically cannot be used
771/// correctly: it has the same effect as [`MaybeUninit::uninit().assume_init()`][uninit].
772/// As the [`assume_init` documentation][assume_init] explains,
773/// [the Rust compiler assumes][inv] that values are properly initialized.
774///
775/// Truly uninitialized memory like what gets returned here
776/// is special in that the compiler knows that it does not have a fixed value.
777/// This makes it undefined behavior to have uninitialized data in a variable even
778/// if that variable has an integer type.
779///
780/// Therefore, it is immediate undefined behavior to call this function on nearly all types,
781/// including integer types and arrays of integer types, and even if the result is unused.
782///
783/// [uninit]: MaybeUninit::uninit
784/// [assume_init]: MaybeUninit::assume_init
785/// [inv]: MaybeUninit#initialization-invariant
786#[inline(always)]
787#[must_use]
788#[deprecated(since = "1.39.0", note = "use `mem::MaybeUninit` instead")]
789#[stable(feature = "rust1", since = "1.0.0")]
790#[rustc_diagnostic_item = "mem_uninitialized"]
791#[track_caller]
792pub unsafe fn uninitialized<T>() -> T {
793    // SAFETY: the caller must guarantee that an uninitialized value is valid for `T`.
794    unsafe {
795        intrinsics::assert_mem_uninitialized_valid::<T>();
796        let mut val = MaybeUninit::<T>::uninit();
797
798        // Fill memory with 0x01, as an imperfect mitigation for old code that uses this function on
799        // bool, nonnull, and noundef types. But don't do this if we actively want to detect UB.
800        if !cfg!(any(miri, sanitize = "memory")) {
801            val.as_mut_ptr().write_bytes(0x01, 1);
802        }
803
804        val.assume_init()
805    }
806}
807
808/// Swaps the values at two mutable locations, without deinitializing either one.
809///
810/// * If you want to swap with a default or dummy value, see [`take`].
811/// * If you want to swap with a passed value, returning the old value, see [`replace`].
812///
813/// # Examples
814///
815/// ```
816/// use std::mem;
817///
818/// let mut x = 5;
819/// let mut y = 42;
820///
821/// mem::swap(&mut x, &mut y);
822///
823/// assert_eq!(42, x);
824/// assert_eq!(5, y);
825/// ```
826#[inline]
827#[stable(feature = "rust1", since = "1.0.0")]
828#[rustc_const_stable(feature = "const_swap", since = "1.85.0")]
829#[rustc_diagnostic_item = "mem_swap"]
830pub const fn swap<T>(x: &mut T, y: &mut T) {
831    // SAFETY: `&mut` guarantees these are typed readable and writable
832    // as well as non-overlapping.
833    unsafe { intrinsics::typed_swap_nonoverlapping(x, y) }
834}
835
836/// Replaces `dest` with the default value of `T`, returning the previous `dest` value.
837///
838/// * If you want to replace the values of two variables, see [`swap`].
839/// * If you want to replace with a passed value instead of the default value, see [`replace`].
840///
841/// # Examples
842///
843/// A simple example:
844///
845/// ```
846/// use std::mem;
847///
848/// let mut v: Vec<i32> = vec![1, 2];
849///
850/// let old_v = mem::take(&mut v);
851/// assert_eq!(vec![1, 2], old_v);
852/// assert!(v.is_empty());
853/// ```
854///
855/// `take` allows taking ownership of a struct field by replacing it with an "empty" value.
856/// Without `take` you can run into issues like these:
857///
858/// ```compile_fail,E0507
859/// struct Buffer<T> { buf: Vec<T> }
860///
861/// impl<T> Buffer<T> {
862///     fn get_and_reset(&mut self) -> Vec<T> {
863///         // error: cannot move out of dereference of `&mut`-pointer
864///         let buf = self.buf;
865///         self.buf = Vec::new();
866///         buf
867///     }
868/// }
869/// ```
870///
871/// Note that `T` does not necessarily implement [`Clone`], so it can't even clone and reset
872/// `self.buf`. But `take` can be used to disassociate the original value of `self.buf` from
873/// `self`, allowing it to be returned:
874///
875/// ```
876/// use std::mem;
877///
878/// # struct Buffer<T> { buf: Vec<T> }
879/// impl<T> Buffer<T> {
880///     fn get_and_reset(&mut self) -> Vec<T> {
881///         mem::take(&mut self.buf)
882///     }
883/// }
884///
885/// let mut buffer = Buffer { buf: vec![0, 1] };
886/// assert_eq!(buffer.buf.len(), 2);
887///
888/// assert_eq!(buffer.get_and_reset(), vec![0, 1]);
889/// assert_eq!(buffer.buf.len(), 0);
890/// ```
891#[inline]
892#[stable(feature = "mem_take", since = "1.40.0")]
893#[rustc_const_unstable(feature = "const_default", issue = "143894")]
894pub const fn take<T: [const] Default>(dest: &mut T) -> T {
895    replace(dest, T::default())
896}
897
898/// Moves `src` into the referenced `dest`, returning the previous `dest` value.
899///
900/// Neither value is dropped.
901///
902/// * If you want to replace the values of two variables, see [`swap`].
903/// * If you want to replace with a default value, see [`take`].
904///
905/// # Examples
906///
907/// A simple example:
908///
909/// ```
910/// use std::mem;
911///
912/// let mut v: Vec<i32> = vec![1, 2];
913///
914/// let old_v = mem::replace(&mut v, vec![3, 4, 5]);
915/// assert_eq!(vec![1, 2], old_v);
916/// assert_eq!(vec![3, 4, 5], v);
917/// ```
918///
919/// `replace` allows consumption of a struct field by replacing it with another value.
920/// Without `replace` you can run into issues like these:
921///
922/// ```compile_fail,E0507
923/// struct Buffer<T> { buf: Vec<T> }
924///
925/// impl<T> Buffer<T> {
926///     fn replace_index(&mut self, i: usize, v: T) -> T {
927///         // error: cannot move out of dereference of `&mut`-pointer
928///         let t = self.buf[i];
929///         self.buf[i] = v;
930///         t
931///     }
932/// }
933/// ```
934///
935/// Note that `T` does not necessarily implement [`Clone`], so we can't even clone `self.buf[i]` to
936/// avoid the move. But `replace` can be used to disassociate the original value at that index from
937/// `self`, allowing it to be returned:
938///
939/// ```
940/// # #![allow(dead_code)]
941/// use std::mem;
942///
943/// # struct Buffer<T> { buf: Vec<T> }
944/// impl<T> Buffer<T> {
945///     fn replace_index(&mut self, i: usize, v: T) -> T {
946///         mem::replace(&mut self.buf[i], v)
947///     }
948/// }
949///
950/// let mut buffer = Buffer { buf: vec![0, 1] };
951/// assert_eq!(buffer.buf[0], 0);
952///
953/// assert_eq!(buffer.replace_index(0, 2), 0);
954/// assert_eq!(buffer.buf[0], 2);
955/// ```
956#[inline]
957#[stable(feature = "rust1", since = "1.0.0")]
958#[must_use = "if you don't need the old value, you can just assign the new value directly"]
959#[rustc_const_stable(feature = "const_replace", since = "1.83.0")]
960#[rustc_diagnostic_item = "mem_replace"]
961pub const fn replace<T>(dest: &mut T, src: T) -> T {
962    // It may be tempting to use `swap` to avoid `unsafe` here. Don't!
963    // The compiler optimizes the implementation below to two `memcpy`s
964    // while `swap` would require at least three. See PR#83022 for details.
965
966    // SAFETY: We read from `dest` but directly write `src` into it afterwards,
967    // such that the old value is not duplicated. Nothing is dropped and
968    // nothing here can panic.
969    unsafe {
970        // Ideally we wouldn't use the intrinsics here, but going through the
971        // `ptr` methods introduces two unnecessary UbChecks, so until we can
972        // remove those for pointers that come from references, this uses the
973        // intrinsics instead so this stays very cheap in MIR (and debug).
974
975        let result = crate::intrinsics::read_via_copy(dest);
976        crate::intrinsics::write_via_move(dest, src);
977        result
978    }
979}
980
981/// Disposes of a value.
982///
983/// This effectively does nothing for types which implement `Copy`, e.g.
984/// integers. Such values are copied and _then_ moved into the function, so the
985/// value persists after this function call.
986///
987/// This function is not magic; it is literally defined as
988///
989/// ```
990/// pub fn drop<T>(_x: T) {}
991/// ```
992///
993/// Because `_x` is moved into the function, it is automatically [dropped][drop] before
994/// the function returns.
995///
996/// [drop]: Drop
997///
998/// # Examples
999///
1000/// Basic usage:
1001///
1002/// ```
1003/// let v = vec![1, 2, 3];
1004///
1005/// drop(v); // explicitly drop the vector
1006/// ```
1007///
1008/// Since [`RefCell`] enforces the borrow rules at runtime, `drop` can
1009/// release a [`RefCell`] borrow:
1010///
1011/// ```
1012/// use std::cell::RefCell;
1013///
1014/// let x = RefCell::new(1);
1015///
1016/// let mut mutable_borrow = x.borrow_mut();
1017/// *mutable_borrow = 1;
1018///
1019/// drop(mutable_borrow); // relinquish the mutable borrow on this slot
1020///
1021/// let borrow = x.borrow();
1022/// println!("{}", *borrow);
1023/// ```
1024///
1025/// Integers and other types implementing [`Copy`] are unaffected by `drop`.
1026///
1027/// ```
1028/// # #![allow(dropping_copy_types)]
1029/// #[derive(Copy, Clone)]
1030/// struct Foo(u8);
1031///
1032/// let x = 1;
1033/// let y = Foo(2);
1034/// drop(x); // a copy of `x` is moved and dropped
1035/// drop(y); // a copy of `y` is moved and dropped
1036///
1037/// println!("x: {}, y: {}", x, y.0); // still available
1038/// ```
1039///
1040/// [`RefCell`]: crate::cell::RefCell
1041#[inline]
1042#[stable(feature = "rust1", since = "1.0.0")]
1043#[rustc_const_unstable(feature = "const_destruct", issue = "133214")]
1044#[rustc_diagnostic_item = "mem_drop"]
1045pub const fn drop<T>(_x: T)
1046where
1047    T: [const] Destruct,
1048{
1049}
1050
1051/// Bitwise-copies a value.
1052///
1053/// This function is not magic; it is literally defined as
1054/// ```
1055/// pub const fn copy<T: Copy>(x: &T) -> T { *x }
1056/// ```
1057///
1058/// It is useful when you want to pass a function pointer to a combinator, rather than defining a new closure.
1059///
1060/// Example:
1061/// ```
1062/// #![feature(mem_copy_fn)]
1063/// use core::mem::copy;
1064/// let result_from_ffi_function: Result<(), &i32> = Err(&1);
1065/// let result_copied: Result<(), i32> = result_from_ffi_function.map_err(copy);
1066/// ```
1067#[inline]
1068#[unstable(feature = "mem_copy_fn", issue = "98262")]
1069pub const fn copy<T: Copy>(x: &T) -> T {
1070    *x
1071}
1072
1073/// Interprets `src` as having type `&Dst`, and then reads `src` without moving
1074/// the contained value.
1075///
1076/// This function will unsafely assume the pointer `src` is valid for [`size_of::<Dst>`][size_of]
1077/// bytes by transmuting `&Src` to `&Dst` and then reading the `&Dst` (except that this is done
1078/// in a way that is correct even when `&Dst` has stricter alignment requirements than `&Src`).
1079/// It will also unsafely create a copy of the contained value instead of moving out of `src`.
1080///
1081/// It is not a compile-time error if `Src` and `Dst` have different sizes, but it
1082/// is highly encouraged to only invoke this function where `Src` and `Dst` have the
1083/// same size. This function triggers [undefined behavior][ub] if `Dst` is larger than
1084/// `Src`.
1085///
1086/// [ub]: ../../reference/behavior-considered-undefined.html
1087///
1088/// If you have a raw pointer instead of a reference, you might be looking for
1089/// `src.cast::<Dst>().`[`read_unaligned()`](pointer#method.read_unaligned) instead.
1090///
1091/// # Safety
1092///
1093/// - Requires `size_of_val::<Src>(src) >= size_of::<Dst>()`
1094/// - The first `size_of::<Dst>()` bytes behind `src` must be *readable*
1095/// - The first `size_of::<Dst>()` bytes behind `src` must be *[valid]*
1096///   when interpreted as a `Dst`.
1097///
1098/// On top of that, remember that most types have additional invariants beyond merely
1099/// being considered initialized at the type level. For example, a `1`-initialized [`Vec<T>`]
1100/// is considered initialized (under the current implementation; this does not constitute
1101/// a stable guarantee) because the only requirement the compiler knows about it
1102/// is that the data pointer must be non-null. Creating such a `Vec<T>` does not cause
1103/// *immediate* undefined behavior, but will cause undefined behavior with most
1104/// safe operations (including dropping it).
1105///
1106/// [valid]: ../../reference/behavior-considered-undefined.html#r-undefined.validity
1107/// [`Vec<T>`]: ../../std/vec/struct.Vec.html
1108///
1109/// # Examples
1110///
1111/// ```
1112/// use std::mem;
1113///
1114/// #[repr(packed)]
1115/// struct Foo {
1116///     bar: u8,
1117/// }
1118///
1119/// let foo_array = [10u8];
1120///
1121/// unsafe {
1122///     // Copy the data from 'foo_array' and treat it as a 'Foo'
1123///     let mut foo_struct: Foo = mem::transmute_copy(&foo_array);
1124///     assert_eq!(foo_struct.bar, 10);
1125///
1126///     // Modify the copied data
1127///     foo_struct.bar = 20;
1128///     assert_eq!(foo_struct.bar, 20);
1129/// }
1130///
1131/// // The contents of 'foo_array' should not have changed
1132/// assert_eq!(foo_array, [10]);
1133///
1134/// let bytes: &[u8] = &[1, 2, 3, 4, 5, 6, 7];
1135/// assert_eq!(
1136///     unsafe { mem::transmute_copy::<[u8], u32>(bytes) },
1137///     u32::from_ne_bytes(*bytes.first_chunk().unwrap()),
1138/// );
1139/// ```
1140#[inline]
1141#[must_use]
1142#[track_caller]
1143#[stable(feature = "rust1", since = "1.0.0")]
1144#[rustc_const_stable(feature = "const_transmute_copy", since = "1.74.0")]
1145pub const unsafe fn transmute_copy<Src: ?Sized, Dst>(src: &Src) -> Dst {
1146    // library UB because it's possible for the `Src` to be only a subset of the allocation
1147    // and thus for a failure to not be immediate language UB
1148    assert_unsafe_precondition!(
1149        check_library_ub,
1150        "cannot transmute_copy if Dst is larger than Src",
1151        (
1152            src_size: usize = size_of_val::<Src>(src),
1153            dst_size: usize = Dst::SIZE,
1154        ) => src_size >= dst_size
1155    );
1156
1157    // If Dst has a higher alignment requirement, src might not be suitably aligned.
1158    if align_of::<Dst>() > align_of_val::<Src>(src) {
1159        // SAFETY: `src` is a reference which is guaranteed to be valid for reads.
1160        // The caller must guarantee that the actual transmutation is safe.
1161        unsafe { ptr::read_unaligned(src as *const Src as *const Dst) }
1162    } else {
1163        // SAFETY: `src` is a reference which is guaranteed to be valid for reads.
1164        // We just checked that `src as *const Dst` was properly aligned.
1165        // The caller must guarantee that the actual transmutation is safe.
1166        unsafe { ptr::read(src as *const Src as *const Dst) }
1167    }
1168}
1169
1170/// Like [`transmute`], but only initializes the "common prefix" of the first
1171/// `min(size_of::<Src>(), size_of::<Dst>())` bytes of the destination from the
1172/// corresponding bytes of the source.
1173///
1174/// This is equivalent to a "union cast" through a `union` with `#[repr(C)]`.
1175///
1176/// That means some size mismatches are not UB, like `[T; 2]` to `[T; 1]`.
1177/// Increasing size is usually UB from being insufficiently initialized -- like
1178/// `u8` to `u32` -- but isn't always.  For example, going from `u8` to
1179/// `#[repr(C, align(4))] AlignedU8(u8);` is sound.
1180///
1181/// Prefer normal `transmute` where possible, for the extra checking, since
1182/// both do exactly the same thing at runtime, if they both compile.
1183///
1184/// # Safety
1185///
1186/// If `size_of::<Src>() >= size_of::<Dst>()`, the first `size_of::<Dst>()` bytes
1187/// of `src` must be be *valid* when interpreted as a `Dst`.  (In this case, the
1188/// preconditions are the same as for `transmute_copy(&ManuallyDrop::new(src))`.)
1189///
1190/// If `size_of::<Src>() <= size_of::<Dst>()`, the bytes of `src` padded with
1191/// uninitialized bytes afterwards up to a total size of `size_of::<Dst>()`
1192/// must be *valid* when interpreted as a `Dst`.
1193///
1194/// In both cases, any safety preconditions of the `Dst` type must also be upheld.
1195///
1196/// # Examples
1197///
1198/// ```
1199/// #![feature(transmute_prefix)]
1200/// use std::mem::transmute_prefix;
1201///
1202/// assert_eq!(unsafe { transmute_prefix::<[i32; 4], [i32; 2]>([1, 2, 3, 4]) }, [1, 2]);
1203///
1204/// let expected = if cfg!(target_endian = "little") { 0x34 } else { 0x12 };
1205/// assert_eq!(unsafe { transmute_prefix::<u16, u8>(0x1234) }, expected);
1206///
1207/// // Would be UB because the destination is incompletely initialized.
1208/// // transmute_prefix::<u8, u16>(123)
1209///
1210/// // OK because the destination is allowed to be partially initialized.
1211/// let _: std::mem::MaybeUninit<u16> = unsafe { transmute_prefix(123_u8) };
1212/// ```
1213#[unstable(feature = "transmute_prefix", issue = "155079")]
1214#[rustc_no_writable]
1215pub const unsafe fn transmute_prefix<Src, Dst>(src: Src) -> Dst {
1216    #[repr(C)]
1217    union Transmute<A, B> {
1218        a: ManuallyDrop<A>,
1219        b: ManuallyDrop<B>,
1220    }
1221
1222    match const { Ord::cmp(&Src::SIZE, &Dst::SIZE) } {
1223        // SAFETY: When Dst is bigger, the union is the size of Dst
1224        Ordering::Less => unsafe {
1225            let a = transmute_neo(src);
1226            intrinsics::transmute_unchecked(Transmute::<Src, Dst> { a })
1227        },
1228        // SAFETY: When they're the same size, we can use the MIR primitive
1229        Ordering::Equal => unsafe { intrinsics::transmute_unchecked::<Src, Dst>(src) },
1230        // SAFETY: When Src is bigger, the union is the size of Src
1231        Ordering::Greater => unsafe {
1232            let u: Transmute<Src, Dst> = intrinsics::transmute_unchecked(src);
1233            transmute_neo(u.b)
1234        },
1235    }
1236}
1237
1238/// New version of `transmute`, exposed under this name so it can be iterated upon
1239/// without risking breakage to uses of "real" transmute.
1240///
1241/// Uses a `const`-`assert` to check the sizes instead of typeck hacks,
1242/// but is semantially identical to `transmute` otherwise.
1243///
1244/// It will not be stabilized under this name.
1245///
1246/// # Examples
1247///
1248/// ```
1249/// #![feature(transmute_neo)]
1250/// use std::mem::transmute_neo;
1251///
1252/// assert_eq!(unsafe { transmute_neo::<f32, u32>(0.0) }, 0);
1253/// ```
1254///
1255/// ```compile_fail,E0080
1256/// #![feature(transmute_neo)]
1257/// use std::mem::transmute_neo;
1258///
1259/// unsafe { transmute_neo::<u32, u16>(123) };
1260/// ```
1261#[unstable(feature = "transmute_neo", issue = "155079")]
1262#[cfg_attr(miri, track_caller)] // even without panics, this helps for Miri backtraces
1263#[inline]
1264#[rustc_no_writable]
1265pub const unsafe fn transmute_neo<Src, Dst>(src: Src) -> Dst {
1266    const { assert!(Src::SIZE == Dst::SIZE) };
1267
1268    // SAFETY: the const-assert just checked that they're the same size,
1269    // and any other safety invariants need to be upheld by the caller.
1270    unsafe { intrinsics::transmute_unchecked(src) }
1271}
1272
1273/// Opaque type representing the discriminant of an enum.
1274///
1275/// See the [`discriminant`] function in this module for more information.
1276#[stable(feature = "discriminant_value", since = "1.21.0")]
1277pub struct Discriminant<T>(<T as DiscriminantKind>::Discriminant);
1278
1279// N.B. These trait implementations cannot be derived because we don't want any bounds on T.
1280
1281#[stable(feature = "discriminant_value", since = "1.21.0")]
1282impl<T> Copy for Discriminant<T> {}
1283
1284#[stable(feature = "discriminant_value", since = "1.21.0")]
1285impl<T> clone::Clone for Discriminant<T> {
1286    fn clone(&self) -> Self {
1287        *self
1288    }
1289}
1290
1291#[doc(hidden)]
1292#[unstable(feature = "trivial_clone", issue = "none")]
1293unsafe impl<T> TrivialClone for Discriminant<T> {}
1294
1295#[stable(feature = "discriminant_value", since = "1.21.0")]
1296impl<T> cmp::PartialEq for Discriminant<T> {
1297    fn eq(&self, rhs: &Self) -> bool {
1298        self.0 == rhs.0
1299    }
1300}
1301
1302#[stable(feature = "discriminant_value", since = "1.21.0")]
1303impl<T> cmp::Eq for Discriminant<T> {}
1304
1305#[stable(feature = "discriminant_value", since = "1.21.0")]
1306impl<T> hash::Hash for Discriminant<T> {
1307    fn hash<H: hash::Hasher>(&self, state: &mut H) {
1308        self.0.hash(state);
1309    }
1310}
1311
1312#[stable(feature = "discriminant_value", since = "1.21.0")]
1313impl<T> fmt::Debug for Discriminant<T> {
1314    fn fmt(&self, fmt: &mut fmt::Formatter<'_>) -> fmt::Result {
1315        fmt.debug_tuple("Discriminant").field(&self.0).finish()
1316    }
1317}
1318
1319/// Returns a value uniquely identifying the enum variant in `v`.
1320///
1321/// If `T` is not an enum, calling this function will not result in undefined behavior, but the
1322/// return value is unspecified.
1323///
1324/// # Stability
1325///
1326/// The discriminant of an enum variant may change if the enum definition changes. A discriminant
1327/// of some variant will not change between compilations with the same compiler. See the [Reference]
1328/// for more information.
1329///
1330/// [Reference]: ../../reference/items/enumerations.html#custom-discriminant-values-for-fieldless-enumerations
1331///
1332/// The value of a [`Discriminant<T>`] is independent of any *free lifetimes* in `T`. As such,
1333/// reading or writing a `Discriminant<Foo<'a>>` as a `Discriminant<Foo<'b>>` (whether via
1334/// [`transmute`] or otherwise) is always sound. Note that this is **not** true for other kinds
1335/// of generic parameters and for higher-ranked lifetimes; `Discriminant<Foo<A>>` and
1336/// `Discriminant<Foo<B>>` as well as `Discriminant<Bar<dyn for<'a> Trait<'a>>>` and
1337/// `Discriminant<Bar<dyn Trait<'static>>>` may be incompatible.
1338///
1339/// # Examples
1340///
1341/// This can be used to compare enums that carry data, while disregarding
1342/// the actual data:
1343///
1344/// ```
1345/// use std::mem;
1346///
1347/// enum Foo { A(&'static str), B(i32), C(i32) }
1348///
1349/// assert_eq!(mem::discriminant(&Foo::A("bar")), mem::discriminant(&Foo::A("baz")));
1350/// assert_eq!(mem::discriminant(&Foo::B(1)), mem::discriminant(&Foo::B(2)));
1351/// assert_ne!(mem::discriminant(&Foo::B(3)), mem::discriminant(&Foo::C(3)));
1352/// ```
1353///
1354/// ## Accessing the numeric value of the discriminant
1355///
1356/// Note that it is *undefined behavior* to [`transmute`] from [`Discriminant`] to a primitive!
1357///
1358/// If an enum has only unit variants, then the numeric value of the discriminant can be accessed
1359/// with an [`as`] cast:
1360///
1361/// ```
1362/// enum Enum {
1363///     Foo,
1364///     Bar,
1365///     Baz,
1366/// }
1367///
1368/// assert_eq!(0, Enum::Foo as isize);
1369/// assert_eq!(1, Enum::Bar as isize);
1370/// assert_eq!(2, Enum::Baz as isize);
1371/// ```
1372///
1373/// If an enum has opted-in to having a [primitive representation] for its discriminant,
1374/// then it's possible to use pointers to read the memory location storing the discriminant.
1375/// That **cannot** be done for enums using the [default representation], however, as it's
1376/// undefined what layout the discriminant has and where it's stored — it might not even be
1377/// stored at all!
1378///
1379/// [`as`]: ../../std/keyword.as.html
1380/// [primitive representation]: ../../reference/type-layout.html#primitive-representations
1381/// [default representation]: ../../reference/type-layout.html#the-default-representation
1382/// ```
1383/// #[repr(u8)]
1384/// enum Enum {
1385///     Unit,
1386///     Tuple(bool),
1387///     Struct { a: bool },
1388/// }
1389///
1390/// impl Enum {
1391///     fn discriminant(&self) -> u8 {
1392///         // SAFETY: Because `Self` is marked `repr(u8)`, its layout is a `repr(C)` `union`
1393///         // between `repr(C)` structs, each of which has the `u8` discriminant as its first
1394///         // field, so we can read the discriminant without offsetting the pointer.
1395///         unsafe { *<*const _>::from(self).cast::<u8>() }
1396///     }
1397/// }
1398///
1399/// let unit_like = Enum::Unit;
1400/// let tuple_like = Enum::Tuple(true);
1401/// let struct_like = Enum::Struct { a: false };
1402/// assert_eq!(0, unit_like.discriminant());
1403/// assert_eq!(1, tuple_like.discriminant());
1404/// assert_eq!(2, struct_like.discriminant());
1405///
1406/// // ⚠️ This is undefined behavior. Don't do this. ⚠️
1407/// // assert_eq!(0, unsafe { std::mem::transmute::<_, u8>(std::mem::discriminant(&unit_like)) });
1408/// ```
1409#[stable(feature = "discriminant_value", since = "1.21.0")]
1410#[rustc_const_stable(feature = "const_discriminant", since = "1.75.0")]
1411#[rustc_diagnostic_item = "mem_discriminant"]
1412#[cfg_attr(miri, track_caller)] // even without panics, this helps for Miri backtraces
1413pub const fn discriminant<T>(v: &T) -> Discriminant<T> {
1414    Discriminant(intrinsics::discriminant_value(v))
1415}
1416
1417/// Returns the number of variants in the enum type `T`.
1418///
1419/// If `T` is not an enum, calling this function will not result in undefined behavior, but the
1420/// return value is unspecified. Equally, if `T` is an enum with more variants than `usize::MAX`
1421/// the return value is unspecified. Uninhabited variants will be counted.
1422///
1423/// Note that an enum may be expanded with additional variants in the future
1424/// as a non-breaking change, for example if it is marked `#[non_exhaustive]`,
1425/// which will change the result of this function.
1426///
1427/// # Examples
1428///
1429/// ```
1430/// # #![feature(never_type)]
1431/// # #![feature(variant_count)]
1432///
1433/// use std::mem;
1434///
1435/// enum Void {}
1436/// enum Foo { A(&'static str), B(i32), C(i32) }
1437///
1438/// assert_eq!(mem::variant_count::<Void>(), 0);
1439/// assert_eq!(mem::variant_count::<Foo>(), 3);
1440///
1441/// assert_eq!(mem::variant_count::<Option<!>>(), 2);
1442/// assert_eq!(mem::variant_count::<Result<!, !>>(), 2);
1443/// ```
1444#[inline(always)]
1445#[must_use]
1446#[unstable(feature = "variant_count", issue = "73662")]
1447#[rustc_const_unstable(feature = "variant_count", issue = "73662")]
1448#[rustc_diagnostic_item = "mem_variant_count"]
1449pub const fn variant_count<T>() -> usize {
1450    const { intrinsics::variant_count::<T>() }
1451}
1452
1453/// Provides associated constants for various useful properties of types,
1454/// to give them a canonical form in our code and make them easier to read.
1455///
1456/// This is here only to simplify all the ZST checks we need in the library.
1457/// It's not on a stabilization track right now.
1458#[doc(hidden)]
1459#[unstable(feature = "sized_type_properties", issue = "none")]
1460pub trait SizedTypeProperties: Sized {
1461    #[doc(hidden)]
1462    #[unstable(feature = "sized_type_properties", issue = "none")]
1463    #[lang = "mem_size_const"]
1464    const SIZE: usize = intrinsics::size_of::<Self>();
1465
1466    #[doc(hidden)]
1467    #[unstable(feature = "sized_type_properties", issue = "none")]
1468    #[lang = "mem_align_const"]
1469    const ALIGN: usize = intrinsics::align_of::<Self>();
1470
1471    #[doc(hidden)]
1472    #[unstable(feature = "ptr_alignment_type", issue = "102070")]
1473    const ALIGNMENT: Alignment = {
1474        // This can't panic since type alignment is always a power of two.
1475        Alignment::new(Self::ALIGN).unwrap()
1476    };
1477
1478    /// `true` if this type requires no storage.
1479    /// `false` if its [size](size_of) is greater than zero.
1480    ///
1481    /// # Examples
1482    ///
1483    /// ```
1484    /// #![feature(sized_type_properties)]
1485    /// use core::mem::SizedTypeProperties;
1486    ///
1487    /// fn do_something_with<T>() {
1488    ///     if T::IS_ZST {
1489    ///         // ... special approach ...
1490    ///     } else {
1491    ///         // ... the normal thing ...
1492    ///     }
1493    /// }
1494    ///
1495    /// struct MyUnit;
1496    /// assert!(MyUnit::IS_ZST);
1497    ///
1498    /// // For negative checks, consider using UFCS to emphasize the negation
1499    /// assert!(!<i32>::IS_ZST);
1500    /// // As it can sometimes hide in the type otherwise
1501    /// assert!(!String::IS_ZST);
1502    /// ```
1503    #[doc(hidden)]
1504    #[unstable(feature = "sized_type_properties", issue = "none")]
1505    const IS_ZST: bool = Self::SIZE == 0;
1506
1507    #[doc(hidden)]
1508    #[unstable(feature = "sized_type_properties", issue = "none")]
1509    const LAYOUT: Layout = {
1510        // SAFETY: if the type is instantiated, rustc already ensures that its
1511        // layout is valid. Use the unchecked constructor to avoid inserting a
1512        // panicking codepath that needs to be optimized out.
1513        unsafe { Layout::from_size_align_unchecked(Self::SIZE, Self::ALIGN) }
1514    };
1515
1516    /// The largest safe length for a `[Self]`.
1517    ///
1518    /// Anything larger than this would make `size_of_val` overflow `isize::MAX`,
1519    /// which is never allowed for a single object.
1520    #[doc(hidden)]
1521    #[unstable(feature = "sized_type_properties", issue = "none")]
1522    const MAX_SLICE_LEN: usize = match Self::SIZE {
1523        0 => usize::MAX,
1524        n => (isize::MAX as usize) / n,
1525    };
1526}
1527#[doc(hidden)]
1528#[unstable(feature = "sized_type_properties", issue = "none")]
1529impl<T> SizedTypeProperties for T {}
1530
1531/// Expands to the offset in bytes of a field from the beginning of the given type.
1532///
1533/// The type may be a `struct`, `enum`, `union`, or tuple.
1534///
1535/// The field may be a nested field (`field1.field2`), but not an array index.
1536/// The field must be visible to the call site.
1537///
1538/// The offset is returned as a [`usize`].
1539///
1540/// # Offsets of, and in, dynamically sized types
1541///
1542/// The field’s type must be [`Sized`], but it may be located in a [dynamically sized] container.
1543/// If the field type is dynamically sized, then you cannot use `offset_of!` (since the field's
1544/// alignment, and therefore its offset, may also be dynamic) and must take the offset from an
1545/// actual pointer to the container instead.
1546///
1547/// ```
1548/// # use core::mem;
1549/// # use core::fmt::Debug;
1550/// #[repr(C)]
1551/// pub struct Struct<T: ?Sized> {
1552///     a: u8,
1553///     b: T,
1554/// }
1555///
1556/// #[derive(Debug)]
1557/// #[repr(C, align(4))]
1558/// struct Align4(u32);
1559///
1560/// assert_eq!(mem::offset_of!(Struct<dyn Debug>, a), 0); // OK — Sized field
1561/// assert_eq!(mem::offset_of!(Struct<Align4>, b), 4); // OK — not DST
1562///
1563/// // assert_eq!(mem::offset_of!(Struct<dyn Debug>, b), 1);
1564/// // ^^^ error[E0277]: ... cannot be known at compilation time
1565///
1566/// // To obtain the offset of a !Sized field, examine a concrete value
1567/// // instead of using offset_of!.
1568/// let value: Struct<Align4> = Struct { a: 1, b: Align4(2) };
1569/// let ref_unsized: &Struct<dyn Debug> = &value;
1570/// let offset_of_b = unsafe {
1571///     (&raw const ref_unsized.b).byte_offset_from_unsigned(ref_unsized)
1572/// };
1573/// assert_eq!(offset_of_b, 4);
1574/// ```
1575///
1576/// If you need to obtain the offset of a field of a `!Sized` type, then, since the offset may
1577/// depend on the particular value being stored (in particular, `dyn Trait` values have a
1578/// dynamically-determined alignment), you must retrieve the offset from a specific reference
1579/// or pointer, and so you cannot use `offset_of!` to work without one.
1580///
1581/// # Layout is subject to change
1582///
1583/// Note that type layout is, in general, [subject to change and
1584/// platform-specific](https://doc.rust-lang.org/reference/type-layout.html). If
1585/// layout stability is required, consider using an [explicit `repr` attribute].
1586///
1587/// Rust guarantees that the offset of a given field within a given type will not
1588/// change over the lifetime of the program. However, two different compilations of
1589/// the same program may result in different layouts. Also, even within a single
1590/// program execution, no guarantees are made about types which are *similar* but
1591/// not *identical*, e.g.:
1592///
1593/// ```
1594/// struct Wrapper<T, U>(T, U);
1595///
1596/// type A = Wrapper<u8, u8>;
1597/// type B = Wrapper<u8, i8>;
1598///
1599/// // Not necessarily identical even though `u8` and `i8` have the same layout!
1600/// // assert_eq!(mem::offset_of!(A, 1), mem::offset_of!(B, 1));
1601///
1602/// #[repr(transparent)]
1603/// struct U8(u8);
1604///
1605/// type C = Wrapper<u8, U8>;
1606///
1607/// // Not necessarily identical even though `u8` and `U8` have the same layout!
1608/// // assert_eq!(mem::offset_of!(A, 1), mem::offset_of!(C, 1));
1609///
1610/// struct Empty<T>(core::marker::PhantomData<T>);
1611///
1612/// // Not necessarily identical even though `PhantomData` always has the same layout!
1613/// // assert_eq!(mem::offset_of!(Empty<u8>, 0), mem::offset_of!(Empty<i8>, 0));
1614/// ```
1615///
1616/// [explicit `repr` attribute]: https://doc.rust-lang.org/reference/type-layout.html#representations
1617///
1618/// # Unstable features
1619///
1620/// The following unstable features expand the functionality of `offset_of!`:
1621///
1622/// * [`offset_of_enum`] — allows `enum` variants to be traversed as if they were fields.
1623/// * [`offset_of_slice`] — allows getting the offset of a field of type `[T]`.
1624///
1625/// # Examples
1626///
1627/// ```
1628/// use std::mem;
1629/// #[repr(C)]
1630/// struct FieldStruct {
1631///     first: u8,
1632///     second: u16,
1633///     third: u8
1634/// }
1635///
1636/// assert_eq!(mem::offset_of!(FieldStruct, first), 0);
1637/// assert_eq!(mem::offset_of!(FieldStruct, second), 2);
1638/// assert_eq!(mem::offset_of!(FieldStruct, third), 4);
1639///
1640/// #[repr(C)]
1641/// struct NestedA {
1642///     b: NestedB
1643/// }
1644///
1645/// #[repr(C)]
1646/// struct NestedB(u8);
1647///
1648/// assert_eq!(mem::offset_of!(NestedA, b.0), 0);
1649/// ```
1650///
1651/// [dynamically sized]: https://doc.rust-lang.org/reference/dynamically-sized-types.html
1652/// [`offset_of_enum`]: https://doc.rust-lang.org/nightly/unstable-book/language-features/offset-of-enum.html
1653/// [`offset_of_slice`]: https://doc.rust-lang.org/nightly/unstable-book/language-features/offset-of-slice.html
1654#[stable(feature = "offset_of", since = "1.77.0")]
1655#[diagnostic::on_unmatched_args(
1656    note = "this macro expects a container type and a (nested) field path, like `offset_of!(Type, field)`"
1657)]
1658#[doc(alias = "memoffset")]
1659#[allow_internal_unstable(builtin_syntax, core_intrinsics)]
1660#[diagnostic::opaque]
1661pub macro offset_of($Container:ty, $($fields:expr)+ $(,)?) {
1662    const { builtin # offset_of($Container, $($fields)+) }
1663}
1664
1665/// Create a fresh instance of the inhabited ZST type `T`.
1666///
1667/// Prefer this to [`zeroed`] or [`uninitialized`] or [`transmute_copy`]
1668/// in places where you know that `T` is zero-sized, but don't have a bound
1669/// (such as [`Default`]) that would allow you to instantiate it using safe code.
1670///
1671/// If you're not sure whether `T` is an inhabited ZST, then you should be
1672/// using [`MaybeUninit`], not this function.
1673///
1674/// # Panics
1675///
1676/// If `size_of::<T>() != 0`.
1677///
1678/// # Safety
1679///
1680/// - `T` must be *[inhabited]*, i.e. possible to construct. This means that types
1681///   like zero-variant enums and [`!`] are unsound to conjure.
1682/// - You must use the value only in ways which do not violate any *safety*
1683///   invariants of the type.
1684///
1685/// While it's easy to create a *valid* instance of an inhabited ZST, since having
1686/// no bits in its representation means there's only one possible value, that
1687/// doesn't mean that it's always *sound* to do so.
1688///
1689/// For example, a library could design zero-sized tokens that are `!Default + !Clone`, limiting
1690/// their creation to functions that initialize some state or establish a scope. Conjuring such a
1691/// token could break invariants and lead to unsoundness.
1692///
1693/// # Examples
1694///
1695/// ```
1696/// #![feature(mem_conjure_zst)]
1697/// use std::mem::conjure_zst;
1698///
1699/// assert_eq!(unsafe { conjure_zst::<()>() }, ());
1700/// assert_eq!(unsafe { conjure_zst::<[i32; 0]>() }, []);
1701/// ```
1702///
1703/// [inhabited]: https://doc.rust-lang.org/reference/glossary.html#inhabited
1704#[unstable(feature = "mem_conjure_zst", issue = "95383")]
1705#[rustc_const_unstable(feature = "mem_conjure_zst", issue = "95383")]
1706pub const unsafe fn conjure_zst<T>() -> T {
1707    const_assert!(
1708        T::IS_ZST,
1709        "mem::conjure_zst invoked on a non-zero-sized type",
1710        "mem::conjure_zst invoked on type {name}, which is not zero-sized",
1711        name: &str = crate::any::type_name::<T>()
1712    );
1713
1714    // SAFETY: because the caller must guarantee that it's inhabited and zero-sized,
1715    // there's nothing in the representation that needs to be set.
1716    // `assume_init` calls `assert_inhabited`, so we don't need to here.
1717    unsafe {
1718        #[allow(clippy::uninit_assumed_init)]
1719        MaybeUninit::uninit().assume_init()
1720    }
1721}