当回归保守的impl特质时，一生意味着什么？

Question

在搜索有关保守impl-trait的文档时，我发现了以下示例：

struct A {
    x: [(u32, u32); 10]
}

impl A {
    fn iter_values<'a>(&'a self) -> impl 'a + Iterator<Item = u32> {
        self.x.iter().map(|a| a.0)
    }
}

生存期'a在返回类型中是什么意思？

我知道这个关于生命周期限制的问题，但我认为用例是不同的。如果我能很好地理解答案：

trait对象仅对生存期“a”有效

这意味着位于堆中某处的trait对象将在生命周期中持续一段时间。

但在这里，这不是特征对象，而是堆栈中的具体对象。因此编译器不需要有关于其生存期的提示。

我错过了什么？

Answer 1

这意味着位于堆中某处的trait对象将在生命周期中持续一段时间。

不完全是。

这里并没有确切地指定，它只对对象的生存期设置了一个上限。对象是位于堆上还是堆栈上并不重要：编译器必须确保此对象的生存期不超过a。

生存期表示引用对象和引用对象之间的关系，用于确保引用对象永远不会超过引用对象。因此，它对被引用的生命周期设置了上限，对被引用的生命周期设置了下限。

编译器可以从函数返回的实际具体类型中派生必要的生命周期，但是它需要类型检查器能够查看函数实现以执行其工作。

因此，在接口边界处记录生存期约束对人类和编译器都更加友好：它允许局部推理。

Answer 2

语法impl迭代器

• 将返回函数定义的某些类型，但您不知道确切的类型。这就是 零件

在您的示例中，返回的迭代器包含对self的引用，因此不能允许它比A的实例存在更长时间，否则它将无效。具体类型（如果我们可以编写它）将是iter::Map

这意味着位于堆中某处的trait对象将在生命周期中持续一段时间。

这并不完全正确。这两种情况的含义相同：未指定的具体类型可能包含引用。对于trait对象，具体类型位于某种指针的后面（框，

这不是特征对象，而是堆栈中的具体对象

Trait对象不需要堆；它们只能使用堆栈：

let x: &std::fmt::Display = &42;
println!("{}", x);

另请参见：

• 为什么Rust需要显式生命周期