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

Question

我正在学习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

我究竟做错了什么？

Answer 1

在完整的错误信息状态:

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或Clone您的AngleUnit类型.如果是Copy,您的代码将按原样运行.如果它只是Clone,你必须明确地要求.clone()复制.

如果您的类型无法复制,那么您可以使用引用.如果你尝试这个,你需要稍微重新排序你的代码,以避免在函数参数中出现未完成的借用(当前借用检查器实现的限制):

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));
}

价值应该Copy是多少？

如果我们将值point_unit移到self.unit,那么它的价值point_unit是多少？"简单"的解决方案是它是未定义的内存,但经验表明,我们程序员会搞砸了,并引入令人兴奋的调试问题.

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

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

另外,Rust样式Clone用于方法和变量的标识符.你的变量应该被调用Copy.