7.13 我该如何动态分配多维数组 ？

7.13 我该如何动态分配多维数组 ？

传统的解决方案是分配一个指针数组, 然后把每个指针初始化为动态分配的 ``列"。 以下为一个二维的例子:

    #include <stdlib.h>

	int **array1 = malloc(nrows * sizeof(int *));
	for(i = 0; i < nrows; i++)
	    array1[i] = malloc(ncolumns * sizeof(int));

当然, 在真实代码中, 所有的 malloc 返回值都必须检查。你也可以使用 sizeof(*array1)  和 sizeof(**array1) 代替 sizeof(int *) 和 sizeof(int)。

你可以让数组的内容连续, 但在后来重新分配列的时候会比较困难, 得使用一点指针算术:

	int **array2 = malloc(nrows * sizeof(int *));
	array2[0] = malloc(nrows * ncolumns * sizeof(int));
	for(i = 1; i < nrows; i++)
	    array2[i] = array2[0] + i * ncolumns;

在两种情况下, 动态数组的成员都可以用正常的数组下标 arrayx[i][j] 来访问  (for 0 <= i <nrows 和 0 <= j <ncolumns)。

如果上述方案的两次间接因为某种原因不能接受, 你还可以同一个单独的动态分配的一维数组来模拟二维数组:

    int *array3 = malloc(nrows * ncolumns * sizeof(int));

但是, 你现在必须手工计算下标, 用 array3[i * ncolumns + j] 访问第 i, j 个成员。使用宏可以隐藏显示的计算, 但是调用它的时候要使用括号和逗号, 这看起来不太象多维数组语法, 而且宏需要至少访问一维。

另一种选择是使用数组指针:

    int (*array4)[NCOLUMNS] = malloc(nrows * sizeof(*array4));

但是这个语法变得可怕而且运行时最多只能确定一维。

当然, 使用这些技术, 你都必须记住在不用的时候释放数组。 而且你可能不能混用动态数组和传统的静态分配数组。

最后, 在 C99 中你可以使用变长数组。

所有这些技术都可以延伸到三维或更多的维数。  

另：

数组蜕化为指针的规则不能递归应用。数组的数组 (即 C 语言中的二维数组) 蜕化为数组的指针, 而不是指针的指针。数组指针常常令人困惑, 需要小心对待。

如果你向函数传递二位数组:

    int array[NROWS][NCOLUMNS];
    f(array);

那么函数的声明必须匹配:

    void f(int a[][NCOLUMNS])
    { ... }

或者

    void f(int (*ap)[NCOLUMNS]) /* ap 是个数组指针 */
    { ... }

在第一个声明中, 编译器进行了通常的从 ``数组的数组" 到 ``数组的指针"  的隐式转换 ; 第二种形式中的指针定义显而易见。因为被调函数并不为数组分配地址, 所以它并不需要知道总的大小, 所以行数 NROWS 可以省略。但数组的宽度依然重要, 所以列维度  NCOLUMNS (对于三维或多维数组, 相关的维度) 必须保留。

如果一个函数已经定义为接受指针的指针, 那么几乎可以肯定直接向它传入二维数组毫无意义。