1

我定义了一个Attribute类型，并且我有一个Vec<Attribute>循环来检索“最佳”的类型。这与我的第一次尝试类似：

#[derive(Debug)]
struct Attribute;

impl Attribute {
    fn new() -> Self {
        Self
    }
}

fn example(attrs: Vec<Attribute>, root: &mut Attribute) {
    let mut best_attr = &Attribute::new();
    for a in attrs.iter() {
        if is_best(a) {
            best_attr = a;
        }
    }
    *root = *best_attr;
}

// simplified for example
fn is_best(_: &Attribute) -> bool {
    true
}

我有以下编译错误：

error[E0507]: cannot move out of borrowed content
  --> src/lib.rs:17:13
   |
17 |     *root = *best_attr;
   |             ^^^^^^^^^^ cannot move out of borrowed content

在寻找解决方案后，我通过执行以下操作解决了错误：

  1. 向我的结构添加#[derive(Clone)]属性Attribute
  2. 将最后的语句替换为*root = best_attr.clone();

我不完全理解为什么会这样，我觉得这是我遇到的问题的粗略解决方案。这如何解决错误，这是解决此问题的正确方法吗？

4

1 回答 1

2

您正在体验 Rust 内存模型的基础：

  • 每个对象都可以（并且必须！）仅由另一个对象拥有
  • 大多数类型从不隐式复制并且总是移动（有一些例外：实现的类型Copy）

以这段代码为例：

let x = String::new();
let y = x;
println!("{}", x);

它会产生错误：

error[E0382]: borrow of moved value: `x`
 --> src/main.rs:4:20
  |
3 |     let y = x;
  |             - value moved here
4 |     println!("{}", x);
  |                    ^ value borrowed here after move
  |
  = note: move occurs because `x` has type `std::string::String`, which does not implement the `Copy` trait

x, 类型, 不是隐式可复制的String, 因此已移至y. x不能再使用了。

在您的代码中，当您编写 时*root = *best_attr，您首先取消引用引用best_attr，然后将取消引用的值分配给*root. 你的Attribute类型不是Copy，因此这个任务应该是一个动作。

然后，编译器抱怨：

cannot move out of borrowed content

事实上，best_attr它是一个不可变的引用，它不允许您拥有它背后的值的所有权（它甚至不允许修改它）。允许这样的移动会使拥有引用后面的值的对象处于未定义状态，这正是 Rust 旨在防止的。

在这种情况下，您最好的选择确实是创建一个与第一个具有相同值的新对象，这正是该特征Clone的用途。

#[derive(Clone)]允许您将结构标记为Clone-able，只要它们的所有字段都是Clone. 在更复杂的情况下，您必须手动实现该特征。

于 2014-11-15T08:33:44.547 回答