例
Arc
と Mutex
の動作を見てみましょう:
use std::thread; // use std::sync::{Arc, Mutex}; fn main() { let v = vec![10, 20, 30]; let handle = thread::spawn(|| { v.push(10); }); v.push(1000); handle.join().unwrap(); println!("v: {v:?}"); }
This slide should take about 8 minutes.
考えられる対処法:
use std::sync::{Arc, Mutex}; use std::thread; fn main() { let v = Arc::new(Mutex::new(vec![10, 20, 30])); let v2 = Arc::clone(&v); let handle = thread::spawn(move || { let mut v2 = v2.lock().unwrap(); v2.push(10); }); { let mut v = v.lock().unwrap(); v.push(1000); } handle.join().unwrap(); println!("v: {v:?}"); }
注目するとよい箇所:
v
はArc
とMutex
の両方でラップされています。なぜなら、それらの関心は互いに独立なものであるからです。Mutex
をArc
でラップすることは、スレッド間でミュータブルな状態を共有するためによく見られるパターンです。
v: Arc<_>
は別のスレッドにムーブされる前に、v2
としてクローンされる必要があります。move
がラムダ式に追加されたことに注意してください。- ブロックは
LockGuard
のスコープを可能な限り狭めるために導入されています。