7.15 当我向一个接受指针的指针的函数传入二维数组的时候, 编译器报错了。

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

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

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

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

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

或者

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

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

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

参见问题 6.9 和 6.12。

参考资料: [K&R1, Sec. 5.10 p. 110]; [K&R2, Sec. 5.9 p. 113]; [H&S, Sec. 5.4.3 p. 126]。