generics - 返回保守的 impl 特征时，一生意味着什么？

问题描述

在搜索有关保守 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返回类型中的生命周期是什么意思？

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

trait 对象仅在生命周期内有效 'a

这意味着存在于堆中某处的特征对象将持续一生'a。

但是在这里，这不是一个特征对象，而是一个存在于堆栈中的具体对象。所以编译器不需要提示它的生命周期。

我错过了什么？

标签： genericsrustlifetime

语法impl Iterator<Item = u32> + 'a意味着

将返回函数定义的某些类型，但您不知道确切的类型。这就是impl ...部分。
未指定的具体类型将是u32值的迭代器。这就是Iterator<Item = u32>部分。
未指定的具体类型可能包含具有生命周期的引用'a。这就是+ 'a部分。

在您的示例中，返回的迭代器包含对的引用self，因此不得允许它的寿命超过的实例A，否则它将无效。具体类型（如果我们可以写的话）是iter::Map<slice::Iter<'a, (u32, u32)>, <closure>>——注意它里面有一个'a。

这意味着存在于堆中某处的特征对象将持续一生'a。

这并不完全正确。这两种情况具有相同的含义：未指定的具体类型可能包含引用。对于 trait 对象，具体类型位于某种指针（Box、&、Rc等）的后面。使用 impl trait，具体类型直接放在堆栈上。

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

特征对象不需要堆；他们只能利用堆栈：

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

也可以看看：

generics - 返回保守的 impl 特征时，一生意味着什么？

问题描述

解决方案

推荐阅读