Rust迭代向量和所有权[重复]

Question

我最近一直在学习 Rust。

我偶然发现了以下代码：

pub fn to_bytes(values: &[u32]) -> Vec<u8> {
    for &(mut value) in values {
        //...
    }
}

我不明白for 循环中的&。这里到底发生了什么？

我发现如果您使用 for 循环遍历一个向量，您会得到一个引用 (found here)：

let v = vec![1, 2, 3];
for value in &v {
    // value is a reference 
}

那我为什么在第一次剪断时需要另一个&？

Answer 1

我发现如果你使用 for 循环遍历一个向量，你 获得参考。

这实际上是不正确的。这取决于你的载体。如果你的向量是一个参考，它会产生一个参考。否则它会产生一个拥有的价值。

回到你的第一个问题：

pub fn to_bytes(values: &[u32]) -> Vec<u8> {
    for &(mut value) in values {
        // value will be of type u32
        //...
    }
}

这称为destructuring。因为这里的values 是&[u32] 类型，所以它通过for 循环产生的值是&u32 类型。在& 的帮助下，您取消引用指针，因此这里的value 变量将是u32 类型。

或者，您也可以执行以下操作，但您的值将是 &u32 类型。

pub fn to_bytes(values: &[u32]) -> Vec<u8> {
    for mut value in values {
        // value will be of type &u32
        //...
    }
}