如何在Rust中为非平凡类型实现类值语义？

我希望编写一个实现了Drop trait的类型，但又想像实现Copy trait的类型那样，无需每次复制都调用.clone()。但我知道不能用Copy trait，因为它只能为可通过memcpy复制的平凡类型实现，且和Drop trait不兼容。

示例代码：

use std::rc::Rc;

#[derive(Clone)]
struct Impl {
    //... details
}

#[derive(Clone)]
struct ValueLikeHandle {
    handle : Rc<Impl>
}

impl ValueLikeHandle {
    pub fn new() -> ValueLikeHandle {
        ValueLikeHandle { handle : Rc::new(Impl{}) }
    }
}

fn main() {
    let a = ValueLikeHandle::new();
    let b = a; // 我希望这里自动调用.clone()，不用显式写出来
    let c = a;
}

解决方案 #

Rust原生语法不支持让let b = a自动替代为clone（这会打破移动语义的核心设计），但可以通过以下方式模拟类值语义：

• 利用Rc/Arc共享所有权+Deref简化访问
  虽然还是需要显式调用clone来复制句柄，但通过实现Deref，可以让你像直接操作内部值一样使用ValueLikeHandle，接近类值的使用体验：

  use std::rc::Rc;
  use std::ops::Deref;
  
  #[derive(Clone)]
  struct Impl {
      // ... 自定义字段和方法
  }
  
  #[derive(Clone)]
  struct ValueLikeHandle {
      handle: Rc<Impl>,
  }
  
  // 实现Deref，让ValueLikeHandle可以直接访问Impl的方法和字段
  impl Deref for ValueLikeHandle {
      type Target = Impl;
  
      fn deref(&self) -> &Self::Target {
          &self.handle
      }
  }
  
  impl ValueLikeHandle {
      pub fn new() -> Self {
          ValueLikeHandle { handle: Rc::new(Impl {}) }
      }
  
      // 可选：提供更简短的复制方法替代.clone()
      pub fn dup(&self) -> Self {
          self.clone()
      }
  }
  
  fn main() {
      let a = ValueLikeHandle::new();
      let b = a.clone(); // 显式复制句柄
      let c = a.dup(); // 用自定义方法简化调用
  
      // 直接访问内部Impl的成员，无需通过handle字段
      // println!("{}", b.some_field);
      // b.some_method();
  }
  

• 用宏封装clone调用
  如果你想进一步减少打字量，可以写一个简单宏自动插入clone：

  macro_rules! c {
      ($var:ident) => { $var.clone() };
  }
  
  fn main() {
      let a = ValueLikeHandle::new();
      let b = c!(a);
      let c = c!(a);
  }
  

• 真正的独立值语义（非共享）
  如果你的需求是复制后得到完全独立的实例（而非共享引用），那Rc就不适用了。这种情况下可以：

  • 直接依赖Clone trait，在需要复制时显式调用clone；
  • 使用Cow<Impl>，它会在需要修改时自动克隆内部值，只读场景下共享引用；
  • 若需要修改共享实例，可在Impl内部使用RefCell（单线程）或Mutex（多线程）实现内部可变性，但要注意运行时的借用检查开销。

关键说明 #

Rust的Copy trait与Drop互斥是设计使然：Copy要求类型可以通过memcpy直接复制，而Drop需要处理非平凡资源（如文件句柄、堆内存），自动复制会导致资源被多次释放，引发安全问题。因此无法通过Copy实现你想要的效果，只能通过上述方式模拟类值语义。

内容的提问来源于stack exchange，提问作者Tyker