如何破坏/脱离实施类型？

Question

我有一个托管指针类型 uniq ，实现 drop ，该方法应在不运行 drop 的情况下消耗它，然后返回框其分配的。

struct Uniq<T> { data: ManuallyDropped<Box<T>>, metadata: Metadata }

impl Uniq<T> {
   fn into_parts(/* mut */ self) -> (Box<T>, Metadata) {
     (ManuallyDrop::into_inner(self.data), self.metadata) // doesn't work

     // let Self { data, metadata } = self; // doesn't work either
   }
}

impl<T> Drop for Uniq<T> {
  fn drop(&mut self) {
    // fancy_management_ledgerwork(self.metadata)
  }
}

#[derive(Clone, Copy)]
struct Metadata(usize);

我如何为我的类型完成这种“破坏性移动”，哪种实现 drop ？

注意：从字面上看，每个搜索引擎的结果都是关于人们不了解移动语义。我 do 了解移动语义，我正在尝试利用它们以确保记忆安全，我无法弄清楚如何。我宁愿不要将 ManallyDrop＆lt; box＆lt; t＆gt;＆gt; 转换为较少安全的东西，复制喜欢 nonnull＆lt; t＆gt; 。

Answer 1

使用 ：

fn into_parts(mut self) -> (Box<T>, Metadata) {
    (unsafe { ManuallyDrop::take(&mut self.data) }, self.metadata)
}

编辑： @filiperodrigues正确地提到，如果您的 drop 实现尝试进行清理，您还需要防止其运行，要么通过 std :: mem :: best（）或通过 self 在手动drop 中包装。

Answer 2

此编译：

use std::mem::ManuallyDrop;

struct Uniq<T> { data: ManuallyDrop<Box<T>>, metadata: Metadata }

impl<T> Uniq<T> {
   fn into_parts(/* mut */ self) -> (Box<T>, Metadata) {
     (ManuallyDrop::into_inner(self.data), self.metadata)
   }
}

// impl<T> Drop for Uniq<T> {
//   fn drop(&mut self) {
//     // fancy_management_ledgerwork(self.metadata)
//   }
// }


#[derive(Clone, Copy)]
struct Metadata(usize);