Rust中循环访问数组连续元素触发借用检查器错误，如何解决？

当你使用动态索引（比如arr[i-1]，其中i是运行时变量）借用数组元素时，Rust的借用检查器无法静态验证i-1和i指向数组中完全不重叠的位置。为了严格保证内存安全，它会采取保守策略：将整个数组标记为不可变借用，而非仅借用单个元素。这就导致后续对arr[i]的可变操作（push）与之前的不可变借用产生冲突。

下面提供几种可行的改写方式：

方法1：使用迭代器配对（最优雅） #

利用iter()（不可变迭代器）和iter_mut().skip(1)（从第二个元素开始的可变迭代器）配对，编译器能明确这两个迭代器访问的元素无重叠，不会触发借用冲突：

fn main() {
    let mut arr: [Vec<u32>; 3] = [vec![1, 2, 3], Vec::new(), Vec::new()];
    
    for (prev_vec, current_vec) in arr.iter().zip(arr.iter_mut().skip(1)) {
        for &num in prev_vec {
            current_vec.push(num * 2);
        }
    }
    
    dbg!(arr);
}

方法2：用split_at_mut分割数组 #

split_at_mut会将数组分割为两个不重叠的可变切片，我们可以把前半部分作为不可变引用使用，后半部分处理可变操作：

fn main() {
    let mut arr: [Vec<u32>; 3] = [vec![1, 2, 3], Vec::new(), Vec::new()];
    
    for i in 1..3 {
        let (left, right) = arr.split_at_mut(i);
        let prev_vec = &left[i-1];
        let current_vec = &mut right[0];
        
        for &num in prev_vec {
            current_vec.push(num * 2);
        }
    }
    
    dbg!(arr);
}

方法3：临时复制前一个元素的内容 #

如果数组元素的复制开销可以接受，先把前一个向量的内容复制到临时变量，这样能提前释放对数组的借用：

fn main() {
    let mut arr: [Vec<u32>; 3] = [vec![1, 2, 3], Vec::new(), Vec::new()];
    
    for i in 1..3 {
        let prev_nums = arr[i-1].clone();
        for num in prev_nums {
            arr[i].push(num * 2);
        }
    }
    
    dbg!(arr);
}

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