**array vs array[][]：它们都是二维数组吗？

Question

我的老师告诉我 int **array 不是二维数组，它只是一个指向整数的指针。 现在，在我的一个项目中，我必须动态分配一个二维结构数组，这就是它的完成方式：

struct cell **array2d = (struct x **)calloc(rows, sizeof(struct x *));
    
for (int i = 0; i < columns; i++) {
    array2d[i] = (struct x *)calloc(j, sizeof(struct x));
}

但是这里我们返回一个指向结构体的指针，那么这怎么是一个二维数组呢？

在使用动态分配之前，我有一个静态分配的数组，格式如下： 数组2d[][]

现在我用动态分配代替了它，我也用 **array2d 代替了 array2d[][]。
每个接受 array2d[i][j] als 参数的函数现在都会返回一个错误，指出类型不匹配。

谁能解释一下这里发生了什么？ **array 和 array[m][n] 有什么区别，为什么编译器会报错？

Answer 1

它们是完全不同的东西。

数组是一系列相同类型的值依次存储在内存中。

在 C 中，数组或多或少可以与 指向其第一个元素的指针互换 — a[0] 是 *a，
a[1] 是 *(a+1)，等等 —至少当我们谈论一维数组时。

但现在考虑：

int a[3][3];

在这种情况下，a 包含九个元素，在内存中是连续的。 a[0][0] 到 a[0][2]，然后紧接着是 a[1][0]，直到 a[2][2]。

如果您将a 传递给函数，它将适合int * 或int[3][3] 或int [][3] 的参数类型（知道第二维的“步幅”对于进行数学运算是绝对必要的）查找给定的元素）。

另一方面：

int *b[3];
b[0] = malloc(...);
b[1] = malloc(...);
b[2] = malloc(...);

在这种情况下，b 是一个包含 3 个元素的数组，每个元素都是一个指向包含 3 个元素的数组的指针。您仍然可以像 b[0]0] 或 b[1][2] 一样访问它，但在幕后正在发生一些完全不同的事情。这些元素并非全部连续存储在内存中，*b 不是其中的任何一个，它是一个指针。如果我们要将b 传递给一个函数，我们会收到带有int ** 或int *[] 类型参数的它。无需提前知道每一行的长度，实际上每一行的长度可能与其他行不同。有些行甚至可以是空指针，它们后面没有整数存储。