面试题：Rust多线程环境下的内存安全与所有权转移

相关概念解释：
- Arc（原子引用计数）：Arc是Rc（引用计数）的线程安全版本。它通过引用计数来管理堆上数据的生命周期，多个Arc实例可以指向同一个数据，当最后一个Arc实例被销毁时，数据也随之被释放。Arc内部使用原子操作来更新引用计数，因此可以在多线程环境中安全使用。
- Mutex（互斥锁）：Mutex用于保护共享数据，确保在任何时刻只有一个线程可以访问该数据。当一个线程获取了Mutex的锁，其他线程必须等待锁被释放才能访问数据，以此保证数据的一致性和内存安全。
处理所有权转移的方式：
- 首先使用Arc来共享数据的所有权，使多个线程可以持有对数据的引用。
- 然后将数据用Mutex包裹，这样可以安全地在线程间共享并访问数据，同时保证同一时间只有一个线程能修改数据。
具体代码示例：

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

fn main() {
    // 创建一个Arc<Mutex<T>>类型的数据
    let shared_data = Arc::new(Mutex::new(vec![1, 2, 3]));

    // 创建一个新线程，并将Arc<Mutex<T>>传递给新线程
    let handle = thread::spawn({
        let data = Arc::clone(&shared_data);
        move || {
            // 尝试获取锁
            let mut data_guard = data.lock().unwrap();
            // 对数据进行操作
            data_guard.push(4);
            println!("Thread modified data: {:?}", data_guard);
        }
    });

    // 在主线程中获取锁并访问数据
    let mut main_data_guard = shared_data.lock().unwrap();
    println!("Main thread data before join: {:?}", main_data_guard);

    // 等待新线程完成
    handle.join().unwrap();

    // 在主线程中再次获取锁并访问数据
    let mut main_data_guard = shared_data.lock().unwrap();
    println!("Main thread data after join: {:?}", main_data_guard);
}

在上述代码中：

首先创建了一个Arc<Mutex<Vec<i32>>>类型的shared_data。
新线程通过Arc::clone获取了数据的共享所有权，并通过lock方法获取Mutex的锁，从而可以安全地修改数据。
主线程在新线程执行前后也通过获取锁来访问数据，展示了在多线程环境下通过Arc和Mutex安全转移和访问数据的过程。

星途面试题库

面试题：Rust多线程环境下的内存安全与所有权转移

知识考点

面试题答案