如何解决 [E0382]: 在 for 循环中使用移动值？

Question

请帮我解决以下错误：

error[E0382]: use of moved value: `nd3`
  --> src/main.rs:21:21
   |
19 |     Node::Y { nd: nd3, max: max } => {
   |                   --- move occurs because `nd3` has type `std::boxed::Box<Node>`, which does not implement the `Copy` trait
20 |       for m in 0..max - 1 {
21 |         match recur(nd3) {
   |                     ^^^ value moved here, in previous iteration of loop

代码如下。请不要介意代码看起来毫无意义，因为我简化了它：

enum Node {
  X { x: usize },
  Y { nd: Box<Node>, max: usize },
  Z { Nd: Vec<Box<Node>> },
}

fn recur(nd: Box<Node>) -> Result<usize, ()> {
  match *nd {
    /// ...
    Node::Y { nd: nd3, max: max } => {
      for m in 0..max - 1 {
        match recur(nd3) {
          Ok(y) => return Ok(y),
          _ => {}
        }
      }
      return Ok(123);
    }
    _ => {}
  }
  return Ok(0);
}

Answer 1

如果你有一个拥有的值（nd），你迭代它，然后你再次迭代它，你会得到一个错误，因为它已经被移动到循环的前一次迭代中.

一个解决方案是为 Node 导出 Clone 特征。 Clone 是显式复制对象能力的一个共同特征：

#[derive(Clone)]
enum Node {
  X { x: usize },
  Y { nd: Box<Node>, max: usize },
  Z { Nd: Vec<Box<Node>> },
}

现在您可以在再次递归调用该函数时克隆 nd3：

Node::Y { nd: nd3, max: max } => {
  for m in 0..max - 1 {
    match recur(nd3.clone()) {
      Ok(y) => return Ok(y),
      _ => {}
    }
  }
  return Ok(123);
}

现在，您不会将拥有的值传递给循环的下一次迭代。相反，您传递的是完全相同的副本。另一种解决方案是借用价值。但是，对于较小的对象，克隆更容易。

如何解决 [E0382]: 在 for 循环中使用移动值？

How to solve [E0382]: use of moved value in a for loop?

rust

borrow-checker

ownership