C++ string动态二维数组赋值后删除引发内存泄漏的解决咨询

问题分析 #

你用自定义NEW2D宏创建string类型二维数组时，直接删除无泄漏，但赋值后即使调用clear()再删除仍出现泄漏，核心原因有两点：

1. NEW2D未正确构造string对象：该宏仅分配了连续内存，但没有调用string的构造函数，直接用memset清零非POD类型（string）的内存，破坏了对象的内部结构（比如指向堆内存的指针、大小变量等），导致对象处于未定义状态。
2. 未调用string的析构函数：最终delete[]释放的是原始字符数组，不会触发每个string对象的析构函数，即使调用了clear()，string内部管理的资源也无法被正确回收。

解决方法 #

方法1：手动构造/析构对象（适配原宏） #

针对原NEW2D的实现，需要手动用placement new构造每个string对象，删除前手动调用析构函数：

#include <string>
#include <new>  // 引入placement new所需头文件
using namespace std;

#define NEW2D(H, W, TYPE) (TYPE **)new2d(H, W, sizeof(TYPE))

void* new2d(int h, int w, int size)
{
    register int i;
    void **p;

    p = (void**)new char[h*sizeof(void*) + h*w*size];
    for(i = 0; i < h; i++)
    {
        p[i] = ((char *)(p + h)) + i*w*size;
    }

    return p;
}

int main() {
    const int rows = 2, cols = 4;
    string** pstr = NEW2D(rows, cols, string);

    // 1. 手动构造每个string对象
    for (int j = 0; j < rows; j++) {
        for (int i = 0; i < cols; i++) {
            new (&pstr[j][i]) string();  // 在已分配内存上构造空string
        }
    }

    // 正常赋值操作
    for (int j = 0; j < rows; j++)
        for (int i = 0; i < cols; i++)
            pstr[j][i] = "test";

    // 可选：清空字符串内容
    for (int j = 0; j < rows; j++)
        for (int i = 0; i < cols; i++)
            pstr[j][i].clear();

    // 2. 手动析构每个string对象
    for (int j = 0; j < rows; j++) {
        for (int i = 0; i < cols; i++) {
            pstr[j][i].~string();  // 调用析构函数释放内部资源
        }
    }

    // 释放底层内存
    delete[] pstr;
    return 0;
}

方法2：使用标准库容器（推荐） #

完全抛弃手动内存管理，用vector<vector<string>>替代自定义宏，容器会自动处理对象的构造、析构和内存释放，代码更简洁安全：

#include <string>
#include <vector>
using namespace std;

int main() {
    // 直接创建2行4列的二维string容器，自动初始化空string
    vector<vector<string>> pstr(2, vector<string>(4));

    // 正常赋值
    for (int j = 0; j < 2; j++)
        for (int i = 0; i < 4; i++)
            pstr[j][i] = "test";

    // 可选：清空内容
    for (int j = 0; j < 2; j++)
        for (int i = 0; i < 4; i++)
            pstr[j][i].clear();

    // 无需手动释放，容器生命周期结束时自动回收所有内存
    return 0;
}

关键注意事项 #

• 永远不要用memset处理非POD类型的对象，这会破坏对象的内部结构，引发未定义行为。
• 对于自定义内存分配的非POD类型，必须手动调用构造和析构函数，否则会导致资源泄漏或程序崩溃。
• 优先使用标准库容器，它们经过严格测试，能避免绝大多数手动内存管理的错误。

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