"无法移出借来的内容"从struct字段分配变量时

时间:2016-01-05 21:58:06

标签: rust borrow-checker borrowing

我正在学习Rust,而且我正在与借阅检查员作斗争。

我有一个基本的Point结构。我有一个scale函数可以修改该点的所有坐标。我想从另一个名为convert的方法中调用此方法:

struct AngleUnit;

struct Point {
    x: f32,
    y: f32,
    z: f32,
    unit: AngleUnit,
}

fn factor(_from: AngleUnit, _to: AngleUnit) -> f32 {
    1.0
}

impl Point {
    pub fn new(x: f32, y: f32, z: f32, unit: AngleUnit) -> Point {
        Point { x, y, z, unit }
    }

    fn scale(&mut self, factor: f32) {
        self.x *= factor;
        self.y *= factor;
        self.z *= factor;
    }

    fn convert(&mut self, unit: AngleUnit) {
        let point_unit = self.unit;
        self.scale(factor(point_unit, unit));
    }
}

现在我有以下错误:

cannot move out of borrowed content

我做错了什么?

3 个答案:

答案 0 :(得分:9)

完整错误消息指出:

error[E0507]: cannot move out of borrowed content
  --> src/lib.rs:26:26
   |
26 |         let point_unit = self.unit;
   |                          ^^^^^^^^^
   |                          |
   |                          cannot move out of borrowed content
   |                          help: consider borrowing here: `&self.unit`

了解移动发生的位置非常有用。

最简单的解决方案是为您的Copy类型实施CloneAngleUnit。如果是Copy,您的代码将按原样运行。如果它只是Clone,则必须明确调用.clone()才能复制。

如果您的类型无法成为Copy,那么您可以使用引用,如编译器所示:

fn factor(_from: &AngleUnit, _to: &AngleUnit) -> f32 {
    1.0
}
fn convert(&mut self, unit: AngleUnit) {
    let point_unit = &self.unit;
    self.scale(factor(point_unit, &unit));
}

最初的问题归结为这一行:

let point_unit = self.unit;

point_unit的价值应该是什么?

如果我们将<{1}}的值移动到self.unit,那么point_unit的值是多少? &#34; easy&#34;解决方案是它是未定义的内存,但经验表明,我们的程序员会搞砸了,并引入令人兴奋的调试问题。

我们可以自动复制该值,但如果self.unit是一个占用10 MiB空间的类型,会发生什么?然后一条无辜的线条吸引了大量的记忆和时间。这也不是很好。

相反,Rust默认情况下使类型移动,并且您不能将对象置于未定义状态。某些类型可以选择自动复制的功能 - 这是AngleUnit特征。您还可以允许显式复制类型 - Copy特征。您还可以获取现有值的引用并传递它。借用检查器将阻止您在不再有效之后使用该引用。

答案 1 :(得分:4)

您需要使用AngleUnit属性标记#[derive(Copy, Clone)],以便允许Rust将{{1>}从一个变量复制到另一个变量,就像您一样在AngleUnit

默认情况下,Rust只允许移动您的结构,因为移动通常比制作副本更有效。例如,如果您的结构中包含let point_unit = self.unitVec,那么要复制结构,程序必须为String分配新内存或堆上的Vec内容。 移动StringVec不会产生额外的堆分配。

在这种情况下,我猜String只是一个小原始值的包装器,因此复制它是完全可以的。

这是an example of your code with the attribute added

AngleUnit

答案 2 :(得分:2)

您正在移动self.unit

let point_unit = self.unit;

尝试使用引用或输入类型Copy