Não é possível inferir uma vida útil apropriada para um fechamento que retorna uma referência
Considerando o seguinte código:
fn foo<'a, T: 'a>(t: T) -> Box<Fn() -> &'a T + 'a> {
Box::new(move || &t)
}
O que eu espero:
O tipo T tem vida útil'a
.O valor quet
viver enquantoT
.t
se move para o fechamento, para que o fechamento permaneça enquantot
O fechamento retorna uma referência at
que foi movido para o fechamento. Portanto, a referência é válida enquanto o fechamento existir.Não há problema vitalício, o código é compilado.O que realmente acontece:
O código não compila:error[E0495]: cannot infer an appropriate lifetime for borrow expression due to conflicting requirements
--> src/lib.rs:2:22
|
2 | Box::new(move || &t)
| ^^
|
note: first, the lifetime cannot outlive the lifetime as defined on the body at 2:14...
--> src/lib.rs:2:14
|
2 | Box::new(move || &t)
| ^^^^^^^^^^
note: ...so that closure can access `t`
--> src/lib.rs:2:22
|
2 | Box::new(move || &t)
| ^^
note: but, the lifetime must be valid for the lifetime 'a as defined on the function body at 1:8...
--> src/lib.rs:1:8
|
1 | fn foo<'a, T: 'a>(t: T) -> Box<Fn() -> &'a T + 'a> {
| ^^
= note: ...so that the expression is assignable:
expected std::boxed::Box<(dyn std::ops::Fn() -> &'a T + 'a)>
found std::boxed::Box<dyn std::ops::Fn() -> &T>
Eu não entendo o conflito. Como posso corrigir isso?