为何Rust 1.83.0及以上版本允许match表达式返回临时值引用？

问题代码 #

fn main() {
    let result: Result<(), String> = Err("Something went wrong".to_string());
    
    let status = match result {
        Ok(()) => "✅", // Success
        Err(err) => &format!("❌ {:?}", err),  // Failure (this line causes an error)
    };

    println!("{}", status);
}

报错信息 #

error[E0716]: temporary value dropped while borrowed
   --> tests/integration_tests.rs:143:26
    |
141 |         let status = match result.result {
    |             ------ borrow later stored here
142 |             Ok(()) => "✅", // Success
143 |             Err(err) => &format!("❌ {:?}", err),  // Failure
    |                          ^^^^^^^^^^^^^^^^^^^^^^-
    |                          |                     |
    |                          |                     temporary value is freed at the end of this statement
    |                          creates a temporary value which is freed while still in use

原因与对应Rust版本变更 #

这段代码在Rust 1.83.0及以后能正常编译，核心是编译器优化了临时值的生命周期延长规则——针对match表达式分支返回引用的场景，编译器现在可以将临时值的生命周期延长到整个match结果的作用域。

在1.83.0之前，format!创建的临时String会在Err分支语句结束后立即销毁，导致&format!返回的引用变成悬垂引用，触发E0716错误。而1.83.0的编译器更新后，当match的所有分支返回的引用要么是静态生命周期（比如"✅"是&'static str），要么指向临时值时，编译器会把临时值的生命周期延长到status变量的生命周期，确保引用始终有效。

这个优化属于Rust编译器对生命周期分析的直观化改进，目的是减少开发者手动处理临时值生命周期的场景，让代码逻辑更符合直觉。虽然在官方更新日志中没有单独列项，但它是1.83.0版本中对临时值作用域处理的重要调整之一。

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