"drop-move": a crate to support moving out of drop

One ugly feature of Rust is that Drop::drop's signature is drop(&mut self), not drop(self). This means that it requires unsafe code to e.g. call a FnOnce from drop, or for a struct to add a Box it holds to a free list, rather than dropping it. They did it this way because otherwise drop would have to be special cased so that it wouldn't recursively drop itself in an infinite loop when it reaches the end of the function. drop-move resolve this by treating dropping as destructuring. Instead, of drop(&mut self), drop_move is given an object that can either be dereferenced to &mut Self or destructured into its members. If it is not destructured by the end, it will automatically destructure into its members and drop them. drop-move also support destructuring in other context, not just when dropping, solving the related problem that Drop types are not allowed to be destructured.

A simple example:

use drop_move::{drop_move_wrap, DropMove, DropHandle};

drop_move_wrap! {
    /// Runs a function when dropped.
    pub struct DropGuard<F: FnOnce()>(DropGuardInner {
        func: F,

impl<F: FnOnce()> DropMove for DropGuardInner<F> {
    fn drop_move(self_: DropHandle<Self>) {

impl<F: FnOnce()> DropGuard<F> {
    pub fn new(f: F) -> Self {
        DropGuardInner { func: f }.into()

let mut x: u32 = 0;
    let y = Box::new(&mut x); // Box is not Copy, so the closure will only be FnOnce.
    let guard = DropGuard::new(move || **y += 1);

assert_eq!(x, 1);

Check out the docs for more.


This topic was automatically closed 90 days after the last reply. We invite you to open a new topic if you have further questions or comments.