面试题：Rust移动语义在复杂并发数据结构中的应用

使用Arc和Mutex实现线程安全：
- Arc（原子引用计数）用于在多个线程间共享数据，Mutex（互斥锁）用于保护共享数据，防止数据竞争。
- 对于自定义结构体Value，它内部包含Vec<i32>，移动语义会自动处理Vec的内存管理。
关键代码片段：

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

struct Value {
    data: Vec<i32>,
}

fn main() {
    let shared_map = Arc::new(Mutex::new(HashMap::new()));

    let mut handles = vec![];
    for _ in 0..10 {
        let map_clone = Arc::clone(&shared_map);
        let handle = thread::spawn(move || {
            let mut map = map_clone.lock().unwrap();
            let key = "test_key".to_string();
            if let Some(value) = map.remove(&key) {
                // 这里可以对value进行移动操作，因为它实现了`Move`语义
                let new_data = value.data;
                // 处理new_data...
            } else {
                let new_value = Value { data: vec![1, 2, 3] };
                map.insert(key, new_value);
            }
        });
        handles.push(handle);
    }

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

代码解释：
- 首先定义了Value结构体，它包含Vec<i32>，满足移动语义。
- 创建了一个Arc<Mutex<HashMap<String, Value>>>类型的shared_map，Arc使得HashMap可以在多线程间共享，Mutex保护HashMap在多线程访问时的数据一致性。
- 在每个线程中，通过map_clone.lock().unwrap()获取对HashMap的可变引用。这里使用unwrap简单处理lock可能返回的错误，实际应用中可以更优雅地处理。
- 使用map.remove尝试从HashMap中移除值，如果成功则获取到Value实例，并移动其内部的data字段。如果失败，则插入一个新的Value实例。
- 最后，等待所有线程完成。这样通过Arc和Mutex的组合，实现了多线程环境下对HashMap的线程安全读写，同时遵循移动语义。

星途面试题库

面试题：Rust移动语义在复杂并发数据结构中的应用

知识考点

面试题答案