Rust临时值的可变/不可变引用销毁时机为何存在差异？

1. 为何第一次&mut Test {x:0}赋值正常，第二次赋值报错？ #

触发错误的代码：

struct Test {
    x: u32,
}

fn main() {
    let mut t = & mut Test { x: 0 };
    println!("{}", t.x);
    t = & mut Test { x: 1 };
    println!("{}", t.x);
}

错误信息：

error[E0716]: temporary value dropped while borrowed
 --> src/main.rs:8:15
  |
8 |     t = & mut Test { x: 1 };
  |               ^^^^^^^^^^^^^- temporary value is freed at the end of this statement
  |               |
  |               creates a temporary value which is freed while still in use

核心原因是Rust的临时值提升规则：

• 第一次是let绑定初始化：编译器会自动把临时的Test {x:0}提升到变量t的作用域中，让它的生命周期和t完全一致，因此t的引用不会悬空。
• 第二次是对已存在的可变引用变量赋值：此时编译器不会触发临时值提升，Test {x:1}这个临时值仅存活到当前语句结束。但赋值后t会持有该临时值的可变引用，语句结束后临时值被销毁，出现引用悬空，因此触发错误。

2. 改为不可变引用后代码为何能正常运行？ #

修改后的代码：

fn main() {
    let mut t = & Test { x: 0 };
    println!("{}", t.x);
    t = & Test { x: 1 };
    println!("{}", t.x);
}

这是因为Rust对不可变引用的临时值有更宽松的生命周期处理：
即使是对已存在的变量赋值，编译器也会自动把不可变引用指向的临时值提升到当前作用域，让临时值的生命周期覆盖变量t的后续使用阶段。由于不可变引用不存在可变引用的别名冲突风险，编译器可以安全地延长临时值的生命周期，避免引用悬空。

3. 实现Drop trait后，不可变引用也报错的原因？ #

当为Test实现Drop trait后：

impl Drop for Test {
    fn drop(& mut self) { }
}

原本正常的不可变引用代码也会触发相同的临时值销毁错误。

这是因为Drop trait的存在改变了编译器对临时值生命周期的判断逻辑：

• 实现Drop后，类型的销毁逻辑由自定义的drop方法控制，编译器无法再随意调整临时值的销毁时机——如果强行提升临时值的生命周期，可能会导致drop方法执行时的上下文不符合预期（比如依赖临时值所在的原作用域资源）。
• 因此，编译器会取消对这类临时值的生命周期提升，不管是可变还是不可变引用，临时值都会在语句结束后被销毁，导致引用悬空触发错误。

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