如何为Rust中包含其他迭代器的迭代器正确添加生命周期？

问题根源 #

你遇到的错误本质是trait object的默认生命周期约束不匹配。当定义Box<dyn Iterator<Item = &'a String>>时，Rust会自动为这个trait object附加'static生命周期约束（等价于Box<dyn Iterator<Item = &'a String> + 'static>），但self.names.iter()返回的迭代器生命周期是和self绑定的'a，显然'a不可能满足'static的要求，导致编译器报错。

你提到的匿名生命周期'_不是核心问题，self.names.iter()的生命周期确实和self一致，但trait object的隐式'static约束打破了这个绑定。

修复方案 #

给PeopleIterator中的trait object显式标注与'a一致的生命周期约束，修改后的代码如下：

struct People {
    names: Vec<String>,
    ages: Vec<i32>,
}

impl People {
    fn iter_people<'a>(&'a self) -> PeopleIterator<'a> {
        PeopleIterator {
            names_iterator: Box::new(self.names.iter()),
            ages: Box::new(self.ages.iter()),
        }
    }
}

struct PeopleIterator<'a> {
    // 为trait object添加'a生命周期约束
    names_iterator: Box<dyn Iterator<Item = &'a String> + 'a>,
    ages: Box<dyn Iterator<Item = &'a i32> + 'a>,
}

impl<'a> Iterator for PeopleIterator<'a> {
    type Item = (&'a String, &'a i32);
    
    fn next(&mut self) -> Option<Self::Item> {
        // 示例迭代逻辑：同时取两个迭代器的下一个元素
        let name = self.names_iterator.next()?;
        let age = self.ages.next()?;
        Some((name, age))
    }
}

为什么这样改有效 #

添加+ 'a后，trait object的生命周期被限制为'a，和self以及迭代器的生命周期完全匹配，编译器就不会再要求更长的生命周期了。这样self.names.iter()和self.ages.iter()返回的迭代器就能安全地被包裹进Box中，作为PeopleIterator的一部分返回。

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