如何为带关联类型的trait实现类型擦除版本？

问题背景 #

现有定义了关联类型的两个trait：

trait CollectionItem {
    // ...
}

trait Collection {
    type Item: CollectionItem;
    
    fn get(&self, index: usize) -> Self::Item;
    // ...
}

需要将其包装为一个同时对Collection和CollectionItem进行动态分发的类型，即实现类似DynCollection的结构，对外暴露统一的get方法，返回Box<dyn CollectionItem>。

解决方案 #

直接尝试Box<dyn Collection<Item=Box<dyn CollectionItem>>>无法工作，因为普通Collection实现的关联类型是具体类型而非Box<dyn CollectionItem>。需要通过一个适配trait来完成类型转换：

trait CollectionItem {
    // 示例方法，可根据需求调整
    fn name(&self) -> &str;
}

trait Collection {
    type Item: CollectionItem;
    
    fn get(&self, index: usize) -> Self::Item;
}

// 定义适配trait，将具体Item转换为擦除后的类型
trait ErasedCollection {
    fn get_erased(&self, index: usize) -> Box<dyn CollectionItem>;
}

// 为所有Collection实现适配trait
impl<C: Collection> ErasedCollection for C {
    fn get_erased(&self, index: usize) -> Box<dyn CollectionItem> {
        Box::new(self.get(index))
    }
}

// 最终的动态分发容器
struct DynCollection(Box<dyn ErasedCollection>);

impl DynCollection {
    fn get(&self, index: usize) -> Box<dyn CollectionItem> {
        self.0.get_erased(index)
    }
}

// 实现From转换，支持从任意Collection转为DynCollection
impl<C: Collection> From<C> for DynCollection {
    fn from(c: C) -> Self {
        DynCollection(Box::new(c))
    }
}

// 测试用例
struct MyItem(String);
impl CollectionItem for MyItem {
    fn name(&self) -> &str {
        &self.0
    }
}

struct MyVec(Vec<MyItem>);
impl Collection for MyVec {
    type Item = MyItem;
    
    fn get(&self, index: usize) -> MyItem {
        self.0[index].clone()
    }
}

fn main() {
    let coll = MyVec(vec![MyItem("Item1".into()), MyItem("Item2".into())]);
    let dyn_coll = DynCollection::from(coll);
    let item = dyn_coll.get(0);
    println!("{}", item.name()); // 输出: Item1
}

关键说明 #

1. 适配trait的作用：ErasedCollection作为中间层，将具体Collection返回的关联类型Item包装为Box<dyn CollectionItem>，完成类型擦除。
2. 动态分发的实现：DynCollection内部持有Box<dyn ErasedCollection>，实现对任意Collection的动态分发；get方法返回的Box<dyn CollectionItem>则实现了对CollectionItem的动态分发。

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