Rust中未使用变量是否会提前Drop？标准库有无ScopeGuard类实现？

问题背景 #

我希望实现一个ScopeGuard，它接收闭包并在自身离开作用域时执行该闭包，实现代码如下：

pub struct ScopeGuard<F: Fn() -> ()>(F);

impl<F: Fn() -> ()> ScopeGuard<F> {
    pub fn new(f: F) -> Self { Self(f) }
}

impl<F: Fn() -> ()> Drop for ScopeGuard<F> {
    fn drop(&mut self) { self.0(); }
}

有两个疑问：

• 若该变量未被使用，能否确保它总是在作用域结束时才被Drop？Rust是否会进行优化提前Drop它？换句话说，如下代码片段是否无论编译参数、版本等，都会先打印“Scope ended”再打印“Guard dropped”？

  {
      let _guard = ScopeGuard::new(|| println!("Guard dropped"));
  
      // ... some other code that doesn't use _guard
  
      println!("Scope ended");
  }
  

• 是否遗漏了标准库中已有的类似ScopeGuard的实现？

解答 #

Drop时机的确定性 #

可以确保_guard会在作用域结束时才执行Drop，不会被提前优化。

Rust的语义明确规定：变量的Drop时机是其作用域的结尾，除非手动调用std::mem::drop或变量被移动。即使变量未被使用，编译器也不会因优化提前销毁它——因为Drop可能包含副作用（比如示例中的打印操作），编译器必须保证这种语义一致性，不受编译参数（如--release）或Rust版本影响。

因此你提供的代码片段一定会先打印Scope ended，再打印Guard dropped。

标准库中的替代方案 #

Rust标准库目前没有直接提供ScopeGuard类型，但可以基于现有特性实现类似逻辑：

• 你的实现本质上是利用Drop trait的特性，这是Rust中实现作用域守卫的标准方式。
• 社区有成熟的第三方库（如scopeguard）提供了更丰富的功能（比如取消守卫执行），但如果只是基础需求，你自己的实现已经足够简洁可靠。

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