7.4 那么为什么作为函数形参的数组和指针申明可以互换呢 ?

这是一种便利。

由于数组会马上蜕变为指针, 数组事实上从来没有传入过函数。允许指针参数声明 为数组只不过是为让它看起来好像传入了数组, 因为该参数可能在函数内当作数组 使用。特别地, 任何声明 ``看起来象" 数组的参数, 例如

    void f(char a[])
    { ... }
在编译器里都被当作指针来处理, 因为在传入数组的时候,那正是函数接收到的.
    void f(char *a)
    { ... }

这种转换仅限于函数形参的声明, 别的地方并不适用。如果这种转换令你困惑, 请避免它; 很多程序员得出结论, 让形参声明 ``看上去象" 调用或函数内的用法 所带来的困惑远远大于它所提供的方便。

参见问题 6.18

参考资料: [K&R1, Sec. 5.3 p. 95, Sec. A10.1 p. 205]; [K&R2, Sec. 5.3 p. 100, Sec. A8.6.3 p. 218, Sec. A10.1 p. 226]; [ISO, Sec. 6.5.4.3, Sec. 6.7.1, Sec. 6.9.6]; [H&S, Sec. 9.3 p. 271]; [CT&P, Sec. 3.3 pp. 33-4]。

翻译朱群英、孙云, LaTeX2HTML 编译 朱群英 (2005-06-23)