如何自动释放结构体中指针指向的内存？Rust规范方案解析

1. foo超出作用域时的内存状态 #

你提供的代码里，Foo仅持有一个原始指针*mut u8，当foo离开作用域时，只有结构体自身会被销毁，但它指向的堆内存不会被自动释放。这块内存会一直处于已分配状态，直到程序退出，直接造成内存泄漏。

原因是原始指针（*mut T/*const T）属于Rust的不安全范畴，编译器不会为它自动管理内存，内存的分配与释放完全需要开发者手动处理。

2. 实现自动释放的方式 #

要让内存随foo销毁自动释放，你需要利用Rust的析构函数机制：为Foo实现Drop trait，在drop方法里手动调用std::alloc::dealloc完成内存释放。修改后的代码如下：

use std::alloc::{alloc, dealloc, Layout};
use std::mem::align_of;

struct Foo {
    a: *mut u8,
    size: usize, // 必须保存分配时的内存大小，因为dealloc需要对应的Layout
}

impl Foo {
    pub fn make(x: usize) -> Self {
        unsafe {
            let layout = Layout::from_size_align(x, align_of::<u8>()).unwrap();
            let ptr = alloc(layout);
            Self { a: ptr, size: x }
        }
    }
}

// 实现Drop trait，让内存随结构体销毁自动释放
impl Drop for Foo {
    fn drop(&mut self) {
        unsafe {
            let layout = Layout::from_size_align(self.size, align_of::<u8>()).unwrap();
            dealloc(self.a, layout);
        }
    }
}

#[test]
fn test() {
    let foo = Foo::make(100);
    println!("ptr: {:p}", foo.a);
}

这样当foo超出作用域时，Rust会自动调用drop方法，完成内存释放，避免泄漏。

3. Rust的规范内存管理做法 #

Rust既不像C++那样依赖手动调用delete/free，也不像Java依赖垃圾回收，它的核心是基于所有权与生命周期的编译期内存管理：

• 绝大多数场景下，直接使用Rust标准库提供的安全容器，比如Vec<T>、Box<T>、String等——这些类型内部已经封装了内存的分配与自动释放逻辑，完全不需要手动操作alloc/dealloc。
• 仅在极特殊的底层场景（比如自定义内存分配器、高性能数据结构实现），才需要手动使用std::alloc模块的不安全API，此时必须严格遵循"分配-释放"的配对原则，同时通过Drop trait确保释放逻辑被执行。

简言之，Rust的规范是：优先使用自带内存管理的安全标准类型；仅必要时手动处理内存，且必须通过Drop保证自动释放。

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