Rust操作Vec<Vec<i32>>触发E0502借用报错如何解决

当前Rust稳定版的借用检查器，对容器索引操作的借用校验是容器级别的，不会在编译期分析索引的具体数值、判断不同索引指向的内存是否重叠。
当执行let current_row = &mut triangle[i];绑定时，虽然逻辑上只借用了triangle中第i行的可变引用，但在借用检查器的视角里，这个可变借用的生命周期覆盖从绑定创建到current_row销毁的全范围，相当于整个triangle容器被持有可变借用。此时再执行let last_row = &triangle[i+1];，相当于对整个triangle发起不可变借用，直接触发「可变借用存活期间不允许存在任何不可变借用」的核心借用规则，因此抛出E0502错误。
无绑定直接索引访问的版本可以正常编译，核心原因是这种场景下的索引借用属于临时借用，生命周期仅持续到单条语句执行结束，不会跨语句留存。编译器可以识别到单条语句内对triangle[i]的可变写操作，和对triangle[i+1]的读操作访问的是不同位置的内存，临时借用的作用域没有交叉，因此不会触发冲突。
带.clone()的版本能运行是因为clone生成了一份完全独立的行数据，和原triangle没有任何内存关联，自然不存在借用冲突，但整行拷贝会带来O(n)的额外堆内存开销，数据量大时性能损耗明显。

除了直接索引访问的写法，如果希望保留提前绑定两个行引用的写法、提升代码可读性，可以使用标准库提供的split_at_mut方法。这个方法是零成本的安全抽象，编译后生成等价于指针偏移的代码，无任何额外运行时开销，作用是主动向编译器声明：将容器拆分为两个内存完全不重叠的切片，两个切片的借用互相独立、不存在冲突。
实现代码如下：

use std::cmp;

fn minimum_total(mut triangle: Vec<Vec<i32>>) -> i32 {
    for i in (0..triangle.len() - 1).rev() {
        // 从i+1位置拆分，前半段包含0~i行，后半段包含i+1到最后一行
        let (prev_rows, next_part) = triangle.split_at_mut(i + 1);
        let current_row = &mut prev_rows[i];
        // next_part的第一个元素就是原i+1行，全程只读不修改
        let last_row = &next_part[0];
        for j in 0..current_row.len() {
            current_row[j] += cmp::min(last_row[j], last_row[j + 1]);
        }
    }
    triangle[0][0]
}

fn main() {
    println!("{}", minimum_total(vec![vec![2],vec![3,4],vec![6,5,7],vec![4,1,8,3]]));
}

这个实现和直接索引版本性能完全一致，无任何堆拷贝或额外运算开销，同时保留了提前绑定行引用的清晰写法。
等Rust的Polonius借用检查模型正式稳定后，最初写的不带clone、直接绑定两个索引引用的版本可以直接编译通过。Polonius支持更细粒度的借用路径追踪，能静态识别出i和i+1两个索引指向的内存不存在重叠，两个借用的访问范围没有冲突。

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