为什么此迭代器需要使用期限,如何给它一个生命期?

问题描述

我正在尝试编译以下内容

fn read<'a>(tokens: impl Iterator<Item=&'a str>) -> impl Iterator<Item=String> {
  tokens.map(|t| t.to_owned())
}
error[E0482]: lifetime of return value does not outlive the function call
 --> src/lib.rs:1:53
  |
1 | fn read<'a>(tokens: impl Iterator<Item=&'a str>) -> impl Iterator<Item=String> {
  |                                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
note: the return value is only valid for the lifetime `'a` as defined on the function body at 1:9
 --> src/lib.rs:1:9
  |
1 | fn read<'a>(tokens: impl Iterator<Item=&'a str>) -> impl Iterator<Item=String> {
  |         ^^

游乐场链接https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=55460a8b17ff10e30b56a9142338ec19

对我来说奇怪的是,返回值与生命周期息息相关。它的内容是拥有的,并直接向外传递。

我碰到了这篇博客文章https://blog.katona.me/2019/12/29/Rust-Lifetimes-and-Iterators/

但这些都不起作用:

fn read<'a>(tokens: impl Iterator<Item=&'a str>) -> impl Iterator<Item=String> + '_ {
fn read<'a>(tokens: impl Iterator<Item=&'a str>) -> impl Iterator<Item=String> + 'a {

我怀疑我在这里误解了迭代器的某些关键方面。有什么建议吗?

解决方法

我通过在两个迭代器中都添加+ 'a来解决此问题:

fn read<'a>(tokens: impl Iterator<Item=&'a str> + 'a) -> impl Iterator<Item=String> + 'a {
  tokens.map(|t| t.to_owned())
}