第8章 数组

数组名的值是一个指针常量。
只有在两种场合下，数组名并不用指针常量来表示，就是当数组名作为sizeof操作符或单目操作符&的操作数时。sizeof返回整个数组的长度，而不是指向数组的指针的长度。取一个数组名的地址所产生的是一个指向数组的指针，而不是一个指向某个指针常量的值的指针。
你不能使用赋值符把一个数组的所有元素复制到另一个数组。你必须使用一个循环，每次复制一个元素。

一个神奇而不使用的例子：

2[array] // 其等价于 *(array+2)

**如果可以互换使用指针表达式和下标表达式，假定两种方法都是正确的，下标绝不会比指针更有效率，但指针有时会比下标更有效率。**但程序的效率主要取决于你所编写的代码。和使用下标一样，使用指针也很容易写出质量低劣的代码。事实上，这个可能性或许更大。不要为了效率上的细微差别而牺牲可读性，这点非常重要。

**当声明数组参数时，调用函数实际传递的是一个指针，所以函数的形参实际上是个指针。但为了使程序员新手更容易上手，编译器也接受数组行的函数形参。但哪个更加准确呢？答案是指针。**因为实参实际上是个指针，而不是数组。同样，表达式sizeof string的值是指向字符的指针的长度，而不是数组的长度。单目操作符&返回一个指向数组的指针，而不是指向数组第1个元素的指针的指针。
如果函数需要知道数组的长度，它必须作为一个显式的参数传递给函数。

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

数组的初始化，例如：

int vector[5] = {10, 20, 30, 40, 50};

当数组的初始化局部于一个函数（或代码块）时，你应该仔细考虑一下，在程序的执行流每次进入该函数（或代码块）时，每次都对数组进行重新初始化是不是值得。如果答案是否定的，你就把数组声明为static，这样数组的初始化只需在程序开始前执行一次。

不完整的初始化，例如：

int vector[5] = {1, 5};

编译器只知道初始值不够，所以只允许省略最后几个初始值，将其设置为0。
如果声明中并未给出数组的长度，编译器就把数组的长度设置为刚好能够容纳所有的初始值的长度。

C语言标准提供了一种快速方法用于初始化字符数组，例如：

char message[] = "Hello";

尽管它看上去像是一个字符串常量，但实际上并不是。
例如：

char message1[] = "Hello";
char *message2 = "Hello";

这两个初始化看上去很像，但它们具有不同的含义。前者初始化一个字符数组的元素，而后者则是一个真正的字符串常量。这个指针变量被初始化为指向这个字符串常量的存储位置。

如果某个数组的维数不止1个，它就被称为多维数组。例如：

int matrix[6][10];

可以把它看作是一个包含6个元素的向量，每个元素本身又包含10个整型元素。
在C语言中，多维数组的元素存储顺序按照最右边的下标率先变化的原则，称为行主序。
matrix这个名字的值是一个指向它第1个元素的指针，所以matrix是一个指向一个包含10个整型元素的数组的指针。

指向数组的指针，例如：

int vector[10];
int *vp = vector;
int matrix[3][10];
int (*mp)[10] = matrix;

如果你打算在指针上执行任何指针运算，应该避免这种类型的声明：

int (*p)[] = matrix;

当某个整数与这种类型的指针执行指针运算时，它的值将根据空数组的长度进行调整（也就是说，与零相乘），这很可能不是你所设想的。

作为函数参数的多维数组，例如：

int matrix[3][10];
void func1(int (*mat)[10])
void func2(int mat[][10])

上述两种声明都正确。但

void func3(int **mat)

这种声明方法是不正确的。

多维数组的初始化，例如：

int matrix[2][3] = {1, 2, 3, 4}; // 编译正确的不完全初始化

在多维数组中，只有第1维才能根据初始化列表缺省地提供。剩余的几个维必须显式地写出，这样编译器就能推断出每个子数组维数的长度。

指针数组，例如：

int *api[10];

下标引用的优先级高于间接访问，所以在这个表达式中，首先执行下标引用。因此，api是某种类型的数组。在取得一个数组元素之后，随即执行的是间接访问操作。这个表达式不再有其他操作符，所以它的结果是一个整型值。

在实际使用中，一般使用指针数组的方式而不是字符矩阵来表示字符串数组，但略微对其进行修改：

char const *keyword[] = {
	"do",
	"for",
	"if",
	"register",
	"return",
	"switch",
	"while",
	NULL
}

在表的末尾增加一个NULL指针，这个NULL指针使函数在搜索这个表时能够检测到表的结束，而无需预先知道表的长度，如下：

for (kwp=keyword_table; *kwp != NULL; kwp++)