第9章 再论数组

什么时候数组与指针相同

在实际使用中，数组和指针可以互换使用的情形要比两者不可互换的情形更为常见。
所有作为函数参数的数组名总是可以通过编译器转换为指针。
在声明中，数组就是数组，指针就是指针，但在使用数组时，数组总是可以写成指针的形式，两者可以互换。
而对编译器而言，一个数组就是一个地址，一个指针就是一个地址的地址。

什么时候数组和指针是相同的？
（1）表达式中的数组名（与声明不同）被编译器当作一个指向该数组第一个元素的指针。
（2）下标总是与指针的偏移量相同。
（3）在函数参数的声明中，数组名被编译器当作指向该数组第一个元素的指针。

没有办法把数组本身传递给一个函数，因为它总是被自动转换为指向数组的指针。当然，在函数内部使用指针，所能进行的对数组的操作几乎跟传递原原本本的数组没有差别。只不过，如果想用sizeof(实参)来获得数组的长度，所得到的结果不正确而已。
我们倾向于始终把参数定义为指针，因为这是编译器内部所使用的形式。

数组和指针可交换性的总结：
（1）用a[i]这样的形式对数组进行访问总是被编译器“改写”或解释为像*(a+1)这样的指针访问。
（2）指针始终是指针。它绝不可以改写成数组。你可以用下标形式访问指针，一般都是指针作为函数参数的时候，而且你知道实际传递给函数的是一个数组（因此，不建议在函数参数中将数组改写为指针形式）。
（3）在特定的上下文中，也就是它作为函数的参数（也只有这种情况），一个数组的声明可以看作是一个指针。作为函数参数的数组（就是在一个函数调用中）始终会被编译器修改成为指向数组第一个元素的指针。
（4）因此，当把一个数组定义为函数的参数时，可以选择把它定义为数组，也可以定义指针。不管选择哪种方法，在函数内部事实上获得的都是一个指针。
（5）在其他所有情况中，定义和声明必须匹配。如果定义了一个数组，在其他文件对它进行声明时也必须把它声明为数组，指针也是如此。

不能把一个数组赋值给另一个数组，因为数组作为一个整体不能成为赋值的对象。可以把数组名赋值给一个指针，就是因为这个“在表达式中的数组名被编译器当作一个指针”的规则。

C语言中多维数组最大的用途是存储多个字符串。
多维数组可以通过嵌套的花括号进行初始化。
如果数组的长度比所提供的初始化值的个数要多，剩余的几个元素会自动设置为0。如果元素的类型是指针，那么它们被初始化为NULL，如果元素的类型是float，那么它们被初始化为0.0。