如何创建要求重写Drop trait的Rust自定义trait？

Rust本身不允许直接在Trait里提供Drop的默认实现，也没法强制实现了Trait的类型必须手动实现Drop——因为Drop是Rust的特殊Trait，规则上禁止Trait为它提供默认实现，也没有语法支持强制类型实现Drop。不过我们可以用包装器模式间接实现需求，确保cleanup一定会在实例销毁时被调用。

实现方案：用泛型包装器封装目标类型 #

核心思路是创建一个泛型包装结构体，让它负责实现Drop，在drop方法里调用内部实例的cleanup。只要用户把自己的类型放进这个包装器，就能自动获得Drop行为，不用手动编写Drop实现。

完整代码示例 #

trait MyTrait {
    fn cleanup(&self);
}

// 泛型包装器，持有实现了MyTrait的实例
struct AutoCleanup<T: MyTrait>(T);

// 包装器实现Drop，自动调用内部实例的cleanup
impl<T: MyTrait> Drop for AutoCleanup<T> {
    fn drop(&mut self) {
        self.0.cleanup();
    }
}

// 实现Deref，让包装器可以像原实例一样被直接访问
use std::ops::Deref;
impl<T: MyTrait> Deref for AutoCleanup<T> {
    type Target = T;
    
    fn deref(&self) -> &Self::Target {
        &self.0
    }
}

// ---------------------- 使用示例 ----------------------
struct MyStruct;

impl MyTrait for MyStruct {
    fn cleanup(&self) {
        println!("Cleaning up MyStruct");
    }
}

fn main() {
    {
        // 用AutoCleanup包装MyStruct实例
        let _x = AutoCleanup(MyStruct);
    } // 此处自动触发drop，执行cleanup
    println!("done");
}

为什么不能直接在Trait里实现Drop？ #

这是Rust的设计规则决定的：

• 一个类型只能有一个Drop实现，如果Trait提供默认Drop，会和类型自身可能的Drop实现冲突。
• Rust没有语法支持让Trait强制要求实现它的类型必须实现Drop，Drop的实现始终是可选的。

包装器模式的优势 #

• 强制执行cleanup：只要实例被包装在AutoCleanup中，销毁时必然触发cleanup，不会出现遗漏。
• 减少重复代码：用户只需要实现MyTrait的cleanup方法，Drop逻辑由包装器统一处理。
• 透明使用：通过Deref实现，包装器可以像原实例一样被调用方法、访问字段，几乎没有额外使用成本。

内容的提问来源于stack exchange，提问作者Eugene Sh.