pub unsafe trait CloneToUninit {
// Required method
unsafe fn clone_to_uninit(&self, dest: *mut u8);
}
clone_to_uninit
)Expand description
A generalization of Clone
to dynamically-sized types stored in arbitrary containers.
This trait is implemented for all types implementing Clone
, slices of all
such types, and other dynamically-sized types in the standard library.
You may also implement this trait to enable cloning custom DSTs
(structures containing dynamically-sized fields), or use it as a supertrait to enable
cloning a trait object.
This trait is normally used via operations on container types which support DSTs,
so you should not typically need to call .clone_to_uninit()
explicitly except when
implementing such a container or otherwise performing explicit management of an allocation,
or when implementing CloneToUninit
itself.
§Safety
Implementations must ensure that when .clone_to_uninit(dest)
returns normally rather than
panicking, it always leaves *dest
initialized as a valid value of type Self
.
§Examples
If you are defining a trait, you can add CloneToUninit
as a supertrait to enable cloning of
dyn
values of your trait:
#![feature(clone_to_uninit)]
use std::rc::Rc;
trait Foo: std::fmt::Debug + std::clone::CloneToUninit {
fn modify(&mut self);
fn value(&self) -> i32;
}
impl Foo for i32 {
fn modify(&mut self) {
*self *= 10;
}
fn value(&self) -> i32 {
*self
}
}
let first: Rc<dyn Foo> = Rc::new(1234);
let mut second = first.clone();
Rc::make_mut(&mut second).modify(); // make_mut() will call clone_to_uninit()
assert_eq!(first.value(), 1234);
assert_eq!(second.value(), 12340);
The following is an example of implementing CloneToUninit
for a custom DST.
(It is essentially a limited form of what derive(CloneToUninit)
would do,
if such a derive macro existed.)
#![feature(clone_to_uninit)]
use std::clone::CloneToUninit;
use std::mem::offset_of;
use std::rc::Rc;
#[derive(PartialEq)]
struct MyDst<T: ?Sized> {
label: String,
contents: T,
}
unsafe impl<T: ?Sized + CloneToUninit> CloneToUninit for MyDst<T> {
unsafe fn clone_to_uninit(&self, dest: *mut u8) {
// The offset of `self.contents` is dynamic because it depends on the alignment of T
// which can be dynamic (if `T = dyn SomeTrait`). Therefore, we have to obtain it
// dynamically by examining `self`, rather than using `offset_of!`.
//
// SAFETY: `self` by definition points somewhere before `&self.contents` in the same
// allocation.
let offset_of_contents = unsafe {
(&raw const self.contents).byte_offset_from_unsigned(self)
};
// Clone the *sized* fields of `self` (just one, in this example).
// (By cloning this first and storing it temporarily in a local variable, we avoid
// leaking it in case of any panic, using the ordinary automatic cleanup of local
// variables. Such a leak would be sound, but undesirable.)
let label = self.label.clone();
// SAFETY: The caller must provide a `dest` such that these field offsets are valid
// to write to.
unsafe {
// Clone the unsized field directly from `self` to `dest`.
self.contents.clone_to_uninit(dest.add(offset_of_contents));
// Now write all the sized fields.
//
// Note that we only do this once all of the clone() and clone_to_uninit() calls
// have completed, and therefore we know that there are no more possible panics;
// this ensures no memory leaks in case of panic.
dest.add(offset_of!(Self, label)).cast::<String>().write(label);
}
// All fields of the struct have been initialized; therefore, the struct is initialized,
// and we have satisfied our `unsafe impl CloneToUninit` obligations.
}
}
fn main() {
// Construct MyDst<[u8; 4]>, then coerce to MyDst<[u8]>.
let first: Rc<MyDst<[u8]>> = Rc::new(MyDst {
label: String::from("hello"),
contents: [1, 2, 3, 4],
});
let mut second = first.clone();
// make_mut() will call clone_to_uninit().
for elem in Rc::make_mut(&mut second).contents.iter_mut() {
*elem *= 10;
}
assert_eq!(first.contents, [1, 2, 3, 4]);
assert_eq!(second.contents, [10, 20, 30, 40]);
assert_eq!(second.label, "hello");
}
§See Also
Clone::clone_from
is a safe function which may be used instead whenSelf: Sized
and the destination is already initialized; it may be able to reuse allocations owned by the destination, whereasclone_to_uninit
cannot, since its destination is assumed to be uninitialized.ToOwned
, which allocates a new destination container.
Required Methods§
Sourceunsafe fn clone_to_uninit(&self, dest: *mut u8)
🔬This is a nightly-only experimental API. (clone_to_uninit
)
unsafe fn clone_to_uninit(&self, dest: *mut u8)
clone_to_uninit
)Performs copy-assignment from self
to dest
.
This is analogous to std::ptr::write(dest.cast(), self.clone())
,
except that Self
may be a dynamically-sized type (!Sized
).
Before this function is called, dest
may point to uninitialized memory.
After this function is called, dest
will point to initialized memory; it will be
sound to create a &Self
reference from the pointer with the pointer metadata
from self
.
§Safety
Behavior is undefined if any of the following conditions are violated:
dest
must be valid for writes forsize_of_val(self)
bytes.dest
must be properly aligned toalign_of_val(self)
.
§Panics
This function may panic. (For example, it might panic if memory allocation for a clone
of a value owned by self
fails.)
If the call panics, then *dest
should be treated as uninitialized memory; it must not be
read or dropped, because even if it was previously valid, it may have been partially
overwritten.
The caller may wish to to take care to deallocate the allocation pointed to by dest
,
if applicable, to avoid a memory leak (but this is not a requirement).
Implementors should avoid leaking values by, upon unwinding, dropping all component values
that might have already been created. (For example, if a [Foo]
of length 3 is being
cloned, and the second of the three calls to Foo::clone()
unwinds, then the first Foo
cloned should be dropped.)