当T未实现Copy trait时，如何从Arc<Mutex<T>>中取出值并返回？

错误原因 #

报错核心是：cities.lock()返回的Result临时对象会在整个if let表达式结束后才销毁，该对象内部的MutexGuard持有对cities的引用。函数执行到末尾时，cities会先被销毁，导致MutexGuard的引用失效，触发生命周期检查错误。

解决方案 #

方案1：按编译器提示存储结果到局部变量

将if let的结果存入独立变量，让临时的Result提前销毁，避免引用冲突：

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

#[derive(Clone)]
struct Entity;

fn create_value(center: (f32, f32), length: f32) -> HashMap<(i32, i32), Option<Entity>> {
    let cities: Arc<Mutex<HashMap<(i32, i32), Option<Entity>>>> = Arc::default();
    let mut handles = vec![];

    for i in 0..5 {
        for j in 0..5 {
            let city_thread = Arc::clone(&cities);
            handles.push(thread::spawn(move || {
                if let Ok(mut cities) = city_thread.lock() {
                    cities.insert((i, j), None);
                } 
            }));
        }
    }

    for handle in handles {
        handle.join().unwrap();
    }

    // 将结果存入局部变量，让临时Result提前销毁
    let result = if let Ok(city_guard) = cities.lock() {
        city_guard.clone()
    } else {
        panic!("Mutex poisoned");
    };
    result
}

方案2：显式限制MutexGuard的作用域

用大括号包裹锁的使用，让MutexGuard在离开作用域时立即销毁，释放对cities的引用：

// 前面代码与方案1一致

    let city;
    {
        // 大括号限制guard的作用域
        let guard = cities.lock().expect("Mutex poisoned");
        city = guard.clone();
    }
    city

方案3：高效获取所有权（推荐）

由于所有线程已通过join完成执行，Arc的引用计数已降至1，可直接取出内部的Mutex和HashMap，无需克隆：

// 前面代码与方案1一致

    // 取出Arc内部的Mutex（引用计数为1时成功）
    let mutex = Arc::try_unwrap(cities).expect("Arc仍存在其他引用");
    // 取出Mutex内部的HashMap
    mutex.into_inner().expect("Mutex已中毒")

说明 #

方案3无需克隆整个HashMap，直接获取所有权，性能更优。当前代码场景中所有线程都已结束，没有其他Arc克隆存在，try_unwrap必然成功。

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