Rust中Cell<T>的set方法为何显式丢弃旧值？

架构老林

2026-8-16

问题

我想了解为何Cell<T>上定义的set方法最后一行要显式调用drop(old)来丢弃旧值？按道理函数返回时旧值应该会被隐式丢弃（内存释放）才对？

那为何不将set方法简化为仅调用self.replace(val)？是否是因为std::ptr::read存在我未理解的机制？

给出的代码实现如下：

use std::mem;
use std::cell::UnsafeCell;

pub struct Cell<T> {
    value: UnsafeCell<T>
}

impl<T> Cell<T> {
    pub fn set(&self, val: T) {
        let old = self.replace(val);
        drop(old); // Is this needed?
    } // old would drop here anyways?
    
    pub fn replace(&self, val: T) -> T {
        mem::replace(unsafe { &mut *self.value.get() }, val)
    }
}

回答

显式drop不影响内存释放，但能明确控制析构时机：函数结束时old确实会被隐式丢弃，但显式调用drop(old)可以让旧值的析构逻辑立刻执行，而非等到函数作用域结束。这对持有文件句柄、锁等资源的类型尤为关键——能提前释放资源，避免不必要的占用。
与std::ptr::read的关联：mem::replace内部会通过ptr::read读取旧值、ptr::write写入新值，但显式drop的核心原因并非ptr::read的机制，而是为了语义清晰和析构时机的可控性。
简化写法的差异：如果直接写成self.replace(val);，返回的旧值会作为临时值处理，析构时机由编译器决定（通常在语句结束时），多数场景下效果和显式drop一致。但显式调用drop是一种明确的语义声明，能让阅读代码的人清楚知道这里主动丢弃了旧值，避免被误解为遗漏了返回值处理。