为何释放MutexGuard后仍无法在其后调用异步函数？（Tokio场景）

我遇到一个问题：在锁定std::sync::Mutex后调用异步函数时，示例2可以正常运行，但示例1不行。我明明手动调用drop释放了MutexGuard，为什么还是会报错？

示例1代码 #

let temp = Arc::new(Mutex::new(0));
tokio::spawn(async move {
        let temp = temp.lock().unwrap();
        drop(temp);
        async_func().await
    });

示例2代码 #

tokio::spawn(async move {
        async_func().await;
        let temp = temp.lock().unwrap();
        drop(temp);
    });

报错信息 #

future cannot be sent between threads safely future created by async block is not `Send` Help: within `impl futures_util::Future<Output = ()>`, the trait `std::marker::Send` is not implemented for `std::sync::MutexGuard<'_, i32>` Note: future is not `Send` as this value is used across an await Note: required by a bound in `tokio::spawn

核心原因在于async块的编译机制：async块会被编译成一个状态机，编译器会分析整个块的变量生命周期和使用范围。即使你手动调用drop(temp)，编译器仍然会认为MutexGuard的作用范围覆盖到了await点——drop只是在运行时释放锁，但编译阶段状态机的类型中仍会包含MutexGuard的痕迹，而std::sync::MutexGuard并没有实现Send trait。

tokio::spawn要求传入的future必须是Send的（Tokio线程池会在不同线程间调度future），当状态机中包含非Send的MutexGuard类型时，整个future就不满足Send约束，从而触发报错。

反观示例2，await操作在MutexGuard创建之前，MutexGuard的使用完全在await之后的代码段中，状态机的不同阶段不会跨await持有MutexGuard，因此编译器不会把MutexGuard纳入整个future的类型中，自然满足Send约束。

解决这个问题的最佳实践是：在异步代码中使用Tokio提供的tokio::sync::Mutex，它的MutexGuard实现了Send trait，专门适配异步场景，无需手动处理drop即可安全跨await使用。

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