Rust中如何转移含Mutex数据的结构体变量？

你的核心问题是多线程间无法共享Bank实例，因为thread::spawn的move闭包会尝试转移Bank的所有权，而Bank未实现Copy trait，导致后续线程无法再访问原Bank。你希望保留C++中“全局Bank+多个独立锁保护特定数据”的设计，而非将整个Bank包裹在Arc<Mutex<Bank>>中。

解决方案 #

将整个Bank实例用Arc<Bank>包裹，利用Arc的线程安全共享所有权特性，让多个线程持有Bank的共享引用。由于Bank内部的可变数据已经通过Arc<Mutex>单独保护，Bank本身无需额外的Mutex，完全贴合原C++的细粒度锁设计。

修改后的代码 #

main.rs 修改版

use std::{
    process,
    thread,
    env,
    sync::Arc,
};
use crate::bank::*;

pub mod bank;

fn main() {
    let args: Vec<String> = env::args().collect();
    if args.len() < 2 {
        eprintln!("Usage: {} <num_of_threads>", args[0]);
        process::exit(1);
    }
    let num = args[1].parse::<i32>().unwrap_or(-1);
    if num <= 0 {
        eprintln!("Invalid number of threads");
        process::exit(1);
    }
    
    // 用Arc包裹Bank实例，实现多线程共享所有权
    let bank = Arc::new(bank::init(10));
    let mut workers = Vec::new();

    for id in 0..num {
        // 克隆Arc指针，每个线程持有一个共享引用
        let bank_clone = Arc::clone(&bank);
        let worker = thread::spawn(move || worker(id, &bank_clone));
        workers.push(worker);
    }
    for worker in workers {
        worker.join().unwrap();
    }

    // 打印最终账户状态验证结果
    bank.print_account();
}

fn worker(worker_id: i32, bank: &Bank) {
    bank.deposit(worker_id, 0, 1, 800);
}

Bank.rs 无需修改

你的Bank结构体设计已经符合细粒度锁要求：

• 每个Account的balance用Arc<Mutex<i64>>单独保护
• Bank的统计字段（num_succ、num_fail）也用Arc<Mutex>独立锁
• 所有可变操作都通过内部Mutex的锁来同步，避免数据竞争

关键原理说明 #

1. Arc的作用：Arc<Bank>提供线程安全的共享所有权，Arc::clone()仅复制引用计数指针，不会复制整个Bank实例，开销极低，对应C++中全局对象的多线程访问逻辑。
2. 细粒度锁保留：Bank内部的每个可变字段都由独立的Mutex保护，不同字段的修改操作可以并行执行，不会因为整个Bank被锁定而导致串行化，完全贴合原C++的设计意图。
3. 线程安全保证：由于Bank的所有字段都实现了Send和Sync trait（Arc<Mutex>是线程安全的，Vec<Account>中的元素也都是线程安全的），Arc<Bank>自动具备线程安全性，可以安全地在多线程间传递。

内容的提问来源于stack exchange，提问作者Naginipython