修改Vec后获取长度触发E0502错误：可变与不可变借用冲突如何解决？

错误根源 #

你遇到的问题出在生命周期标注错误绑定上。原push函数的签名把可变引用stack的生命周期'a和参数value的生命周期'a强制绑定成了同一个：

fn push<'a>(stack: &'a mut Vec<&'a str>, value: &'a str) {
    stack.push(value);
}

Rust的借用检查器会据此认为：stack的可变借用生命周期必须覆盖value的整个生命周期。这就导致调用push后，stack的可变借用并未结束，后续对stack的不可变借用（比如stack.len()）就触发了“可变、不可变借用冲突”的错误。

解决方案 #

有两种简单的修复方式：

1. 自动推导生命周期（推荐）

直接去掉手动的生命周期标注，让Rust通过生命周期省略规则自动推导：

fn push(stack: &mut Vec<&str>, value: &str) {
    stack.push(value);
}

Rust会自动推断出value的生命周期只需长于stack的可变引用周期，函数返回后可变借用立即释放，后续对stack的操作不再受限制。

2. 显式分离生命周期

如果需要手动标注，使用两个不同的生命周期，明确value的生命周期至少覆盖stack的引用周期即可：

fn push<'stack, 'value: 'stack>(stack: &'stack mut Vec<&'value str>, value: &'value str) {
    stack.push(value);
}

这里'value: 'stack表示value的存活时间不短于stack的可变引用时间，但不会强制stack的借用持续到value失效，函数返回后可变借用正常释放。

修复后的测试代码 #

修改push函数后，测试代码就能正常运行：

#[test]
fn test_len() {
    let mut stack = vec!["one"];
    push(&mut stack, "two");
    assert_eq!(stack.len(), 2); // 不再报错
}

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