在匹配选项时，‘`Some(&a) => a’和‘`Some(a) => *a’之间有什么区别？

Question

为什么会这样：

fn f(v: Vec<isize>) -> (Vec<isize>, isize) {
    match v.get(0) {
        Some(&a) => (v, a),
        _ => (v, 0)
    }
}

游乐场

但这不是？：

fn f(v: Vec<isize>) -> (Vec<isize>, isize) {
    match v.get(0) {
        Some(a) => (v, *a),
        _ => (v, 0)
    }
}

游乐场

error[E0505]: cannot move out of `v` because it is borrowed
 --> src/main.rs:7:21
  |
6 |     match v.get(0) {
  |           - borrow of `v` occurs here
7 |         Some(a) => (v, *a),
  |                     ^ move out of `v` occurs here

Answer 1

v.get(0)返回对向量中元素的引用，因此您将匹配&isize。Vec现在被借用在比赛手臂上。

在第一个代码片段中，您复制了isize，因此这里不借用Vec。在第二个片段中，Vec仍然是借用的，所以您不能将它移出范围。

但是，您应该考虑使用if let或unwrap_or。

fn f(v: Vec<isize>) -> (Vec<isize>, isize) {
    let a = v.get(0).cloned();
    (v, a.unwrap_or(0))
}

游乐场

fn f(v: Vec<isize>) -> (Vec<isize>, isize) {
    if let Some(&a) = v.get(0) {
        (v, a)
    } else {
        (v, 0)
    }
}

游乐场

另请参阅：

• 我怎么才能在匹配时不借用一个选项呢？
• ？
• 不能移出借来的内容

Answer 2

在第一个片段中，当您键入Some(&a)时，您不会借用v，因为a是复制的。

在第二种情况下，Some(a)是Option<&isize>类型的，因此它持有对v的引用。当您试图移动它时，它会触发一个错误。如果您先复制它，然后返回对，它就能工作(但是您需要NLL特征 )：

#![feature(nll)]

fn main() {
    println!("{:?}", f(vec![1]))
}

fn f(v: Vec<isize>) -> (Vec<isize>, isize) {
    match v.get(0) {
        Some(a) => {
            let a = *a; // v is no more borrowed
            (v, a)
        },
        _ => (v, 0)
    }
}

游乐场

借阅检查不能完美，所以你经常会遇到一些稍微不一致的东西。