如何为Rust trait对象实现Iterator迭代器

你的问题核心在于：trait 的默认方法会隐含 Self:Sized 约束，而 trait 对象（动态大小类型，DST）不满足这个约束，所以无法调用默认的 iter 方法。要同时支持 Sized 实现和 trait 对象，需要显式解除这个约束，并确保 self 能安全转换为 trait 对象引用。

方案一：修改自定义迭代器的默认实现 #

直接调整 iter 方法的约束，允许 Self 为 DST，并在默认实现中完成 self 到 trait 对象引用的转换：

trait MyTrait<T>
where
    T: 'static,
{
    fn store(&mut self, t: T);

    fn access(&self, i: usize) -> T;

    // 显式允许 Self 是 DST 类型
    fn iter(&self) -> MyIter<'_, T>
    where
        Self: ?Sized,
    {
        // 安全转换：Sized 类型会转为 trait 对象引用，trait 对象本身则是 identity 转换
        MyIter::new(self as &dyn MyTrait<T>)
    }
}

struct MyIter<'a, T: 'static> {
    collection: &'a dyn MyTrait<T>,
    j: usize,
}

impl<'a, T: 'static> MyIter<'a, T> {
    fn new(collection: &'a dyn MyTrait<T>) -> Self {
        Self {
            collection,
            j: 0,
        }
    }
}

impl<'a, T: 'static> Iterator for MyIter<'a, T> {
    type Item = T;

    fn next(&mut self) -> Option<Self::Item> {
        // 注意：这里需要添加终止逻辑，否则会无限返回 Some
        // 示例：假设 MyTrait 有 len() 方法，可改为：
        // if self.j < self.collection.len() {
        //     let item = self.collection.access(self.j);
        //     self.j += 1;
        //     Some(item)
        // } else {
        //     None
        // }
        let item = self.collection.access(self.j);
        self.j += 1;
        Some(item)
    }
}

方案二：返回装箱的 Iterator trait 对象 #

如果不想自定义迭代器结构体，可以直接返回装箱的 Iterator trait 对象，利用标准库的迭代器适配器简化实现：

trait MyTrait<T>
where
    T: 'static,
{
    fn store(&mut self, t: T);

    fn access(&self, i: usize) -> T;

    fn iter(&self) -> Box<dyn Iterator<Item = T> + '_>
    where
        Self: ?Sized,
    {
        let mut j = 0;
        // 捕获 trait 对象引用，生成迭代逻辑
        let collection = self as &dyn MyTrait<T>;
        Box::new(std::iter::from_fn(move || {
            // 同样需要添加终止逻辑
            let item = collection.access(j);
            j += 1;
            Some(item)
        }))
    }
}

关键注意事项 #

• 两种方案都必须添加 where Self: ?Sized 约束，解除默认的 Sized 限制，让 trait 对象能调用 iter 方法。
• 你原来的 next 方法没有终止条件，会无限生成元素，实际使用时必须添加边界判断（比如给 MyTrait 补充 len() 方法，在 next 中检查索引是否越界）。

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