forked from rust-lang/rust
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CloneToUninit: use a private specialization trait
and move implementation details into a submodule
- Loading branch information
1 parent
dbc13fb
commit 110c273
Showing
2 changed files
with
134 additions
and
117 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,128 @@ | ||
| use crate::mem::{self, MaybeUninit}; | ||
| use crate::ptr; | ||
|
|
||
| /// Private specialization trait used by CloneToUninit, as per | ||
| /// [the dev guide](https://std-dev-guide.rust-lang.org/policy/specialization.html). | ||
| pub(super) unsafe trait CopySpec: Clone { | ||
| unsafe fn clone_one(src: &Self, dst: *mut Self); | ||
| unsafe fn clone_slice(src: &[Self], dst: *mut [Self]); | ||
| } | ||
|
|
||
| unsafe impl<T: Clone> CopySpec for T { | ||
| #[inline] | ||
| default unsafe fn clone_one(src: &Self, dst: *mut Self) { | ||
| // SAFETY: The safety conditions of clone_to_uninit() are a superset of those of | ||
| // ptr::write(). | ||
| unsafe { | ||
| // We hope the optimizer will figure out to create the cloned value in-place, | ||
| // skipping ever storing it on the stack and the copy to the destination. | ||
| ptr::write(dst, src.clone()); | ||
| } | ||
| } | ||
|
|
||
| #[inline] | ||
| #[cfg_attr(debug_assertions, track_caller)] | ||
| default unsafe fn clone_slice(src: &[Self], dst: *mut [Self]) { | ||
| let len = src.len(); | ||
| // This is the most likely mistake to make, so check it as a debug assertion. | ||
| debug_assert_eq!( | ||
| len, | ||
| dst.len(), | ||
| "clone_to_uninit() source and destination must have equal lengths", | ||
| ); | ||
|
|
||
| // SAFETY: The produced `&mut` is valid because: | ||
| // * The caller is obligated to provide a pointer which is valid for writes. | ||
| // * All bytes pointed to are in MaybeUninit, so we don't care about the memory's | ||
| // initialization status. | ||
| let uninit_ref = unsafe { &mut *(dst as *mut [MaybeUninit<T>]) }; | ||
|
|
||
| // Copy the elements | ||
| let mut initializing = InitializingSlice::from_fully_uninit(uninit_ref); | ||
| for element_ref in src { | ||
| // If the clone() panics, `initializing` will take care of the cleanup. | ||
| initializing.push(element_ref.clone()); | ||
| } | ||
| // If we reach here, then the entire slice is initialized, and we've satisfied our | ||
| // responsibilities to the caller. Disarm the cleanup guard by forgetting it. | ||
| mem::forget(initializing); | ||
| } | ||
| } | ||
|
|
||
| // Specialized implementation for types that are [`Copy`], not just [`Clone`], | ||
| // and can therefore be copied bitwise. | ||
| unsafe impl<T: Copy> CopySpec for T { | ||
| #[inline] | ||
| unsafe fn clone_one(src: &Self, dst: *mut Self) { | ||
| // SAFETY: The safety conditions of clone_to_uninit() are a superset of those of | ||
| // ptr::copy_nonoverlapping(). | ||
| unsafe { | ||
| ptr::copy_nonoverlapping(src, dst, 1); | ||
| } | ||
| } | ||
|
|
||
| #[inline] | ||
| #[cfg_attr(debug_assertions, track_caller)] | ||
| unsafe fn clone_slice(src: &[Self], dst: *mut [Self]) { | ||
| let len = src.len(); | ||
| // This is the most likely mistake to make, so check it as a debug assertion. | ||
| debug_assert_eq!( | ||
| len, | ||
| dst.len(), | ||
| "clone_to_uninit() source and destination must have equal lengths", | ||
| ); | ||
|
|
||
| // SAFETY: The safety conditions of clone_to_uninit() are a superset of those of | ||
| // ptr::copy_nonoverlapping(). | ||
| unsafe { | ||
| ptr::copy_nonoverlapping(src.as_ptr(), dst.as_mut_ptr(), len); | ||
| } | ||
| } | ||
| } | ||
|
|
||
| /// Ownership of a collection of values stored in a non-owned `[MaybeUninit<T>]`, some of which | ||
| /// are not yet initialized. This is sort of like a `Vec` that doesn't own its allocation. | ||
| /// Its responsibility is to provide cleanup on unwind by dropping the values that *are* | ||
| /// initialized, unless disarmed by forgetting. | ||
| /// | ||
| /// This is a helper for `impl<T: Clone> CloneToUninit for [T]`. | ||
| struct InitializingSlice<'a, T> { | ||
| data: &'a mut [MaybeUninit<T>], | ||
| /// Number of elements of `*self.data` that are initialized. | ||
| initialized_len: usize, | ||
| } | ||
|
|
||
| impl<'a, T> InitializingSlice<'a, T> { | ||
| #[inline] | ||
| fn from_fully_uninit(data: &'a mut [MaybeUninit<T>]) -> Self { | ||
| Self { data, initialized_len: 0 } | ||
| } | ||
|
|
||
| /// Push a value onto the end of the initialized part of the slice. | ||
| /// | ||
| /// # Panics | ||
| /// | ||
| /// Panics if the slice is already fully initialized. | ||
| #[inline] | ||
| fn push(&mut self, value: T) { | ||
| MaybeUninit::write(&mut self.data[self.initialized_len], value); | ||
| self.initialized_len += 1; | ||
| } | ||
| } | ||
|
|
||
| impl<'a, T> Drop for InitializingSlice<'a, T> { | ||
| #[cold] // will only be invoked on unwind | ||
| fn drop(&mut self) { | ||
| let initialized_slice = ptr::slice_from_raw_parts_mut( | ||
| MaybeUninit::slice_as_mut_ptr(self.data), | ||
| self.initialized_len, | ||
| ); | ||
| // SAFETY: | ||
| // * the pointer is valid because it was made from a mutable reference | ||
| // * `initialized_len` counts the initialized elements as an invariant of this type, | ||
| // so each of the pointed-to elements is initialized and may be dropped. | ||
| unsafe { | ||
| ptr::drop_in_place::<[T]>(initialized_slice); | ||
| } | ||
| } | ||
| } |