Rust 中线程间如何共享数据？

推荐答案

在 Rust 中，线程间共享数据通常通过 Arc（原子引用计数）和 Mutex（互斥锁）来实现。Arc 允许多个线程共享数据的所有权，而 Mutex 确保同一时间只有一个线程可以访问数据。

// www.javascriptcn.com code example
use std::sync::{Arc, Mutex};
use std::thread;

fn main() {
    let data = Arc::new(Mutex::new(0));

    let mut handles = vec![];

    for _ in 0..10 {
        let data = Arc::clone(&data);
        let handle = thread::spawn(move || {
            let mut num = data.lock().unwrap();
            *num += 1;
        });
        handles.push(handle);
    }

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

    println!("Result: {}", *data.lock().unwrap());
}

本题详细解读

Arc（原子引用计数）

Arc 是 Rust 中的一种智能指针，用于在多线程环境中共享数据的所有权。它通过原子操作来管理引用计数，确保在多线程环境下引用计数的增减是线程安全的。Arc 允许多个线程同时拥有对同一数据的引用，但不会允许多个线程同时修改数据。

Mutex（互斥锁）

Mutex 是一种同步原语，用于保护共享数据，确保同一时间只有一个线程可以访问数据。当一个线程获取了 Mutex 的锁后，其他线程必须等待锁被释放才能访问数据。Mutex 通过 lock 方法获取锁，返回一个 MutexGuard，该守卫在作用域结束时自动释放锁。

结合使用 Arc 和 Mutex

在 Rust 中，Arc 和 Mutex 通常结合使用来实现线程间的数据共享。Arc 用于在多个线程之间共享数据的所有权，而 Mutex 用于确保同一时间只有一个线程可以修改数据。

在上面的示例代码中，data 是一个 Arc<Mutex<i32>> 类型的变量，表示一个被 Mutex 保护的整数。每个线程通过 Arc::clone 获取 data 的所有权，并在线程内部通过 lock 方法获取 Mutex 的锁来修改数据。

注意事项

• Arc 和 Mutex 都会引入一定的性能开销，因此在不需要共享数据的情况下应尽量避免使用。
• 使用 Mutex 时要注意避免死锁，确保在获取锁后尽快释放锁。
• Arc 只能用于不可变数据的共享，如果需要修改数据，必须结合 Mutex 或其他同步原语使用。