Question

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

Answer 1

这是一种便利。
由于数组会马上蜕变为指针， 数组事实上从来没有传入过函数。允许指针参数声明为数组只不过是为让它看起来好像传入了数组， 因为该参数可能在函数内当作数组使用。特别地， 任何声明 “看起来象” 数组的参数， 例如
void f(char a[])
{ ... }
在编译器里都被当作指针来处理， 因为在传入数组的时候，那正是函数接收到的.
void f(char *a)
{ ... }
这种转换仅限于函数形参的声明， 别的地方并不适用。如果这种转换困惑， 请避免它; 很多程序员得出结论， 让形参声明 “看上去象” 调用或函数内的用法所带来的困惑远远大于它所提供的方便。