【读书笔记】C和指针 --- 数组（未完）

1、一维数组

数组名：

数组名的值是一个指针常量：

数组具有确定数量的元素，而指针只是一个标量值。

编译器用数组名来记住这些属性。只有当数组名在表达式中使用时，编译器才会为他产生一个指针常量（这里是指针常量而不是指针变量，不能修改常量的值）。

因为指针常量所指向的是内存中数组的起始位置，如果修改这个指针常量，唯一可行的操作就是把整个数组移动到内存的其他位置。但是，在程序完成链接之后，内存中数组的位置是固定的，所以当程序运行时，再想移动数组就晚了。因此，数组名的值是一个指针常量。

当数组名作为sizeof操作符或单目操作符&的操作数时，数组名不用指针常量来表示的两种场景

sizeof返回整个数组的长度，而不是指向数组的指针的长度。

取一个数组名的地址所产生的是一个指向数组的指针，而不是指向某个指针常量值的指针。

下标引用：

arr[i] 与 *(arr + ( i ) )的意义是相同的，即除了优先级之外，下标引用和间接访问完全相同。

2[arr]
*(2 + (arr))
arr[2]

这三个式子其实是一样的。第一个式子之所以合法与源于C实现下标的方法，但是不建议这么写，因为会大大影响程序的可读性。

指针的效率

【结论】

• 当根据某个固定数目的增量在一个数组中移动时，使用指针变量将比使用下标产生效率更高的代码。（当这个增量是一时并且机器具有地址自动增量模型时，这点表现的更为突出）
• 声明为寄存器变量的指针通常比位于静态内存和堆栈中的指针效率更高。
• 如果可以通过测试一些已经初始化并经过调整的内容来判断循环是否终止，那么就不需要用一个单独的计数器。
• 那些必须在运行时求值的表达式较之诸如&array[SIZE] 或 array+SIZE这样的常量表达式往往代价更高。

数组和指针

首先数组和指针都具有指针值，他们都可以进行间接访问和下标引用操作，但是他们之间还存在一个特别大的区别。

声明数组时，编译器会根据声明所指定的元素数量为数组保留内存空间，然后再创建数组名，它的值是一个常量，指向这段空间的起始位置；

声明一个指针变量时，编译器只为指针本身保留内存空间，并且指针变量并未被初始化为指向任何现有的内存空间。

作为函数参数的数组名

数组名作为参数传递给一个函数 ，其实传递给函数的是一份该指针（指向数组的起始地址）的临时拷贝 。函数如果执行了下标引用，实际上是对这个指针执行间接访问操作，函数就可以访问和修改调用程序的数组元素。

传址调用是通过传递一个指向所需元素的指针，然后再函数中对该指针执行间接访问操作实现对数据的访问。作为参数的数组名是个指针，下表引用实际执行的就是间接访问。

而数组的传值调用则体现在，数组传递给函数的是参数的一份拷贝（指向数组起始位置的指针的拷贝），所以函数可以自由的操作它的指针形参，而不必担心会修改对应的作为实参的指针。

即这个参数（指针）实际上是通过传值方式传递的，函数得到的是该指针的一份拷贝，它可以被修改，但调用程序所传递的实参并不受影响。

声明数组参数

int test(char* arr);
int test(char arr[]);

调用函数时实际传递的是一个指针，所以函数的形参实际是个指针。但是同时它也接收数组形式的函数形参。所以以上两种写法都是可以的。

那么，函数原型中的一维数组形参为什么无需写明它的元素数目？

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

初始化

**