reference - 循环变量前的 `&`有什么作用？

Question

代码&i in list中&的作用是什么？如果我删除 &，它会在 largest = i 中产生错误，因为它们的类型不匹配(其中 i 是 &32 和 i 是 i32)。但是&i是如何将i转换成i32的呢？

fn largest(list: &[i32]) -> i32 {
    println!("{:?}", list);
    let mut largest = list[0];
    for &i in list {
        if i > largest {
            largest = i;
        }
    }
    largest
}

fn main() {
    let hey = vec![1, 3, 2, 6, 90, 67, 788, 12, 34, 54, 32];
    println!("The largest number is: {}", largest(&hey));
}

Playground

它似乎以某种方式取消引用，但为什么在下面的代码中它不起作用？

fn main() {
    let mut hey: i32 = 32;
    let x: i32 = 2;
    hey = &&x;
}

它说:

4 |     hey = &&x;
  |           ^^^ expected i32, found &&i32
  |
  = note: expected type `i32`
             found type `&&i32`

Answer 1

所以通常当你使用 for i in list 时, 循环变量 i类型为 &i32 .

但是当你使用 for &i in list 时，您没有取消引用任何东西，而是您正在使用模式匹配显式解构引用，这将使i只是类型 i32 .

请参阅有关 for-loop 循环变量的 Rust 文档 being a pattern和 reference pattern我们在这里使用。另请参阅 destructuring pointers 上的 Rust By Example 一章.

解决这个问题的另一种方法是只保留 i原样然后比较i引用 largest , 然后取消引用 i在分配给 largest 之前:

fn largest(list: &[i32]) -> i32 {
    println!("{:?}", list);
    let mut largest = list[0];
    for i in list {
        if i > &largest {
            largest = *i;
        }
    }
    largest
}

---

fn main() {
    let mut hey: i32 = 32;
    let x: i32 = 2;
    hey = &&x;
}

这根本行不通，因为在这里您要分配 hey ，这是一个 i32 , 到对 i32 的引用的引用.这与循环变量情况下的模式匹配和解构完全无关。