为何下述Rust代码触发panic？编译期未做借用检查的原因

一、Panic的直接原因 #

看代码里的undo方法：

fn undo(&mut self) -> Result<(), String> {
    let mut history_borrow = self.history.borrow_mut(); // 获取可变借用
    if let Some(previous_content) = history_borrow.pop_front() {
        self.content = previous_content;
        self.history.borrow(); // 这里触发panic
        Ok(())
    } else {
        Err("No previous history available.".to_string())
    }
}

• RefCell的核心借用规则是：同一时间只能存在一个可变借用，或者多个不可变借用，绝对不能同时存在可变和不可变借用。
• 在undo方法中，先通过borrow_mut()获取了history的可变借用history_borrow，这个借用的生命周期会持续到当前作用域结束（也就是if代码块执行完毕前）。
• 紧接着调用self.history.borrow()尝试获取不可变借用，此时可变借用还未释放，直接违反了RefCell的运行时借用规则，因此触发panic。

二、为什么编译期未检测出问题 #

Rust的编译期静态借用检查，只能处理编译阶段就能确定的借用关系，而RefCell的设计初衷就是为了解决编译期无法处理的「内部可变性」场景：

• RefCell通过运行时维护借用计数的方式来管理借用，它主动绕开了编译期的静态借用检查，把借用规则的验证逻辑推迟到程序运行阶段。
• 编译期无法追踪RefCell内部的动态借用状态（比如什么时候调用borrow/borrow_mut是由运行时逻辑决定的），因此只能在运行时通过检查借用计数判断是否违规，一旦违规就触发panic。

修复示例 #

只需要保证可变借用释放后再获取其他借用即可，比如通过缩小作用域提前释放可变借用：

fn undo(&mut self) -> Result<(), String> {
    {
        let mut history_borrow = self.history.borrow_mut();
        if let Some(previous_content) = history_borrow.pop_front() {
            self.content = previous_content;
        } else {
            return Err("No previous history available.".to_string());
        }
    } // 可变借用在此处被释放
    self.history.borrow(); // 现在可以安全获取不可变借用
    Ok(())
}

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