关于Rust作用域变量逆序销毁规则的矛盾场景疑问

核心规则：同一作用域的变量销毁顺序 #

Rust中，同一作用域内的变量按「声明逆序」销毁——最后声明的变量最先被销毁，最早声明的变量最后被销毁。这个规则是理解三个场景差异的关键。

场景1：先声明闭包变量，后声明被引用数据（编译报错） #

fn display<'a, 'b>(x: &'a String, y: &'b String) -> impl FnOnce() -> (&'a String, &'b String) {
    move || (x, y)
}

fn main() {
    let _closure;          // 1. 最早声明的变量
    let s1 = String::from("Hello"); // 2. 中间声明
    let s2 = String::from("World"); // 3. 最后声明

    _closure = display(&s1, &s2);

    let (ref1, ref2) = _closure();

    println!("{} {}", ref1, ref2);
}

报错原因： #

• 变量销毁顺序为：s2 → s1 → _closure（因为声明顺序是_closure→s1→s2，逆序销毁）。
• _closure是闭包，它持有s1和s2的引用，且_closure的生命周期覆盖到main函数结束（直到最后才销毁）。编译器会认为：闭包可能在s1/s2销毁后被调用（哪怕你实际调用是在之前），这会导致悬垂引用，因此触发E0597错误。

场景2：先声明引用变量，后声明被引用数据（编译通过） #

fn main() {
    let reference_holder; // 1. 最早声明
    let referenced_data = String::from("Hello World!..."); // 2. 后声明

    reference_holder = &referenced_data;

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

编译通过的原因： #

• 虽然reference_holder声明更早、销毁更晚，但编译器的借用检查会跟踪引用的实际使用时机：reference_holder只在referenced_data销毁前被使用（println!执行时，referenced_data还活着）。
• 这里没有闭包这种「延迟执行」的结构——引用的使用是直接、同步的，编译器可以明确确认引用不会在数据销毁后被访问，因此允许通过。

场景3：闭包变量声明与初始化放在被引用数据之后（编译通过） #

fn main() {
    let s1 = String::from("Hello");
    let s2 = String::from("World");
    let _closure = display(&s1, &s2); // 声明顺序在s1、s2之后

    let (ref1, ref2) = _closure();

    println!("{} {}", ref1, ref2);
}

编译通过的原因： #

• 变量声明顺序变为s1→s2→_closure，销毁顺序则是_closure→s2→s1。
• _closure会在s1和s2之前被销毁，闭包持有引用的整个生命周期内，s1和s2都处于存活状态，完全符合借用规则，因此编译器不会报错。

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