Rust借用检查器报错解析：文件系统mkdir实现问题

问题背景 #

我在完成Rust面试题时，需要实现一个基于递归结构的内存文件系统（使用FileSystem结构体与Node枚举）。首次编写mkdir方法时触发了借用检查器错误，ChatGPT提供了可编译的解决方案，但我无法理解为何将Box放入闭包就能解决该错误，需要解释底层原因。

初始实现代码 #

enum Node {
  File(String),
  Directory(FileSystem)
}
struct FileSystem {
  storage: HashMap<String,Box<Node>>
}

impl FileSystem {
...
    fn mkdir(&mut self, path: String) {
      let directories = path.split("/").map(|s| s.to_owned()).collect::<Vec<_>>();
      let mut curr = self;
      for dir in &directories {
        if !curr.storage.contains_key(dir) {
          let filesystem = FileSystem::new();
          let new_node = Box::new(Node::Directory(filesystem));
          curr.storage.insert(dir.to_string(), new_node);
        }
        if let Some(&mut f) = curr.storage.get_mut(dir) {
          match *f {
            Node::Directory(d) => *curr = d,
            _ => unreachable!()
          }
        }
      }
    }
...
}

报错信息 #

Line 62, Char 31: cannot move out of a mutable reference (solution.rs)
   |
62 |         if let Some(&mut f) = curr.storage.get_mut(dir) {
   |                          -    ^^^^^^^^^^^^^^^^^^^^^^^^^
   |                          |
   |                          data moved here
   |                          move occurs because `f` has type `Box<Node>`, which does not implement the `Copy` trait
Line 74, Char 13: borrow of moved value: `self` (solution.rs)

可编译解决方案代码 #

impl FileSystem {
...
fn mkdir(&mut self, path: String) {
      let directories = path.split("/").map(|s| s.to_owned()).collect::<Vec<_>>();
      let mut curr = &mut self.storage;
      for dir in directories {
        let next = curr.entry(dir).or_insert_with(|| Box::new(Node::Directory(FileSystem::new())));
        match next.as_mut() {
          Node::Directory(d) => curr = &mut d.storage,
          _ => unreachable!()
        }
      }
    }
...
}

底层原因解析 #

初始代码的核心问题 #

1. 非法所有权移动：curr.storage.get_mut(dir)返回的是Option<&mut Box<Node>>，而if let Some(&mut f)的模式会尝试将Box<Node>从可变引用中完整移出。由于Box未实现Copy trait，这是所有权转移操作，但Rust禁止从可变引用中直接移动值——这会清空HashMap中对应元素，破坏容器完整性，同时违反借用规则。
2. 双重所有权冲突：后续match *f中的Node::Directory(d)又试图将FileSystem从Box中移出并赋值给*curr，进一步加剧所有权混乱，最终触发"borrow of moved value"错误。

解决方案的关键改进 #

1. 用HashMap::entry避免所有权移动：entry(dir).or_insert_with(|| ...)是核心优化点：
   • 该API直接操作HashMap条目，仅当键不存在时才执行闭包创建新的Box<Node>，并直接插入HashMap。全程新Box的所有权直接转移给HashMap，无外部变量介入，彻底避免中间所有权转移冲突。
2. 全程操作可变引用而非所有权：
   • 方案将curr类型从&mut FileSystem改为&mut HashMap<String, Box<Node>>，直接跟踪存储容器的可变引用，避免对整个FileSystem结构体的所有权操作。
   • 通过next.as_mut()获取&mut Node，匹配Node::Directory(d)时拿到&mut FileSystem，随后将curr更新为&mut d.storage——全程仅操作可变引用，无任何所有权移动，完全符合Rust借用检查规则。

关于闭包的作用 #

闭包本身并非核心，而是or_insert_with的设计逻辑：它通过闭包延迟创建值，确保新值所有权直接注入HashMap条目，消除了初始代码中"创建→插入→移出"的所有权流转路径，从根源上解决了借用冲突。

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