转移可变借用的所有权

我的理解是，可变借款人可以将所有权转移给另一个可变借款人。但这个移动似乎与移动非指针变量有点不同。让我们看一个例子。以下p1被转移到p2 when compute()被称为第一次。但所有权似乎又回到了p1 after compute()返回。

fn compute(p2: &mut Point) {
}

fn reset(p1: &mut Point) {
    compute(p1); //OK
    compute(p1); //OK
}

这与常规变量的移动方式不同。

fn compute(p2:  Point) {
}

fn reset(p1: Point) {
    compute(p1); //OK
    compute(p1); //Compile error
}

现在，所有权does not恢复到p1在第一个之后compute()呼叫返回。

出于多种原因，这两种行为都是可以理解和可取的。但我只是想确认一下我的理解，这两个动作本质上略有不同。我这样想对吗？

您是正确的，除了在第一个实例中，引用没有被移动，它只是被重新借用，这是引用特有的行为。也许这可以澄清问题，因为它不是移动语义中的例外，而是完全不同的行为。