为何Rust编译器在借用检查中未针对参数引用直接报错？

先看问题中的代码：

fn remove_zeros(v: &mut Vec<i32>) {
    for (i, t) in v.iter().enumerate().rev() {
        if *t == 0 {
            v.remove(i);
            v.shrink_to_fit();
        }
    }
}

编译器抛出的E0502错误，核心原因是：v.iter()会创建一个对Vec的不可变借用，这个借用的生命周期覆盖了整个for循环——因为迭代器需要持续持有Vec的引用才能遍历元素。而v.remove(i)需要对Vec发起可变借用，这直接违反了Rust的核心借用规则：同一时间内，一个值不能同时存在可变借用和任何不可变借用。

为什么编译器不在参数类型阶段报错？ #

Rust的借用检查不是简单的“参数类型和内部使用是否兼容”的静态匹配，而是基于代码执行流的生命周期分析。&mut Vec<i32>只是赋予了函数修改Vec的权限，但只要你没实际发起可变借用，同时使用不可变借用是完全合法的——比如如果这个函数只有遍历逻辑、没有修改操作，代码是可以正常编译的。只有当代码中出现存活的不可变借用与可变借用的重叠时，编译器才会触发错误，这种精准分析比粗暴的类型匹配更灵活，也更符合实际代码的执行逻辑。

为什么红皮书反复询问“先非法不可变借用”还是“先非法可变借用”？ #

这是因为借用冲突的本质是借用生命周期的重叠，而哪一步是“非法”的，完全取决于你的代码意图：

• 如果你的目标是遍历Vec的所有元素，那发起可变借用的v.remove就是非法操作；
• 如果你的目标是修改Vec（移除0元素），那提前发起的不可变借用（v.iter()）就是非法的。

红皮书引导你思考这个问题，是为了让你明确代码的核心意图，进而找到正确的修复方案。比如针对这个函数，我们可以放弃迭代器，改用索引逆序遍历，避免持有Vec的引用：

fn remove_zeros(v: &mut Vec<i32>) {
    let mut i = v.len();
    while i > 0 {
        i -= 1;
        if v[i] == 0 {
            v.remove(i);
            v.shrink_to_fit();
        }
    }
}

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