Rust循环场景下Cannot borrow as mutable借用错误原因问询

问题现象 #

你有如下代码：

pub fn read_packet<'a>(buf: &'a mut [u8]) -> &'a [u8] {
    loop {
        read_exact(buf);

        if let Some(packet) = to_packet(buf) {
            return packet;
        }
    }
}

fn read_exact(_: &mut [u8]) {
    todo!()
}

fn to_packet<'a>(_: &'a [u8]) -> Option<&'a [u8]> {
    todo!()
}

编译时报错如下：

error[E0502]: cannot borrow `*buf` as mutable because it is also borrowed as immutable
 --> src/lib.rs:3:9
  |
1 | pub fn read_packet<'a>(buf: &'a mut [u8]) -> &'a [u8] {
  |                    -- lifetime `'a` defined here
2 |     loop {
3 |         read_exact(buf);
  |         ^^^^^^^^^^^^^^^ mutable borrow occurs here
4 | 
5 |         if let Some(packet) = to_packet(buf) {
  |                                         --- immutable borrow occurs here
6 |             return packet;
  |                    ------ returning this value requires that `*buf` is borrowed for `'a`

你判断代码逻辑可行的依据：

• 第3行read_exact调用的可变借用在该行执行完成后就已经结束
• 如果to_packet返回Some，对应值会直接返回给调用方
• 如果to_packet返回None，该调用产生的不可变借用在当前循环结束后就会释放，下一轮循环可以正常获取可变借用
  同时你也验证过，nightly版本开启Polonius后可以正常编译通过，执行命令：

RUSTFLAGS=-Zpolonius cargo +nightly check

原因解释 #

你的逻辑判断完全正确，这段代码本身不存在内存安全问题，稳定版编译器报错是当前默认借用检查器的能力限制导致的。

当前稳定版Rust的借用检查器采用的是保守的生命周期分析规则，无法精确识别分支场景下引用的实际存活范围。在你的代码中，编译器看到to_packet返回的引用生命周期和函数入参的'a生命周期绑定，就会保守判定buf的不可变借用从调用to_packet开始，一直持续到整个函数生命周期结束。这样下一轮循环调用read_exact需要可变借用buf时，编译器就会认为此时还有未释放的不可变借用，因此抛出借用冲突的错误。

而你测试用的Polonius是Rust下一代的借用检查器，它基于数据流对生命周期做精细化分析，能够正确识别「当to_packet返回None时，对应的不可变引用不会再被使用，可以提前释放」的逻辑，因此可以正常通过编译。

稳定版兼容方案（可选） #

如果需要在当前稳定版编译通过这段代码，可以通过临时重新借用的方式绕过检查，修改如下：

pub fn read_packet<'a>(buf: &'a mut [u8]) -> &'a [u8] {
    loop {
        read_exact(buf);
        // 临时重新生成一个不可变借用，避免生命周期直接绑定外层的'a
        if let Some(packet) = to_packet(&*buf) {
            return packet;
        }
    }
}

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