如何在不移动向量的情况下迭代它

How to iterate over a vector without moving it

我有一个不实现复制的递归类型

struct Node {
    board: Board,
    children: Option<Vec<Node>>,
}

我有一个包含这些节点的 Vector,我想对每个节点调用一个方法,然后将它们传递给另一个函数。

fn foo() {
    let mut nodes: Vec<Node> = get_nodes();
    for i in 0..nodes.len() {
        nodes[i].grow();
    }
    pick_node(nodes);
}

这有效,但令人沮丧

fn foo() {
    let nodes: Vec<Node> = get_nodes();
    for mut node in nodes {
        node.grow();
    }
    pick_node(nodes);
}

导致错误,因为“nodes 由于对 .into_iter() 的隐式调用而移动”

有没有 for _ in _ 的版本可以让我依次获取向量的每个成员的引用,而不移动或复制,就像我在第一个版本中使用范围时得到的那样?对我来说这是一个经常出现的问题,并且由于某种原因很难找到答案。正如 Clippy 所说,迭代器可能更快、更清晰,而且看起来很地道。

我相信您正在寻找的方法是 iter and/or iter_mut。所以您的代码将如下所示:

for node in nodes.iter_mut() {
    node.grow();
}

或者,&Vec<T>&mut Vec<T> 都有 IntoIterator implementations,其中 return 迭代器分别由 iteriter_mut 提供。所以下面的也等价于上面的:

for node in &mut nodes {
    node.grow();
}

编辑

以上都是正确的,只是补充一点说明:

for pattern in iterable {
    /* body */
}

基本上只是对以下内容进行脱糖:

let mut iter = IntoIterator::into_iter(iterable);
loop {
    match iter.next() {
        Some(pattern) => { /* body */ },
        None => break,
    }
}

into_iter 需要一个拥有的 self,所以这就是为什么当您的向量被替换为 iterable 时移动它的原因。矢量的所有权转移到它的 into_iter 函数。另一方面,当您将 &vec&mut vec 放在 iterable 的位置时,它是 copied/moved 的引用,将原始向量留在原处。