将 `Var` 从 `Arc<Mutex<Var>>` 移出

Question

use std::ops::Deref;
use std::sync::{Arc, Mutex, MutexGuard};

struct Var {}

fn multithreading() -> Var {
    let shared_var = Arc::new(Mutex::new(Var {}));
    /*
    multithreading job
     */

    return *(shared_var.lock().unwrap().deref());
}

我正在定义一个多线程函数来对Var 进行操作，但该函数无法编译和投诉：

error[E0507]: cannot move out of a shared reference

有什么办法可以停止shared_var的共享并返回其中的变量？

为Var 实现特征Copy 也可以解决错误，但在我的实际用例中Var 太大而无法复制，我更喜欢任何其他解决方案。

Answer 1

这里的问题是，如果你从共享变量中删除你的Var，那里会留下什么？如果您的 Arc 的任何其他副本留在某处并尝试访问现在已删除的对象，会发生什么情况？

这个问题有几个可能的答案：

1。我很确定没有其他强有力的参考，这是最后一个Arc。如果没有，让它恐慌。

如果是这种情况，您可以使用Arc::try_unwrap() 来访问内部互斥体。然后另一个into_inner() 得到真正的价值。

let mutex = Arc::try_unwrap(shared_var).unwrap();
mutex.into_inner().unwrap()

请注意，要使这些Result::unwrap() 工作，您的类型必须实现Debug，对于... reasons。如果没有，您可以使用match/panic! 对。

2。 Arc 可能还有其他强引用副本，反正我想偷对象。

然后你必须把一些东西放在它的位置。显而易见的解决方案是存储 Option<Var> 并使用 Option::take() 窃取值：

let shared_var = Arc::new(Mutex::new(Some(Var {})));
/*
  multithreading job
*/
let mut lck = shared_var.lock().unwrap();
lck.take().unwrap()

现在，此共享值的任何其他用途都必须检查该选项，以防出现None。

3。 Arc 可能还有其他副本，但我不想处理 Option<Var>。

但是你必须在那儿留下一些东西！也许您可以在其位置插入一个虚拟对象。如果你的Var 实现了Default，你可以使用std::mem::take()：

let mut lck = shared_var.lock().unwrap();
std::mem::take(&mut *lck)

如果它没有实现Default，但您可以廉价地创建一个空对象，请改用std::mem::replace()：

let mut lck = shared_var.lock().unwrap();
std::mem::replace(&mut *lck, Var{})