Rust异步任务引用变量后方法提前退出的ownership问题咨询

问题描述 #

我正在学习Rust的ownership与borrowing机制，了解到作用域内定义的变量在退出作用域时会被drop。例如，返回局部变量引用的代码无法编译，《Rust Book》中给出了如下示例：

fn main() {
    let reference_to_nothing = dangle();
}

fn dangle() -> &String {
    let s = String::from("hello");

    &s
}

但在异步场景中，我遇到了困惑：在方法内创建变量并以引用形式传递给spawn的异步任务，随后提前退出该方法，按道理变量应该被drop，但以下代码不仅能编译通过，运行时输出也符合预期：

use tokio;
use std::time::Duration;

async fn f2(x: &i32) {
    // Sleep for half a second within f2.
    tokio::time::sleep(Duration::from_millis(500)).await;

    // Attempt to read the reference to x.
    println!("[2]: f2: x = {}", x);
}

async fn f1() {
    let x = 42;

    // Spawn an asynchronous task that calls f2 with a reference to x.
    let handle = tokio::spawn(async move {
        f2(&x).await;
    });

    println!("[1]: f1: x = {}", x);

    // No waiting for the spawned task to complete.
    // f1 can exit before f2 runs to completion.
}

#[tokio::main]
async fn main() {
    f1().await;

    println!("[3]");

    // Sleep for a while to give f2 a chance to run.
    tokio::time::sleep(Duration::from_secs(1)).await;

    println!("[4]");
}

运行输出：

[1]: f1: x = 42
[3]
[2]: f2: x = 42
[4]

我原本预期编译器会阻止该代码编译，至少运行时会因变量x超出作用域而报错，但实际并未出现问题。我疑惑这是因为内存未被清理的巧合，还是Rust编译器对异步场景有特殊处理？

解答 #

核心原因是你用了async move块——这个move关键字直接把变量x的所有权转移到了spawn的异步任务中，而不是仅仅传递引用。

在f1函数里，当你创建async move闭包时，x会被移动到闭包内部，成为该闭包的一部分。随后tokio::spawn会把这个闭包提交给Tokio的运行时，任务的生命周期完全独立于f1的作用域。

所以当f1退出时，原来的x已经被移走了，根本不会在f1的作用域结束时被drop。而任务里的x会一直存在，直到异步任务执行完毕才会被清理。你传给f2的&x，其实是引用任务内部的那个x，完全符合Rust的借用规则，编译器自然不会报错，运行时也不会出现野指针问题。

如果把代码里的move去掉，编译器立刻就会报错——因为这时候闭包只是借用x，而tokio::spawn要求任务必须是'static生命周期（任务可能在任何时候执行，不能依赖外部作用域的变量），这时候就会触发经典的悬垂引用检查，和你之前的dangle例子逻辑一致。

内容的提问来源于stack exchange，提问作者nihilsciens