动态多维数组

Question

称为动态多维数组、数组的数组是否合适？

int **mp = 0;

// Create an array of pointers
mp = new int*[6];

// Where each element of type pointer, points to dynamic array.
for (int x = 0; x < 6; x++)
    mp[x] = new int[7];

看看这个，我想说它们是指向大小为 7 个整数的数组的指针数组。 但是动态数组是否被视为数组或只是指针返回的一块内存？

Answer 1

如果我理解正确的话，你的问题是关于语义的。就标准而言，new [] 确实创建了一个数组，但返回一个指向第一个元素的指针。从标准的5.3.4/5开始：

当分配的对象是数组时
...新表达式产生一个
指向初始元素的指针（如果
任何）的数组。

因此，在您的情况下，我们通俗地称为“数组的数组”实际上是一个指针数组，它与例如 int x[6][6] 不同，后者实际上是一个数组的数组。

Answer 2

是的，它们是指针数组。数组的数组有所不同：

// array of 6 pointers into one-dimensional arrays 7 elements each
int** mp = new int*[6];
for (int x = 0; x < 6; x++)
    mp[x] = new int[7];

// array of 6 arrays of 7 elements each (two-dimensional 6x6 array)
// (all dimensions except the 1st must be known at compile time)
int (*mp)[7] = new int[6][7];
// or, more commonly, when all dimensions are known at compile time,
int mp[6][7];

指针数组通常在 C 中使用，因为在该语言中没有其他方法可以在运行时创建多索引数据结构。

Answer 3

C++（和 C）对不规则数组和连续多维数组的处理方式截然不同。访问元素看起来是相同的，但在底层却有很大不同。

void do_something (
    double matrix[3][3],
    double ** ragged_array)
{
    double x = matrix[1][2];
    double y = ragged_array[1][2];
    ...
}

第一次访问只需要通过一个指针一次，而第二次访问则需要通过两个指针。

Answer 4

我将数组视为指针，因为实际上保存数组的变量只是指向数组第一个元素的指针。此外，您可以在任何指针中使用operator[]，即使它不指向数组。
按照这个思路：

mp是一个指向“整数指针块”的指针，mp[x]是一个指向“整数块”的指针。

现在，这些“内存块”就是我所认为的数组，所以你有：

mp是一个指向整数指针数组的指针，mp[x] 是一个指向整数数组的指针。

在您的示例中，您总共有 7 个数组（内存块），每个 new 语句对应一个数组。使用完该结构后，请不要忘记删除[]其中的每一个。