为何Rust编译器按声明逆序销毁未使用变量？

问题背景 #

《Rust Book》第15章第3节给出如下示例，展示Rust中变量的drop函数执行时机：

struct CustomSmartPointer {
    data: String,
}

impl Drop for CustomSmartPointer {
    fn drop(&mut self) {
        println!("Dropping CustomSmartPointer with data `{}`!", self.data);
    }
}

fn main() {
    let c = CustomSmartPointer {
        data: String::from("my stuff"),
    };
    let d = CustomSmartPointer {
        data: String::from("other stuff"),
    };
    println!("CustomSmartPointers created.");
}

运行上述代码，输出为：

CustomSmartPointers created.
Dropping CustomSmartPointer with data `other stuff`!
Dropping CustomSmartPointer with data `my stuff`!

当新增变量e（数据为"more stuff"）后，输出仍保持逆序：

CustomSmartPointers created.
Dropping CustomSmartPointer with data `more stuff`!
Dropping CustomSmartPointer with data `other stuff`!
Dropping CustomSmartPointer with data `my stuff`!

用户疑问 #

为何Rust编译器会按此顺序销毁变量？既然变量未被使用或引用，为何不在声明后立即按声明顺序销毁？尽管该行为类似栈的进出，但我认为这可能是误导。

解答 #

Rust选择声明逆序销毁变量，本质是为了保证资源依赖的安全性和行为的可预测性，核心原因有两点：

• 解决资源依赖问题
  很多场景下，后声明的变量可能依赖先声明的变量。比如先创建一个文件句柄，再创建依赖该句柄的读取器，如果先销毁文件句柄，读取器后续操作就会触发无效资源访问。逆序销毁能确保依赖方先被清理，被依赖的资源最后销毁，从根源避免这类悬空引用问题。

• 保持行为的一致性与可预测性
  即使变量之间没有显式依赖，统一采用逆序销毁规则能让开发者形成稳定的预期。如果编译器随意在“未使用时提前销毁”，会导致代码行为因优化程度不同而变化——比如debug和release模式下可能出现不同的销毁顺序，增加调试难度。逆序规则简单且固定，不管变量是否被使用，都遵循同一逻辑，减少认知负担。

至于“未使用变量不立即销毁”，Rust的drop时机规则绑定到变量的作用域生命周期：变量在进入作用域时初始化，在作用域结束时按逆序销毁，这是语言层面的强规则，而非基于是否被使用的优化。这种设计避免了因局部优化导致的行为不确定性，让内存管理逻辑更清晰可控。

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