数组

在C中，在几乎所有使用数组名的表达式中，数组名的值是一个指针常量，也就是数组第一个元素的地址。

指针常量所指向的是内存中数组的起始位置，如果修改这个指针常量唯一可行的操作就是把整个数组移动到内存的其他位置。但是，在程序完成链接后，内存中数组的位置是固定的，所以当程序运行时，再想移动数组就为时已晚了。因此数组名的值是一个指针常量。只有在两种场合下，数组名并不用指针长啦来表示——就是当数组名作为sizeof操作符或单目操作符&的操作数时，sizeof返回整个数组的长度，而不是指向数组的指针的长度。取一个数组名的地址所产生的是一个指向数组的指针，而不是指针某个指针常量值得指针。

指针和数组

下标绝不会比指针更有效率，但指针有时会比下标更有效率。例如：

int array[10],a;
for(a = 0; a < 10; a ++)
{
	array[a] = 0;
}

为了对下标表达式求值，编译器在程序黄总插入指令，取得a的值，并把它与整形的长度相乘，这个乘法需要花费一定的时间和空间。

现在让我们再来看看下面这个循环，它所执行的任务和前面的循环完全一样。

int array[10],*ap;
for(ap = array; ap < array + 10 ; ap ++)
{
*ap = 0;
}

尽管这里并不存在下标，但还是存在乘法运算，请仔细观察一下，看看你能不能找到它。

现在，这个乘法运算出现在for语句的调整部分，1这个值必须与整数的长度相乘，然后再与指正相加，但这里存在一个重大区别，循环每次执行时，执行乘法运算的都是连个相同的数。结果，这个乘法只在编译时执行一次——程序现在包含了一条指令，把4与指针相加，程序在运行时并不执行乘法运算。

寄存器指针变量必须声明为局部变量。

我们可以得到结论：

1. 当你根据某个固定数目的增量在一个数组中移动时，使用指针变量将比使用下标产生效率更高的代码，当这个增量是1并且机器具有地址自动增量模型时，这点表现得更加突出。

2. 声明为寄存器变量的指针通常比位于静态内存和堆栈中的指针效率跟高。

3. 如果你可以通过测试一些已经初始化并经过调整的内容来判断循环是否应该终止，那么你就不需要使用一个单独的计数器。

4. 那些必须在运行时求值的表达式较之诸如&array[SIZE]或array + SIZE这样的常量表达式往往代价更高。

函数原型中的一维数组形参无需写明它的元素数目，因为函数并不为数组参数分配内存空间，形参只是一个指针，它 指向的是已经在其他地方分配好内存的空间，这个事实解释了为什么数组形参可以与任何长度的数组匹配——它实际传递的只是指向数组第1个元素的指针。另一方面，这种实现方法使函数无法知道数组的长度。如果函数需要知道数组的长度，它必须作为一个显式的参数传递给函数。

如果数组未被初始化，数组元素的初始化值将会自动设置为0.

作为函数参数的多维数组名的传递方式和一维数组名相同——实际传递的是个指向数组第1个元素的地址指针。但是，两者之间的区别在于，多维数组的每个元素本身是另外一个数组，编译器需要知道它的维数，以便为函数形参的下标表达式进行求值。

下标引用的优先级高于间接访问。

指针和数组并不相等。数组的属性和指针的属性大相径庭。当我们声明一个数组时，它同时也分配了一些内存空间，用于容纳数组元素。但是，当我们声明一个指针时，它只分配了用于容纳指针本身的空间。