rust - 为什么向量的 Rust 索引语法不取得元素的所有权？

Question

当我读到Rust documentation on generics时，我发现了一个关于所有权的奇怪问题。查看以下代码片段:

fn main() {
    let number_list = vec![34, 50, 25, 100, 65];

    let mut largest = number_list[0];

    for number in number_list {
        if number > largest {
            largest = number;
        }
    }
    println!("The largest number is {}", largest);
}

为什么不 largest获得向量第一个元素的所有权？我发现在之前的chapter about vectors ，使用借用语法 let largest = &v[0]将取得该元素的所有权。为什么这段代码能通过编译器？

Answer 1

许多基本类型实现 the Copy trait - 这意味着当您将它们绑定(bind)到其他变量时，它们会被复制。复制值时不存在所有权问题。

这只是出于演示目的，不太实用......但是如果您将示例更改为使用简单的哑结构，您会发现它不再有效(因为它没有实现复制):

#[derive(Debug, PartialEq)]
struct S;

fn main() {
    let number_list = vec![S, S, S, S];

    let mut largest = number_list[0];

    for number in number_list {
        if number == largest {
            largest = number;
        }
    }
    println!("The largest number is {:?}", largest);
}

但是，如果您让它实现Copy(和Clone)，它将运行良好:

#[derive(Clone, Copy, Debug, PartialEq)]
struct S;

You can play with it in the Playground here if you want