gpt4 book ai didi

rust - 传递给异步回调的引用的生命周期

转载 作者:行者123 更新时间:2023-12-02 18:11:43 25 4
gpt4 key购买 nike

我有一个异步函数,我正在向其传递异步回调。回调将引用作为参数。

use core::future::Future;

async fn foo(bar: &u32) {}

async fn baz<F, Fut>(f: F)
where
F: FnOnce(&u32) -> Fut,
Fut: Future<Output = ()>,
{
let test: u32 = 42;
f(&test).await;
}

#[tokio::main]
async fn main() {
baz(foo).await;
}

如果我尝试构建它 ( playground ),我会收到以下错误:

error[E0308]: mismatched types
--> src/main.rs:16:5
|
16 | baz(foo).await;
| ^^^ lifetime mismatch
|
= note: expected associated type `<for<'_> fn(&u32) -> impl Future<Output = ()> {foo} as FnOnce<(&u32,)>>::Output`
found associated type `<for<'_> fn(&u32) -> impl Future<Output = ()> {foo} as FnOnce<(&u32,)>>::Output`
= note: the required lifetime does not necessarily outlive the empty lifetime
note: the lifetime requirement is introduced here
--> src/main.rs:7:24
|
7 | F: FnOnce(&u32) -> Fut,
| ^^^

我知道它对引用的生命周期不满意。但是,我不明白为什么。

  • 我们借用“测试”
  • 我们执行回调 f(即“foo”)
  • baz 无法在 f 完成之前退出

因此,看起来借用不可能比声明测试的地方更有效。

我错过了什么?

最佳答案

foo() 返回的 future has a hidden lifetime .脱糖签名如下:

fn foo<'a>(bar: &'a u32) -> impl Future<Output = ()> + 'a {
async move {}
}

这样做是为了让函数可以保存 bar.await点。可悲的是,它的意思是该功能没有实现 baz()的界限。错误被混淆了,因为生命周期是隐藏的,但这是编译器试图告诉你的:边界应该是 where F: for<'a> FnOnce(&'a u32) -> impl Future<Output = ()> + 'a 之类的东西。 ,但你不能在当前的 Rust 中表达它。

有关更多和潜在的解决方案,请参阅示例:

关于rust - 传递给异步回调的引用的生命周期,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/72222940/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com