Rust借用检查器：操作顺序为何影响可变借用合法性？

我在学习Rust时，对借用规则要求特定操作顺序的原因感到困惑。

可正常编译的代码 #

fn add<'a>(todo: &'a mut Vec<&'a str>, task: &'a str) {
    todo.insert(0, task);
}

fn remove(todo: &mut Vec<&str>) {
    todo.pop();
}

fn main() {
    let mut todo = vec!["eat", "sleep"];
    remove(&mut todo);
    add(&mut todo, "learn rust");
}

调换顺序后编译失败的代码 #

fn main() {
    let mut todo = vec!["eat", "sleep"];
    add(&mut todo, "learn rust");
    remove(&mut todo);
}

报错信息 #

error[E0499]: cannot borrow todo as mutable more than once at a time
--> src/main.rs:12:12
|
11 | add(&mut todo, "learn rust");
| --------- first mutable borrow occurs here
12 | remove(&mut todo);
| ^^^^^^^^^
| |
| second mutable borrow occurs here
| first borrow later used here

For more information about this error, try rustc --explain E0499.

独立作用域仍报错的代码 #

fn main() {
    let mut todo = vec!["eat", "sleep"];
    {
        add(&mut todo, "learn rust");
    }
    {
        remove(&mut todo);
    }
}
//  No effect, same error

核心疑问与解答 #

1. 为何先执行add编译失败，先执行remove却可行？

问题根源在add函数的生命周期标注：fn add<'a>(todo: &'a mut Vec<&'a str>, task: &'a str)。这个标注强制要求**todo的可变借用和传入的字符串引用**拥有完全相同的生命周期。

• 当先调用add时，Rust会推断生命周期'a覆盖从add调用开始到todo整个生命周期结束——因为todo内部存储了"learn rust"的引用，而标注要求该引用的生命周期必须和todo的可变借用周期绑定。这直接导致todo的可变借用被延长至整个main函数，后续调用remove时无法创建新的可变借用，触发E0499错误。
• 当先调用remove时，remove的签名是fn remove(todo: &mut Vec<&str>)，这里的生命周期是匿名的，Rust会推断这个可变借用仅在remove执行期间有效，执行完毕后借用立即释放。后续调用add时，todo没有活跃的可变借用，自然可以再次创建新的借用，因此编译正常。

2. 独立作用域为何无法解决问题？

因为add的生命周期标注强制将todo的可变借用与内部存储的字符串引用绑定到同一生命周期，而这个生命周期被推断为todo本身的生命周期（即整个main函数）。即使把add放在单独作用域，Rust必须保证todo内部的引用始终有效，因此无法提前释放这个可变借用。

3. 如何修复该问题？

修改add函数的生命周期标注，不再强制可变借用和元素引用的生命周期完全一致：

// 'a是元素的生命周期，'b是可变借用的生命周期，'b可以比'a短
fn add<'a, 'b>(todo: &'b mut Vec<&'a str>, task: &'a str) {
    todo.insert(0, task);
}

修改后，无论先调用add还是remove，可变借用都会在函数调用结束后被释放，后续的借用操作不会再冲突。

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