Rust 采用异步闭包的函数，该闭包采用引用并按引用捕获

发布于06月19日

我想做一些像this:


// NOTE: This doesn't compile

struct A { v: u32 }

async fn foo<
    C: for<'a> FnOnce(&'a A) -> Pin<Box<dyn Future<Output = ()> + 'a>>
>(c: C) {
    c(&A {
        v: 8,
    }).await
}

#[tokio::main]
async fn main() {
    let t = 9;
    foo(|a| async {
        println!("{} {}", t, a.v);
    }.boxed_local()).await;
}

其中，函数foo接受"异步闭包"，为其提供一个引用，"异步闭包"还可以通过引用捕获内容.上面的编译状态t的生存期需要是"静态的"，这对我来说很有意义.

但我不知道我为什么要对传递给"异步闭包"it compiles的引用类型设置泛型生存期:

struct A<'a> { v: u32, _phantom: std::marker::PhantomData<&'a ()> }

async fn foo<
    'b,
    C: for<'a> FnOnce(&'a A<'b>) -> Pin<Box<dyn Future<Output = ()> + 'a>>
>(c: C) {
    c(&A {
        v: 8,
        _phantom: Default::default(),
    }).await
}

#[tokio::main]
async fn main() {
    let t = 9;
    foo(|a| async {
        println!("{} {}", t, a.v);
    }.boxed_local()).await;
}

但是，如果我在A中添加一个额外的生存期，并且foo将其指定为'static，那么它不会为compile:

struct A<'a, 'b> { v: u32, _phantom: std::marker::PhantomData<(&'a (), &'b ())> }

async fn foo<
    'b,
    C: for<'a> FnOnce(&'a A<'b, 'static>) -> Pin<Box<dyn Future<Output = ()> + 'a>>
>(c: C) {
    c(&A {
        v: 8,
        _phantom: Default::default(),
    }).await
}

#[tokio::main]
async fn main() {
    let t = 9; // Compile again states t's lifetime needs to be 'static
    foo(|a| async {
        println!("{} {}", t, a.v);
    }.boxed_local()).await;
}

为什么将额外的生存期添加到，并将其指定为"static"会导致t的生存期需要更长(即"static"？

// This is slightly too conservative. To show T: '1, given `'2: '1` // and `'3: '1` we only need to prove that T: '2 *or* T: '3, but to // avoid potential non-determinism we approximate this by requiring // T: '1 and T: '2.

Rust 采用异步闭包的函数，该闭包采用引用并按引用捕获

推荐答案

Rust相关问答推荐

抽象RUST中的可变/不可变引用

在Rust中有没有办法在没有UB的情况下在指针和U64之间进行转换？

如何编写一个以一个闭包为参数的函数，该函数以另一个闭包为参数？

如何为rust trait边界指定多种可能性

替换可变引用中的字符串会泄漏内存吗？

如何计算迭代器适配器链中过滤的元素的数量

在0..1之间将U64转换为F64

装箱特性如何影响传递给它的参数的生命周期？(举一个非常具体的例子)

如何将带有嵌套borrow /NLL 的 Rust 代码提取到函数中

如何迭代存储在 struct 中的字符串向量而不移动它们？

需要哪些编译器优化来优化此递归调用？

当没有实际结果时，如何在 Rust 中强制执行错误处理？

Rust 中指向自身的引用如何工作？

Rust：目标成员属于哪个"目标家族"的列表是否存在？

我如何取消转义，在 Rust 中多次转义的字符串？

实现泛型的 Trait 方法中的文字

从 HashMap>, _> 中删除的生命周期问题

不能将 `*self` borrow 为不可变的，因为它也被borrow 为可变的 - 编译器真的需要如此严格吗？

使用 traits 时，borrow 的值不会存在足够长的时间

为什么我返回的 impl Trait 的生命周期限制在其输入的生命周期内？