int* x[n][m] 和 int (*x) [n][m] 有什么区别？

Question

正如我所见int *x[n][m]声明x是一个指向整数的二维指针数组，因此分配内存应该像x[i][j] = new int一样简单，并且按预期工作美好的。 现在，如果我将声明更改为：

int (*x)[n][m]

x[i][j] = new int不再有效并导致编译错误。

x = (int(*)[n][m]) malloc (sizeof(int[n][m]))但是编译。 从我运行的几个测试来看，在内存分配之后，不同的声明/分配组合似乎不会影响存储在变量中的值。 我错过了什么吗？ 所以我的问题是，**int *x[n][m] 和 int ( x)[m][n]之间有区别吗？ int ( x)[n][m] 如何存储在内存中？

Answer 1

int *a[n][m]是指向int二维指针数组。

int (*p)[n][m]是一个指向int的二维数组的指针（它是通过获取int[n][m]的地址获得的类型）。

在这两种情况下， n和m需要是编译时常量，否则声明在 C++ 中是不合法的（但在 C 中是合法的）。 不过，您的编译器可能有一个扩展来允许它。

第一个可以用来模拟一个三维数组。 我说模拟，因为它不是具有连续存储的正确数组，并且首先类型不同。 在每个元素的a可以将地址存储到一个整数数组的第一个元素。 每个都可以有不同的大小并动态分配。 您也可以存储指向单个（可能是堆栈分配的）整数的指针。

int i = 0;
int a1[2] = {};

int* a2[2][2];
a2[0][0] = a1;  // array to pointer decay here
a2[0][1] = new int[42];
a2[1][0] = new int[84];
a2[1][1] = &i;

p可以指向单个二维数组或其数组：

int arr[2][3];
int (*p1)[2][3] = &arr;  // arr decays to int(*)[3], so we need to take the address
int (*p2)[2][3] = new int[42][2][3]; // allocate 42 arrays dynamically

Answer 2

正如您可以轻松发现的那样：

• int *x[n][m] 是指向 int 指针的二维数组。
• int (*x)[n][m] 是一个指向二维整数数组的指针。

您的问题的答案是第一个是数组，因此内存是“内联”的——它可能是静态的、自动的（在堆栈上）或在堆上，具体取决于您定义它的位置。

第二个是指向数组的指针，并且必须在使用它指向的内容之前初始化该指针。 很可能内存会在堆上分配，但也有可能是在别处定义的静态或自动数组。 如果在初始化指针之前访问数组成员，则会得到未定义行为。

Answer 3

解码 C 声明名称的好网站。 以您的示例（并替换n=1和m=2 ）我们看到：

int *x[1][2]

翻译成：

将 x 声明为指向 int 的指针的数组 2 的数组 1

然而

int (*x)[1][2]

翻译成：

将 x 声明为指向 int 数组 2 的数组 1 的指针