C++内存分配问题：二维数组拷贝时出现内存损坏

老哥，这个坑我之前踩过好几次，太懂这种内存损坏的头疼了！结合你说的参考了memcpy拷贝二维数组的回答，又用std::copy出问题，还怀疑是重复释放，大概率是没搞清楚二维数组的两种内存布局，以及std::copy和memcpy在不同场景下的差异，咱们一步步捋：

1. 先搞懂二维数组的两种内存形态 #

你参考的memcpy方案，几乎都是针对连续内存块的二维数组（也就是“扁平化”的一维数组模拟二维），比如：

// 连续内存：整个数组是一块大内存，用索引计算访问
int* arr = new int[rows * cols];
arr[i * cols + j] = value; // 访问第i行第j列

但很多人写的二维数组是指针数组（每一行都是独立的内存块），比如：

// 指针数组：顶层是指针数组，每个元素指向单独的一维数组
int** arr = new int*[rows];
for (int i = 0; i < rows; i++) {
    arr[i] = new int[cols];
}

这两种形态的内存布局天差地别，拷贝和释放逻辑完全不一样！

2. 你的std::copy误用导致的浅拷贝问题 #

std::copy是按元素拷贝的：

• 如果是连续内存的二维数组，元素是int（或你的数据类型），std::copy会逐个拷贝值，和memcpy效果一致，没问题。
• 但如果是指针数组，顶层数组的元素是int*（指针），std::copy只会拷贝这些指针的地址，而不会拷贝指针指向的行内存——这就是浅拷贝！

浅拷贝后，源数组和目标数组的每一行指针都指向同一块内存。比如你释放源数组的某一行delete[] src[i]，目标数组的dst[i]就变成了野指针；之后再释放dst[i]，就是重复释放同一块内存，直接触发内存损坏。

3. 正确的解决方式分两种情况 #

情况A：用连续内存的二维数组（推荐，内存更紧凑） #

这种情况可以直接用std::copy或memcpy，逻辑简单：

int rows = 3, cols = 4;
// 源数组分配+填充
int* src = new int[rows * cols];
for (int idx = 0; idx < rows*cols; idx++) {
    src[idx] = idx;
}
// 目标数组分配+拷贝
int* dst = new int[rows * cols];
std::copy(src, src + rows*cols, dst); // 直接拷贝整块内存的元素

// 释放：直接释放整块即可
delete[] src;
delete[] dst;

情况B：必须用指针数组的二维数组 #

这时候要做深拷贝，必须遍历每一行，单独分配内存并拷贝元素：

int rows = 3, cols = 4;
// 源数组分配+填充
int** src = new int*[rows];
for (int i = 0; i < rows; i++) {
    src[i] = new int[cols];
    for (int j = 0; j < cols; j++) {
        src[i][j] = i*cols + j;
    }
}
// 目标数组深拷贝：先分配顶层指针数组，再逐行分配+拷贝
int** dst = new int*[rows];
for (int i = 0; i < rows; i++) {
    dst[i] = new int[cols]; // 先为目标行分配内存
    std::copy(src[i], src[i] + cols, dst[i]); // 拷贝该行的所有元素
}

// 释放：必须先释放每一行，再释放顶层指针数组（和分配顺序相反）
for (int i = 0; i < rows; i++) {
    delete[] src[i];
    delete[] dst[i];
}
delete[] src;
delete[] dst;

4. 关于内存释放的关键提醒 #

• 指针数组的释放顺序绝对不能搞反：先释放所有行的内存，再释放顶层的指针数组。如果先释放delete[] src，再去释放src[i]，就会访问已经被释放的指针数组，触发未定义行为。
• 绝对不要让多个指针指向同一块未被管理的内存（比如手动new出来的），否则很容易出现重复释放或野指针问题。如果可以，尽量用std::vector代替手动内存管理——std::vector<std::vector<int>>会自动处理内存分配和释放，完全不用你操心这些坑！

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