範例

我們來看看 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:?}");
}

可能的解決方案：

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 已新增至 lambda 簽章。
  • 采用區塊，盡量縮小 LockGuard 的範圍。