本章节主要讨论的是C语言中指针与一维数组之间的紧密关系。在C语言中，数组名实际上是一个指向数组首元素的常量指针。因此，指针和一维数组之间有着天然的联系。
1. **一维数组元素的引用**
数组名`a`代表了数组的首地址，即`&a[0]`。数组元素的引用可以通过两种方式表示：`a[i]`和`*(a + i)`。这里，`a + i`实际上是计算出`i`个基类型（例如，如果`a`是整型数组，基类型就是`int`）的大小后偏移的地址。因此，`a + 1`并不简单地加1字节，而是加上一个基类型大小的字节数。
2. **指向数组的指针**
一个`int`类型的指针`p`可以指向一个`int`类型的一维数组，因为数组名`a`代表的是首元素的地址，而`p`的基类型与数组元素类型相同。例如，`int *p = a`或`int *p = &a[0]`都是合法的，它们都使得`p`指向数组的首元素。
3. **一维数组元素的访问**
在访问数组元素时，`a[i]`等价于`*(a + i)`。通过指针`p`也可以访问数组元素，如`p[i]`等价于`*(p + i)`。在实际编程中，我们可以通过指针来遍历数组，例如，`for (p = a; p < a + 5; p++)`这样的循环结构。
4. **指针自增操作**
对于指向数组的指针，`p++`并不是简单地增加1字节，而是根据基类型增加相应的字节数。这意味着，`p++`在指向数组的上下文中是有意义的，因为它会移动到下一个数组元素。
5. **指针和一维数组作为函数参数**
在C语言中，当函数参数声明为数组类型时，实际上在函数内部被处理为指针。例如，`void InputArray(int a[], int n)`和`void OutputArray(int a[], int n)`，这里的`a[]`在函数内部等同于`int *a`。因此，函数可以通过指针算术运算访问数组元素，即使形参声明为数组。
6. **指针算术运算和指针递增**
在函数调用中，`*p++`和`(*p)++`是有区别的。`*p++`首先返回`*p`的值，然后将`p`指针向后移动；而`(*p)++`则是先对`*p`（即当前指针所指向的元素）进行加1操作，但不改变指针`p`的指向。
理解这些概念对于编写涉及数组和指针的高效C语言代码至关重要。通过熟练掌握指针与一维数组的关系，可以更好地控制内存和数据访问，实现更灵活的编程技巧。
评论0