递归访问 Hashmap 中的枚举

Question

我用一个枚举、两个结构和一个 BTreeMap 建模了一个类似文件系统的结构，如下所示（简化）：

pub enum Item {
    Dir(Dir),
    File(File),
}

struct Dir {
    ...
    children: BTreeMap<String, Item>,
}

struct File {
    ...
}

现在我需要遍历一个目录并对每个文件进行一些操作。我试过这个：

fn process(index: &Dir) {
    for (_, child) in index.children {
        match child {
            Item::File(mut f) => {
                let xyz = ...;
                f.do_something(xyz);
            },
            Item::Dir(d) => {
                process(&d);
            }
        }
    }
}

但我明白了：

error: cannot move out of borrowed content [E0507]
       for (_, child) in index.children {
                         ^~~~~

我也试过

for (_, child) in index.children.iter() {

然后我明白了

error: mismatched types:
 expected `&Item`,
    found `Item`
(expected &-ptr,
    found enum `Item`) [E0308]
src/...  Item::File(mut a) => {
         ^~~~~~~~~~~~~~~~~

我尝试了几种组合：

for (_, child) in &(index.children)
for (_, child) in index.children.iter().as_ref()

match(child) { Item::File(&mut f) =>
match(child) { Item::File(ref mut f) =>

等等，但找不到让借阅检查员满意的方法。

非常感谢任何帮助。

Answer 1

您的代码存在几个问题。这是一个带有编号更改的工作版本：

fn process(index: &mut Dir) {
    //             ^^^-- #2
    for (_, child) in &mut index.children {
        //             ^^^-- #1
        match *child {
            //^-- #3
            Item::File(ref mut f) => {
                //     ^^^-- #4
                f.do_something();
            },
            Item::Dir(ref mut d) => {
                //    ^^^-- #4
                process(d);
            }
        }
    }
}

1. 说for /* ... */ in index.children 试图将children 移动到迭代中。 SO上已经有someanswers解释了为什么会这样。我们希望在不消耗的情况下进行迭代，但能够改变值。
2. 由于 (1.) 函数还需要有一个对Dir 的可变 引用
3. child 是 &mut Item 类型的可变引用（因为这是迭代器产生的）。匹配块中的模式（例如Item::File(/* ... */)）的类型为Item。这是类型不匹配（您的第二个编译器错误）。我们可以通过使用* 取消引用child 来解决这个问题。
4. 所以match 块与Item 匹配，但我们实际上并不拥有该项目并且无法移出它。为了防止移动，我们添加了ref 关键字。现在f 和d 是引用，我们避免了移动。