我在迭代器上应用闭包并且我想使用稳定的,所以我想返回一个装箱的 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())
}
但是我不明白
- 这是做什么的
- 为什么这里需要它
最佳答案
有一件事很容易被忽视:如果你有一个特质Bar
你想要一个盒装特征对象 Box<dyn Bar>
, 编译器会自动添加一个 'static
生命周期限制(在 RFC 599 中指定)。这意味着 Box<dyn Bar>
和 Box<dyn Bar + 'static>
是等价的!p>
在您的情况下,编译器会自动添加静态绑定(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
的生命周期。类型!终身省略规则可以解决这个问题。
关于rust - 为什么需要使用加号运算符 (Iterator<Item = &Foo> + 'a) 为特征添加生命周期?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/53762078/