如何正确地重新安排代码以绕过 Rust 借用检查器？

Question

代码：

use std::collections::HashMap;

fn do_something<'a>(map: &'a mut HashMap<u32, Box<u32>>, key: &u32) -> &'a mut u32 {
    if let Some(b) = map.get_mut(key) { return b.as_mut(); }

    let mut b = Box::new(123);
    map.insert(*key, b);

    b.as_mut()
}

我有两个主要的编译器错误（第三个不是这种情况）：

• 借用错误map
• Copy未实现特征的错误

我从我的算法中提取了这段和平代码，意思是相同的。使用 GC 的其他语言的某种“翻译”代码可以完美编译和运行，但在这里我遇到了错误。我理解为什么会发生这些错误，但我需要我的代码以这种方式工作：在迭代期间，我将节点存储在映射中，并在下一次迭代中将其用作当前值。我真的很想知道如何使这段代码在没有其他东西（例如Rc.

Answer 1

这是当前借用检查器中的一个已知限制。Polonius应该在任何时候接受这个代码（现在估计是 2024 年的某个时候）。

然而，基于入口的 API 无论如何都是正确的方法。它更简洁地表达了相同的操作，并且被当前的借用检查器接受：

fn do_something<'a>(map: &'a mut HashMap<u32, Box<u32>>, key: &u32) -> &'a mut u32 {
    map.entry(*key).or_insert_with(|| Box::new(123)).as_mut()
}

（游乐场）