代码useanyhow::{Ok,Result};usestd::time::Duration;// 强制 tokio 只使用一个工作线程这样 task 2 不会跑到其他线程执行#[tokio::main(worker_threads 1)]asyncfnmain()-Result(){// 先开始执行 task 1 的话会阻塞让 task 2 没有机会运行tokio::spawn(asyncmove{eprintln!(task 1);// 试试把这句注释掉看看会产生什么结果// tokio::time::sleep(Duration::from_millis(1)).await;loop{}});tokio::spawn(asyncmove{eprintln!(task 2);});tokio::time::sleep(Duration::from_millis(1)).await;Ok(())}async move {} 是一个异步块async block它结合了 async 和 move 两个关键字用于创建一个捕获环境变量的异步 Future。各部分含义async {}创建一个 异步块其返回值是一个匿名的 Future。块内的代码不会立即执行只有在被 .await 或提交给 executor 轮询时才会运行。异步块会捕获其环境中使用到的变量。move 关键字修饰异步块指示捕获方式为 移动move而不是默认的 借用borrow。所有在块内使用的外部变量都会被 移动所有权 到该 Future 内部而不是通过引用借用。为什么在 tokio::spawn 中经常使用 movetokio::spawn要求传入的 Future 必须是static即它不能持有任何非 static 的引用否则一旦任务运行到比引用来源更久的生命周期就会出现悬垂引用。通过使用async move { ... }可以确保所有捕获的变量都被移动到 Future 内部不再依赖外部作用域。避免了生命周期冲突使 Future 满足 static 约束从而可以安全地提交给 executor。letdataString::from(hello);tokio::spawn(asyncmove{println!({},data);// data 被移动到这里无需担心外部借用});如果不加move默认会尝试借用data可能导致编译错误因为 borrow checker 无法保证 data 在任务执行期间仍然有效。总结move 会转移所有权因此 被移动的变量在父作用域中将无法再使用。如果只需要借用而生命周期足够长例如使用 static 引用可以不加 move但这种情况很少。在 tokio::spawn 中使用 async move 是标准模式推荐始终使用。
