C++：释放结构体成员动态数组及结构体指针的最佳实践

咱们先拆解你提供的代码里的问题，再一步步聊这个场景下的内存管理最佳实践：

#include <iostream>
struct TestStruct {
    int a; // 其他成员在此处
    int *b = new int[10];
    ~TestStruct() { }
};

int main(void) {
    struct TestStruct *a_struct = new TestStruct();
    // 对结构体执行操作
    delete a_struct;
    return 0;
}

问题分析 #

这段代码能编译运行且无段错误，但存在隐性内存泄漏：当你delete a_struct时，只会释放TestStruct结构体本身的内存，而结构体里用new int[10]分配的动态数组b，因为析构函数是空的，完全没被释放——这部分内存会一直占用堆空间，直到程序结束才会被操作系统回收。

最佳实践方案 #

1. 手动在析构函数中释放动态数组（基础修复方式）

如果坚持用裸指针，必须在析构函数中对应释放数组，而且一定要用delete[]（不能用delete，因为是数组类型）：

#include <iostream>
struct TestStruct {
    int a;
    int *b = new int[10];
    ~TestStruct() {
        delete[] b; // 释放动态数组，必须匹配new[]使用delete[]
        b = nullptr; // 可选操作，避免后续误操作野指针
    }
};

int main(void) {
    TestStruct *a_struct = new TestStruct();
    // 执行业务操作
    delete a_struct; // 此时会先调用析构函数释放b，再释放结构体本身
    return 0;
}

2. 用智能指针自动管理内存（更安全的裸指针替代方案）

C++11及以后，推荐用智能指针替代裸指针，比如std::unique_ptr<int[]>，它会在对象生命周期结束时自动调用delete[]，完全不用手动写析构函数：

#include <iostream>
#include <memory> // 包含智能指针头文件

struct TestStruct {
    int a;
    std::unique_ptr<int[]> b = std::make_unique<int[]>(10); // 自动管理数组内存
    // 不需要手动写析构，编译器会生成默认析构，智能指针自动释放资源
};

int main(void) {
    auto a_struct = std::make_unique<TestStruct>(); // 连结构体的内存也用智能指针管理
    // 执行业务操作
    // 不需要手动delete，智能指针离开作用域时会自动释放所有资源
    return 0;
}

3. 用标准容器代替手动动态数组（最优解）

如果你的动态数组不需要底层指针操作，优先用std::vector<int>——它不仅自动管理内存，还支持动态扩容、边界检查、迭代器等实用功能，代码更简洁安全：

#include <iostream>
#include <vector>

struct TestStruct {
    int a;
    std::vector<int> b{10}; // 初始化一个大小为10的vector
    // 完全不用管内存释放，vector会自动处理内部数组的申请与释放
};

int main(void) {
    auto a_struct = new TestStruct();
    // 执行业务操作，比如修改元素：a_struct->b[0] = 5;
    delete a_struct; // 析构时vector会自动释放内部数组
    // 更推荐用智能指针管理结构体：auto a_struct = std::make_unique<TestStruct>();
    return 0;
}

方案优先级总结 #

• 最优选择：std::vector，功能最丰富、最安全，代码复杂度最低。
• 次优选择：智能指针，适合必须使用指针场景的自动内存管理。
• 最后选择：手动管理裸指针+析构释放，仅在特殊底层场景使用，必须严格遵循new[]对应delete[]的规则。

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