Rust中重新赋值函数参数引用为何会引发生命周期错误？

这是个非常典型的Rust生命周期困惑点，刚好触及了函数签名生命周期约束和局部变量生命周期推导的核心差异，咱们一步步拆解来看。

先看报错的f1函数 #

首先把你的报错代码贴出来：

fn f1(mut outer: &String) {
    println!("{outer}");
    let inner: String = "x".to_owned();
    outer = &inner; // error[E0597]: borrowed value does not live long enough
    println!("{outer}");
}

Rust的编译器会自动给省略的生命周期补全，这个函数的签名实际等价于：

fn f1<'a>(mut outer: &'a String) {
    // ... 函数体不变
}

这里的'a是调用者传入的生命周期——也就是说，调用f1时传入的outer引用，它的生命周期是由调用者那边的变量决定的（比如调用者main里的某个字符串变量），这个生命周期必然长于f1函数的执行周期（因为调用者的变量在f1执行完还会存在）。

当你尝试把&inner赋值给outer时，inner是f1内部的局部变量，它的生命周期只存在于f1函数内部（记为'b，'b < 'a）。但outer的类型是&'a String，要求它指向的引用必须至少存活'a这么久，显然&inner的生命周期不够长，所以编译器报错。

这里的关键是：函数参数的生命周期约束是由签名承诺的，和函数体内部的使用无关——哪怕你在函数里没有返回outer，也不会修改这个约束，因为Rust的类型检查是基于签名的，要保证函数的任何调用都符合签名的生命周期约定。

再看main里可行的模拟代码 #

你的main函数代码是这样的：

fn main() {
    let outer_src = "hello ".to_owned();
    let outer = &outer_src;
    {
        let mut fn1_outer: &String = outer;
        println!("{outer}");
        let fn1_inner: String = "x".to_owned();
        fn1_outer = &fn1_inner;
        println!("{fn1_outer}") // 这里能正常编译
    }
    println!("{outer}")
}

这个能通过的原因有两个：

1. fn1_outer是在块内部声明的局部变量，它的生命周期不需要遵循调用者的约束，Rust会根据它的使用情况动态推导。
2. Rust的借用检查器会关注引用的最后一次使用位置，而不是变量的销毁位置。fn1_outer的最后一次使用是println!("{fn1_outer}")，之后它就没有被使用了，而fn1_inner是在块结束时才被销毁，这时候fn1_outer已经没有用了，所以不存在引用悬空的问题。

验证你的两个理论 #

• 第一个理论（Drop顺序）是错误的：main里的模拟代码和f1函数的变量销毁顺序本质是类似的（局部变量按声明逆序销毁），但main的例子能正常编译，说明drop顺序不是问题根源。
• 第二个理论是正确的：函数参数的生命周期是绑定到调用者的，而不是函数本身的执行周期。函数参数的生命周期约束要求所有对它的赋值都必须满足“新引用的生命周期≥调用者传入的生命周期”，而内部局部变量的生命周期显然无法满足这个要求，所以赋值失败。

补充：为什么你修改后的f1能正常工作？ #

你提到的这个函数是可行的：

fn f1(mut outer: &String) {
    let mut fn1_outer: &String = outer;
    println!("{fn1_outer}");
    let fn1_inner: String = "x".to_owned();
    fn1_outer = &fn1_inner;
    println!("{fn1_outer}")
}

因为fn1_outer是函数内部声明的局部变量，它的生命周期不受函数参数的'a约束，Rust会重新推导它的生命周期为fn1_inner的生命周期，而它的最后一次使用在fn1_inner销毁前，完全符合借用规则，所以编译通过。

总结 #

• 函数参数的生命周期由调用者决定，签名里的生命周期约束是硬性承诺，函数内部对参数的所有赋值都必须满足这个约束。
• 函数内部声明的局部变量的生命周期由Rust根据使用情况动态推导，只要引用的最后一次使用不晚于被引用变量的销毁，就不会报错。

内容来源于stack exchange