rust - 为什么需要使用加号运算符 (Iterator + 'a) 为特征添加生命周期？

Question

我在迭代器上应用闭包并且我想使用稳定的，所以我想返回一个装箱的 Iterator。这样做的明显方法如下:

struct Foo;

fn into_iterator(myvec: &Vec<Foo>) -> Box<dyn Iterator<Item = &Foo>> {
    Box::new(myvec.iter())
}

这失败了，因为借用检查器无法推断出合适的生命周期。

经过一些研究，我找到了 What is the correct way to return an Iterator (or any other trait)? ，这让我添加了 + 'a:

fn into_iterator<'a>(myvec: &'a Vec<Foo>) -> Box<dyn Iterator<Item = &'a Foo> + 'a> {
    Box::new(myvec.iter())
}

但是我不明白

• 这是做什么的
• 为什么这里需要它

Answer 1

有一件事很容易被忽视:如果你有一个特质Bar你想要一个盒装特征对象 Box<dyn Bar> , 编译器会自动添加一个 'static生命周期限制(在 RFC 599 中指定)。这意味着 Box<dyn Bar>和 Box<dyn Bar + 'static>是等价的!

在您的情况下，编译器会自动添加静态绑定(bind)，这样...

fn into_iterator(myvec: &Vec<Foo>) -> Box<dyn Iterator<Item = &Foo>>

...等同于:

fn into_iterator(myvec: &Vec<Foo>) -> Box<dyn Iterator<Item = &Foo> + 'static>

现在生命周期省略规则开始并“连接”两个生命周期，这样上面的代码就等同于:

fn into_iterator<'a>(myvec: &'a Vec<Foo>) -> Box<dyn Iterator<Item = &'a Foo> + 'static>

但是类型 Iter<'a, Foo> (Vec<Foo> 的特定迭代器类型)显然不满足边界 'static (因为是借用了Vec<Foo>)!所以我们必须告诉编译器我们不想要默认的 'static通过指定我们自己的生命周期绑定(bind)来绑定(bind):

fn into_iterator<'a>(myvec: &'a Vec<Foo>) -> Box<dyn Iterator<Item = &Foo> + 'a>

现在编译器知道特征对象只在生命周期内有效'a .请注意，我们不需要明确注释关联的 Item 的生命周期。类型!终身省略规则可以解决这个问题。