c++ - 动态二维数组非连续内存 C++

Question

假设我将二维数组的地址连同二维数组的行和列一起传递给函数。

该函数会将二维数组的地址视为一维数组。（例如 int 矩阵 [] ）

如果我执行以下代码：

    int** arr;

    arr = new int*[row];

    for ( int i = 0; i < row; i++ )
    {

        arr[i] = new int[column];
    }

1. 假设，我认为在多线程系统中，这可能不会为二维数组分配连续的内存。我对么？

2. 但是，我认为在单线程系统中，这将为二维数组分配连续的内存。我对吗？如果是这样，它“总是”是真的吗？还是取决于编译器和操作系统？

3. 如果代码现在是这样的：

   int** arr;
   int** arr2;
   
   arr = new int*[row];
   arr2 = new int*[row];
   
   for ( int i = 0; i < row; i++ )
   {
   
       arr[i] = new int[column];
       arr2[i] = new int[column];
   }
   

   我没有连续的内存二维数组。即使每一行中的元素是连续的，行本身也不会与下一行连续。我对么？

4. 如果以上所有内容都是正确的，那么在 C++ 中，并非每个二维数组都是连续内存，对吧？

Answer 1

1. 真的
2. 在很多时候实际上可能是正确的，尽管可能取决于实现，但不同的内存分配策略可能会以不同的方式进行，不太可能是标准定义的。还依赖于内存碎片。
3. 又是真的。

4. 错误，因为最典型的二维数组如下所示，它将具有连续的堆栈内存

   int my2DArr[5][5];
   

Answer 2

在您提到的所有情况下，永远无法保证您将获得相邻两行的连续内存位置。想一想：如果在为第一行分配了 N 个存储单元之后，接下来的 N 个单元被占用了怎么办？然后第二行不会与第一行连续。但是，如果您的 2D 阵列很小，这种情况将很少见。