Rust中Weak<T>感知内部值释放的原理及RcBox内存疑问

问题背景 #

std::rc::Weak<T>的定义如下：

pub struct Weak<T: ?Sized> {
    ptr: NonNull<RcBox<T>>,
}

我原本理解当不存在Rc<T>实例时，RcBox<T>会被释放，此时Weak<T>.ptr指向的内存可能是任意内容。但看到Weak<T>::upgrade的实现后产生了疑问：

pub fn upgrade(&self) -> Option<Rc<T>> {
    let inner = self.inner()?;

    if inner.strong() == 0 {
        None
    } else {
        unsafe {
            inner.inc_strong();
            Some(Rc::from_inner(self.ptr))
        }
    }
}

调用Weak<T>的upgrade()方法时，它如何判断指针已失效？这是否意味着当不存在Rc<T>实例时，RcBox<T>并未真正被释放？如果是这样，会不会造成内存泄漏？

解答 #

核心逻辑：双引用计数机制 #

RcBox<T>内部维护了两个独立的计数器：

• 强引用计数：记录当前Rc<T>实例的数量，强计数为0时，会销毁包裹的T对象；
• 弱引用计数：记录当前Weak<T>实例的数量，弱计数为0时，才会彻底销毁RcBox<T>本身。

所以当所有Rc<T>都被销毁时，只是强计数归0，T被释放，但RcBox<T>会保留到所有Weak<T>也被销毁为止。

upgrade()的有效性判断 #

• self.inner()能安全访问RcBox<T>的前提是：只要还有Weak<T>存在，RcBox<T>就还在内存中，指针不会失效；
• 检查inner.strong() == 0是判断是否还有有效的Rc<T>实例：如果强计数为0，说明T已经被释放，无法升级为Rc<T>，直接返回None；如果强计数大于0，就递增强计数并返回新的Rc<T>实例。

关于内存泄漏的问题 #

完全不会造成内存泄漏：

• 强计数归0时，T的内存会被及时释放，不会残留；
• 只要所有Weak<T>实例最终都被销毁，弱计数会归0，RcBox<T>的内存也会被彻底回收。整个过程是严格遵循引用计数的生命周期管理的。

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