为什么不可变变量可以作为参数传递给需要可变参数的函数？

Question

示例代码：

fn main() {
    let a = [1, 2, 3, 4, 5];
    reset(a);
}

fn reset(mut b: [u32; 5]) {
    b[0] = 5;
}

变量a是一个不可变数组，reset函数的参数b是一个可变数组；直觉上我需要将 a 修改为可变数组，然后才能调用 reset 方法，但编译器告诉我不需要这样做，这是为什么？

fn main() {
    let mut a = [1, 2, 3, 4, 5];
    reset(a);
}

fn reset(mut b: [u32; 5]) {
    b[0] = 5;
}

warning: variable does not need to be mutable
 --> src/main.rs:2:9
  |
2 |     let mut a = [1, 2, 3, 4, 5];
  |         ----^
  |         |
  |         help: remove this `mut`
  |
  = note: #[warn(unused_mut)] on by default

Answer 1

按值传递时，您正在转移值的所有权。不需要变量的副本——首先 main 拥有它，然后 reset 拥有它，然后它就消失了¹.

在 Rust 中，当你拥有一个变量的所有权时，你可以控制它的可变性。例如，您可以这样做：

let a = [1, 2, 3, 4, 5];
let mut b = a;

你也可以在 reset 中做同样的事情，虽然我不会这样做，更喜欢在函数签名中使用 mut :

fn reset(b: [u32; 5]) {
    let mut c = b;
    c[0] = 5;
}

另请参阅：

1 — 在 这种特定情况下 ，您的类型是 [i32; 5]，它实现了 Copy特征。如果您在将所有权授予 reset 之后尝试使用 a，则会生成一个隐式副本。 a 的值将保持不变。

为什么不可变变量可以作为参数传递给需要可变参数的函数？

Why can immutable variables be passed as arguments to functions that require mutable arguments?

variables

syntax

rust

immutability

mutable