| #### Note: this error code is no longer emitted by the compiler. |
| |
| A lifetime of a returned value does not outlive the function call. |
| |
| Erroneous code example: |
| |
| ```compile_fail,E0700 |
| fn prefix<'a>( |
| words: impl Iterator<Item = &'a str> |
| ) -> impl Iterator<Item = String> { // error! |
| words.map(|v| format!("foo-{}", v)) |
| } |
| ``` |
| |
| To fix this error, make the lifetime of the returned value explicit: |
| |
| ``` |
| fn prefix<'a>( |
| words: impl Iterator<Item = &'a str> + 'a |
| ) -> impl Iterator<Item = String> + 'a { // ok! |
| words.map(|v| format!("foo-{}", v)) |
| } |
| ``` |
| |
| The [`impl Trait`] feature in this example uses an implicit `'static` lifetime |
| restriction in the returned type. However the type implementing the `Iterator` |
| passed to the function lives just as long as `'a`, which is not long enough. |
| |
| The solution involves adding lifetime bound to both function argument and |
| the return value to make sure that the values inside the iterator |
| are not dropped when the function goes out of the scope. |
| |
| An alternative solution would be to guarantee that the `Item` references |
| in the iterator are alive for the whole lifetime of the program. |
| |
| ``` |
| fn prefix( |
| words: impl Iterator<Item = &'static str> |
| ) -> impl Iterator<Item = String> { // ok! |
| words.map(|v| format!("foo-{}", v)) |
| } |
| ``` |
| |
| A similar lifetime problem might arise when returning closures: |
| |
| ```compile_fail,E0700 |
| fn foo( |
| x: &mut Vec<i32> |
| ) -> impl FnMut(&mut Vec<i32>) -> &[i32] { // error! |
| |y| { |
| y.append(x); |
| y |
| } |
| } |
| ``` |
| |
| Analogically, a solution here is to use explicit return lifetime |
| and move the ownership of the variable to the closure. |
| |
| ``` |
| fn foo<'a>( |
| x: &'a mut Vec<i32> |
| ) -> impl FnMut(&mut Vec<i32>) -> &[i32] + 'a { // ok! |
| move |y| { |
| y.append(x); |
| y |
| } |
| } |
| ``` |
| |
| To better understand the lifetime treatment in the [`impl Trait`], |
| please see the [RFC 1951]. |
| |
| [`impl Trait`]: https://doc.rust-lang.org/reference/types/impl-trait.html |
| [RFC 1951]: https://rust-lang.github.io/rfcs/1951-expand-impl-trait.html |