为什么Mutex被设计成需要Rust中的Arc

Question

如果使用Arc<T>的唯一原因是用于并发代码，即多线程，那么为什么要将Mutex<T>设计为需要Mutex<T>？首先将Mutex<T>作为原子引用的别名不是更好吗？我使用https://doc.rust-lang.org/book/ch16-03-shared-state.html作为推荐人。

Answer 1

使用Mutex不需要Arc。lock (Mutex上最常用的方法)的签名是pub fn lock(&self) -> LockResult<MutexGuard<T>>，这意味着您需要一个对Mutex的引用。

问题出现在借入检查器上。当将引用传递给可能比原始Mutex存活时间更长的线程时，它无法证明某些保证。这就是您使用Arc的原因，它保证只要最后一个Arc存在，内部的值就会一直存在。

use lazy_static::lazy_static; // 1.3.0
use std::sync::Mutex;
use std::thread::spawn;

lazy_static! {
    static ref M: Mutex<u32> = Mutex::new(5);
}

fn a(m: &Mutex<u32>) {
    println!("{}", m.lock().unwrap());
}

fn b(m: &Mutex<u32>) {
    println!("{}", m.lock().unwrap());
}

fn main() {
    let t1 = spawn(|| a(&M));
    let t2 = spawn(|| b(&M));

    t1.join().unwrap();
    t2.join().unwrap();
}

(Playground)