Rust多引用冲突：如何解决可变与不可变引用共存的编译错误

问题分析 #

这段代码的编译错误源于Rust借用检查器的规则限制：MutexGuard（由self.data_list.lock()返回）持有self.data_list的引用期间，调用self.del(&mut data)需要对self进行可变借用，而MutexGuard的生命周期覆盖了整个find_and_delete函数，导致两种借用冲突。

解决方案 #

最直接的修复方式是缩小MutexGuard的作用域，提前释放对self的借用，再执行需要可变self的操作。具体修改如下：

use std::collections::HashMap;
use std::sync::Mutex;

struct A {
    data_list: Mutex<HashMap<String, String>>,
}

impl A {
    fn new() -> A {
        A {
            data_list: Mutex::new(HashMap::new())
        }
    }
    
    fn find_and_delete(&mut self) {
        let mut id = String::from("");
        
        // 单独作用域：仅查找目标ID，结束后自动释放MutexGuard
        {
            let data_list_ref = self.data_list.lock().unwrap();
            // 查找无需可变迭代，改用iter()即可
            for (key, data) in data_list_ref.iter() {
                if data == "abc" {
                    id = key.clone();
                    break;
                }
            }
        } // MutexGuard在此处销毁，释放对self的引用
        
        if !id.is_empty() {
            let mut data_list_ref = self.data_list.lock().unwrap();
            if let Some((_, mut data)) = data_list_ref.remove_entry(&id) {
                // 此时self无其他借用，可变调用合法
                self.del(&mut data);
            }
        }
    }
    
    // 处理未使用变量警告，添加下划线前缀
    fn del(&mut self, _data: &mut String) {
        // 此处添加实际业务逻辑
    }
}

fn main() {
    let mut a = A::new();
    a.find_and_delete();
}

关键修改点 #

1. 缩小MutexGuard作用域：将查找ID的逻辑放入单独代码块，确保MutexGuard在查找完成后立即销毁，释放对self的借用。
2. 优化迭代方式：查找操作不需要可变引用，改用iter()替代iter_mut()，符合最小权限原则。
3. 处理未使用变量警告：给del方法的参数添加下划线前缀_data，消除编译警告。

替代方案（按需选择） #

如果del方法不需要操作self的其他字段，可以将其改为非成员函数，避免对self的可变借用：

// 改为独立函数
fn del(data: &mut String) {
    // 逻辑实现
}

// 在find_and_delete中调用
del(&mut data);

内容的提问来源于stack exchange，提问作者Harry