C语言中的多维数组：它们是锯齿状的吗？

Question

关于C编程语言(ANSI-C)的一个简单问题:

C中的多维数组是锯齿状的吗？

我的意思是——我们是在谈论“数组数组”（指向内存中其他地址的指针数组），还是这只是“长一维数组”（按顺序存储在内存中）？

困扰我的是，我有点确定：

矩阵[i][j]等价于*（*（矩阵I）j）

Answer 1

这将取决于。

C中的多维数组是顺序排列的。

如果需要使用指针，可以创建锯齿状数组。

Answer 2

连续存储区：

int arr[N][M];

非连续存储区:

int** arr = malloc(N*sizeof(int*));
for (int i=0; i<N; i++)
    arr[i] = malloc(M*sizeof(int));

在这两种情况下，您都可以使用arr作为二维数组（例如arr[1][2]=3）。但是，仅在第一种情况下，您可以安全地应用更大的复制操作，例如memset（arr，0，N*M*sizeof（int））。

Answer 3

C中的多维数组是连续的。以下内容：

int m[4][5];

由4个int[5]s组成，它们在内存中相邻排列。

指针数组：

int *m[4];

是锯齿状的。每个指针可以指向（第一个元素）不同长度的单独数组。

< code>m[i][j]等价于< code>*(*(m i) j)。参见C11标准第6.5.2.1节:

下标运算符[]的定义是E1[E2]等于（*（（E1）（E2）））

因此，< code>m[i][j]等价于< code>(*(m i))[j]，后者等价于< code>*(*(m i) j)。

之所以存在这种等效性，是因为在大多数情况下，数组类型的表达式衰减到指向其第一个元素的指针（C11 标准，6.3.2.1）。m[i][j] 解释如下：

< li> m是数组的数组，因此它衰减为指向第一个子数组< code>m[0]的指针。 < li> m i是指向< code>m的第< code>i子数组的指针。 < li> m[i]等效于< code>*(m i)，取消引用指向< code>m的第< code>i个子数组的指针。由于这是一个数组类型的表达式，它衰减为指向< code>m[i][0]的指针。 < li> m[i][j]等效于< code>*(*(m i) j)，取消引用指向< code>m的第< code>i子数组的第< code>j元素的指针。

请注意，指向数组的指针不同于指向其第一个元素的指针mi是指向数组的指针；它不是数组类型的表达式，无论是指向指针还是指向任何其他类型，它都不会衰减。