如何在数组中使用ref mut？两行Rust代码是否等价？

一、如何在数组中使用ref mut #

在Rust里，ref mut用于在模式匹配场景中获取值的可变引用，针对数组的常见使用方式：

• 直接通过let ref mut绑定数组，直接获取其可变引用：

  let ref mut arr = [1, 2, 3];
  // arr 的类型为 &mut [i32; 3]
  

• 先创建可变绑定的数组，再显式取可变引用，效果与上面等价：

  let mut arr = [1, 2, 3];
  let arr_ref = &mut arr;
  

二、两行代码的等价性分析 #

你给出的两行代码均为编译错误代码，且语义完全不等价，具体差异如下：

第一行代码 #

let ref mut a : [i32; 100]= [10;100];

• 错误原因：ref mut会将变量a绑定为右侧值的可变引用，因此a的实际类型是&mut [i32; 100]，但你显式标注的类型是数组本身[i32; 100]，类型不匹配导致编译失败。
• 修正后：去掉错误的类型标注，代码变为let ref mut a = [10;100];，此时a的类型是&mut [i32; 100]，代表对临时创建的数组的可变引用。

第二行代码 #

let ref mut a : &mut[i32; 100]= &mut[10;100];

• 错误原因：右侧的&mut [10;100]是类型为&mut [i32; 100]的可变引用，用ref mut a绑定它时，a的实际类型是对可变引用的可变引用&mut &mut [i32; 100]，但你标注的类型是&mut [i32; 100]，类型不匹配导致编译失败。
• 修正后：去掉错误的类型标注，代码变为let ref mut a = &mut [10;100];，此时a的类型是&mut &mut [i32; 100]，和第一行修正后的代码类型完全不同。

内容的提问来源于stack exchange，提问作者Ievgeni