例

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のスコープを可能な限り狭めるために導入されています。

Keyboard shortcuts

Comprehensive Rust 🦀

例