类型参数的生存期，“参数类型寿命可能不够长”

Question

我有这样的代码（这是#[async_trait]的扩展方式）：

trait BoolTrait {
    fn check<'s: 'f, 'v: 'f, 'f>(&'s self, value: &'v i32) -> Pin<Box<dyn Future<Output = bool> + 'f>>;
}

实际上，它说Future ('f)可以包含对self ('s)和v ('v)引用，因此's和'v生存期必须长于Future 'f生存期。

接下来，我想使任何具有异步主体的闭包都实现此特征：

impl<F, Fut> BoolTrait for F
    where
        F: Fn(&i32) -> Fut,
        Fut: Future<Output = bool> {
    fn check<'s: 'f, 'v: 'f, 'f>(&'s self, value: &'v i32) -> Pin<Box<dyn Future<Output=bool> + 'f>> {
        Box::pin(self(value))
    }
}

但这不起作用：

error[E0309]: the parameter type `Fut` may not live long enough
   |
16 | impl<F, Fut> BoolTrait for F
   |         --- help: consider adding an explicit lifetime bound...: `Fut: 'f`
...
21 |         Box::pin(self(value))
   |         ^^^^^^^^^^^^^^^^^^^^^ ...so that the type `Fut` will meet its required lifetime bounds

好的，让我们尝试'static生存期”，只是为了使其能够被编译（实际上，我认为我的问题在这里，但是我不知道我应该使用正确的生存期）：

Fut: Future<Output = bool> + 'static

让我们检查一下它是如何工作的：

async fn test<BT: BoolTrait>(bt: BT) {
    let v = 42;
    bt.check(&v).await;
}

fn main() {
    block_on(test(|v: &i32| async { *v == 42 }));
}

error[E0495]: cannot infer an appropriate lifetime due to conflicting requirements
  --> src/lib.rs:13:39
   |
13 |         block_on(test(|v: &i32| async { *v == 42 }));
   |                                       ^^^^^^^^^^^^
   |
note: first, the lifetime cannot outlive the anonymous lifetime #1 defined on the body at 13:23...
  --> src/lib.rs:13:23
   |
13 |         block_on(test(|v: &i32| async { *v == 42 }));
   |                       ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
note: ...so that the types are compatible
  --> src/lib.rs:13:39
   |
13 |         block_on(test(|v: &i32| async { *v == 42 }));
   |                                       ^^^^^^^^^^^^
   = note: expected `&&i32`
              found `&&i32`
   = note: but, the lifetime must be valid for the static lifetime...
note: ...so that the type `impl futures::Future` will meet its required lifetime bounds
  --> src/lib.rs:13:18
   |
13 |         block_on(test(|v: &i32| async { *v == 42 }));
   |                  ^^^^

这就是我的所在。 实际上，我可以通过将value: &i32 param替换为value: &i32来解决此value: i32 ，但这不是我想要的，我想使用完全引用。

如果我正确理解该错误，则编译器会说Future的寿命比对i32 ref短，因为它包含对它的ref，但是在特性impl中，我将其设置为'static 。

在我看来，我需要以某种方式指定Fut的生存期必须短于impl的生存期&i32 。