例

Arc と Mutex が実際にどのように動作するかを見てみましょう:

// 著作権 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0

use std::thread;
// use std::sync::{Arc, Mutex};

fn main() {
    let v = vec![10, 20, 30];
    let mut handles = Vec::new();
    for i in 0..5 {
        handles.push(thread::spawn(|| {
            v.push(10 * i);
            println!("v: {v:?}");
        }));
    }

    handles.into_iter().for_each(|h| h.join().unwrap());
}

解答例:

// 著作権 2024 Google LLC
// SPDX-License-Identifier: Apache-2.0

use std::sync::{Arc, Mutex};
use std::thread;

fn main() {
    let v = Arc::new(Mutex::new(vec![10, 20, 30]));
    let mut handles = Vec::new();
    for i in 0..5 {
        let v = Arc::clone(&v);
        handles.push(thread::spawn(move || {
            let mut v = v.lock().unwrap();
            v.push(10 * i);
            println!("v: {v:?}");
        }));
    }

    handles.into_iter().for_each(|h| h.join().unwrap());
}

注目すべき点:

v は Arc と Mutex の両方でラップされています。これは、それぞれが扱う関心事が直交しているためです。
- Mutex を Arc でラップするのは、スレッド間で可変状態を共有するための一般的なパターンです。
v: Arc<_> は、新しく生成される各スレッド用に新しい参照を作るためにクローンする必要があります。ラムダのシグネチャに move が追加されている点に注意してください。
LockGuard のスコープを可能な限り狭めるために、ブロックが導入されています。

Comprehensive Rust 🦀

例