能否使用std::copy复制堆上分配的动态二维数组？

开发环境为Qt6 + C++11，通过如下方式在堆上分配了两个动态二维数组A和B：

int **A; int **B;
A = new int*[rowCount]();
for(int i = 0; i < rowCount; i++)
{
    A[i] = new int[colCount]();   // B的分配逻辑和A完全一致
}
// 后续给A写入待处理数据

为将A的所有元素复制到B，使用了如下std::copy调用：

std::copy(&A[0][0], &A[0][0]+rowCount*colCount,&B[0][0]);

运行时触发访问错误：

code: 0xc0000005: read access violation at: 0x0, flags=0x0 (first chance)

最初判断可能是内存未完成分配，但两个数组均已完成堆内存申请。此前未选择std::vector/std::list的原因是处理数据规模较大，认为原生数组下标访问为O(1)复杂度性能更好；后续测试发现MSVC2019 64bit环境下std::vector下标访问性能和原生数组接近甚至略快，但QVector下标访问速度明显更低。

你创建的int**结构不是真正内存连续的二维数组，而是指针数组：

• 第一次new int*[rowCount]只分配了长度为rowCount的指针数组，用来存每一行的首地址
• 循环里每次new int[colCount]都是单独申请的一块独立堆内存，不同行的内存地址之间没有连续保证

你写的std::copy逻辑默认二维数组所有元素内存连续，从第一行首地址开始偏移rowCount*colCount个int长度，在复制完第一行的colCount个元素后，就会访问到第一行内存块之外的非法地址，触发访问越界报错，和编译器配置、内存分配是否完成无关。

方案1：保留现有int**结构，逐行复制 #

针对分段存储的指针数组，逐行执行复制即可，代码如下：

for (int i = 0; i < rowCount; ++i) {
    std::copy(A[i], A[i] + colCount, B[i]);
}

该逻辑和你预期的std::copy效率一致，没有额外性能损耗。注意使用完数组后需要逐行释放内存，最后释放行指针数组，避免内存泄漏。

方案2：改用连续内存存储，支持一次性复制 #

如果追求更高的CPU缓存命中率和复制效率，可以直接分配一整块连续内存模拟二维数组，两种常见实现：

• 原生数组实现：

// 分配
int* A = new int[rowCount * colCount]();
int* B = new int[rowCount * colCount]();
// 访问第i行第j列元素
int val = A[i * colCount + j];
// 一次性全量复制
std::copy(A, A + rowCount*colCount, B);
// 释放
delete[] A;
delete[] B;

• std::vector实现：

// 嵌套vector定义，可直接用赋值运算符做深拷贝
std::vector<std::vector<int>> A(rowCount, std::vector<int>(colCount));
std::vector<std::vector<int>> B = A;

// 追求极致连续内存可以用一维vector模拟二维
std::vector<int> A(rowCount * colCount);

• std::vector的下标访问时间复杂度确实是O(1)，底层就是连续堆内存，开编译优化后operator[]的执行效率和原生裸数组完全一致，不存在额外开销，同时自带自动内存管理，不需要手动写释放逻辑，能有效避免内存泄漏，大规模数据处理场景优先使用。
• QVector下标访问偏慢是Qt的隐式共享（写时复制）机制导致：非const的operator[]调用会通过原子操作检查引用计数，判断是否需要做深拷贝，高频下标访问场景下原子操作的开销会累积，导致性能低于std::vector。如果要在Qt场景下用QVector提升访问速度，可以先通过constData()拿到裸const指针再访问，绕开引用计数检查。

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