現在 tokio のチュートリアルに取り組んでいます。
"Shared state" の "Holding a MutexGuard
across an .await
" で、 MutexGuard
は Send
でないため、.await
をまたいで利用できないことを学びました。
そこで示されていた例についてコンパイルを試みて、「MutexGuard
を .await
をまたいで使用したら実際にコンパイルエラーを起こすか」を確認しようとしたのですが、コンパイルが問題なく通って、実行までされてしまいました。
このコードはなぜ問題なくコンパイルされるのでしょうか?
実行したコードは以下の通りです:
use std::sync::Mutex;
async fn increment_and_do_stuff(mutex: &Mutex<i32>) {
let mut lock = mutex.lock().unwrap();
*lock += 1;
do_something_async().await;
}
async fn do_something_async() {}
#[tokio::main]
async fn main() {
let m = Mutex::new(1);
increment_and_do_stuff(&m).await;
println!("{}", m.lock().unwrap());
}
実行結果は以下の通りです:
2