为什么Rust的借用检查器会认为其他分支仍持有借用？

这个错误是Rust当前默认借用检查器的词法生命周期规则限制导致的：

• 借用的有效范围默认按照词法作用域判定，不会对互斥分支的使用逻辑做细粒度的流敏感分析。
• 代码第2行match &v[0]对v产生了不可变借用，因为第二个分支会直接返回这个借用的值x，借用检查器会把这个不可变借用的生命周期和函数返回值的生命周期'1绑定，认为该借用从声明开始到整个函数返回都有效。
• 第一个匹配分支中调用f(v, !a)需要传入v的可变借用，此时不可变借用还处于有效期，同时存在的可变和不可变借用违反了Rust的借用规则，因此触发E0502报错。

哪怕逻辑上第一个分支不会用到之前的不可变借用、两个分支完全互斥，当前默认的借用检查器也无法识别这种场景。

• 调整代码结构，将分支判断提前，避免跨分支的借用重叠：

fn f(v: &mut Vec<i32>, a: bool) -> &i32 {
    if a {
        f(v, !a);
        &v[0]
    } else {
        &v[0]
    }
}

这种写法下不可变借用仅在else分支产生，和if分支的可变借用没有重叠，可正常通过编译。

• 若使用Nightly版本Rust，可开启实验性的Polonius借用检查器，它支持流敏感的生命周期分析，可直接识别互斥分支的借用冲突不存在，编译时添加-Z polonius参数即可编译通过原代码。但Polonius目前尚未稳定，不建议在生产环境使用。
• 非必要不推荐使用unsafe代码绕过借用检查，会破坏Rust的内存安全保证。

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