异步函数中的局部变量如何影响其Future的类型？

云原生阿岚

2026-8-18

异步函数返回Future的Send安全性问题解析

问题背景

以下是最小可复现示例（MRE）：

async fn do_nothing() { }

async fn use_dyn_read() {
    let read: &dyn std::io::Read = & (&[0 as u8; 1] as &[u8]);
    do_nothing().await;
}

#[tokio::main]
fn main() {
    tokio::spawn(use_dyn_read());
}

编译时触发错误：

error: future cannot be sent between threads safely
   --> src/main.rs:10:18
    |
10  |     tokio::spawn(use_dyn_read());
    |                  ^^^^^^^^^^^^^^ future returned by `use_dyn_read` is not `Send`
    |
 = help: the trait `Sync` is not implemented for `dyn std::io::Read`
note: future is not `Send` as this value is used across an await
   --> src/main.rs:5:17
    |
4   |     let read: &dyn std::io::Read = & (&[0 as u8; 1] as &[u8]);
    |         ---- has type `&dyn std::io::Read` which is not `Send`
5   |     do_nothing().await;
    |                 ^^^^^^ await occurs here, with `read` maybe used later
6   | }
    | - `read` is later dropped here
note: required by a bound in `tokio::spawn`
   --> /home/jrpear/.cargo/registry/src/github.com-1ecc6299db9ec823/tokio-1.21.2/src/task/spawn.rs:127:21
    |
127 |         T: Future + Send + 'static,
    |                     ^^^^ required by this bound in `tokio::spawn`

疑问：错误提示说明异步函数的局部变量类型会影响返回Future的类型。原本误以为某些非Send类型（比如Cell）会触发该错误，但实际Cell是Send的（仅非Sync），想了解背后的原理。

原理解析

1. 异步Future的Send判定逻辑

异步函数返回的Future是否实现Send，核心看所有在await点之后仍存在的变量是否满足Send要求。当代码执行到await时，Future会被挂起，后续可能被Tokio调度到其他线程执行，因此跨await存活的变量必须能安全跨线程传递（即实现Send），否则整个Future就不满足Send，无法被tokio::spawn接受（spawn要求任务必须支持跨线程发送）。

2. `&dyn Read`不满足Send的原因

对于引用类型&T，它实现Send的前提是**T必须实现Sync**。原因很简单：如果允许把&T发送到另一个线程，就意味着多个线程可能同时持有这个引用，只有当T是Sync（多线程共享不可变引用安全）时，这种操作才不会引发数据竞争。

回到代码中的&dyn std::io::Read：dyn Read本身并没有实现Sync（Read trait不强制要求实现者必须是线程安全的），所以&dyn Read自然不满足Send条件。而这个read变量在do_nothing().await之后才被销毁，属于跨await存活的变量，直接导致整个Future不满足Send，触发编译错误。

3. `Cell<T>`的特殊情况

Cell<T>的 trait 实现规则是：

只要T是Send，Cell<T>就自动实现Send——因为Cell的内部可变操作是单线程安全的，跨线程发送Cell实例本身不会有问题；
Cell<T>永远不实现Sync——因为多个线程同时持有&Cell<T>时，可能通过get/set方法在无同步的情况下修改内部数据，引发数据竞争。

如果代码中使用的是Cell实例（而非&Cell<T>引用），只要T是Send，Cell<T>就是Send的，不会影响Future的Send性。只有当你持有&Cell<T>跨await时，因为&Cell<T>需要Cell<T>是Sync才能实现Send，但Cell<T>不是Sync，这时候才会触发类似的错误。

4. 核心总结

异步Future的Send性由跨await存活的所有变量的Send性共同决定；
引用类型&T的Send依赖于T的Sync；
Cell<T>本身是Send（当T是Send时），但&Cell<T>不是Send，这是两种完全不同的场景，不能混淆。

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

异步函数中的局部变量如何影响其Future的类型？

问题背景 #

原理解析 #

1. 异步Future的Send判定逻辑 #

2. &dyn Read不满足Send的原因 #

3. Cell<T>的特殊情况 #