blob: 75652d031c5bf5a16bee03a5aeee3db4c027333c [file] [log] [blame] [view]
# moveit
A library for safe, in-place construction of Rust (and C++!) objects.
## How It Works
`moveit` revolves around `unsafe trait`s that impose additional guarantees
on `!Unpin` types, such that they can be moved in the C++ sense. There are
two senses of "move" frequently used:
- The Rust sense, which is a blind memcpy and analogous-ish to the
C++ "std::is_trivially_moveable` type-trait. Rust moves also render the
moved-from object inaccessible.
- The C++ sense, where a move is really like a mutating `Clone` operation,
which leave the moved-from value accessible to be destroyed at the end of
the scope.
C++ also has *constructors*, which are special functions that produce a new
value in a particular location. In particular, C++ constructors may assume
that the address of `*this` will not change; all C++ objects are effectively
pinned and new objects must be constructed using copy or move constructors.
The [`New`], [`CopyNew`], and [`MoveNew`] traits bring these concepts
into Rust. A [`New`] is like a nilary [`FnOnce`], except that instead of
returning its result, it writes it to a `Pin<&mut MaybeUninit<T>>`, which is
in the "memory may be repurposed" state described in the
[`Pin` documentation] (i.e., either it is freshly allocated or the
destructor was recently run). This allows a [`New`] to rely on the
pointer's address remaining stable, much like `*this` in C++.
Types that implement [`CopyNew`] may be *copy-constructed*: given any
pointer to `T: CopyNew`, we can generate a constructor that constructs a
new, identical `T` at a designated location. [`MoveNew`] types may be
*move-constructed*: given an *owning* pointer (see [`DerefMove`]) to `T`,
we can generate a similar constructor, except that it also destroys the
`T` and the owning pointer's storage.
None of this violates the existing `Pin` guarantees: moving out of a
`Pin<P>` does not perform a move in the Rust sense, but rather in the C++
sense: it mutates through the pinned pointer in a safe manner to construct
a new `P::Target`, and then destroys the pointer and its contents.
In general, move-constructible types are going to want to be `!Unpin` so
that they can be self-referential. Self-referential types are one of the
primary motivations for move constructors.
## Constructors
A constructor is any type that implements [`New`]. Constructors are like
closures that have guaranteed RVO, which can be used to construct a
self-referential type in-place. To use the example from the `Pin<T>` docs:
```rust
use std::marker::PhantomPinned;
use std::mem::MaybeUninit;
use std::pin::Pin;
use std::ptr;
use std::ptr::NonNull;
use moveit::new;
use moveit::new::New;
use moveit::moveit;
// This is a self-referential struct because the slice field points to the
// data field. We cannot inform the compiler about that with a normal
// reference, as this pattern cannot be described with the usual borrowing
// rules. Instead we use a raw pointer, though one which is known not to be
// null, as we know it's pointing at the string.
struct Unmovable {
data: String,
slice: NonNull<String>,
_pin: PhantomPinned,
}
impl Unmovable {
// Defer construction until the final location is known.
fn new(data: String) -> impl New<Output = Self> {
new::of(Unmovable {
data,
// We only create the pointer once the data is in place
// otherwise it will have already moved before we even started.
slice: NonNull::dangling(),
_pin: PhantomPinned,
}).with(|this| unsafe {
let this = this.get_unchecked_mut();
this.slice = NonNull::from(&this.data);
})
// It is also possible to use other `new::` helpers, such as
// `new::by` and `new::by_raw`, to configure construction behavior.
}
}
// The constructor can't be used directly, and needs to be emplaced.
moveit! {
let unmoved = Unmovable::new("hello".to_string());
}
// The pointer should point to the correct location,
// so long as the struct hasn't moved.
// Meanwhile, we are free to move the pointer around.
let mut still_unmoved = unmoved;
assert_eq!(still_unmoved.slice, NonNull::from(&still_unmoved.data));
// Since our type doesn't implement Unpin, this will fail to compile:
// let mut new_unmoved = Unmovable::new("world".to_string());
// std::mem::swap(&mut *still_unmoved, &mut *new_unmoved);
// However, we can implement `MoveNew` to allow it to be "moved" again.
```
The [`new`] module provides various helpers for making constructors. As a
rule, functions which, in Rust, would normally construct and return a value
should return `impl New` instead. This is analogous to have `async fn`s and
`.iter()` functions work.
## Emplacement
The example above makes use of the [`moveit!()`] macro, one of many ways to
turn a constructor into a value. `moveit` gives you two choices for running
a constructor:
- On the stack, using the [`MoveRef`] type (this is what [`moveit!()`]
generates).
- On the heap, using the extension methods from the [`Emplace`] trait.
For example, we could have placed the above in a `Box` by writing
`Box::emplace(Unmovable::new())`.
[`Pin` documentation]: https://doc.rust-lang.org/std/pin/index.html#drop-guarantee
License: Apache-2.0
This is not an officially supported Google product.